# Instanton Moduli Space with a Surface Operator

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}$.

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

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].

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

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].)

-
To the readers who are interested in this subject, I would recommend to watch the following videos delivered by Braverman and Finkelberg. media.scgp.stonybrook.edu/video/… sms.cam.ac.uk/media/… – Satoshi Nawata Oct 8 '11 at 4:33

1
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

## 1 Answer

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.

-
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

1
You are welcome. If you have any further questions, I'll be happy to try answer. – Alexander Braverman Oct 9 '11 at 19:35
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 40, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9283555746078491, "perplexity_flag": "head"}