## 109.47 Moduli

In this section we consider some naive approaches to moduli of algebraic geometric objects.

Let $k$ be an algebraically closed field. Suppose that $M$ is a moduli problem over $k$. We won't define exactly what this means here, but in each exercise it should be clear what we mean. To understand the following it suffices to know what the objects of $M$ over $k$ are, what the isomorphisms between objects of $M$ over $k$ are, and what the families of object of $M$ over a variety are. Then we say the *number of moduli of $M$* is $d \geq 0$ if the following are true

there is a finite number of families $X_ i \to V_ i$, $i = 1, \ldots , n$ such that every object of $M$ over $k$ is isomorphic to a fibre of one of these and such that $\max \dim (V_ i) = d$, and

there is no way to do this with a smaller $d$.

This is really just a very rough approximation of better notions in the literature.

Exercise 109.47.1. Let $k$ be an algebraically closed field. Let $d \geq 1$ and $n \geq 1$. Let us say the moduli of hypersurfaces of degree $d$ in $P^ n$ is given by

an object is a hypersurface $X \subset \mathbf{P}^ n_ k$ of degree $d$,

an isomorphism between two objects $X \subset \mathbf{P}^ n_ k$ and $Y \subset \mathbf{P}^ n_ k$ is an element $g \in \mathbf{PGL}_ n(k)$ such that $g(X) = Y$, and

a family of hypersurfaces over a variety $V$ is a closed subscheme $X \subset \mathbf{P}^ n_ V$ such that for all $v \in V$ the scheme theoretic fibre $X_ v$ of $X \to V$ is a hypersurfaces in $\mathbf{P}^ n_ v$.

Compute (if you can – these get progressively harder)

the number of moduli when $n = 1$ and $d$ arbitrary,

the number of moduli when $n = 2$ and $d = 1$,

the number of moduli when $n = 2$ and $d = 2$,

the number of moduli when $n \geq 1$ and $d = 2$,

the number of moduli when $n = 2$ and $d = 3$,

the number of moduli when $n = 3$ and $d = 3$, and

the number of moduli when $n = 2$ and $d = 4$.

Exercise 109.47.2. Let $k$ be an algebraically closed field. Let $g \geq 2$. Let us say the moduli of hyperelliptic curves of genus $g$ is given by

an object is a smooth projective hyperelliptic curve $X$ of genus $g$,

an isomorphism between two objects $X$ and $Y$ is an isomorphism $X \to Y$ of schemes over $k$, and

a family of hyperelliptic curves of genus $g$ over a variety $V$ is a proper flat^{1} morphism $X \to Y$ such that all scheme theoretic fibres of $X \to V$ are smooth projective hyperelliptic curves of genus $g$.

Show that the number of moduli is $2g - 1$.

## Comments (0)