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.
Ich dachte, der Modulraum in [B] entspricht auch dem Instanton-Modulraum mit einem Flächenoperator. Beachten Sie, dass ist der Modulraum des Prinzipals -Bündel an der zweiten Chern-Klasse mit einer Verharmlosung ausgestattet und eine parabolische Struktur auf der horizontalen Linie .
[B] http://arxiv.org/abs/math/0401409
Allerdings berücksichtigt [B] den Modulraum parabelförmiger Garben Anstatt von . Was in der Physik tut 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 in [FFNR] entsprechen und 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.)
Lassen Sie mich versuchen zu antworten. Zu Ihrer ersten Frage lautet die Aussage, dass Sie mit beiden arbeiten können oder - der Modulraum ist derselbe. Allgemeiner, wenn ist jede Oberfläche, die enthält als offene Teilmenge und ist der Teiler bei dann ist unabhängig von .
Zur zweiten Frage: Das stimmt (zum ist die Borel-Untergruppe und ) das stimmt aber nicht . Der Punkt ist, dass der Raum der Quasi-Karten ist für beliebig definiert und es ist einzigartig; zum (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.
Satoshi Nawata
Yuji
Satoshi Nawata