5
$\begingroup$

I have just finished reading Hartshorne, Chapter 1, Section 6 and have some questions about curves defined over a subfield of an algebraically closed field. For simplicity, let $k$ be a perfect field, $\overline{k}$ a fixed algebraic closure.

1) Let $E$ be a funtion field of transcendence degree 1 over k. Then $\overline{E}=E\cdot\overline{k}$ is a funtion field of transcendence degree 1 over $\overline{k}$, and hence (keeping the notation of Hartshorne) $C_{\overline{E}}$ is isomorphic to a non-singular projective curve, $X$ say. Is $X$ necessarily defined over $k$?

2) if $\varphi:X\rightarrow Y$ is a morhpism of curves and $X$ is defined over $k$, then is $Y$? Same question but with $\varphi$ a birational map.

Any help much appreciated (as always).

1 Answers 1

6

I think it is better to make clear the meaning of being defined over $k$. When you have a curve $X$ over $\bar{k}$, you know it only up to $\bar{k}$-isomorphisms. So the only reasonable definition is that $X$ is isomorphic (over $\bar{k}$) to $Z_{\bar{k}}$ for some curve $Z$ defined over $k$.

(1) Yes. This is because $X=C_{\bar{E}}$ and $(C_E)_{\bar{k}}$ have the same function fields (equal to $\bar{k}E$) and are thus isomorphic over $\bar{k}$.

(2.1) No. Let $Y$ be any curve over $\bar{k}$ not defined over $k$. But it is always defined over a finite (hence separable) extension $L/k$. Enlarging $L$ if necessary, we can suppose $L/k$ is Galois of Galois group $G$. Fix an algebraic closure $\overline{L(Y)}$ of $L(Y)$. Let $F$ be the compositum in $\overline{L(Y)}$ of the conjugates $\sigma(L(Y))$, $\sigma\in G$. Then $F$ is stable by $G$. Let $E=F^G$. This is a function field over $k$ and we have $LE=F$ (Speiser lemma). So $X:=C_F=(C_E)_L$ is defined over $k$. The extension $L(Y)\to F$ induces a morphism $\varphi: X\to Y$ over $L$. But by hypothesis, $Y$ is not defined over $k$.

A concrete example: $k=\mathbb R$; $Y$ is an elliptic curve over $\mathbb C$ defined by an equation $$y^2=x^3+ax+b$$ with $j(Y)\notin\mathbb R$. The (non trivial) conjugate of $Y$ is defined by the equation $$z^2=x^3+\bar{a}x+\bar{b}$$ (here $\bar{a}$ stands for complex conjugation). The compositum is $\mathbb C(x,y,z)$ with the above relations, and $(\mathbb C(x,y,z))^G=\mathbb R(x, y+z, yz, i(y-z))=\mathbb R(x)[y+z]$.

Remark. In fact, we proved that any (smooth projective connected) curve over $\bar{k}$ is dominated by a curve defined over $k$.

(2.2) Yes, if $\varphi$ is birational, then $Y$ is isomorphic to $X$ over $\bar{k}$. Hence by definition (see the preamble), $Y$ is defined over $k$.

  • 0
    Hi, thanks for your answer. I just have a couple of quick questions (a) To clarify, if $X$ and $Y$ are $\overline{k}$-isomorphic does that mean they are isomorphic as varieties or is it saying that their function fields are isomorphic as $\overline{k}$-algebras? (I'm guessing/hoping the latter as otherwise I don't understand your answer to (2.2)!) (b) With regards to (1) I am not familiar with $(C_E)_{\overline{k}}$. What is this curve please, and why is it defined over $k$? Cheers2012-09-09
  • 0
    @MDavolo (a) Yes, this is true for smooth projective connected curves over any field. This should be in the section in Hartshorne you are reading. (b) $(C_E)_{\bar{k}}$ is the extension of $C_E$ to $\bar{k}$. It is also *the* projective smooth connected curve over $\bar{k}$ with function field equal to $\bar{k}E$. It is defined over $k$ by definition.2012-09-09
  • 0
    Dear QiL, I don't understand what $\overline{k}E$ means, since $\overline{k}$ and $E$ are not contained in a common field. However if $k$ is algebraically closed in $E$ then $\overline{k}\otimes_k E$ is a field (if I'm not mistaken) . Does the notion of "function field" include such an algebraically closed hypothesis? Or do we have to take quotients of the above tensor product?2012-09-09
  • 0
    Dear @GeorgesElencwajg, I took the notation of OP. If we fix an algebraic closure $\Omega$ of $E$, then $\bar{k}E$ can be defined as the compositum of $E$ and the algebraic closure $\bar{k}$ of $k$ in $\Omega$. Of course this is highly non-canonical, but is harmless here because we only care about isomorphisms classes. As you said, when $k$ is algebraically closed in $E$, then $\bar{k}E$ is isomorphic to $\bar{k}\otimes_k E$ and is a quotient otherwise. In this question, $E$ is regular extension $k$ (so $k$ is algebraically closed in $E$).2012-09-09
  • 0
    Hi QiL, apologies but did you misread question (a)? I was basically asking what it means for two curves to be $\overline{k}$-isomorphic. Also, when you say $(C_E)_{\overline{k}}$ is the extension of $C_E$ to $\overline{k}$, again this is something I am unfamiliar with. I am guessing that $C_E$ stands for the discrete valuation rings of $E/k$ and that it can be realized as a curve in $\mathbb{P}^n(k)$ defined by polynomials over $k$ and that $(C_E)_{\overline{k}}$ denotes the same curve but in $\mathbb{P}^n(\overline{k})$. How far off the mark is this?!2012-09-09
  • 0
    Dear @MDavolo,sorry for not being clear enough. The answer is yes for (a). Two projective smooth connected curves are isomorphic iff their function fields are isomorphic. As stated in Hartshorne, $C_E$ is (isomorphic to) the unique projective smooth connected curve whose function fields is $E$. I don't really like the construction of this curve in terms of DVR's. So $(C_E)_{\bar{k}}$ is the extension of curve (view as subvariety of some $\mathbb P^n_k$ if you like).2012-09-09
  • 0
    Dear QiL, thanks for your quick answer. You write "In this question, $E$ is a regular extension of $ k$ (so $k$ is algebraically closed in $E$)". But why is that : is it by definition of "function field"? Is $\mathbb C(t)$ considered a function field over $\mathbb R$?2012-09-09
  • 0
    Dear Geroges @GeorgesElencwajg, in my answer to (2.1), $E$ is a regular extension because in fact $L\otimes_k E\simeq F$. More directly, the elements of $E$ algebraic over $k$ must be invariant by $G$, so there are in $k$. Do you have some intuition that something go wrong ? I don't know whether people agree to define a function field over $k$ to be the function field of a geometrically integral variety over $k$, but for the question of fields of definition, it is better to do so I think.2012-09-09
  • 0
    Dear QiL, no, no I have no intuition that anything is wrong: what you write is very convincing. Thanks again for explaining me all this.2012-09-10
  • 0
    Hi QiL, sorry to keep bothering you but I am still having some issues here! Above you have given me the correct definition for a curve to be defined over $k$ but I can't make sense of it as I am not familiar with the term $\overline{k}$-isomorphic. To clarify is a (not necessarily smooth) curve $X$ “defined over $k$” if it is (1) isomorphic to a curve $Y$ which is the vanishing set of polynomials with coefficients in $k$? OR (2) birationally equivalent to a curve $Y$ which is the vanishing set of polynomials with coefficients in $k$?2012-09-11
  • 0
    Also you say that in Hartshorne $C_E$ is isomorphic to the unique non-singular curve with function field $E$. But $E$ is an extension of transcendence degree 1 over $k$ not $\overline{k}$ so I don't see how this figures. What am I missing here?!2012-09-11
  • 0
    @MDavolo: for the definition of "defined over $k$", (1) is the good choice. For $C_E$, the statement "unique non-singular curve..." holds over any field $k$. Hope this helps.2012-09-11
  • 0
    @QiL: Again, sorry to bother you but I am curious of seeing whether this a possible way of thinking about $C_E$. By an extended version of Hartshorne 1.6.12 $E/k$ is the $k$-rational function field of a unique smooth projective curve $C_E$ defined over $k$. Now given any variety $X$ over $k$ we have $\overline{k}(X)=\overline{k}\cdot k(X)$, thus $C_E$ has $\overline{k}$-function field $\overline{k}E$ and so it is isomorphic to the non-singular model associated with $\overline{k}E$2012-09-13
  • 0
    @MDavolo, yes this is correct.2012-09-14