23
$\begingroup$

As suggested by Poonen in a comment to an answer of his question about the birationality of any curve with a smooth affine plane curve we ask the following questions:

Q) Is it true that every smooth affine curve is isomorphic to a smooth affine plane curve?

(a) In particular, given a smooth affine plane curve $X$ with an arbitrary Zariski open set $U$ in it, can one give a closed embedding of $U$ in the plane again?

(b) An extremely interesting special case of (Q) above: Suppose $X$ is a singular plane algebraic curve with $X_{sm}$ the smooth locus. Can one give a closed embedding of $X_{sm}$ in the plane?

All varieties in question are over $\mathbb{C}$.


UPDATE:
Bloch, Murthy and Szpiro have already proven in their paper "Zero cycles and the number of generators of an ideal" , a much more general result (see Theorem 5.7, op.cit), that every reduced and irreducible prjective variety has an affine open set which is a hypersurface. This settles the above question birationally, in particular.
The authors give a very short and beautiful alternate proof of their result by M.V. Nori which I include here for its brevity and for anyone who may not have access to the paper:
Proof: Suppose $X$ is an integral projective variety of dimension $d$. By a generic projection, easily reduce to the case of a (possibly singular) integral hypersurface $X$ of $\mathbb{A}^{d+1}$. Suppose the coordinate ring of $X$ is $A=\mathbb{C}[x_1,\dots,x_{d+1}]$ and its defining equation is $F=\Sigma_0^m{f_i}x_{d+1}^{i}=0$ with $f_0\neq{0}$. For some element $h$ in $J\cap\mathbb{C}[x_1,\dots,x_d]$, where $J$ defines the singular locus of $X$, put $x_{d+1}'=x_{d+1}/(hf_0^2)$ in $F=0$ to observe that $1/(hf_0)\in\mathbb{C}[x_1,\dots,x_{d+1}']$ and $A_{hf_0}=\mathbb{C}[x_1,\dots,x_{d+1}']$. Clearly $\rm{Spec}\ {A_{hf_0}}$ admits a closed immersion in $\mathbb{A}^{d+1}$.


However, the above authors also prove in their Theorem 5.8 that there exist affine varieties of any dimension, which are not hypersurfaces. This answers our question in negative. This was also known to Sathaye for curves, see On planar curves. He gives a nice example of a double cover of a punctured elliptic curve, ramified at 9 points and also at the point at infinity. This curve cannot be embedded in $\mathbb{A}^2$. Sathaye uses the value semigroup at the only point at infinity to prove this. His example has trivial canonical divisor. So it answers Poonen's question in the comments below, negatively.
In short, $K=0$ for an affine curve is necessary but not sufficient for the curve to be planar, however one should note that $K=0$ is necessary and sufficient for an affine curve to be a complete intersection.

$\endgroup$
3
  • 1
    $\begingroup$ Re your comment below: send me an email to [email protected], I will send you the paper. $\endgroup$ Dec 30, 2009 at 7:24
  • $\begingroup$ Your link to a paper by Bloch, Murthy, Szpiro leads to another paper by Murthy alone. $\endgroup$ Aug 25, 2011 at 20:52
  • 1
    $\begingroup$ @MatthieuRomagny The paper which should have been linked is this $\endgroup$
    – Kapil
    Jun 5, 2023 at 10:35

1 Answer 1

14
$\begingroup$

You can try this:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.6348

$\endgroup$
5
  • 11
    $\begingroup$ The article cited gives a negative answer. The argument is as follows: A smooth affine plane curve has trivial canonical bundle. But if you start with a smooth projective curve X of genus greater than 1 and remove a finite number of sufficiently general points, then the subgroup of Pic(X) generated by the classes of the removed points does not contain the class of the canonical bundle of X, so the resulting affine curve has nonzero canonical class. $\endgroup$ Dec 25, 2009 at 21:25
  • 8
    $\begingroup$ Is the canonical class the only obstruction to embedding a smooth affine curve as a closed subscheme of A^2? $\endgroup$ Dec 26, 2009 at 21:18
  • $\begingroup$ I would expect so but not sure. This is definitely worthwhile thinking about. My only worry is a paper of the above cited author which says that given any set of points on a projective curve, he can find nearby points such that their complement has no closed embedding in the plane. Unfortunately I am unable to download any of these papers, so details are not available. Relying just on Mathscinet review so far! $\endgroup$
    – Maharana
    Dec 30, 2009 at 6:48
  • $\begingroup$ @Hailong : This link seems to be broken. $\endgroup$ Oct 16, 2022 at 15:16
  • $\begingroup$ @StevenLandsburg The link is working again (cf. What happened to CiteSeerX? Is there a way to fix those links? on Mathematics Meta). In case the link breaks again, here is the full citation: Jelonek, Zbigniew, Smooth affine curves without embeddings into the affine plane, Bull. Pol. Acad. Sci., Math. 47, No. 4, 363–367 (1999). Zbl 0980.14023. $\endgroup$ Jul 16, 2023 at 16:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.