Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to understand the mathematical language which is relevant to instanton moduli space with a surface operator.

Alday and Tachikawa stated in 1005.4469 that the following moduli spaces are isomorphic.

  1. the moduli space of ASD connections on $\mathbb{R}^4$ which are smooth away from $z_2=0$ and with the behavior $A\sim (\alpha_1,\cdots,\alpha_N)id\theta$ close to $r\sim 0$ where the $\alpha_i$ are all distinct and $z_2=r\exp(i\theta)$. (Instanton moduli space with a full surface operator)
  2. the moduli space of stable rank-$N$ locally-free sheaves on $\mathbb{P}^1\times \mathbb{P}^1$ with a parabolic structure $P\subset G$ at $\{z_2=0\}$ and with a framing at infinities, $\{z_1=\infty\}\cup\{z_2=\infty\}$. (Affine Laumon space)

I thought the moduli space ${\rm Bun}_{G,P}({\bf S}, {\bf D}_\infty)$ in [B] also corresponds to the instanton moduli space with a surface operator. Note that ${\rm Bun}_{G,P}({\bf S}, {\bf D}_\infty)$ is the moduli space of principal $G$-bundle on ${\bf S}=\mathbb{P}^2$ of second Chern class $-d$ endowed with a trivialization on ${\bf D}_\infty$ and a parabolic structure $P$ on the horizontal line ${\bf C}\subset{\bf S}$.


However, [B] considers the moduli space of parabolic sheaves on $\mathbb{P}^2$ instead of $\mathbb{P}^1\times \mathbb{P}^1$. What in physics does ${\rm Bun}_{G,P}({\bf S}, {\bf D}_\infty)$ correspond to? Is it different from the affine Laumon space?

In addition, I would like to know the relation between [B] and [FFNR].


Do \mathfrak{Q}{\underline d} and $\mathcal{Q}_{\underline d}$ in [FFNR] correspond to $\mathcal{M}_{G,P}$ and $\mathcal{QM}_{G,P}$ in the section 1.4 of [B]? (Sorry, this does not show \mathfrak properly. \mathfrak{Q}{\underline d} is the one which appears the first line of the section 1.1 in [FFNR].)

share|cite|improve this question
To the readers who are interested in this subject, I would recommend to watch the following videos delivered by Braverman and Finkelberg.…… – Satoshi Nawata Oct 8 '11 at 4:33
Satoshi, do you know you can formally accept the answer by clicking the big white check mark at the left of the answer? – Yuji Oct 8 '11 at 15:03
Oh, I didn't know that. Thanks for enlightening me, Yuji. – Satoshi Nawata Oct 9 '11 at 0:02
up vote 10 down vote accepted

Let me try to answer. For your first question the statement is that you can work with either ${\mathbb P}^2$ or ${\mathbb P}^1\times {\mathbb P}^1$ - the moduli space is the same. More generally, if $S$ is any surface which contains ${\mathbb A}^2$ as an open subset and $D_{\infty}$ is the divisor at $\infty$ then $Bun_G(S,D_{\infty})$ is independent of $S$.

For the second question: it is true that ${\mathfrak Q}={\mathcal M}_{G,P}$ (for $P$ being the Borel subgroup and $G=SL(n)$) but it is not true that $Q={\mathcal QM}_{G,P}$. The point is that the quasi-maps' space ${\mathcal QM}_{G,P}$ is defined for any $G$ and it is singular; for $G=SL(n)$ (and only in that case) it has a nice resolution of singularities which is given by the Laumon space. If you are interested to know more, you can read my 2006 ICM talk ("Spaces of quasi-maps into the flag varieties and their applications") - the above questions are discussed there.

share|cite|improve this answer
Thank you very much. This is exactly the answer I wanted. It is such an honor to have your response. – Satoshi Nawata Oct 8 '11 at 4:31
You are welcome. If you have any further questions, I'll be happy to try answer. – Alexander Braverman Oct 9 '11 at 19:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.