[论文解读] Morphisms from Azumaya prestable curves with a fundamental module to a projective variety: Topological D-strings as a master object for curves

Si Li, Chien‐Hao Liu+2 more|ArXiv.org|Sep 12, 2008

Black Holes and Theoretical Physics参考文献 16被引用 19

一句话总结

本文通过构建从带有基本模的阿兹马亚预稳定曲线到射影簇的态射模空间堆叠，使用波尔奇尼-格罗滕迪克假设，建立了拓扑D-弦世界面瞬子的数学框架。关键贡献在于通过遗忘函子与替代构造，将D-膜模空间与稳定及预稳定曲线模空间统一，实现了B型D-弦的几何实现。

ABSTRACT

This is a continuation of our study of the foundations of D-branes from the viewpoint of Grothendieck in the region of the related Wilson's theory-space where "branes" are still branes. In this work, we focus on D-strings and construct the moduli stack of morphisms from Azumaya prestable curves $C^{Az}$ with a fundamental module ${\cal E}$ to a fixed target $Y$ of a given combinatorial type. Such a morphism gives a prototype for a Wick-rotated D-string of B-type on $Y$, following the Polchinski-Grothendieck Ansatz, and this stack serves as a ground toward a mathematical theory of topological D-string world-sheet instantons.

研究动机与目标

• 使用代数几何建立弦理论中拓扑D-弦世界面瞬子的数学理论。
• 通过将D-弦建模为带有基本模的阿兹马亚预稳定曲线的态射，将波尔奇尼-格罗滕迪克假设推广至D-弦。
• 建立此类态射的模空间堆叠，作为统一标准曲线模空间与向量丛模空间的主对象。
• 证明态射族的有界性，并在目标为射影空间时提供具体表述。
• 通过遗忘函子与稳定化过程，将经典模空间堆叠如 $\overline{M}_g$ 与 $\overline{\mathrm{Bun}}_{(g,r,\chi)}$ 嵌入D-弦模空间堆叠中。

提出的方法

• 构建模空间堆叠 $\mathcal{T}_{\overline{\mathrm{Az}}(g,r,\chi)^f}(Y,\beta)$，参数化从带有基本模的阿兹马亚预稳定曲线到固定射影簇 $Y$ 的态射，其组合类型为 $(g,r,\chi\mid\beta)$。
• 使用替代构造，通过 $C_{g,n} \times Y$ 上层的商，将非交换阿兹马亚设定转化为纯粹交换几何问题。
• 通过重新表述的交换形式及线丛的相对正则性，应用态射族的有界性定理。
• 使用 $C_{g,n} \times Y$ 上具有固定秩与欧拉示性数的层的 Quot 族，表示到 $\mathbb{P}^k$ 的态射。
• 通过相对 Quot 族与正线丛配备带装饰的图册，确保模空间堆叠的代数堆叠结构。
• 利用遗忘函子与稳定化过程，将D-弦堆叠与经典稳定曲线与向量丛模空间堆叠联系起来。

实验结果

研究问题

• RQ1 波尔奇尼-格罗滕迪克假设如何被推广以将B型D-弦建模为带有基本模的阿兹马亚预稳定曲线的态射？
• RQ2 此类态射的模空间堆叠的结构是什么？如何为射影目标簇代数地构造该堆叠？
• RQ3 阿兹马亚结构的非交换几何能否被重铸为交换几何框架，以确保有界性与可构造性？
• RQ4 D-弦模空间堆叠如何通过遗忘函子与稳定化函子与标准曲线与向量丛模空间堆叠相关联？
• RQ5 D-弦模空间堆叠以何种方式作为统一不同代数几何模问题的主对象？

主要发现

• 模空间堆叠 $\mathcal{T}_{\overline{\mathrm{Az}}(g,r,\chi)^f}(Y,\beta)$ 被构造为具有带装饰图册的良定义代数堆叠，使用相对 Quot 族与正线丛。
• 通过替代构造，阿兹马亚预稳定曲线的非交换设定被证明等价于交换几何问题，从而支持有界性证明。
• 通过将问题约化至交换设定并应用标准有界性定理，建立了态射族的有界性。
• 当目标为 $\mathbb{P}^k$ 时，态射由 $C_{g,n} \times Y$ 上具有固定秩 $r$ 与欧拉示性数 $\chi_{n'}$ 的层的 Quot 族参数化。
• D-弦模空间堆叠对 $\overline{M}_g$ 与 $\mathrm{Bun}_{(g,r,\chi)}$ 具有遗忘映射，将经典模空间嵌入D-弦框架。
• 该堆叠作为通用主对象，通过替代与稳定化，统一了曲线、向量丛与赫尔维茨族的模问题，支持了拓扑D-弦瞬子的数学理论。