[论文解读] The connectedness of the moduli space of maps to homogeneous spaces

Byeong Chul Kim, Rahul Pandharipande|ArXiv.org|Mar 27, 2000

Advanced Algebra and Geometry参考文献 4被引用 31

一句话总结

本文建立了到紧复齐次空间 $\mathbf{G}/\mathbf{P}$ 的稳定映射模空间的连通性，证明了对所有 $g$、$n$ 和 $\beta$，有 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 是连通的。证明利用了最大环面在 $\mathbf{G}/\mathbf{P}$ 上的作用以及通过 Bialynicki-Birula 分层的退化方法，表明有理性和连通性源于环面固定点分量的结构以及与向量表示的等变双有理等价性。

ABSTRACT

We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.

研究动机与目标

• 建立任意紧复齐次空间 $\mathbf{G}/\mathbf{P}$、亏格 $g$ 与曲线类 $\beta$ 下，模空间 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 的连通性。
• 通过证明连通性，将已知的 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 的不可约性结果推广到一般亏格情形。
• 通过环面作用下的不动点分析，证明 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 的有理性。
• 通过环面等变几何与商构造，分析边界分量的结构及其不可约性。

提出的方法

• 利用最大环面 $\mathbf{T}$ 在 $\mathbf{G}/\mathbf{P}$ 上的作用，构造具有仿射分层的 Bialynicki-Birula 分层。
• 通过考虑 $\mathbb{C}^*$-作用下映射的极限，应用退化技术，将问题约化为 $X$ 中 $\mathbb{P}^1$ 的典型配置。
• 通过将模空间分解为由稳定、带标记、模空间图 $\tau$ 索引的分层，每个分层对应一个固定的拓扑类型与曲线类分布 $\beta_\tau$。
• 利用 Bialynicki-Birula 理论中的等变双有理性结果，证明当 $g=0$ 时，每个分层 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 是有理的，方法是分析不动点处的切空间表示。
• 使用 Bialynicki-Birula 定理 2.5 的改进版本，建立不动点邻域与其切空间表示之间的 $\mathbb{C}^* \times \mathbf{A}$-等变双有理等价性。
• 应用 Katsylo 与 Bogomolov 关于 $\mathrm{SL}_2$-表示的商结果，推导出在自同构群非平凡时，粗模空间的有理性。

实验结果

研究问题

• RQ1 当 $X = \mathbf{G}/\mathbf{P}$ 为紧复齐次空间时，模空间 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 是否对所有 $g$、$n$ 和 $\beta$ 都是连通的？
• RQ2 能否通过环面作用统一证明所有齐次空间下 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 的不可约性？
• RQ3 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 的有理性是否可由环面不动点分量及其商的有理性推出？
• RQ4 在低度或低标记情形下，映射的自同构群如何影响模空间的双有理几何？
• RQ5 即使空间具有奇点或非平凡自同构群，Bialynicki-Birula 分层是否仍可用于证明模空间的连通性？

主要发现

• 模空间 $\overline{M}_{g,n}(\mathbf{G}/\mathbf{P},\beta)$ 对所有 $g$、$n$ 和 $\beta$ 都是连通的，由定理 1 确立。
• 亏格 0 的模空间 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 是不可约的，这是其连通性与商奇点结构的推论。
• 由模空间图 $\tau$ 索引的每个分层 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 都是连通的，如定理 2 所示。
• 模空间 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 是有理的，如定理 3 所证明，方法是通过不动点处切空间表示的等变双有理等价性。
• 在自同构群非平凡（如 $\Sigma_3$ 或 $\Sigma_2$）的情形下，粗模空间仍为有理的，因为其双有理等价于自同构群作用下的线性表示的商。
• 模空间 $\overline{M}_{0,n}(\mathbf{G}/\mathbf{P},\beta)$ 的边界除子是不可约的，作为推论 2 的结果，源于分层 $\overline{M}_{\tau,n}(\mathbf{G}/\mathbf{P},\beta_\tau)$ 的不可约性。