[论文解读] Lie algebras of differential operators: The universal ring

Helge Øystein Maakestad|arXiv (Cornell University)|Jan 1, 2019

Advanced Topics in Algebra参考文献 8被引用 1

一句话总结

本文为交换环上模的非平坦联络引入了一个通用环 $\tilde{U}^\otimes(\tilde{L}, \rho)$，将 D-模理论推广至非平坦联络。通过 $\operatorname{D}$-李代数的非交换扩张，当 $A$ 为诺特环且模为有限生成时，构造了 $\operatorname{Diff}(E)$ 的诺特子环，从而可在非平坦联络上定义特征簇与可 Holonomic 性，并通过非诺特环 $\operatorname{U}$ 上的 $\operatorname{Ext}$ 与 $\operatorname{Tor}$ 定义上同调与同调。

ABSTRACT

The aim of this note is to prove various general properties of a generalization of the full module of first order differential operators on a commutative ring - a $\operatorname{D}$-Lie algebra. A $\operatorname{D}$-Lie algebra $ ilde{L}$ is a Lie-Rinehart algebra over $A/k$ equipped with an $A\otimes_k A$-module structure that is compatible with the Lie-structure. It may be viewed as a simultaneous generalization of a Lie-Rinehart algebra and an Atiyah algebra with additional structure. Given a $\operatorname{D}$-Lie algebra $ ilde{L}$ and an arbitrary connection $( ho, E)$ we construct the universal ring $ ilde{U}^{\otimes}( ilde{L}, ho)$ of the connection $( ho, E)$. The associative unital ring $ ilde{U}^{\otimes}( ilde{L}, ho)$ is in the case when $A$ is Noetherian and $ ilde{L}$ and $E$ finitely generated $A$-modules, an almost commutative Noetherian sub ring of $\operatorname{Diff}(E)$ - the ring of differential operators on $E$. It is constructed using non-abelian extensions of $\operatorname{D}$-Lie algebras. The non-flat connection $( ho, E)$ is a finitely generated $ ilde{U}^{\otimes}( ilde{L}, ho)$-module, hence we may speak of the characteristic variety $\operatorname{Char}( ho,E)$ of $( ho, E)$ in the sense of $D$-modules. We may define the notion of holonomicity for non-flat connections using the universal ring $ ilde{U}^{\otimes}( ilde{L}, ho)$. This was previously done for flat connections. We also define cohomology and homology of arbitrary non-flat connections. The cohomology and homology of a non-flat connection $( ho,E)$ is defined using $\operatorname{Ext}$ and $\operatorname{Tor}$-groups of a non-Noetherian ring $\operatorname{U}$. In the case when the $A$-module $E$ is finitely generated we may always calculate cohomology and homology using a Noetherian quotient of $\operatorname{U}$. This was previously done for flat connections.

研究动机与目标

• 通过构造任意联络的通用环，将 D-模理论推广至非平坦联络之外。
• 利用通用环 $\tilde{U}^\otimes(\tilde{L}, \rho)$，为非平坦联络定义可 Holonomic 性与特征簇。
• 通过非诺特环 $\operatorname{U}$ 上的 $\operatorname{Ext}$ 与 $\operatorname{Tor}$，将上同调与同调不变量扩展至非诺特环上的非平坦联络。
• 通过证明当 $E$ 有限生成时，上同调与同调可通过 $\operatorname{U}$ 的诺特商环计算，确保其可计算性。

提出的方法

• 通过 $\operatorname{D}$-李代数的非交换扩张构造通用环 $\tilde{U}^\otimes(\tilde{L}, \rho)$。
• 为 $\tilde{L}$ 赋予与李代数结构相容的 $A \otimes_k A$-模结构，推广李-里内哈特与阿蒂yah代数。
• 为非平坦联络定义特征簇 $\operatorname{Char}(\rho, E)$，作为 $\tilde{U}^\otimes(\tilde{L}, \rho)$ 的谱的子集。
• 通过非诺特环 $\operatorname{U}$ 上的 $\operatorname{Ext}$ 与 $\operatorname{Tor}$-群定义联络 $(\rho, E)$ 的上同调与同调。
• 证明当 $E$ 有限生成时，上同调与同调可通过 $\operatorname{U}$ 的诺特商环计算，确保可计算性。
• 通过将经典判别法适配至通用环框架，为非平坦联络定义可 Holonomic 性。

实验结果

研究问题

• RQ1 如何通过通用环构造将 D-模理论扩展至非平坦联络？
• RQ2 在缺乏平坦性的情况下，非平坦联络的特征簇应如何恰当推广？
• RQ3 能否通过非诺特环上的 $\operatorname{Ext}$ 与 $\operatorname{Tor}$ 定义非平坦联络的上同调与同调？
• RQ4 在何种条件下，非平坦联络的上同调与同调可被有效计算？
• RQ5 如何通过通用环 $\tilde{U}^\otimes(\tilde{L}, \rho)$ 将可 Holonomic 性的概念推广至非平坦联络？

主要发现

• 当 $A$ 为诺特环且 $\tilde{L}$、$E$ 均为 $A$-模的有限生成时，通用环 $\tilde{U}^\otimes(\tilde{L}, \rho)$ 是 $\operatorname{Diff}(E)$ 的一个几乎交换诺特子环。
• 非平坦联络 $(\rho, E)$ 成为 $\tilde{U}^\otimes(\tilde{L}, \rho)$ 上的有限生成模，从而可定义其特征簇 $\operatorname{Char}(\rho, E)$。
• 通过通用环框架，为非平坦联络定义了可 Holonomic 性，推广了来自平坦联络的经典概念。
• 联络 $(\rho, E)$ 的上同调与同调通过非诺特环 $\operatorname{U}$ 上的 $\operatorname{Ext}$ 与 $\operatorname{Tor}$-群定义。
• 当 $E$ 有限生成时，上同调与同调可通过 $\operatorname{U}$ 的诺特商环计算，确保实际可计算性。
• 通过 $\operatorname{D}$-李代数的非交换扩张构造，为将 D-模不变量推广至非平坦情形提供了系统性框架。