命题 P7：prismatic 指数修复 — $V_p=H^1_\mathrm{syn}(\mathbb{Z}_p,\mathbb{Z}_p(0))$

slug: prismatic_exponent · verdict: strong-GO（无 GAP） · 难度: ★★（packaging 任务）

§1 命题精确陈述

构造有限维 $\mathbb{Q}_p$-向量空间 $V_p$，自然 in $H^*_\Delta(\mathbb{Z}_p,\mathcal F)$ for some F-gauge $\mathcal F$，使

$$\det(1-p^{-s}\varphi\mid V_p) = (1-p^{-s})^{-1} = \zeta_p(s).$$

Naive guess $V_p:=H^0_\Delta(\mathbb{Z}_p,\mathcal{O}_\Delta)\otimes\mathbb{Q}_p\cong\mathbb{Q}_p$ with $\varphi=\mathrm{id}$ 给 $1-p^{-s}$，是 Riemann ζ 局部因子的倒数——指数翻转错误。P7 修复这一指数错位。

这是 Weil 类比 (c) 子目标的最小局部建块：把 Riemann ζ 的每一个 Euler 因子放进 Bhatt–Lurie F-gauge 框架的标准位置。

§2 L1 explorer 摘要

Angle A — 把 $\mathcal F$ 选成在 $H^1$ 而非 $H^0$ 上承载该 class（推荐主线）：在 BL F-gauge 形式中，$H^i$ 上 Frobenius 行列式以 $(-1)^i$（实际是 zeta 约定 $(-1)^{i+1}$）进入 zeta。所以若 $\mathcal F$ 满足 $H^0=0$, $H^1\otimes\mathbb{Q}_p\cong\mathbb{Q}_p, \varphi=1$，则 $\det(1-p^{-s}\varphi)^{(-1)^{1+1}}=(1-p^{-s})^{-1}$。Candidate: $\mathbb{Z}_p(0)^\mathrm{syn}:=\mathrm{fib}(\varphi-1:\mathcal{O}_\Delta\to\mathcal{O}_\Delta)$。
Angle B — Kubota–Leopoldt 局部因子：Kubota–Leopoldt $L_p(s,\chi)$ 对 $\chi=1$ 在 $s=1-n$ 处缺失因子 $(1-p^{n-1})=(1-p^{-s})|_{s=1-n}$。Iwasawa 主猜（Mazur–Wiles + Wiles）把它与 Iwasawa module $X_\infty$ 的 char ideal 关联，再经 BL 字典回到 syntomic 上 cohomology。独立数值 sanity。
Angle C — ramified base change $\mathbb{Z}_p\rightsquigarrow \mathbb{Z}_p[\zeta_p]$：通过 cyclotomic tower Iwasawa descent 得 inertia-invariant 1-维子空间，$\varphi=1$。

Sentinel (sympy)：

p=2: ζ_2(2) = 4/3 = 1.333333,  naive H^0 det = 3/4
p=3: ζ_3(2) = 9/8 = 1.125,     naive H^0 det = 8/9
p=5: ζ_5(2) = 25/24,           naive H^0 det = 24/25
p=7: ζ_7(2) = 49/48,           naive H^0 det = 48/49

Fix: V_p in H^1 with (-1)^{i+1} flip → predicted/actual ratio = 1.000000  ✓

4/4 案例 ratio=1，无 magnitude anomaly。

Ranker：A 9/10（low cost / low risk / BL standard, high concreteness）, B 7/10, C 6/10。

§3 L5 decision

L3 prover (Angle A 草稿)：

Lemma 1 (cohomology computation)：$H^*_\Delta(\mathbb{Z}_p,\mathbb{Z}_p(0)^\mathrm{syn})$ via fiber sequence $\mathrm{fib}(\varphi-1:\mathcal{O}_\Delta\to\mathcal{O}_\Delta)$；$H^0(\mathcal{O}_\Delta)=\mathbb{Z}_p, \varphi=\mathrm{id}, H^{\ge 1}(\mathcal{O}_\Delta)=0$（BL §8 / BMS）。alternating sign 给 $V_p$ 在合适 degree 上 $\varphi=1$。
Lemma 2 (Frobenius eigenvalue)：$\varphi=1$ on $V_p$，由 fiber 强制。
Lemma 3 (det formula)：用 zeta 约定 $Z(\mathcal F,s)=\prod_i \det(1-p^{-s}\varphi|H^i_\Delta\otimes\mathbb{Q}_p)^{(-1)^{i+1}}$，$i=1$ 因子给 $(1-p^{-s})^{-1}=\zeta_p(s)$。
Lemma 4 (functoriality)：6-functor compatibility。
Lemma 5 (Kubota–Leopoldt sanity)：missing Euler factor $(1-p^{n-1})$ ↔ $X_\infty$ char ideal ↔ syntomic $H^1$ along cyclotomic tower。

L4 adversarial：

(a) $\mathbb{Z}_p(0)$ 是否 ad hoc？ 不。Nygaard filtration 选 $\mathbb{Z}_p(0)$ 作 weight-0 piece，trivial-character Euler factor 按定义就是 weight-0 sheaf 贡献。$\mathbb{Z}_p(n), n\ge 1$ 给 $\zeta(s-n)$ 不是 $\zeta(s)$。$n=0$ 被 forced。
(b) 跨 $p$ Künneth 缺：concede——这是 P3 / P1 的事。P7 是局部建块，不 globalize。
(c) Bloch–Kato 兼容：$V_p\cong H^1_f(\mathbb{Q}_p,\mathbb{Q}_p(0))=$ unramified part = $\mathbb{Q}_p$（1-维, $\varphi=1$）。两 normalisation 等价。
(d) trivial-character 限制：by design。non-trivial $\chi$ mod $N$ ($p\nmid N$) 推广 mechanical 用 rank-1 F-isocrystal $\varphi=\chi(p)$；$p\mid N$ 需 log-prismatic（BL §10），不 mechanical 但 published。

L5 verdict: strong-GO（原陈述）。所有反驳被答辩；机器（BL syntomic, BMS, Bloch–Kato $H^1_f$, Kubota–Leopoldt, Iwasawa MC）均已发表。无新数学，纯 packaging。

§4 L4 panel

专家	判定	关键 reason
analytical	GO（packaging 警告）	"$V_p$ 在 $H^1$" 与 zeta 约定 $(-1)^{i+1}$ alternating sign 是同一事实的两种 packaging；L2 写作时 unify 即可。$\mathcal{O}_\Delta$ 自身 $H^0=\mathbb{Z}_p, \varphi=1$ 即给 $\zeta_p$
algebraic	GO	BL Absolute prismatic cohomology §8 + BMS §7 + Česnavičius–Koshikawa 的 syntomic $\mathbb{Z}_p(0)$ 与 Bloch–Kato $H^1_f(\mathbb{Q}_p,\mathbb{Q}_p(0))$ 兼容性干净；Iwasawa MC 应作 sanity 而非 logical step
numerical	GO（thin）	当前 sentinel ratio=1 真但 trivial；建议 L2 加 KL/Bernoulli 对照 ($n=2,4,6$, $p\in\{2,3,5\}$) 作更 robust 数值证据
adversarial	GO	$\mathbb{Z}_p(0)$ 选择 forced not ad hoc；"mechanical" 推广 claim 应收窄到 $p\nmid N$；4 反驳中 3 完全成立

4/4 GO，无 NO-GO 或 revision。所有 issue 是 L2 packaging 层，不涉及数学缺口。

§5 最终 verdict 与建议

Final verdict: strong-GO（原陈述）。这是 11 命题中唯一 strong-GO + 4/4 panel concur + 无 GAP 的命题。

角色：P7 是 Weil-analogy 程序的局部建块。它不解决跨 $p$ 拼接（P3 的事）也不给全局 Künneth（P1 的事）。它做的是：certify Riemann ζ 的局部 Euler 因子在 Bhatt–Lurie 框架的标准位置——对 P1, P3 都是 prerequisite scaffolding。

立即可做的写作（1–2 月，short paper 长度）：

$\mathcal F=\mathbb{Z}_p(0)^\mathrm{syn}$ 形式化为 canonical weight-0 F-gauge。
Lemmas 1–5 写成自包含 Proposition；引用 BL *Absolute prismatic cohomology* §8、BMS §7、Bloch–Kato $H^1_f$、Kubota–Leopoldt、Iwasawa MC（Mazur–Wiles）。
统一 zeta 约定 $Z=\prod\det^{(-1)^{i+1}}$；non-trivial-character 推广 claim 收窄到 $p\nmid N$。
升级 sentinel：$L_p(1-n,1)=-(1-p^{n-1})B_n/n$ 在 $n=2,4,6, p\in\{2,3,5\}$ 上的 Bernoulli 比对，sympy + mpmath。

不需要新数学，纯 packaging existing $p$-adic Hodge theory as a Weil-analogy 模板的 piece。