In the geometry of complex algebraic curves, a local parameter for a curve C at a smooth point P is a meromorphic function on C that has a simple zero at P. (or schemess), because the local ring at a smooth point P of an algebraic curve C (defined over an algebraically closed field) is always a discrete valuation ring. This valuation will show a way to count the order (at the point P) of rational functions (which are natural generalizations for meromorphic functions in the non-complex realm) having a zero or a pole at P.

Local parameters, as its name indicates, are used mainly to properly count multiplicities in a local way.

Introduction

If C is a complex algebraic curve, count multiplicities of zeroes and poles of meromorphic functions defined on it., if there is no access to the power of the complex analysis. This is in complete analogy with the complex case, in which the maximal ideal of the local ring at a point P is actually conformed by the germs of holomorphic functions vanishing at P.

is given by

This valuation can naturally be extended to K(C) (which is the field of rational functions of C) because it is the field of fractions. Hence, the idea of having a simple zero at a point P, with d at most 1.

This has an algebraic resemblance with the concept of a uniformizing parameter (or just uniformizer) found in the context of discrete valuation rings in commutative algebra; a uniformizing parameter for the DVR (R, m) is just a generator of the maximal ideal m. The link comes from the fact that a local parameter at P), whence the name.

Definition

Let C be an algebraic curve defined over an algebraically closed field K, and let K(C) be the field of rational functions of C. The valuation on K(C). A local parameter for C at P.

References