Ein geometrischer Parameterraum, dessen Punkte Isomorphieklassen von Objekten eines festen Typs (Varietäten, Bündel, Garben, Kurven etc.) entsprechen und der häufig als Schema, Varietät oder Stack ausgestattet wird, um Familien und Deformationen darzustellen.

Prinzip

Ein Moduli‑Raum repräsentiert oder kopräsentiert ein Moduli‑Problem: er parametrisiert Objekte in Familien und erfüllt eine universelle oder grobe Abbildungseigenschaft; wenn Automorphismen die Repräsentierbarkeit verhindern, weicht man auf Stacks oder grobe Moduliräume aus.

Demonstration

Die Grassmannsche Mannigfaltigkeit parametrisiert lineare Unterräume einer festen Dimension in einem Vektorraum (ein feiner Moduliraum für Unterräume), während der Moduli‑Stack glatter projektiver Kurven vom Geschlecht g typischerweise als Deligne–Mumford‑Stack existiert, ein grober Moduliraum entsteht erst nach Quotientierung durch Automorphismen.

Fehlanwendung

Ein naives Mengensystem von Isomorphieklassen als Moduliraum zu behandeln, ohne Topologie oder Schemstruktur, oder Automorphismengruppen zu ignorieren und dadurch Stack‑Phänomene zu übersehen.

Konsequenz

Eine korrekte Moduli‑Konstruktion ordnet Familien, ermöglicht die Untersuchung der Variation von Invarianten (Dimensionen, Hodge‑Zahlen), liefert Kompaktifizierungen und Randstrata und erleichtert schnitt‑ und enumerative Rechnungen.

Umkehrung

Ersetzt man einen feinen Moduliraum durch nur eine grobe Parametersetzung, verschwindet die universelle Familie; ersetzt man einen Moduli‑Stack durch eine naive Quotientenbildung, geht die Information über Stabilizer verloren und feine deformationstheoretische Aussagen brechen zusammen.

Abgrenzung

Nicht jedes Klassifikationsproblem ist durch ein Schema oder eine Varietät repräsentierbar: Probleme sind Nichtgetrenntheit, Automorphismen und die Notwendigkeit, Stacks, algebraische Räume oder abgeleitete Verbesserungen zuzulassen; Stabilitätsbedingungen und GIT schränken oft auf wohlverhaltene Teilräume ein.

Semantische Spannung

Spannung besteht zwischen groben Moduliräumen, feinen Moduliräumen und Moduli‑Stacks; zwischen Familienrepräsentation und Isomorphieklassen‑Klassifikation sowie zwischen geometrischen Punkten und Objekten mit nichttrivialen Automorphismen.

Synthese

Ein Moduli‑Raum ist die geometrische Lösung eines Klassifikationsproblems: er fasst Isomorphieklassen zu einem geeigneten Parameterraum (Schema, Varietät, algebraischer Raum oder Stack) zusammen, sodass Familien von Objekten Morphismen in diesen Raum entsprechen.