Instanton Moduli Space avec un opérateur de surface

Dilaton

Instanton Moduli Space avec un opérateur de surface


Je voudrais comprendre le langage mathématique qui s’applique à l’espace des modules d’instanton avec un opérateur de surface.

Alday et Tachikawa ont déclaré dans 1005.4469 que les espaces de modules suivants sont isomorphes.

  1. l’espace des modules des connexions ASD sur
  2. l’espace des modules de rang stable

Je pensais que l’espace des modules

B u n g , P ( S , )

dans [B] correspond également à l’espace des modules d’instantons avec un opérateur de surface. Notez que

B u n g , P ( S , )

est l’espace des modules du principal

g

-bundle sur

S = P 2

de deuxième classe Chern

doté d’une banalisation sur

et une structure parabolique

P

sur la ligne horizontale

C S

.

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

Cependant, [B] considère l’espace des modules des gerbes paraboliques sur

P 2

au lieu de

P 1 × P 1

. Que fait la physique

B u n g , P ( S , )

correspondre à? Est-il différent de l’espace affine de Laumon?

De plus, j’aimerais connaître la relation entre [B] et [FFNR].

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

Faites mathfrak {Q} { souligné d} et Q

Q _

dans [FFNR] correspondent à M G , P

M g , P

et Q M G , P

Q M g , P

dans la section 1.4 de [B]? (Désolé, cela ne montre pas correctement mathfrak. Mathfrak {Q} { underline d} est celui qui apparaît la première ligne de la section 1.1 dans [FFNR].)

Yuji

Satoshi, savez-vous que vous pouvez officiellement accepter la réponse en cliquant sur la grande coche blanche à gauche de la réponse?

Réponses


 Anonymous

Permettez-moi d’essayer de répondre. Pour votre première question, la déclaration est que vous pouvez travailler avec

P 2

ou

P 1 × P 1

– l’espace des modules est le même. Plus généralement, si

S

est toute surface qui contient

UNE 2

en tant que sous-ensemble ouvert et

est le diviseur

ensuite

B u n g ( S , )

est indépendant de

S

.

Pour la deuxième question: il est vrai que

Q = M g , P

(pour

P

étant le sous-groupe Borel et

g = S L ( n )

) mais il n’est pas vrai que

Q = Q M g , P

. Le fait est que l’espace des quasi-cartes

Q M g , P

est défini pour tout

g

et c’est singulier; pour

g = S L ( n )

(et seulement dans ce cas) il a une belle résolution de singularités qui est donnée par l’espace Laumon. Si vous êtes intéressé à en savoir plus, vous pouvez lire mon exposé ICM 2006 (« Espaces de quasi-cartes dans les variétés de drapeau et leurs applications ») – les questions ci-dessus y sont discutées.

 

#de, avec, Instanton, Moduli, opérateur?, Space, surface, un

 

wiki France

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *