Holonomic étale sheaves are constructible

技术摘要：全纯埃塔尔层（Holonomic Étale Sheaves）是可构造的

问题陈述
本文探讨了代数簇上埃塔尔层（étale sheaves）中“可构造性”（constructibility）与“全纯性”（holonomicity）概念之间的关系。在复流形上的 $\mathcal{D}_X$-模语境下，Kashiwara 定理确立了全纯模是可构造的。在代数设定中，Beilinson 此前证明了每个可构造的埃塔尔层都拥有其奇异支撑（singular support），且其不可约分量的维数等于底层方案的维数，从而有效地将可构造层表征为“全纯”的（尽管他并未明确定义非可构造层的全纯性）。

本文解决的核心问题是其逆命题：能否在不预先假设可构造性的情况下，为埃塔尔层定义一种全纯性的概念，并且这种定义是否能蕴含可构造性？作者旨在证明全纯埃塔尔层确实是可构造的，从而为全纯埃塔尔层提供一个埃塔尔类比的 Kashiwara 定理。

方法论
作者开发了一个用于任意埃塔尔层的“微观支撑”（micro support，即奇异支撑）框架，扩展了最初假设层为可构造的 Beilinson 的构造。该方法论通过以下步骤进行：

1. 几何基础（第 1–3 节）： 本文建立了关于余切丛 $T^*X$ 中闭锥集（closed conical subsets）的必要几何语言。它定义并分析了关于一个锥集 $C$ 的两种关键性质：

   • $C$-横截性（$C$-transversality）： 关于态射 $h: W \to X$ 在 $C$ 的拉回与余切映射核之间的交集方面的条件。
   • $C$-非正则性（$C$-acyclicity）： 关于一对态射 $(h, f)$ 的条件，涉及相对于 $C$ 的推前（pushforward）的非正则性。
     这些概念改编自 Beilinson 的工作，但在定义时并未假设所涉及的层是可构造的。

2. 微观支撑定义（第 4 节）： 作者定义了一个层 $F$ 在闭锥集 $C \subset T^*X$ 上是微观支撑的，如果对于每一个 $C$-非正则对态射 $(h, f)$，态啡 $f$ 相对于拉回 $h^*F$ 是局部非正则的。这一定义将微观支撑的概念推广到了非可构造层。关键引理确立了微观支撑在拉回、推前及 distinguished triangles 等运算下的行为。

3. 奇异支撑的存在性（第 5 节）： 作者证明了对于光滑方案 $X$ 上的任何层 $F$，存在唯一的最小闭锥集 $SSF$（即奇异支撑），使得$F$ 微观支撑于其上。

   • 该证明依赖于将问题归约为 $X$ 为射影空间 $\mathbb{P}^n$ 的情形。
   • Radon 变换和 Legendre 变换被用于分析射影空间上的微观支撑。具体而言，作者利用入射簇（incidence variety）$Q \subset \mathbb{P} \times \mathbb{P}^\vee$ 的几何性质以及 Radon 变换 $R$ 及其逆变换 $R^\vee$ 的性质，将层的微观支撑与其变换后的微观支撑联系起来。
   • 本节证明了即使在没有可构造性假设的情况下，奇异支撑仍然存在，这解决了 Tong Zhou 提出的问题。

4. 全纯性与可构造性（第 6 节）：

   • 定义： 一个层 $F$ 被定义为全纯的，如果 (1) 其奇异支撑 $SSF$满足$\dim SSF \leq \dim X$，且 (2) 对于每个几何点$x$，茎$F_x$ 是可构造的。
   • 主定理： 作者证明了如果 $F$ 是全纯的，那么 $F$ 是可构造的。
   • 证明策略： 证明过程采用对 $\dim X$ 的归纳法。利用了在稠密开集上，全纯层是局部常数的性质（微观支撑于零截面）。通过分析与该开集补集相关的 distinguished triangle 以及使用归纳假设，作者证明了该层在处处都是可构造的。论证首先针对完美域建立，随后通过向完美闭包进行基变换扩展到一般域。

主要贡献与结果

• 全纯性的定义： 本文引入了一个严谨的全纯埃塔尔层定义，该定义并不预设可构造性。
• 奇异支撑的存在性： 它确立了任意层（不仅限于可构造层）的奇异支撑 $SSF$的存在性，解决了关于存在$SSF$ 是否需要可构造性假设的问题。
• 主定理（定理 6.3）： 本文的核心结果是 Beilinson 定理的逆命题：全纯埃塔尔层是可构造的。
  • 具体而言，如果 $\dim SSF \leq \dim X$ 且所有茎都是可构造的，则该层本身是可构造的。
• 向奇异方案的扩展： 通过将奇异方案闭嵌入到光滑方案中，将全纯性的概念扩展到奇异方案上的层，并证明了该定义与嵌入方式无关。
• 稳定性： 本文确认了全纯层范畴在有限型态射的各种标准运算（直接像、逆像、具有紧支撑的适当直接像）下是稳定的。

意义
本文声称其意义在于作为 $\mathcal{D}_X$-模全纯性的埃塔尔类比 Kashiwara 定理。正如 Kashiwara 定理断言全纯 $\mathcal{D}$-模具有可构造上同调（这是 Riemann–Hilbert 对应关系的关键组成部分），这项工作断言全纯埃塔尔层是可构造的。

作者指出，这一结果为诸如刚性簇（rigid varieties）等背景下的“缺陷的可构造性概念”提供了稳健的替代方案，在这些背景下，预计可以定义类似的全纯性。这项工作直接建立在 Beilinson 的基础性文章 [3] 之上，通过精炼定义去除了预设的可构造性假设，并证明了具有“小”奇异支撑（维数 $\leq \dim X$）的几何条件结合逐点可构造性，足以保证全局可构造性。