[论文解读] Constructible sheaves are holonomic

Alexander Beilinson|arXiv (Cornell University)|May 25, 2015

Literature, Film, and Journalism Analysis参考文献 3被引用 5

一句话总结

该论文证明了在任意基域上的代数簇上，可构造层的奇异支撑的维数等于基簇的维数，将复几何中的经典结果推广到了正特征情形。通过使用Brylinski的Radon变换和Lefschetz铅笔技术，证明了平展可构造层的奇异支撑是余切丛的一个闭锥子集，其分支的维数为dim X，即使在正特征情形下，这些分支也无需是拉格朗日的。

ABSTRACT

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent bundle of X such that every (local) function on X with df(X) disjoint from SS(F) is locally acyclic relative to F.

研究动机与目标

• 将Kashiwara与Shapira在复几何中关于可构造层奇异支撑的结果，推广到任意基域上的代数簇。
• 解决Deligne所指出的在正特征下奇异支撑分支未必为拉格朗日的问题。
• 证明平展可构造层的奇异支撑是余切丛的一个闭锥子集，且其分支维数为dim X。
• 在正特征下，通过横截性和微局部技术，提供奇异支撑的几何刻画。
• 通过Radon变换和Lefschetz铅笔，将特征周期与奇异支撑理论推广到正特征。

提出的方法

• 将Brylinski的Radon变换用作量化典范变换的全局代数几何类比。
• 应用Lefschetz铅笔理论的某种版本，通过纤维几何分析奇异支撑。
• 使用$C$-横截条件来定义并控制层在拉回与上推下的行为。
• 引入$C$-横截检验对的概念，以刻画微局部支撑与上同调性。
• 通过锥子集的射影化及一般次数计算，研究奇异支撑的结构。
• 应用形变技术（例如通过加立方项修改函数），以确保特征周期计算中所需的零点阶数。

实验结果

研究问题

• RQ1 在任意基域上的光滑簇上，平展可构造层的奇异支撑是否具有维数恰好为dim X的分支，即使在正特征下？
• RQ2 在正特征下，奇异支撑能否通过$C$-横截检验对和微局部上同调性来刻画？
• RQ3 在正特征下，Radon变换的一般次数与奇异支撑的几何之间有何关系？
• RQ4 在何种条件下，Radon变换映射是双有理的或次数为2？
• RQ5 能否构造具有在奇点处指定零点阶数的函数，以计算特征周期？

主要发现

• 任何在任意基域上光滑簇$X$上的平展可构造层${\boldsymbol{\frak{F}}}$，其奇异支撑$SS({\boldsymbol{\frak{F}}})$的分支维数恰好为$\dim X$。
• 在正特征下，$SS({\boldsymbol{\frak{F}}})$的分支不一定是拉格朗日的，这一结论由Deligne指出，并在例子中得到验证。
• Radon变换诱导出一个态射$\tilde{p}^\vee_C$，当$p \neq 2$时其一般次数为1（即双有理），当$p = 2$且$C$为$\kappa$-对称且微分秩为奇数时，其一般次数可能为2。
• $\tilde{p}^\vee_C$是概态的，其纤维阶数通过与$C$的交点理论计算一般次数。
• 对任意$\nu \in C_{\text{reg}}$，可找到一个次数$\leq d$的有理函数$f = q_1/q_2$，使得$df(x) = \nu$，且$f$在纤维上具有二阶零点，从而保证特征周期行为正确。
• 通过将二次模型修改为$f' = f + a^3$，可构造出满足在奇点处所需零点阶数的函数。