Lift a variety over a number field to the complex numbers Let's say I have a number field $k$ and a curve $C$ over $k$, can we lift $C$ to a variety $V$ over $\mathbb{C}$? It is like "complexifying" the curve. I read somewhere that it is possible to lift an elliptic curve $E$ over $k$ to an elliptic curve $\mathbb{C}/\Lambda$ where $\Lambda$ is a suitable lattice in $\mathbb{C}$ and the endomorphism on $E$ lift uniquely as well. I also want to lift not only a curve but a variety over $k$ and an endomorphism on $V$ to some variety over $\mathbb{C}$ and an endomorphism on $V$ respectively. Can this be done?
 A: Any variety (or scheme) $X$ over a number field $k$ gives rise to a variety (or scheme) over $\mathbf{C}$ upon choosing an embedding $i:k\rightarrow\mathbf{C}$. The associated object over $\mathbf{C}$ is then $X_\mathbf{C}:=X\times_{k,i}\mathrm{Spec}(\mathbf{C})$ (this is the fibered product of $X$ and $\mathrm{Spec}(\mathbf{C})$ over $\mathrm{Spec}(k)$ where $\mathrm{Spec}(\mathbf{C})$ is regarded as a $\mathrm{Spec}(k)$-scheme via $\mathrm{Spec}(i)$. Applying $-\times_{k,i}\mathrm{Spec}(\mathbf{C})$ is called base change along $i$, or if $i$ is understood and fixed, base change from $k$ to $\mathbf{C}$.  Base change is functorial in that if you have a morphism $f:X\rightarrow Y$, you get a morphism $f_\mathbf{C}:X_\mathbf{C}\rightarrow Y_\mathbf{C}$ as $f_\mathbf{C}=f\times 1_{\mathrm{Spec}(\mathbf{C})}$.
In concrete terms, if $X$ is the variety cut out in $\mathbf{A}_k^n$ by an ideal $I=(f_1,\ldots,f_m)$ for $f_1,\ldots,f_m\in k[X_1,\ldots,X_n]$, then $X_\mathbf{C}$ is the variety cut out by the same polynomial equations $f_j=0$ viewed over $\mathbf{C}$. Similarly for a variety in $\mathbf{P}_k^n$.
Regarding an elliptic curve $E/k$, the base change $E_\mathbf{C}$ is an elliptic curve over $\mathbf{C}$. The group of $\mathbf{C}$-rational points $E_\mathbf{C}(\mathbf{C})$ has a canonical structure of compact, complex Lie group (it is the analytification of $E_\mathbf{C}$) and admits an ``analytic uniformization" $E_\mathbf{C}(\mathbf{C})\cong\mathbf{C}/\Lambda$ for a lattice $\Lambda$. This uniformization is explained, e.g., in Silverman's first book, and many other references for elliptic curves.
EDIT: To answer the question in the comments about dimension, if your definition of dimension is the transcendence degree of the function field, then you probably want to assume your variety is geometrically integral (one definition of a $k$-variety is a finite type, separated, geometrically integral $k$-scheme, although sometimes "geometrically integral" is replaced with various weaker conditions). If $X$ is a geometrically integral $k$-scheme of finite type, then for any non-empty open $U$ of $X$, $\dim(U)=\dim(X)$ (this is true for an integral $X$ but we want geometrically integral to ensure that the definition of dimension we're using makes sense after base change). We then have $\dim(U_\mathbf{C})=\dim(X_\mathbf{C})$, and we can therefore assume $X=\mathrm{Spec}(A)$ is affine, the spectrum of a finitely generated domain over $k$. Now the result follows from Noether normalization: there is a finite injection $k[X_1,\ldots,X_n]\rightarrow A$, and tensoring with $\mathbf{C}$ gives a finite injection $\mathbf{C}[X_1,\ldots,X_n]\rightarrow A\otimes_k\mathbf{C}$. Dimension is preserved in finite ring extensions, so $\dim(A)=\dim(k[X_1,\ldots,X_n])=n=\dim(\mathbf{C}[X_1,\ldots,X_n])=\dim(A\otimes_k\mathbf{C})$. 
FURTHER EDIT: It occurs to me that dimension is preserved in great generality for base change along algebraic extension (which a number field to $\mathbf{C}$ definitely isn't, but just for completeness I thought I'd add this here). If $X$ is any locally of finite type $k$-scheme, $k$ any field at all, and $K/k$ is algebraic, then $\dim(X)=\dim(X_K)$. For the proof, take an affine open cover $X=\bigcup_iU_i$, so that $X_K=\bigcup_i(U_i)_K$ is an affine open cover, and thus $\dim(X)=\sup_i\dim(U_i)$ and $\dim(X_K)=\sup_i\dim((U_i)_K)$. It therefore suffices to prove $\dim(U_i)=\dim((U_i)_K)$ for all $i$, so we may assume that $X=\mathrm{Spec}(A)$ is affine, the spectrum of a finite type $k$-algebra (so necessarily $\dim(A)<\infty$). The map $A\rightarrow A_K$ is an integral extension (integral because it is the base change of integral $k\rightarrow K$ and injective because $A$ is $k$-flat). Integral ring extensions preserve dimension, so we win.
A: Just to give a more elementary explanation: if you have a set of equations with coefficients in a field $k$, then you can also think of these equations as having coefficients in $l$, for any extension field $l$ of $k$.  So if $V$ is a variety over $k$, cut out by some equations with coefficients in $k$, then thinking of these equations instead as having coefficients in $l$, we can think of $V$ as being a variety over $l$ instead.
Exactly how this works on a technical level depends on your precise definition of variety over $k$.  (If you work scheme-theoretically, this corresponds to base-change of schemes.  If you work with a more traditional language as in Weil's foundations, then the points of the variety don't actually change.)  But the intuitive idea is the one in the paragraph above, and should hopefully be pretty clear.
