Modulraum

In der Mathematik bezeichnet man einen geometrischen Raum, dessen Punkte den verschiedenen mathematischen Objekten eines bestimmten Typs entsprechen, als Modulraum dieser Objekte.

Beispielsweise ist die projektive Ebene <math>\R P^2</math> der Modulraum aller Geraden durch den Nullpunkt im <math>\R^3</math>. Der Modulraum der elliptischen Kurven über <math>\Complex</math> ist die Modulkurve <math>SL(2,\Z)/H^2</math>

In der algebraischen Geometrie hat man für die Klassifikation algebraisch-geometrischer Objekte die Definitionen eines feinen Modulraums und eines groben Modulraums. Der feine Modulraum hat bessere Eigenschaften, existiert aber nicht immer.

Daneben spricht man auch in anderen Gebieten der Mathematik von Modulräumen mathematischer Objekte, ohne dass es für diesen Begriff eine einheitliche Definition gäbe. Beispielsweise ist in der symplektischen Geometrie der Modulraum der pseudoholomorphen Kurven von großer Bedeutung oder in der Teichmüller-Theorie der Modulraum hyperbolischer Metriken.

Beispiel

Die projektive Ebene <math>\R P^2</math> ist per Definition die Menge der 1-dimensionalen Unterräume des Vektorraums <math>\R^3</math>. Sie lässt sich mit einem differenzierbaren Atlas versehen, so dass durch eine differenzierbare Mannigfaltigkeit <math>X</math> parametrisierte Familien 1-dimensionaler Unterräume des <math>\R^3</math> gerade den differenzierbaren Abbildungen <math>X\to\R P^2</math> entsprechen, die Punkten <math>x\in X</math> jeweils die dem Parameter <math>x</math> entsprechende Gerade in <math>\R^3</math>, also einen Punkt <math>L(x)\in\R P^2</math> zuordnen.

Ähnlich lassen sich projektive Räume als Modulräume 1-dimensionaler Unterräume eines <math>\R^n</math> und allgemeiner Graßmann-Mannigfaltigkeiten als Modulräume k-dimensionaler Unterräume eines <math>\R^n</math> interpretieren.

Modulräume in der algebraischen Geometrie: Definitionen

Feiner Modulraum

Sei <math>F</math> ein Funktor von der Kategorie der Schemata in die Kategorie der Mengen, der jedem Schema <math>B</math> die Menge der Familien gewisser geometrischer Objekte mit Basis <math>B</math> zuordnet. Dann ist <math>M</math> der feine Modulraum für den Funktor <math>F</math>, wenn es einen Isomorphismus

<math>\tau\colon F\to \operatorname{Hom}(\cdot,M)</math>

gibt.

Die universelle Familie ist die Familie über <math>M</math>, die der Identitätsabbildung <math>id_M\in \operatorname{Hom}(M,M)</math> entspricht.

Grober Modulraum

Sei <math>F</math> ein Funktor von der Kategorie der Schemata in die Kategorie der Mengen, der jedem Schema <math>B</math> die Menge der Familien gewisser geometrischer Objekte mit Basis <math>B</math> zuordnet. Dann ist <math>M</math> ein grober Modulraum für den Funktor <math>F</math>, wenn es eine natürliche Transformation

<math>\tau\colon F\to \operatorname{Hom}(\cdot,M)</math>

gibt, die universell bzgl. aller natürlichen Transformationen ist.

Zu einem groben Modulraum gibt es im Allgemeinen keine universelle Familie.

Beispiele

Datei:Spinorial object mobius band.png

Möbiusband als 1-dimensionales Vektorbündel über dem Kreis

• Der feine Modulraum der Äquivalenzklassen endlicher Mengen modulo Bijektion ist die Menge der natürlichen Zahlen <math>\N</math>.
• Der feine Modulraum 1-dimensionaler Unterräume des <math>\R^3</math> ist die projektive Ebene.
• Es gibt bis auf Isomorphismus nur einen 1-dimensionalen Vektorraum und tatsächlich ist der Punkt ein grober Modulraum 1-dimensionaler Vektorräume. Er ist aber kein feiner Modulraum, denn das Möbiusband als 1-dimensionales Vektorbündel über dem Kreis entspricht keiner Abbildung <math>S^1\to \left\{\text{Punkt}\right\}</math>. Der Punkt ist aber ein feiner Modulraum für die Äquivalenzklassen <math>(V,1)</math> aus einem 1-dimensionalen Vektorraum <math>V</math> und einem von <math>0</math> verschiedenen Element <math>1\in V</math>, denn das Möbiusband als 1-dimensionales Vektorbündel hat keinen Schnitt ohne Nullstellen.

4-Tupel von Punkten auf der projektiven Geraden

Datei:Projection geometry.svg

Das Doppelverhältnis bleibt unter projektiven Automorphismen erhalten.

Der feine Modulraum für die Quadrupel paarweise verschiedener Punkte auf der projektiven Geraden <math>P^1</math> ist offensichtlich <math>(P^1\times P^1\times P^1\times P^1)\setminus \text{Diagonalen}</math>.

Die universelle Familie ist eine Teilmenge von <math>Q\times P^1</math>, nämlich die Vereinigung der Bilder der durch <math>\sigma_i(p)=(p,p_i)</math> für <math>p=(p_1,p_2,p_3,p_4)</math> gegebenen Schnitte <math>\sigma_1,\ldots,\sigma_4\colon Q\to Q\times P^1</math>.

Zwei Quadrupel heißen projektiv äquivalent, wenn es einen projektiven Automorphismus <math>A\in PGL_2</math> gibt, der das eine Quadrupel auf das andere abbildet. Bekanntlich ist das Doppelverhältnis eines Quadrupels paarweise verschiedener Punkte ein Element aus <math>P^1\setminus\left\{0,1,\infty\right\}</math> und zwei solche Quadrupel sind genau dann projektiv äquivalent, wenn sie dasselbe Doppelverhältnis haben. Daraus kann man leicht herleiten, dass <math>P^1\setminus\left\{0,1,\infty\right\}</math> der feine Modulraum für Quadrupel modulo projektiver Äquivalenz und <math>(P^1\setminus\left\{0,1,\infty\right\})\times P^1</math> die universelle Familie ist.

Modulräume in anderen Gebieten der Mathematik

• Modulraum der Riemannschen Metriken auf einer differenzierbaren Mannigfaltigkeit<ref></ref>
• Modulraum der pseudoholomorphen Kurven in einer symplektischen Mannigfaltigkeit<ref></ref>
• Modulraum der flachen Zusammenhänge eines Prinzipalbündels<ref></ref>
• Seiberg-Witten Modulraum

Weblinks

• Ben-Zvi: Moduli spaces (Princeton Companion to Mathematics)
• moduli space (nLab)
• Moduli Space (MathWorld)
• Clader: Mini-Course on Moduli Spaces

Einzelnachweise

<references />