# What is a local parameter in algebraic geometry?

Shafarevich offers the following theorem-definition:

"At any nonsingular point $P$ of an irreducible algebraic curve, there exists a regular function $t$ that vanishes at $P$ and such that every rational function $u$ that is not identically $0$ on the curve can be written in the form $u = t^k v$, with $v$ regular at $P$ and $v(P) \neq 0$. A function $t$ with this property is called a local parameter on the curve at $P$."

• I've looked through six other books on algebraic geometry (The Geometry of Schemes by Eisenbud and Harris, Algebraic Curves by Fulton, Principles of Algebraic Geometry by Griffiths and Harris, The Red Book of Varieties by Mumford, and Vakil's online notes Foundations of Algebraic Geometry) and, unless I have made an error, none even contain the phrase "local parameter." Hartshorne does appear to have the phrase in a few instances, but certainly does not give any definition at all similar to the one above, and besides Hartshorne is above my level right now so I am not in a good position to decide whether his usage agrees with that above or not.

• The above theorem appears to me to exist only in Shafarevich and nowhere else in the mathematical literature.

• Wikipedia offers the following much simpler characterization: "In the geometry of complex algebraic curves, a local parameter for a curve $C$ at a smooth point $P$ is just a meromorphic function on $C$ that has a simple zero at $P$."

So my question is this: what exactly are these local parameters, and how should I think of them? How can I reconcile what Wikipedia has written with what Shafarevich writes? The name "local parameter" suggests to me there is some simple characterization of these functions which Shafarevich is keeping a mystery from me (or is Shafarevich's definition more intuitive than I am finding it?). And finally are these really present virtually nowhere in the entire mathematical literature except Shafarevich, or do equivalent ideas go under different names?

-
there is a little confusion because the inverse function theorem is false in algebraic geometry. so a sequence (f1,...,fn) of functions regular near a point give "local coordinates" at that point iff they define an etale map to k^n, iff the jacobian matrix at that point is invertible. but there is no zariski open set small enough for them to define a local isomorphism, although this is true on a complex nbhd as observed by Matt. – roy smith Jan 28 '11 at 5:41
An important example of the expansion of an elliptic curve in terms of a local parameter is given on pg. 183 of Tate's paper "The Arithmetic of Elliptic Curves" Invent. math. 23, 179-206 (available on the Net). – Tom Copeland Oct 1 '12 at 23:47

What Shafarevic calls a local parameter is often called a uniformizing parameter at $P$, and is also the same thing as a uniformizer of the local ring of $C$ at $P$.

The point is that if $P$ is a smooth point on a curve, then the local ring at $P$ (i.e. the ring of rational functions on $C$ which are regular at $P$) is a DVR, and hence its maximal ideal is principal; a generator of this ideal is called a uniformizer.

If $t$ is a uniformizer/local parameter/uniformizing parameter at $P$, and if $u$ is any other rational function, then if we write $u = t^k v$ where $v(P) \neq 0$ (i.e. $v$ is a unit in the local ring), then $k$ is the order of vanishing of $u$ at $P$. In particular, $u$ vanishes to order one if and only if it is equal to $t$ times a unit in the local ring, if and only if it is also a generator of the maximal ideal of the local ring at $P$, if and only if it is also a uniformizer. Thus Shafarevic and Wikipedia are reconciled.

One is supposed to think of $t$ as being a "local coordinate at $P$." In the complex analytic picture you would choose a small disk around $P$, and consider the coordinate $z$ on this disk; this a local coordinate around the smooth point $P$. This analogy is very tight: indeed, it is not hard to show (when the ground field is the complex numbers) that a rational function $t$ is a local parameter at $P$ if and only $t(P) = 0$, and if there is a small neighbourhood of $P$ (in the complex topology) which is mapped isomorphically to a disk around $0$ by $t$, i.e. if and only if $t$ restricts to a local coordinate on a neighbourhood of $P$.

Finally, this concept is ubiquitous. The fact that the local ring at a point on a smooth algebraic curve is a DVR is fundamental in the algebraic approach to the theory of algebraic curves; see e.g. section 6 of Chapter I of Hartshorne.

-

A synonym for this term is "uniformizing parameter" or "uniformizer," and this term does appear in other books. I believe it is supposed to be the algebraic analogue of a chart; in other words, it is a "local coordinate" at the point. Perhaps to understand the geometry behind the term you should look at textbooks on Riemann surfaces first.

-

I think page 146 of this seems like a clear explanation of local parameters. This is an article about algebraic geometry applied to coding theory. It also uses "uniformizing parameter" as a synonym as Qiaochu mentioned.

-
If you're just going to post a link you found on Google, you should do so in a comment. – Qiaochu Yuan Jan 28 '11 at 1:18