[论文解读] Dualité et comparaison sur les complexes de de Rham logarithmiques par rapport aux diviseurs libres

Francisco Calderón-Moreno, Luis Narváez Macarro|ArXiv.org|Nov 2, 2004

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

本文建立了一个对偶定理，将 ${\mathcal{D}}_X$-模上的 Verdier 对偶与自由除数上可积对数联络情形下 ${{\mathcal{D}}_X(\log D)}$-模上的扭曲对偶联系起来。它为局部准齐次自由除数提供了对数比较定理（TCL）的新微分证明，并描述了 Koszul-自由除数上可积对数联络的对数 de Rham 复形的 Verdier 对偶，推广了典型相交情形下的结果。

ABSTRACT

Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential operators {\cal D}_X(\log D). In this paper we study two related results: the relationship between the duals of any integrable logarithmic connection over the base rings {\cal D}_X and {\cal D}_X(\log D), and a differential criterion for the logarithmic comparison theorem. We also generalize a formula of Esnault-Viehweg in the normal crossing case for the Verdier dual of a logarithmic de Rham complex.

研究动机与目标

• 建立可积对数联络情形下 ${\mathcal{D}}_X$-模上的 Verdier 对偶与 ${{\mathcal{D}}_X(\log D)}$-模上的扭曲对偶之间的对偶同构。
• 将对数 de Rham 复形的 Verdier 对偶的描述从典型相交除数推广至 Koszul-自由除数。
• 为局部准齐次自由除数提供对数比较定理（TCL）的微分证明，解决先前工作中提出的一个猜想。
• 将 ${{\mathcal{D}}_X(\log D)}$-模作为李代数丛的包络代数的框架扩展至对偶性与比较结果。

提出的方法

• 利用 Malgrange–Kashiwara 的 $V$-滤子，将 ${{\mathcal{D}}_X(\log D)}$ 定义为微分算子滤子环的伴随分次代数。
• 应用一个关于嵌套李代数丛包络代数上混合张量积的新结合公式，以证明对偶同构。
• 构造了在嵌套代数 $U_0 \subset U$ 上的模之间 $[U \otimes_{U_0} N] \otimes_A M$ 与 $U \otimes_{U_0} [N \otimes_A M]$ 的典范同构，推广了标准的平坦基变换。
• 利用 ${{\mathcal{D}}_X(\log D)}$ 作为具有有限同调维数的凝聚、诺特代数的结构，分析对偶性与比较性。
• 应用 Spencer 复形与可积对数联络的理论，定义对数 de Rham 复形。
• 利用 $\operatorname{Der}(\log D)$ 的李代数丛结构，通过满足莱布尼茨法则与可积性条件的联络，定义 ${{\mathcal{D}}_X(\log D)}$ 在模上的作用。

实验结果

研究问题

• RQ1 在对数情形下，如何将 ${\mathcal{D}}_X$-模上的 Verdier 对偶与 ${{\mathcal{D}}_X(\log D)}$-模上的扭曲对偶联系起来？
• RQ2 对于 Koszul-自由除数上的可积对数联络，对数 de Rham 复形的 Verdier 对偶的显式形式是什么？
• RQ3 对于局部准齐次自由除数，是否能通过微分方法而非拓扑论证来证明对数比较定理（TCL）？
• RQ4 在什么条件下，对数 de Rham 复形是 perverse 的？这与除数的结构有何关联？
• RQ5 李代数丛 $\operatorname{Der}(\log D)$ 的性质如何影响 ${{\mathcal{D}}_X(\log D)}$-模的对偶性与比较定理？

主要发现

• 本文证明了一个对偶同构，它在可积对数联络情形下，将 ${\mathcal{D}}_X$-模的 Verdier 对偶与 ${{\mathcal{D}}_X(\log D)}$-模范畴中的扭曲对偶相互交换。
• 对于 Koszul-自由除数，通过一个扭曲对偶公式，显式描述了可积联络的对数 de Rham 复形的 Verdier 对偶。
• 为局部准齐次自由除数建立了对数比较定理（TCL）的微分证明，证实了文献 [7] 中提出的猜想。
• 通过一个三维反例表明，对数 de Rham 形式复形在一般情况下并非 perverse。
• $ {{\mathcal{D}}_X(\log D)} $ 被识别为李代数丛 $\operatorname{Der}(\log D)$ 的包络代数，其分次结构同构于该局部自由 ${\mathcal{O}}_X$-模上的对称代数。
• 关于嵌套包络代数上混合张量积的结合公式被确立为关键技术工具，此前在文献中未见。