Instanton Moduli Space mit einem Oberflächenoperator

Ich möchte die mathematische Sprache, die für den Instanton-Modulraum relevant ist, mit einem Oberflächenoperator verstehen.

Alday und Tachikawa erklärten in 1005.4469, dass die folgenden Modulräume isomorph sind.

  1. den Modulraum von ASD-Verbindungen auf R 4 die sind glatt weg von z 2 = 0 und mit dem verhalten EIN ( a 1 , , a N ) ich d θ nahe bei r 0 bei dem die a ich sind alle verschieden und z 2 = r exp ( ich θ ) . (Instanton-Modulraum mit einem Vollflächenoperator)
  2. der Modulraum von stabilem Rang- N ortsfreie Garben auf P 1 × P 1 mit parabolischer Struktur P G bei { z 2 = 0 } und mit einem Rahmen in Unendlichkeiten, { z 1 = } { z 2 = } . (Affiner Laumon-Raum)

Ich dachte, der Modulraum B u n G , P ( S , D ) in [B] entspricht auch dem Instanton-Modulraum mit einem Flächenoperator. Beachten Sie, dass B u n G , P ( S , D ) ist der Modulraum des Prinzipals G -Bündel an S = P 2 der zweiten Chern-Klasse d mit einer Verharmlosung ausgestattet D und eine parabolische Struktur P auf der horizontalen Linie C S .

[B] http://arxiv.org/abs/math/0401409

Allerdings berücksichtigt [B] den Modulraum parabelförmiger Garben P 2 Anstatt von P 1 × P 1 . Was in der Physik tut B u n G , P ( S , D ) entsprechen? Unterscheidet er sich vom affinen Laumon-Raum?

Außerdem würde ich gerne die Beziehung zwischen [B] und [FFNR] kennen.

[FFNR] http://arxiv.org/abs/0812.4656

Mache \mathfrak{Q} {\underline d} und Q d _ in [FFNR] entsprechen M G , P und Q M G , P im Abschnitt 1.4 von [B]? (Entschuldigung, dies zeigt \mathfrak nicht richtig an. \mathfrak{Q} {\underline d} ist derjenige, der in der ersten Zeile des Abschnitts 1.1 in [FFNR] erscheint.)

Lesern, die sich für dieses Thema interessieren, würde ich empfehlen, sich die folgenden Videos von Braverman und Finkelberg anzusehen. media.scgp.stonybrook.edu/video/… sms.cam.ac.uk/media/…
Satoshi, weißt du, dass du die Antwort formell akzeptieren kannst, indem du auf das große weiße Häkchen links neben der Antwort klickst?
Ach, das wusste ich nicht. Danke für die Aufklärung, Yuji.

Antworten (1)

Lassen Sie mich versuchen zu antworten. Zu Ihrer ersten Frage lautet die Aussage, dass Sie mit beiden arbeiten können P 2 oder P 1 × P 1 - der Modulraum ist derselbe. Allgemeiner, wenn S ist jede Oberfläche, die enthält EIN 2 als offene Teilmenge und D ist der Teiler bei dann B u n G ( S , D ) ist unabhängig von S .

Zur zweiten Frage: Das stimmt Q = M G , P (zum P ist die Borel-Untergruppe und G = S L ( n ) ) das stimmt aber nicht Q = Q M G , P . Der Punkt ist, dass der Raum der Quasi-Karten Q M G , P ist für beliebig definiert G und es ist einzigartig; zum G = S L ( n ) (und nur in diesem Fall) hat es eine schöne Auflösung von Singularitäten, die durch den Laumon-Raum gegeben ist. Wenn Sie mehr wissen möchten, können Sie meinen ICM-Vortrag von 2006 lesen ("Räume von Quasi-Karten in die Flaggenvarietäten und ihre Anwendungen") - die obigen Fragen werden dort diskutiert.

Vielen Dank. Das ist genau die Antwort, die ich wollte. Es ist eine solche Ehre, Ihre Antwort zu erhalten.
Gern geschehen. Bei weiteren Fragen versuche ich gerne eine Antwort.