Computing the cohomology of constructible étale sheaves on curves

这篇论文《Computing the cohomology of constructible étale sheaves on curves》（曲线上的构造性平展层上同调计算）由 Christophe Levrat 撰写，旨在解决代数几何中一个具体的计算问题：如何显式地计算定义在代数闭域上的不可约曲线（及其基域上的形式）的构造性平展层（constructible étale sheaves）的上同调复形，并明确其中的伽罗瓦作用。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

• 核心目标：给定一个定义在域 $k_0$ 上的代数曲线 $X_0$ 和一个在其小平展站点上的构造性 $\mathbb{Z}/n\mathbb{Z}$-模层 $\mathcal{F}_0$（其中 $n$ 在 $k_0$ 中可逆），计算其上同调复形 $R\Gamma(X, \mathcal{F})$，其中 $X$ 是 $X_0$ 在代数闭包 $k$ 上的基变换，$\mathcal{F}$ 是 $\mathcal{F}_0$ 的限制。
• 关键挑战：
  • 需要显式地表示出带有伽罗瓦群 $\text{Gal}(k/k_0)$ 作用的复形。
  • 现有的算法（如 Madore 和 Orgogozo 提出的）虽然证明了可计算性，但效率极低（仅证明为原始递归），无法在实际中应用。
  • 对于光滑曲线，已有针对特定情况（如 $H^1(X, \mu_n)$ 或局部常数层）的高效算法，但缺乏处理一般构造性层（可能包含奇异点、非局部常数部分）的统一且高效的显式计算方法。
  • 需要处理曲线的奇点（如多重交叉奇点）以及层在无穷远处的分歧（ramification）。

2. 方法论 (Methodology)

作者提出了一套基于**显式覆盖（Explicit Covers）和群上同调（Group Cohomology）**的算法框架。

2.1 核心构造：平凡化覆盖 (Trivialising Cover)

• 构造 $X\langle n \rangle$：对于给定的曲线 $U$，构造一个特定的伽罗瓦覆盖 $V \to U$，使得在该覆盖上，所有相关的 $\mathbb{Z}/n\mathbb{Z}$-扭子（torsors）都被平凡化。
• 具体实现：利用 $H^1(U, \mu_n)$ 的显式描述（通过除子对 $(D, f)$ 表示，其中 $nD = \text{div}(f)$）。覆盖 $V$ 是通过在函数域中添加这些函数 $f$ 的 $n$ 次根（即 $K(\sqrt[n]{f_1}, \dots, \sqrt[n]{f_s})$）得到的。
• 性质：该覆盖 $V$ 是特征覆盖（characteristic cover），其自同构群同构于 $H^1(U, \Lambda)^\vee$。在此覆盖上，层 $\mathcal{F}$ 变为局部常数（甚至常数），从而可以将几何上同调转化为群上同调。

2.2 上同调复形的显式表达

利用 Hochschild-Serre 谱序列和 cohomological dimension 为 1 的性质的推广，作者证明了 $R\Gamma(X, \mathcal{F})$ 可以表示为以下结构的锥（Cone）：

1. 开集部分：在平凡化覆盖 $V$ 上，上同调由群 $G = \text{Aut}(V/U)$ 的交叉同态（crossed homomorphisms）$\text{Hom}_{cr}(G, M)$ 和模 $M$ 本身构成。
2. 闭集/奇点部分：对于曲线上的奇点或无穷远点 $z$，利用惯性群（Inertia Group） $I_z$ 和野惯性子群（Wild Inertia） $P_z$ 的上同调来描述。
3. 粘合映射：通过伴随单位（adjunction units）和限制映射，将开集部分与闭集部分连接起来。

最终，$R\Gamma(X, \mathcal{F})[1]$ 被表示为一个由有限群（$G$ 和 $I_z/P_z$）的模构成的复形的锥。

2.3 伽罗瓦作用 (Galois Action)

• 当基域 $k_0$ 不是代数闭域时，算法通过计算覆盖 $V_0 \to U_0$ 的伽罗瓦轨道来构造一个定义在 $k_0$ 上的覆盖。
• 利用 Shapiro 引理（Shapiro's Lemma）和诱导表示，将 $k_0$ 上的伽罗瓦作用转化为对复形中各个有限群上同调项的显式作用。
• 特别处理了点在 $k_0$ 上不可约（即定义在扩域上）的情况，通过伽罗瓦轨道求和来构建整体复形。

2.4 算法流程

论文提出了四个核心算法：

1. CoordinatesInBasis：计算 $H^1(U, \mu_n)$ 中元素的坐标（利用 Weil 配对）。
2. nTorsCover：构造平凡化覆盖 $V\langle n \rangle$ 并计算其自同构群。
3. InertiaGroup：计算无穷远点在覆盖上的原像及其惯性群。
4. RGamma：综合上述步骤，构建代表 $R\Gamma(X, \mathcal{F})$ 的复形。

3. 主要贡献 (Key Contributions)

1. 显式公式：给出了 $R\Gamma(X, \mathcal{F})$ 的完全显式表达式，仅涉及有限群（自同构群和惯性商群）的模和交叉同态。这使得上同调计算完全代数化。
2. 统一框架：该方法统一处理了光滑曲线、奇异曲线（多重交叉奇点）、仿射曲线以及构造性层（包括非局部常数部分）。
3. 效率提升：
   • 相比于 Jin 的算法（针对光滑曲线上的局部常数层，复杂度为指数级），本算法在有限域上的复杂度显著降低（多项式级）。
   • 对于有限域 $k_0 = \mathbb{F}_q$，提出了一种优化策略：通过计算 $H^1(V, \mu_n)$ 在某个有限扩域 $\mathbb{F}_Q$ 上的不变量，构造一个更小的子覆盖，从而大幅减少计算量。
4. 复杂性分析：提供了详细的复杂度界限。在有限域情况下，若使用 Huang-Ierardi 或 Couveignes 的算法作为子程序，整体复杂度关于 $n, d$（曲线次数）, $g$（亏格）, $\log q$ 是多项式的。

4. 结果与示例 (Results & Examples)

论文通过两个具体例子验证了算法：

• 例 1：$\mathbb{P}^1$ 子集上的层
  • 考虑 $n=2$，特征不为 2 的域。
  • 计算了 $R\Gamma(\mathbb{P}^1, f_*\Lambda)$ 的复形结构，显式写出了微分映射和伽罗瓦作用。
  • 验证了结果与常数层 $\Lambda$ 在 $\mathbb{P}^1$ 上的上同调一致（$H^0 \cong \Lambda, H^1=0, H^2 \cong \Lambda$）。
• 例 2：椭圆曲线子集上的层
  • 在 $\mathbb{F}_{11}$ 上，考虑一个椭圆曲线 $E$ 和一个双覆盖 $C \to E$。
  • 计算了 $H^1(E, \mathcal{F})$，其中 $\mathcal{F}$ 是由 $C$ 平凡化的局部常数层。
  • 展示了如何利用 Magma 计算具体的 1-上循环（1-cocycles）基，并分析了伽罗瓦群 $\text{Gal}(\mathbb{F}_{121}/\mathbb{F}_{11})$ 的作用。
  • 演示了如何通过选择定义在 $\mathbb{F}_{11}$ 上的子覆盖来简化计算（将群阶从 64 降至 32）。

5. 意义与展望 (Significance & Future Work)

• 点计数问题 (Point Counting)：作者指出，该算法是解决有限域上曲面点计数问题（Surface Point Counting）的关键步骤。根据 Lefschetz 不动点定理，计算曲面上的点计数归结为计算 $H^i(X, \mathbb{F}_\ell)$ 的 Frobenius 迹。通过 Lefschetz 铅笔（Lefschetz pencil），曲面问题可转化为曲线上的构造性层上同调问题。
• 多项式时间潜力：虽然目前计算 $H^1(V, \mu_\ell)$ 的算法在亏格较大时仍可能是指数级的，但作者指出，结合 Harvey 的超椭圆曲线算法和 Couveignes 的方法，有望在平均情况下实现多项式时间复杂度。这为最终实现有限域上曲面点计数的多项式时间算法（Edixhoven 猜想）提供了理论路径。
• 工具化：该论文提供的显式构造和算法逻辑，为计算机代数系统（如 Magma, SageMath）实现通用的平展上同调计算模块奠定了坚实基础。

总结：Christophe Levrat 的这项工作将抽象的平展上同调理论转化为具体的、可计算的代数对象（有限群复形），不仅解决了构造性层上同调计算的效率问题，还为更复杂的算术几何问题（如曲面点计数）提供了关键的算法工具。