[论文解读] Moduli of Admissible Pairs for Arbitrary Dimension, I: Resolution

Надежда Владимировна Тимофеева|arXiv (Cornell University)|Dec 21, 2020

Algebraic Geometry and Number Theory参考文献 13被引用 4

一句话总结

本文提出了一种对非奇异射影代数簇上无挠凝聚层的标准解析的高维推广，通过在特殊修改的射影概形上构造一个局部自由层。其主要贡献在于通过迭代的爆破和归纳性无挠化过程，提出一种修改后的无挠解析方法，从而实现向量丛模空间的紧化，且在任意维数下保持Kobayashi–Hitchin对应关系。

ABSTRACT

A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the resolution (called the standard resolution in previous works of the author) of coherent sheaves on a surface. The method is applicable to all existing flat families of torsion-free sheaves including those who does not contain locally free sheaves. Bibliography: 23 items Keywords: moduli space, algebraic coherent sheaves, admissible pairs, vector bundles, nonsingular algebraic variety, projective algebraic variety, moduli of vector bundles, compactification of moduli.

研究动机与目标

• 发展表面情形下标准解析在任意维数的高维类比，将其推广至非奇异射影代数簇上的向量丛。
• 构造一个半稳定可接受对的模概形，实现对稳定向量丛模空间的紧化，且不包含非局部自由层。
• 通过在可接受概形上使用局部自由层，保持高维情形下的Kobayashi–Hitchin对应关系。
• 提供一个代数几何框架，实现向量丛模空间的紧化，避免经典非局部自由层的紧化方法。

提出的方法

• 通过在非奇异射影代数簇上进行迭代爆破，提出一种解析方法，构造一个具有主分量和附加分量的新射影概形。
• 在凝聚层的拉回中定义一种修改后的无挠子层，基于正余维数的素理想和分量间的截面延拓，使用归纳条件。
• 构造商层 $\widetilde{E}_i = (\sigma_1 \circ \cdots \circ \sigma_i)^*E / \mathrm{tors}$，其中 $\mathrm{tors}$ 为修改后的无挠部分，确保所得层为修改后的无挠自由层。
• 利用平坦态射 $\delta_i: S_i^{\text{add}} \to D_i$ 分析层在例外除子上的行为，并确保求值映射 $\mathrm{ev}_i^0$ 为单射。
• 在一系列爆破 $\sigma_i = \sigma_i^0 \circ \delta_i$ 上归纳应用该构造，确保每一步均保持修改后的无挠自由性质。
• 证明直接像 $\delta_{i*}\widetilde{E}_i$ 为修改后的无挠自由层，从而保证在基变换下解析过程保持良好行为。

实验结果

研究问题

• RQ1 如何将表面情形下凝聚层的标准解析推广至任意维数，以实现对非奇异射影代数簇上向量丛的解析？
• RQ2 在高维情形下，应如何定义无挠概念，以实现不引入非局部自由层的局部自由解析？
• RQ3 能否通过在可接受概形上使用局部自由层，构造出一个半稳定向量丛的紧化模空间，从而避免使用非局部自由凝聚层？
• RQ4 修改后的无挠自由解析是否在高维情形下保持Kobayashi–Hitchin对应关系？
• RQ5 如何通过迭代爆破和分量级无挠条件，实现对解析结构的归纳控制？

主要发现

• 修改后的无挠子层 $\mathrm{tors}$ 在爆破概形的各分量上归纳定义，确保与截面延拓及素理想消去子的相容性。
• 在解析过程的每一步，层 $\widetilde{E}_i = (\sigma_1 \circ \cdots \circ \sigma_i)^*E / \mathrm{tors}$ 均为修改后的无挠自由层。
• 求值映射 $\mathrm{ev}_i^0: \delta_{i*}\widetilde{E}_i \to \sigma^{0*}_i\widetilde{E}_{i-1}/\mathrm{tors}$ 为单射，确保在基变换下解析的单射性和稳定性。
• 直接像 $\delta_{i*}\widetilde{E}_i$ 为修改后的无挠自由层，从而保证最终商层的解析过程保持良好定义且为局部自由层。
• 该构造在射影概形 $\widetilde{S}$ 上产生一个局部自由层 $\widetilde{E}$，其为二维情形下标准解析的高维类比。
• 该解析过程确保可接受对的模空间 $((\widetilde{S}, \widetilde{L}), \widetilde{E})$ 同构于Gieseker–Maruyama模概形，且保持Kobayashi–Hitchin对应关系。