[论文解读] A generalization of the b-function lemma

Sam Raskin|arXiv (Cornell University)|Nov 15, 2016

Algebraic Geometry and Number Theory参考文献 4被引用 3

一句话总结

本文通过引入衡量非正则性偏离程度的数值不变量——正则性缺陷（holonomic defect），将经典的b-函数引理推广至非正则D-模。证明了D-模操作（如直接像、拉回及Verdier对偶）保持该缺陷不变，从而将D-模理论中的关键结果从正则情形推广至更广泛的情形，并为仿射映射的t-正合性及几何表示论中的新应用提供了可能。

ABSTRACT

We establish some cohomological bounds in D-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the b-function lemma for non-holonomic D-modules.

研究动机与目标

• 将经典的b-函数引理从正则D-模推广至更广泛的凝聚D-模类。
• 定义并研究一种新的数值不变量——正则性缺陷，用于度量D-模偏离正则性的程度。
• 建立D-模操作（直接像、拉回、对偶）保持正则性缺陷的性质，推广已知的正则情形结果。
• 为仿射态射f!的t-正合性在非正则情形下提供概念性基础。
• 在几何表示论中实现新应用，特别是针对傅里叶-德利涅变换等构造产生的非正则D-模。

提出的方法

• 引入Gabber-Kashiwara-Sato（GKS）滤过作为工具，通过上同调支集条件定义正则性缺陷。
• 利用GKS滤过将正则性缺陷δ定义为最小整数，使得FδGKS(F) = F（对D-模F）。
• 将GKS滤过应用于将问题约化至光滑情形，其中奇异支集维数控制滤过结构。
• 证明D-模操作（f*, f!, f*, dR及Verdier对偶）保持GKS滤过，从而保持正则性缺陷。
• 采用拟复形处理仿射映射f的f!的t-正合性问题，即使f!在经典意义下未在非正则模上定义。
• 通过奇异支集分析与维数估计，将主要保持性结果约化至仿射开嵌入的情形。

实验结果

研究问题

• RQ1 如何将b-函数引理推广至非正则D-模？
• RQ2 何种数值不变量能以保持D-模操作的方式捕捉D-模偏离正则性的程度？
• RQ3 沿仿射态射的直接像是否保持t-结构截断（即左t-正合性）？
• RQ4 能否在不依赖有限长度论证或正则性假设的前提下，建立正则性缺陷在D-模操作下的保持性？
• RQ5 GKS滤过如何在D-模理论中控制奇异支集维数与上同调界？

主要发现

• 凝聚D-模F的正则性缺陷δ在直接像f*、拉回f!及Verdier对偶下保持不变，将b-函数引理推广至非正则情形。
• 对光滑概形X，凝聚D-模F具有正则性缺陷δ当且仅当其奇异支集维数≤ dim X + δ。
• GKS滤过F•GKS(F)与开限制、闭嵌入及滤过余极限相容，从而可将问题约化至光滑情形。
• 该结果表明，即使f!在经典意义下未在非正则模上定义，通过在拟复形框架下工作，f!对仿射态射仍为左t-正合。
• 正则性缺陷为δ的D-模范畴对子模、商模、扩张及滤过余极限封闭，构成D(X)的全子范畴。
• f!在仿射映射下保持缺陷的证明依赖于GKS滤过与奇异支集维数估计，关键引理表明j*保持仿射开嵌入下的正则性缺陷。