Curves over Fields

Algebraic Curves

An algebraic curve is a geometric object whose dimension is one. Curves are among the oldest and most important objects in number theory and algebraic geometry.

Classically, a curve is defined by a polynomial equation in two variables:

f(x,y)=0.

Examples include:

y=x^2,

x^2+y^2=1,

and

y^2=x^3-x.

Over a field $k$ , such equations define subsets of affine or projective space whose coordinates lie in $k$ .

Curves occupy a central position in arithmetic geometry because they are sufficiently rich to contain deep arithmetic phenomena while remaining tractable enough for detailed study.

Affine and Projective Curves

An affine curve is a one-dimensional affine variety. However, affine curves may omit points at infinity, leading to incomplete geometric behavior.

To obtain a more natural theory, curves are usually studied in projective space.

For example, the affine equation

y=x^2

may be homogenized into the projective equation

YZ=X^2

in $\mathbb{P}^2$ .

Projective curves behave better under intersection and compactification. In particular, every pair of projective plane curves satisfies stronger intersection properties than their affine counterparts.

Most modern treatments therefore regard smooth projective curves as the fundamental objects.

Rational Functions

Let $C$ be an irreducible curve over a field $k$ . A rational function on $C$ is locally the quotient of two polynomial functions.

The set of rational functions forms a field:

k(C),

called the function field of the curve.

This field plays the same role for curves that number fields play in algebraic number theory. In fact, there is a deep analogy:

Number Theory	Geometry
Number field $K$	Function field $k(C)$
Prime ideals	Points of the curve
Integers	Regular functions
Valuations	Orders of vanishing

This analogy is one of the foundations of arithmetic geometry.

Points on Curves

If $k$ is a field, a $k$ -rational point on a curve $C$ is a point whose coordinates lie in $k$ .

For example, on the curve

x^2+y^2=1,

the point

\left(\frac{3}{5},\frac{4}{5}\right)

is a rational point over $\mathbb{Q}$ .

Arithmetic geometry studies sets such as

C(\mathbb{Q}), \qquad C(\mathbb{F}_p), \qquad C(\mathbb{R}), \qquad C(\mathbb{C}).

The nature of these sets depends strongly on the field.

Over finite fields, the set of rational points is finite. Over $\mathbb{Q}$ , the structure may be finite, infinite, or extremely complicated.

Singular and Smooth Curves

A point on a curve is singular if the curve fails to have a well-defined tangent direction there.

Suppose

f(x,y)=0.

A point $(a,b)$ is singular if

\frac{\partial f}{\partial x}(a,b)=0, \qquad \frac{\partial f}{\partial y}(a,b)=0.

For example,

y^2=x^3

has a singular point at $(0,0)$ .

By contrast,

y^2=x^3-x

is smooth because the partial derivatives do not vanish simultaneously on the curve.

Smooth curves behave much more regularly and admit a rich geometric theory.

Genus

One of the most important invariants of a smooth projective curve is its genus.

Intuitively, the genus measures the complexity of the curve. Over the complex numbers, it corresponds topologically to the number of holes in the associated surface.

Examples:

Curve	Genus
Projective line $\mathbb{P}^1$	$0$
Elliptic curve	$1$
Hyperelliptic curves	$\geq 2$

Genus strongly influences arithmetic behavior.

Genus Zero

Curves of genus $0$ are closely related to the projective line. If they possess a rational point, they admit rational parameterizations.

For example, the circle

x^2+y^2=1

can be parameterized by rational functions.

Genus One

Smooth projective curves of genus $1$ equipped with a rational point are elliptic curves.

Elliptic curves possess a natural group law and are central to modern number theory.

Higher Genus

Curves of genus at least $2$ exhibit strong finiteness properties. Faltings’ theorem states that such curves have only finitely many rational points over number fields.

This theorem profoundly changed Diophantine geometry.

Morphisms Between Curves

A morphism of curves

f:C\to D

is a regular algebraic map.

Such maps induce extensions of function fields:

k(D)\subseteq k(C).

The degree of the morphism equals the degree of the corresponding field extension in many situations.

Morphisms between curves encode branching behavior, coverings, ramification, and arithmetic symmetries.

Divisors on Curves

A divisor on a curve is a formal finite sum

D=\sum n_P P,

where the $P$ are points of the curve and $n_P\in\mathbb{Z}$ .

Divisors measure zeros and poles of rational functions.

If $f\in k(C)$ is nonzero, its divisor is

(f)=\sum_P \operatorname{ord}_P(f)\,P,

where $\operatorname{ord}_P(f)$ records the order of vanishing or pole at $P$ .

Divisor theory is fundamental in the study of linear systems, Riemann-Roch theory, and Jacobians.

Curves over Finite Fields

Curves over finite fields are particularly important in modern arithmetic geometry.

Let $C$ be a curve over $\mathbb{F}_q$ . One studies the number of rational points

\#C(\mathbb{F}_q).

The behavior of these point counts is connected to the zeta function of the curve.

For smooth projective curves, the Weil bound states:

\left| \#C(\mathbb{F}_q)-(q+1) \right| \leq 2g\sqrt{q},

where $g$ is the genus.

This theorem is an analogue of the Riemann Hypothesis for curves over finite fields.

Arithmetic Importance of Curves

Curves lie at the heart of modern number theory.

Many major achievements revolve around them:

Fermat’s Last Theorem through modular elliptic curves,
class field theory via algebraic curves,
cryptography using elliptic and hyperelliptic curves,
Diophantine equations through rational points,
Langlands correspondences over function fields.

Curves therefore serve as the meeting point of geometry, algebra, topology, and arithmetic.