The set of certain objects we want to study or classify can be considered as a whole and form a ‘map’. Moduli spaces are magical maps that acquire extra non-trivial geometric structures (usually in an algebraic geometric sense) and are used to study the objects in a more geometric and systematic way.
Let’s say we have
a category
a notion of what is a family of objects
We might try to find a family
whose fibres contains all possible objects (up to isomorphism) in
a notion of equivalence in
Then
The best case is that we have some invariants that partition the moduli space into finite type spaces
for example the space of smooth projective curves has a discrete invariant genus, and the moduli space of curves is
where
Existence and construction of moduli spaces
This include things like stacks, GIT, Hilbert schemes, fine moduli spaces, coarse moduli spaces, etc.
Compactification of moduli spaces
Semi-stable reduction, wall-crossing, toroidal compactification, etc.
Applications of moduli spaces
Enumerative geometry, invariant computation, mirror symmetry, representation theory, combinatorics, arithmetic statistics, etc.