Morphisms and Fibers

Maps Between Geometric Objects

Geometry is not only concerned with spaces themselves, but also with maps between spaces. In algebraic geometry and arithmetic geometry, these maps are called morphisms.

A morphism describes how one variety or scheme is transformed into another while preserving algebraic structure.

For affine varieties, morphisms arise from polynomial functions. If

X\subseteq \mathbb{A}^n,\qquad Y\subseteq \mathbb{A}^m,

a morphism

f:X\to Y

is given by polynomial expressions

f(x_1,\ldots,x_n)= (f_1(x),\ldots,f_m(x)),

where each $f_i$ is a polynomial.

For example, the map

f:\mathbb{A}^2\to\mathbb{A}^1, \qquad f(x,y)=x^2+y^2

assigns to each point its quadratic value.

Morphisms allow geometric objects to be compared, decomposed, and studied through their interactions.

Contravariant Algebraic Description

Morphisms correspond algebraically to homomorphisms of coordinate rings.

Suppose

X=\operatorname{Spec}(A),\qquad Y=\operatorname{Spec}(B).

A morphism

f:X\to Y

induces a ring homomorphism

f^*:B\to A.

The direction reverses. Geometry moves from $X$ to $Y$ , while algebra moves from functions on $Y$ to functions on $X$ .

This contravariant relationship is fundamental.

For example, consider the map

f:\mathbb{A}^1\to\mathbb{A}^1, \qquad f(t)=t^2.

The corresponding ring homomorphism is

k[x]\to k[t], \qquad x\mapsto t^2.

Thus the polynomial function $x$ on the target becomes the function $t^2$ on the source.

Local Nature of Morphisms

Morphisms of schemes are locally determined. Since schemes are built from affine pieces, it suffices to describe morphisms on affine charts and verify compatibility on overlaps.

This local structure allows extremely complicated global objects to be studied through manageable algebraic neighborhoods.

Many geometric properties are local in nature:

smoothness,
dimension,
singularity structure,
ramification,
regularity.

Local rings and localization therefore play an essential role in understanding morphisms.

Fibers of a Morphism

One of the most important constructions in algebraic geometry is the fiber.

Let

f:X\to Y

be a morphism, and let $y\in Y$ . The fiber of $f$ over $y$ is

f^{-1}(y),

the set of points of $X$ mapping to $y$ .

Fibers describe how the geometry of $X$ varies over the base space $Y$ .

For example, consider

f:\mathbb{A}^2\to\mathbb{A}^1, \qquad f(x,y)=x^2+y^2.

The fiber over $a\in k$ is the curve

x^2+y^2=a.

Different values of $a$ produce different geometric objects:

$a=0$ gives a singular point over some fields,
$a\neq 0$ gives a conic,
behavior changes depending on the field $k$ .

Thus a morphism may be viewed as a family of varieties parameterized by another space.

Geometric Fibers

In arithmetic geometry, fibers are often studied over different fields.

Suppose $X$ is a scheme over $\operatorname{Spec}(\mathbb{Z})$ . Then each prime number $p$ determines a fiber

X_p=X\times_{\operatorname{Spec}(\mathbb{Z})}\operatorname{Spec}(\mathbb{F}_p).

This is the reduction of $X$ modulo $p$ .

The generic fiber is obtained over

\operatorname{Spec}(\mathbb{Q}),

which describes the rational or characteristic-zero structure.

Hence one scheme over $\mathbb{Z}$ contains information simultaneously over all primes and over the rational numbers.

This viewpoint is central to arithmetic geometry.

Example: Elliptic Curves

Consider the elliptic curve

E:y^2=x^3+x+1.

Viewed over $\mathbb{Z}$ , this equation defines a scheme whose fibers over primes are curves over finite fields.

For each prime $p$ , one obtains

E_p:y^2=x^3+x+1

over $\mathbb{F}_p$ .

Some fibers are smooth, while others may become singular. The primes where singularities occur are precisely the primes dividing the discriminant of the curve.

Thus arithmetic properties are encoded geometrically in the behavior of fibers.

Dominant and Finite Morphisms

A morphism

f:X\to Y

is dominant if its image is dense in $Y$ . Algebraically, this corresponds to injectivity of the associated ring map when the spaces are irreducible.

A morphism is finite if, locally, the coordinate ring of the source is finitely generated as a module over the coordinate ring of the target.

Finite morphisms resemble finite field extensions in algebraic number theory. Many arithmetic constructions are modeled on this analogy.

For example, if

L/K

is a finite field extension, then

\operatorname{Spec}(L)\to\operatorname{Spec}(K)

is a finite morphism.

Ramification

Morphisms may fail to behave uniformly everywhere. At certain points, fibers may collide or become singular. This phenomenon is called ramification.

A simple example is

f:\mathbb{A}^1\to\mathbb{A}^1, \qquad f(t)=t^2.

Most fibers contain two points:

t=\pm\sqrt{a}.

But over $a=0$ , the two points merge into one point. The map ramifies at $0$ .

Ramification is deeply connected to algebraic number theory. Prime ideals in extensions of number fields split, remain inert, or ramify. Scheme-theoretic morphisms provide the geometric framework for understanding these behaviors.

Base Change

Suppose

f:X\to Y

is a morphism and

Y'\to Y

is another morphism. The fiber product

X\times_Y Y'

produces a new scheme over $Y'$ .

This operation is called base change.

Base change allows geometric objects to be transported to larger fields or different arithmetic settings. For example, one may pass from rational numbers to complex numbers:

X_{\mathbb{C}} = X\times_{\operatorname{Spec}(\mathbb{Q})} \operatorname{Spec}(\mathbb{C}).

This often simplifies geometric structure while preserving arithmetic information.

Arithmetic Interpretation

Morphisms and fibers provide a bridge between local and global arithmetic.

A single scheme over $\mathbb{Z}$ may be analyzed through:

its generic fiber over $\mathbb{Q}$ ,
its reductions modulo primes,
its local structure near singular points,
its behavior under extensions of fields.

This perspective is one of the defining features of modern number theory. Geometric families encode arithmetic variation, while fibers reveal how algebraic structures change across different characteristics and fields.