[论文解读] Stable maps into the classifying space of the general linear group

Ivan Kausz|ArXiv.org|Aug 29, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 3

一句话总结

本文引入了到分类堆 BGL_r 的稳定映射的模空间，将稳定映射定义为配备有满足在奇异纤维处‘可接受性’条件的秩 r 和次数 d 向量丛的稳定曲线。关键贡献是通过紧化群 KGL_r 构造边界态射，从而实现一个定义良好、与选择无关的模堆叠，该构造将 Gromov-Witten 理论推广至曲线上的向量丛。

ABSTRACT

In this note we give a definition of stable maps into the classifying stack $\BGL_r$ of the general linear group. To support our belief that the definition is the correct one, we show that there are natural boundary morphisms between the moduli groupoids parameterizing stable maps to $\BGL_r$.

研究动机与目标

• 定义一个几何上有意义的、参数化到分类堆 BGL_r 的稳定映射的模空间，该空间分类曲线上的向量丛。
• 通过使用稳定曲线和可接受丛，解决在基变换后，族的通用纤维上的向量丛可能无法延拓到特殊纤维的障碍。
• 构造类似于标准 Gromov-Witten 理论中的边界态射，但针对向量丛情境，通过 GL_r 的紧化 KGL_r 实现。
• 在概形上定义一个参数化亏格 g 和次数 d 的稳定映射的堆叠，且独立于辅助选择（如 GI-图）。
• 通过统一同一组合类型的不同 GI-图实现，建立一个自然的、同构不变的模空间。

提出的方法

• 将到 BGL_r 的稳定映射定义为亏格 g 的带 S 点的稳定 S-曲线，配备有秩 r 和次数 d 的向量丛，并在奇异纤维处满足可接受性条件。
• 利用先前工作中构造的紧化群 KGL_r，解决 GL_r 的非紧致性问题，从而允许在退化族中延拓纤维之间的同构。
• 对每个组合类型 τ（带装饰的链图），通过将所有映射到 τ 的 GI-图 γ 上的模空间 M(BGL_r, γ) 胀接，构造模堆叠 M(BGL_r, τ)。
• 对同一 τ 上的 GI-图 γ, γ′，构造 M(BGL_r, γ) 和 M(BGL_r, γ′) 之间的典范同构 β_γ^γ′，确保构造独立于 γ 的选择。
• 将边界态射 ν_τ: M(BGL_r, τ) → M_g,S(BGL_r, d) 定义为每个 M(BGL_r, γ) 上定义的态射 ν_γ 的相容极限，利用 [K2] 的结果。
• 通过验证同构 β_γ^γ′ 满足上链条件，确保构造的相容性，使堆叠定义良好且独立于 GI-图的选择。

实验结果

研究问题

• RQ1 如何定义到分类堆 BGL_r 的稳定映射，使其能推广标准 Gromov-Witten 理论？
• RQ2 什么障碍阻止了族的通用纤维上的向量丛在基变换后延拓到特殊纤维？如何解决？
• RQ3 如何在到 BGL_r 的稳定映射模空间中构造边界态射，使其类似于标准 Gromov-Witten 理论中的缝合构造？
• RQ4 紧化群 KGL_r 在解决在奇异纤维处拼接向量丛数据时的非紧致性问题中起什么作用？
• RQ5 如何使模空间独立于 GI-图等辅助选择，同时保持几何一致性？

主要发现

• 到 BGL_r 的稳定映射模堆叠 M_g,S(BGL_r, d) 作为概形上的堆叠是良好定义的，参数化带有秩 r 和次数 d 的可接受向量丛的稳定曲线。
• 边界态射 ν_τ: M(BGL_r, τ) → M_g,S(BGL_r, d) 作为 GI-图上的相容极限被构造，推广了标准 Gromov-Witten 理论中的缝合构造。
• 由于 M(BGL_r, γ) 和 M(BGL_r, γ′) 之间的典范同构 β_γ^γ′，M(BGL_r, τ) 的构造独立于 τ 上的 GI-图 γ 的选择。
• 堆叠 M(BGL_r, τ) 同构于所有映射到 τ 的 GI-图 γ 上的 M(BGL_r, γ) 的并集，其态射通过在 β_γ^γ′ 同构下相容的箭头族定义。
• 边界态射 ν_τ 良好定义且与同构 β_γ^γ′ 相容，确保整个构造一致且函子性成立。
• 每个分量上的向量丛次数 d_v 通过公式 d_v = δ_v - ∑_{f∈F_τ(v)} (r - min(I_f)) 计算，该公式编码了奇异纤维处的可接受性条件。