[论文解读] The Rank Stable Topology of Instantons on $\cpbar$

Jim Bryan, Marc Sanders|ArXiv.org|Oct 9, 1996

advanced mathematical theories参考文献 4被引用 11

一句话总结

该论文证明了在固定电荷 $k$ 的条件下，$\mathbb{CP}^2$ 上秩 $n$ 的瞬子模空间的直接极限同伦等价于 $BU(k) \times BU(k)$，揭示了其稳定的拓扑结构。该结果通过将这些模空间代数几何地解释为在爆破后于无穷远处一条线上具有平凡化的全纯丛而获得。

ABSTRACT

Let $\M_{k}^{n}$ be the moduli space of based (anti-self-dual) instantons on $\cpbar$ of charge $k$ and rank $n$. There is a natural inclusion of rank $n$ instantons into rank $n+1$. We show that the direct limit space is homotopy equivalent to $BU(k) imes BU(k)$. The moduli spaces also have the following algebro-geometric interpretation: Let $\linf$ be a line in the complex projective plane and consider the blow-up at a point away from $\linf$. $\M _{k}^{n}$ can be described as the moduli space of rank $n$ holomorphic bundles on the blownup projective plane with $c_{1}=0$ and $c_{2}=k$ and with a fixed holomorphic trivialization on $\linf$.

研究动机与目标

• 理解随着秩增加时，$\mathbb{CP}^2$ 上瞬子模空间的拓扑结构。
• 分析秩 $n$ 瞬子到秩 $n+1$ 的包含关系，并确定直接极限的同伦类型。
• 通过 $\mathbb{CP}^2$ 的爆破和无穷远处一条线上平凡化的方法，对这些模空间提供代数几何解释。
• 建立稳定极限与两个无限格拉斯曼流形乘积之间的精确同伦等价。
• 将规范理论中的瞬子模空间与复曲面上全纯丛理论联系起来。

提出的方法

• 将 $\mathcal{M}_k^n$ 定义为 $\mathbb{CP}^2$ 上电荷 $k$、秩 $n$ 的基于反自对偶瞬子的模空间。
• 通过向丛中添加一个平凡直和项，构造自然包含映射 $\mathcal{M}_k^n \hookrightarrow \mathcal{M}_k^{n+1}$。
• 在这些包含映射下考虑直接极限 $\varinjlim \mathcal{M}_k^n$。
• 使用代数几何描述：$\mathcal{M}_k^n$ 参数化在 $\widehat{\mathbb{CP}^2}$（在不位于直线 $\ell_\infty$ 上的点处爆破）上的秩 $n$ 全纯丛，满足 $c_1 = 0$，$c_2 = k$，且在 $\ell_\infty$ 上具有平凡化。
• 应用代数几何与向量丛理论的结果，分析模空间的拓扑。
• 利用平凡化结构和爆破几何，建立同伦等价 $\varinjlim \mathcal{M}_k^n \simeq BU(k) \times BU(k)$。

实验结果

研究问题

• RQ1 随着秩增加，$\mathbb{CP}^2$ 上瞬子模空间的直接极限的同伦类型是什么？
• RQ2 秩 $n$ 瞬子包含到秩 $n+1$ 时，如何影响模空间的拓扑？
• RQ3 $\mathbb{CP}^2$ 上瞬子的模空间能否用 $\mathbb{CP}^2$ 的爆破上的全纯丛来描述？
• RQ4 在无穷远处直线上的平凡化在决定模空间拓扑中起什么作用？
• RQ5 瞬子模空间在秩不断增加时是否存在稳定的拓扑结构？

主要发现

• 在自然包含映射下，模空间 $\mathcal{M}_k^n$ 的直接极限同伦等价于 $BU(k) \times BU(k)$。
• 模空间 $\mathcal{M}_k^n$ 可以代数几何地解释为在 $\mathbb{CP}^2$ 上某点爆破后的空间（该点不在固定直线 $\ell_\infty$ 上）上，秩 $n$ 全纯丛的集合，满足 $c_1 = 0$，$c_2 = k$，且在 $\ell_\infty$ 上具有平凡化。
• 包含映射 $\mathcal{M}_k^n \hookrightarrow \mathcal{M}_k^{n+1}$ 对应于添加一个平凡线丛的操作，在极限中保持了拓扑类型。
• 瞬子模空间的稳定拓扑完全由两个 $BU(k)$ 的乘积所捕捉。
• 该结果在规范理论瞬子与具有边界条件的复曲面上全纯向量丛之间建立了精确联系。
• 在 $\ell_\infty$ 上的平凡化条件在稳定化拓扑并实现同伦等价中起着关键作用。