[论文解读] Smooth Modules over Lie Algebroids I

Rolf Kaellstroem|ArXiv.org|Aug 26, 1998

Algebraic structures and combinatorial models参考文献 27被引用 7

一句话总结

本文引入了李代数胚上光滑模的概念，通过在李子代数胚 g′_X 下，利用生成 D(g′_X)-子模的相干子模来定义光滑性，从而推广了 D-模理论。文章建立了在余维数 ≥2 下的延拓基础结果，证明了光滑性在逆像与正像函子下的保持性，以及曲线检验方法，为具有正则奇点的 g_X-模提供了新的清晰证明。

ABSTRACT

A Lie algebroid on a variety X/k is an extension α: g_X o T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of differential operators D(g_X). Letting g'_X be some Lie sub-algebroid of g_X, a smooth coherent g_X-module M is one in which any (locally defined) coherent O_X-submodule M_0 \subset M generates a g'_X-submodule D(g'_X)M_0 that remains coherent over O_X. Depending on the choice of g'_X one gets in this way interesting classes of g_X-modules, where probably the most important one is that of g_X-modules with regular singularities. The paper is concerned with this notion of smoothness, including results about prolongation of smoothness over codimension \geq 2, preservation of smoothness for inverse and direct images of g_X-modules, and curve tests. In particular we treat g_X-modules with regular singularities, generalizing some of the main theorems for D-modules with new and hopefully transparent proofs.

研究动机与目标

• 形式化并推广李代数胚上模的光滑性概念，扩展经典 D-模理论。
• 研究光滑模在李代数胚背景下逆像与正像函子作用下的行为。
• 发展一种曲线检验方法，实现对相干性性质的局部验证。
• 为具有正则奇点的 g_X-模的关键定理提供新的清晰证明。
• 研究光滑性在余维数 ≥2 的子簇上传播的性质，确保相干性得以保持。

提出的方法

• 将 g_X-模定义为：其任意相干 O_X-子模在李子代数胚 g′_X 作用下生成的 D(g′_X)-子模仍为相干模。
• 应用与李代数胚 g_X 相关的微分算子理论 D(g_X)，该代数胚作用于域 k 上的代数簇 X。
• 利用延拓技术，将光滑性性质扩展至余维数 ≥2 的子簇。
• 通过限制到 X 中的光滑曲线，利用曲线检验方法在局部验证光滑性。
• 应用逆像与正像函子，实现在不同 g_X-模范畴之间光滑性的传递。
• 利用李代数胚结构与切丛 sheaf T_X 及 O_X-模结构之间的相容性，确保相干性。

实验结果

研究问题

• RQ1 如何将 D-模的光滑性概念推广到李代数胚上的模？
• RQ2 在何种条件下，g_X-模的光滑性在逆像与正像函子下保持不变？
• RQ3 是否可以通过限制到曲线来检验光滑性？该检验方法在实践中如何运作？
• RQ4 在什么条件下，光滑性可沿余维数 ≥2 的子簇传播？
• RQ5 能否利用该推广框架重新推导 D-模理论中关于正则奇点的经典结果？

主要发现

• 当底层面射是光滑时，g_X-模的光滑性在逆像与正像函子下保持不变。
• 光滑性可沿余维数 ≥2 的子簇延拓，确保在全空间中相干性得以保持。
• 建立了曲线检验：g_X-模的光滑性可通过限制到 X 中的光滑曲线来验证。
• 该理论为具有正则奇点的 g_X-模的经典结果提供了新的、清晰的证明。
• 该框架通过统一处理李代数胚上的微分算子与相干性条件，推广了 D-模理论。
• 对于任意 g_X-模 M 的相干 O_X-子模 M_0，当 g′_X 是 g_X 的李子代数胚时，D(g′_X)M_0 的相干性得以保证。