[论文解读] Rationality of instanton moduli

Dimitri Markushevich, А. С. Тихомиров|arXiv (Cornell University)|Dec 19, 2010

Rings, Modules, and Algebras参考文献 16被引用 7

一句话总结

本论文证明了当模空间不可约时，$ℚ^3$ 上数学瞬子的模空间是有理的，方法结合了$(G,H)$-切片约化与Noname引理，实现仿射丛结构的下降。关键结果表明，对所有奇数$n \geq 1$以及$n = 2,4$，该模空间均为有理的，从而在不可约性假设下证实了一个长期存在的猜想。

ABSTRACT

Tikhomirov (2009) proved the irreducibility of the moduli space of mathematical instantons on the projective 3-space for all odd charges. The irreducibility for charges between 1 and 5 was known before. In the present paper, the rationality of the instanton moduli spaces is proved under the assumption of the irreducibility. So, in particular, the instanton moduli spaces are rational for all odd charges and for charges 2 and 4.

研究动机与目标

• 证明$ℚ^3$ 上数学瞬子的模空间$I_n$在不可约时为有理的。
• 在不可约性假设下，将已知的$I_n$有理性结果从$n \leq 5$和奇数$n$扩展至所有奇数$n \geq 1$及$n = 2,4$。
• 通过线性代数数据与群商构造，为瞬子模空间提供一个通用的双有理框架。
• 利用Noname引理建立仿射丛在商空间上的下降机制。

提出的方法

• 将$I_n$表示为线性代数数据的局部闭子簇在群$G = GL_n \times Sp_{2n+2}/\{\pm(1,1)\}$作用下的商。
• 应用$(G,H)$-切片构造，将群作用从$G$约化至更小的子群$H \simeq O_n \times Sp_2/\{\pm(1,1)\}$，同时保持双有理等价性。
• 在子集$\Gamma_n'$上构造一个$G$-等变仿射丛结构，其纤维同构于$\mathbb{A}^{4n}$，底空间为切片$\Sigma_n'$。
• 利用Noname引理证明$H$-等变仿射丛$\Gamma_n' \to \Sigma_n'$可下降为一个平凡丛$\mathbb{A}^{4n} \times X_n'$，其中$X_n'$是$\mathbb{P}^2$上向量丛模空间的一个开子集。
• 借助$\mathbb{P}^2$上向量丛模空间的已知有理性，通过双有理等价性得出$I_n$为有理的结论。
• 证明$I_n$的开子集$I_n'$双有理同构于$\mathbb{A}^{4n} \times X_n'$，因此为有理的，从而$I_n$本身也为有理的。

实验结果

研究问题

• RQ1 当模空间$I_n$不可约时，$ℚ^3$ 上数学瞬子的模空间是否为有理的？
• RQ2 在不可约性假设下，是否可对所有奇数$n \geq 1$及$n = 2,4$建立$I_n$的有理性？
• RQ3 Noname引理是否在瞬子模空间的背景下为仿射丛提供了可行的下降机制？
• RQ4 $(G,H)$-切片技术是否能以保持商空间双有理性的方式约化群作用？

主要发现

• 通过Noname引理的下降论证，证明了模空间$I_n$在不可约时为有理的。
• 在不可约性假设下，$I_n$的有理性被确立于所有奇数$n \geq 1$及$n = 2,4$，扩展了此前仅限于$n \leq 5$和奇数$n$的结果。
• $I_n$的开子集$I_n'$双有理同构于$\mathbb{A}^{4n} \times X_n'$，其中$X_n'$是$\mathbb{P}^2$上向量丛模空间的有理模空间的开子集，从而确认了$I_n$的有理性。
• 首次在瞬子模空间的背景下新颖地应用Noname引理于仿射丛，实现了向平凡丛结构的下降。
• $(G,H)$-切片构造成功地将群作用从$GL_n \times Sp_{2n+2}$约化至$O_n \times Sp_2$，从而实现了向有理基空间的下降。
• 该证明证实了在不可约性假设下$I_n$为有理的猜想，解决了瞬子模空间理论中一个长期悬而未决的公开问题。