Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In the paper "On a problem of Zariski", David Rees presents a counterexample to the following problem of Zariski.

Let $F/k$ be a f.g. field extension, $S$ a f.g. normal integral domain over $k$ such that $Q(S)\supseteq F$. Is $S\cap F$ a finitely generated $k$-algebra?

His construction starts with a smooth curve $C$ in $\mathbb{P}^2$ over $\mathbb{C}$ and $p\in C$, and $\mathfrak{p}=I(p)\subseteq\mathbb{C}[x_0,x_1,x_2]$. It produces a certain ring $A$. Now he shows the implication (of which the details are not important for my question I think):

If $A$ has the Nagata property (defined in the paper), then there exists an $m\in\mathbb{N}$ such that the symbolic power $\mathfrak{p}^{(m)}$ is a principal ideal.

He states that geometrically, this means that there exists a curve $D$ in $\mathbb{P}^2$ which intersects $C$ only in $p$, with multiplicity $m$. Using other results from the paper, it suffices to take a suitable pair $(C,p)$ and show that the ring obtained doesn't have the Nagata property. He does this as follows, and this is where I don't understand a step, since I don't know much about elliptic curves.

Let $C$ be a smooth cubic elliptic curve. If we consider the parametrization of $C$ by elliptic functions, then the condition that there should exist a curve meeting $C$ multiply at $p$ and at no other point is that the value of the parameter at $p$ should be a rational multiple of a period. It follows therefore that there are points $p$ on $C$ such that no multiple of $p$ is a complete intersection, and for such points the ring constructed above does not have the Nagata property.

Does this property of elliptic curves have a name? What does the "no multiple of $p$ is a complete intersection" part mean? From the text above, this property should guarantee that there are points on a smooth elliptic cubic curve such that for every $m$, there exists no other curve in $\mathbb{P}^2$ intersecting $C$ in only this point with multiplicity $m$. I guess we can get rid of $m$ here: there exists $p\in C$ such that there is no curve $D$ intersecting $C$ only in $p$. What is this property called (and did I "translate" it correctly?), and where can I read up on it?

Thank you in advance!

share|improve this question

migrated from math.stackexchange.com Jul 8 '13 at 17:28

This question came from our site for people studying math at any level and professionals in related fields.

1 Answer 1

up vote 2 down vote accepted

If the line at infinity meets $C$ only at the point $O$ (the usual thing), then a curve of equation $f=0$ and degree $m$ meets $C$ only at $P$ if and only if the divisor of $f$ as a function on $C$ is $m(P-O)$, that is $P$ is torsion in the group law (which is equivalent to the "value of the parameter being a rational multiple of the period" over the complex numbers), so the non-torsion points have the property that no multiple of it is a complete intersection.

(Apart from the slightly old-fashion nomenclature, this question could have stayed in MSE)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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