Metrics on the moduli spaces of instantons over Euclidean 4-space (Q810888): Difference between revisions

Zu Beginn der Arbeit wird ein Überblick über die ADHM-Konstruktion der Instantonen gegeben: Seien P ein SU(r)-Hauptfaserbündel über \({\mathbb{R}}^ 4\) und \({\mathfrak A}\) der Raum der Zusammenhänge A auf P mit \(L^ 2\)-integrierbarer Krümmung \(F_ A\), die im Limes \(r\to \infty\) gegen eine reine Eichung \((F_ A=0)\) strebt. Ein Paar (P,A) definiert ein \({\mathbb{C}}^ r\)-Bündel (E,A) über \({\mathbb{R}}^ 4\), indem man die definierende Darstellung von SU(r) betrachtet. Mit Hilfe der Killingform \(\Gamma\)-Spur(XY) auf der Lie-Algebra \({\mathfrak su}(r)\) und der euklidischen Metrik auf \({\mathbb{R}}^ 4\) definiert man das konform- invariante Wirkungsintegral \(-\int Spur F_ A\wedge *F_ A\). Die Homotopie-Klasse \(\pi_ 3(SU(r))\) der reinen Eichung des Zusammenhangs für \(r\to \infty\) läßt sich als Ladung deuten. Der Raum der Zusammenhänge A mit Ladung \(k\in {\mathbb{Z}}\) wird mit \({\mathfrak A}_ k\) bezeichnet. Die Eichgruppe wirkt frei auf \({\mathfrak A}_ k\); der zugehörige Quotient \({\mathfrak B}_ k\) ist eine Banach-Mannigfaltigkeit. Für die Konstruktion der Instantonen interessiert der Unterraum \({\mathfrak M}_{k,r}\) von \({\mathfrak B}_ k\), der die Zusammenhänge mit \(F^+_ A=0\) beschreibt, wo \(F^+_ A\) der selbstduale Teil von \(F_ A\) ist. \({\mathfrak M}_{k,r}\) heißt Moduli-Raum. Die elliptische Differentialgleichung \(F^+_ A=0\) ist i.a. schwierig zu lösen. Daher zeigt man bei der ADHM-Konstruktion, daß zwischen dem Raum \({\mathfrak M}_{k,r}\) und einer gewissen Klasse von Matrizen eine bijektive Abbildung besteht, die die Gleichung \(F^+_ A=0\) auf ein Problem der linearen Algebra reduziert. In der besprochenen Arbeit wird gezeigt, daß die natürlichen Hyper- Kähler-Metriken auf \({\mathfrak M}_{k,r}\) und auf dem Raum der ADHM- Matrizen übereinstimmen. Daher lassen sich Beziehungen zwischen der Krümmung eines Zusammenhangs und den dazugehörigen invarianten Polynomen in den ADHM-Matrizen ableiten.