Lie algebroid Connections, Moduli of $\mathcal{L}$--twisted Principal Objects and motives

技术摘要：李代数胚联络、L-扭曲主对象模空间与动机

问题陈述
本文系统地构建并几何分析了配备可积联络和希格斯场的主 $G$-丛的模空间，并将其推广至李代数胚的框架下。虽然经典希格斯丛（由余切丛扭曲）和可积联络（由切丛扭曲）的理论已通过辛普森（Simpson）、贝利松（Beilinson）等人的工作得以确立，但将其推广至任意李代数胚 $L$ 的情形，尤其是针对主丛的情形，仍较少被探索。

本文解决的具体挑战包括：

1. 分类：刻画哪些李代数胚具备与主丛联络相容的结构（具体而言，即可积传递代数李代数胚）。
2. 模空间构建：构建配备可积联络（$L$-联络）的 $L$-扭曲主 $G$-丛的模空间，以及半调和型 $L$-扭曲主 $G$-希格斯丛的模空间。
3. 整体几何：确立这些模空间的半射影性，这一性质对于研究其拓扑结构和退化至关重要。
4. 动机不变量：在簇的格罗滕迪克环中计算这些模空间光滑部分的类，从而在此广义设定下建立“动机非阿贝尔霍奇对应”。

方法论
作者结合了塔纳克形式、几何不变量理论（GIT）以及动机积分技术。

• 塔纳克框架：本文扩展了辛普森关于主丛的塔纳克描述。通过证明配备可积 $L$-联络的向量丛范畴和半调和型 $L$-扭曲希格斯丛范畴是中性塔纳克范畴（前提是 $L$ 是传递的），作者将具有这些结构的主 $G$-丛刻画为这些范畴中的 $G$-主丛。这使得主丛问题得以归约到向量丛情形。
• 李代数胚刻画：作者利用李代数胚与 $D$-代数之间的对应关系（通过 Tortella 的工作）以及李群胚理论，来刻画可积传递代数李代数胚。
• 模空间构建：利用塔纳克等价性，作者通过穆福德（Mumford）的 GIT 构建模空间。他们定义了主丛的带框表示空间，并由约化群 $G$ 取好商。这涉及将辛普森的 $\Lambda$-模形式适应于 $L$-扭曲设定。
• 半射影性分析：为了证明半射影性，作者分析了模空间上的 $\mathbb{G}_m$-作用。他们利用希钦（Hitchin）映射和比亚林尼茨基 - 比鲁拉（Białynicki–Birula）分解，证明了轨道极限的存在性以及不动点轨的射影性。
• 动机计算：利用模空间的半射影性和光滑性，作者应用簇的格罗滕迪克环中的结果（特别是关于勒夫谢茨对象 $\mathbb{L}$ 和 $E$-多项式），推导出德拉姆（de Rham）、多尔博（Dolbeault）和霍奇（Hodge）模空间之动机类之间的等式。

主要贡献与结果

1. 可积传递李代数胚的刻画：
   本文证明了光滑不可约射影簇 $X$ 上的代数李代数胚 $A$ 是代数可积的，当且仅当它同构于某个代数群 $G$ 的主 $G$-丛的阿蒂亚（Atiyah）代数胚（定理 1.1.1）。这将流形上的已知结果推广到了代数范畴。

2. 主对象的塔纳克描述：
   作者确立了配备可积 $L$-联络的向量丛范畴与半调和型 $L$-扭曲希格斯丛范畴是中性塔纳克范畴（命题 1.1.2, 3.0.4, 3.0.7）。因此，他们提供了以下等价关系：

   • 配备可积 $L$-联络的主 $G$-丛与 $L$-联络范畴中的 $G$-主丛。
   • $L$-扭曲主 $G$-希格斯丛与 $L$-希格斯丛范畴中的 $G$-主丛（定理 1.1.3，引理 3.0.6, 3.0.8）。

3. 模空间的构建：
   利用塔纳克框架和 GIT，本文构建了：

   • 配备可积 $L$-联络的主 $G$-丛的模空间 $M_{DR}^L(X, G)$。
   • 调和型 $L$-扭曲主 $G$-希格斯丛的模空间 $M_{Dol}^L(X, G)$。
   • 在 $\mathbb{A}^1$ 上插值于德拉姆和多尔博模空间之间的 $L$-霍奇模空间 $M_{Hod}^L(X, G)$（定理 1.1.4, 1.1.5, 4.1.6, 4.2.5, 4.3.1）。所有这些都已被证明是拟射影簇。

4. 半射影性：
   一个核心结果是证明了 $M_{Dol}^L(X, G)$ 和 $M_{Hod}^L(X, G)$ 是半射影簇（定理 1.1.6, 5.1.4, 5.2.4）。这是通过证明 $\mathbb{G}_m$-轨道的极限存在以及不动点轨的射影性来实现的，从而将先前关于向量丛的结果推广到了主丛设定。

5. 动机非阿贝尔霍奇对应：
   对于这些模空间的光滑部分（记为带帽符号，例如 $\widehat{M}$），本文在完备化的簇格罗滕迪克环 $\hat{K}(\text{Var}_{\mathbb{C}})$ 中建立了等式：

   • $[\widehat{M}_{DR}^L(X, G)] = [\widehat{M}_{Dol}^L(X, G)]$
   • $[\widehat{M}_{Hod}^L(X, G)] = \mathbb{L} [\widehat{M}_{Dol}^L(X, G)]$
     这些等式意味着相应的 $E$-多项式恒等式以及混合霍奇结构的同构（定理 1.1.7, 6.0.6）。

意义与主张
本文声称提供了一个系统的模论框架，统一了李代数胚背景下配备可积联络的主丛与希格斯丛的研究。通过将塔纳克形式扩展到此设定，作者成功地将模空间的构建从向量丛推广到了主丛。

这项工作的意义在于：

• 推广：超越经典的切丛情形，推广至任意传递李代数胚，从而涵盖对数联络和其他扭曲结构。
• 几何控制：证明半射影性，这对于理解这些模空间的拓扑和退化至关重要，该性质此前已在向量丛情形下确立，但针对主丛需要新的论证。
• 动机洞察：建立了李代数胚上主丛的动机非阿贝尔霍奇对应，表明德拉姆和多尔博模空间在其光滑部分上的动机类是重合的。

作者指出，其构建目前依赖于 $L$ 是传递李代数胚。他们将任意（非传递）李代数胚的模空间构建确定为未来工作的开放问题，特别是针对秩一和秩二的情形。