命题 P3：adelic Fargues–Fontaine + HN/$\chi$ 加性

slug: adelic_ff · verdict: GO-revision-with-flags · 难度: ★★★★★

§1 命题精确陈述

构造（限制直积式）adelic Fargues–Fontaine 对象 $X_\mathbb{A}^{FF}=\prod_p{}'X_{FF,p}$；对来自 Λ-prismatic $F$-gauge 的向量丛 $\mathbb{E}=(\mathbb{E}_p)_p$，证明 Harder–Narasimhan 多边形与 Euler 特征沿素数加性：

$$\mathrm{HN}(\mathbb{E})=\sum_p \mathrm{HN}(\mathbb{E}_p),\qquad \chi(\mathbb{E})=\sum_p\bigl(\deg\mathbb{E}_p+\mathrm{rk}\,\mathbb{E}_p\bigr).$$

这是 Weil 类比 (a)+(c) 的"全局"端：把 Lafforgue 函数域 shtuka 框架的 Hasse–Weil Euler product 抬升到数域端，每个素数 $p$ 处用 Fargues–Fontaine 曲线 $X_{FF,p}$（local geometric uniformization），跨 $p$ 用限制直积粘成 ind-stack。

§2 L1 explorer 摘要

Angle A — restricted product + descent：模仿 $\mathbb{A}_K$ 构造，每个 $p$ 上 trivial bundle $\mathcal{O}^{\oplus n}$ 作"integral"参考点；$\mathrm{Bun}(X_\mathbb{A}^{FF})$ 是有限子集 $S$ 的 colimit。HN 加性 by 限制直积有限支撑。弱点：纯 stack-理论 colimit，无 underlying scheme/adic space。
Angle B — Bhatt–Lurie prismatization（推荐主线）：Bhatt–Lurie 2022 的 $\mathrm{Spec}(\mathbb{Z})^\Delta$ 在每个 $p$ 处其 Hodge–Tate locus 经 perfectoid base change 还原为 $X_{FF,p}$。"全局 FF curve" 定为 $X^{FF}_\mathrm{glob}:=(\mathrm{Spec}\,\mathbb{Z})^{\mathcal N}_\mathrm{syn}$。Λ-prismatic $F$-gauge 是 quasi-coherent sheaf on this stack。
Angle C — global geometric Langlands：把 Lafforgue 2018 / Fargues–Scholze 2021 trace formula 移植；每个 $p$ 上 Frobenius trace 对应 local L-factor。requires 全局 Langlands over $\mathbb{Z}$，目前不可达。

Sentinel：取 $\mathbb{E}_p=\mathcal{O}(d_p)$ rank-1 line bundle，$d=(3,-1,2,0,0)$ at primes $\{2,3,5,7,11\}$，余素数为 trivial。sympy 直接算：$\sum\deg=4, \sum\mathrm{rk}=5$，aggregate slope $=4/5$，与直接 HN polygon slope ratio = 1.000。cofinitely-trivial 在 $p\in\{13,17,19,23\}$ 上验证。

关键 sanity gap：$\Lambda$-prismatic $F$-gauge 不一定 cofinitely-trivial。手工反例 $M=\bigoplus_p \mathbb{Z}/p$（every prime 有 $p$-torsion）给 $\sum_p\deg\mathbb{E}_p$ 发散——这不是 finite-presentation 的 Λ-module，所以"coherent" qualifier 是真有用的。

Ranker：B（短期可行）> A（最低成本）> C（最深刻但不可达）。

§3 L5 decision (L3 prover + L4 adversarial + verdict)

L3 prover (Angle B Bhatt–Lurie 路径)：Setup 用 $X^{FF}_\mathrm{glob}=(\mathrm{Spec}\,\mathbb{Z})^{\mathcal N}_\mathrm{syn}$（Bhatt–Lurie *Prismatization* 讲座 §§2–6），(i) Hodge–Tate locus，(ii) Frobenius $\varphi$，(iii) 每个 $p$ 处闭子 stack 经 perfectoid base 还原为 $X_{FF,p}$。Restricted product as ∞-stack via 有限 $S$ 的 colimit。

关键 lemma 链：

B.3 (KEY GAP) coherent Λ-prismatic $F$-gauge 在 cofinitely 多 $p$ 处 trivial。证明需要 Bhatt–Lurie coherent F-gauges 的有限性定理（announced 2022 但 not in print as of late 2025）。
B.4 HN 加性：cofinitely-trivial 后 HN polygon = 有限直和的 polygon（自动）。
B.5 Riemann–Roch on $X_{FF,p}$：FS21 II.2.3 给 $\chi(\mathbb{E}_p)=\deg\mathbb{E}_p+\mathrm{rk}\,\mathbb{E}_p$；求和给全局 $\chi$。

L4 adversarial：

A.1 限制直积 ind-stack 类比 categorical OK，但无 schemy/adic underlying space，HN/$\chi$ 是定义而非有内容定理——除非加 prismatization 几何。
A.2 finiteness 是核心 hypothesis：motivic gauges 自动 cofinitely-trivial（de Jong, Faltings），一般情况开放，无 admissibility 假设可能假。
A.3 缺 archimedean：FF intrinsically perfectoid，$X_\mathbb{A}^{FF}$ 不含 $p=\infty$ 因子。Weil 显式公式所需 $\Gamma_\mathbb{R}$ 因子缺失——P3 模 Hasse–Weil 的非 archimedean 半。

L5 verdict: GO-revision。陈述加 "coherent" qualifier；finiteness as explicit hypothesis；archimedean caveat 公开标注。

§4 L4 panel

专家	判定	关键 reason
analytical	GO-revision	ind-stack colimit 给 finite support 但不给 bornological/topological 收敛；archimedean 缺失对显式公式致命
algebraic	GO-revision	$X_{FF,p}$ 还原需 perfectoid base change，跨 $p$ 简单 functorial 选 $C_p^\flat$ 不 canonical；Λ Noetherian (e.g. $\mathbb{Z}_p, W(k)$) 必须明示
numerical	weak GO-revision	5-prime line bundle sentinel 仅测 rank-1 cofinitely-trivial；rank-2 semistable concatenation case 未跑；非 coherent counterexample $\bigoplus_p\mathbb{Z}/p$ 验证 qualifier 必要
adversarial	GO-revision-with-flags	BL finiteness 是announced but unwritten，必须 cite as hypothesis；archimedean 必须 advertised；Λ-F-gauge finiteness 比表面看深（蕴含 K-theory of Z mod p 的有限性）

4/4 concur GO-revision，三个红旗：(a) Λ Noetherian，(b) Bhatt–Lurie finiteness as named hypothesis，(c) archimedean 缺失明示。

§5 最终 verdict 与建议

Final verdict: GO-revision-with-flags。HN 加性公式在 cofinitely-trivial hypothesis 下基本是 tautology；所有内容压在 Lemma B.3（Bhatt–Lurie finiteness）上。当 Bhatt–Lurie finiteness 在 print 写出后，P3 几乎自动升级为定理。

P3 与 P1（Λ-prismatic existence）、P7（局部建块 $V_p=H^1_\mathrm{syn}$）共享 Bhatt–Lurie prismatic 框架。三者一起构成本研究的核心垂直链：

P7 提供局部 building block (zeta 局部因子的 cohomology home, $\varphi=1$)。
P3 提供 adelic 拼接（cofinitely-trivial 后的全局 $F$-gauge → 每个 $p$ 处的 FF curve bundle）。
P1 提供跨 $p$ 全局 Frobenius family $\{\Psi_p\}$。

建议在 Bhatt–Lurie finiteness write-up 待出期间，先把 P7 的 local building 写成 short paper；同时在 P3 上跑 rank-2 semistable concatenation sentinel test（L4.numerical 提议）作为额外 numerical confidence。