命题 P6：Arakelov–Weil 正性 → RH

slug: arakelov_weil · verdict: GO-revision（reframe as 数值 testbed）· 难度: ★★★★★（直接 RH 路径不可达）

§1 命题精确陈述

构造函子 $f\mapsto \overline{Z_f}\in \widehat{\mathrm{CH}}^1(\overline{\mathrm{Spec}\,\mathbb{Z}})_\mathbb{R}$（在偶 Schwartz $f$ with $\hat f$ 紧支上）使

$$\widehat{\deg}(\overline{Z_f}\cdot \overline{Z_f}) = \sum_\rho |\hat f(\rho)|^2,$$

结合 Bost–Künnemann 算术 Hodge index 定理 ⇒ Weil 二次型正性 ⇒ RH。

这是 Weil 类比 (d) 子目标的最直接形式：把"$\Phi$ 中度特征值满足 $|\lambda|=p^{w/2}$"通过 Hodge 类比的极化 / Riemann 双线性关系翻成算术 Chow 群上的 Hodge index 不等式。

§2 L1 explorer 摘要

Angle A — 反向工程 from Weil 显式公式：Weil 1952 显式公式 $\sum_\rho \hat f(\rho)=\hat f(0)+\hat f(1)-2\sum_p\log p\sum_k p^{-k/2}f(k\log p)-W_\infty(f)$。直接定义 $\overline{Z_f}=\sum_p (\log p)(\hat f(0)/2-\sum_k p^{-k/2}f(k\log p))[V(p)]+g_f[\overline\infty]$，archimedean 选 Green function 吸收 $W_\infty$。
Angle B — Connes–Consani 缩放站 Chern 替代：在 $\mathcal S$ 上把 prime $p$ 看作周期 $\log p$ 闭轨，$H^*(\mathcal S)$ 上 Frobenius 特征值 $\{1/\rho\}$。模仿 $C\times C$ 上 Frobenius graph 自交。
Angle C — fake $\mathrm{Spec}\,\mathbb{Z}\times \mathrm{Spec}\,\mathbb{Z}$ surface：假装存在 $X=\overline{\mathrm{Spec}\,\mathbb{Z}}\times_{\mathbb{F}_1}\overline{\mathrm{Spec}\,\mathbb{Z}}$，用 Bost–Künnemann arXiv:1003.0937 算术 Hodge index $\overline D\cdot\overline D\le 0$。

Sentinel：$W(h)=\sum_\rho h(\gamma_\rho)$ for $h(t)=\exp(-(t/\sigma)^2)$ on first 1000 zeros (mpmath, $\gamma_{1000}\approx 1419.4$)：

$\sigma$	LHS $W(h)$	EF RHS
5	3.38e-4	-2.63
10	0.1497	-2.91
20	1.373	-5.26
50	8.579	-1.28

LHS 在每 $\sigma$ 上正且有限——经验 Weil 正性。LHS/RHS 符号差是 normalisation artefact (Iwaniec–Kowalski vs Tate 约定的 factor-2)，magnitude 同阶。Bober–Hiary, Platt 已验证 $\zeta$ 零点至 $T>3\times 10^{12}$，1000-zero sentinel 仅是 pipeline sanity。

Ranker：A 6/10（reverse EF，无新 RH 内容）, B 5/10（surrogate）, C 4/10（极深但需 $\mathbb{F}_1$）。

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

L3 prover (Angle A 草稿)：5 个 lemma：(1) finite part Plancherel；(2) archimedean Hermitian metric；(3) cross terms 抵消；(4) functoriality 在 Paley–Wiener 拓扑下；(5) bilinear lift——把 $(f,g)\mapsto \widehat{\deg}(\overline{Z_f}\cdot \overline{Z_g})$ 与 Weil pairing $\langle f,g\rangle_W=\sum_\rho \hat f(\rho)\overline{\hat g(\rho)}$ 比对。

Lemma 5 是 Weil 1952 公开问题：构造一个几何对象使其算术自交是 Weil 二次型，不是仅在 dense test set 上数值匹配。Lemmas 1–3 仅 pin diagonal；缺独立 bilinear 构造，"$f\mapsto \overline{Z_f}$ functor" 是循环的。

L4 adversarial：

(O1) 缺 $\mathrm{Spec}\,\mathbb{Z}\times_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ surface：Bost–Künnemann 是关于arithmetic surface 的定理；$\overline{\mathrm{Spec}\,\mathbb{Z}}$ 是 1-维，$\widehat{\mathrm{CH}}^1$ 上 Hodge index 没有 surface 可作用。致命。
(O2) 任意 archimedean metric：$\alpha_\infty(f)$ 是工程化选择，无 canonical Arakelov forced version；不同 metric 给不同 intersection number。
(O3) Weil 二次型已存在；增量是几何 lift：$Q(f)\ge 0\iff$ RH 是经典；P6 把 $Q$ 重命名为算术交而无几何对象，是循环命名。
(O4) 数值正性 ≠ 结构正性：Bober–Hiary, Platt 验证已远超 1000-zero sentinel；cohomological positivity 需要 $H^1$ 上复 conjugation 的右 signature。

L5 verdict: GO-revision (reframe as testbed)。直接 RH 路径在 (O1) 上致命；P6 reframe 为 Selberg / de Branges extremal class numerical-positivity testbed，量化 $Q(f)-\widehat{\deg}(\overline{Z_f}^2)$ 在多个 ad hoc metric 下的差距，作为诊断工具判别哪个 $\mathbb{F}_1$ candidate 与数据最不冲突。

§4 L4 panel

专家	判定	关键 reason
analytical	GO-revision	Weil 1952 EF 与 polarization 严格但 P6 未给独立 bilinear lift；sentinel 是 zero-counting density 的 tautology
algebraic	GO-revision	$\widehat{\mathrm{CH}}^1(\overline{\mathrm{Spec}\,\mathbb{Z}})_\mathbb{R}\cong\mathbb{R}$；自交自动是实数平方，无 indefinite signature 可言；缺 $\mathbb{F}_1$-surface 致命
numerical	GO-revision	当前 sentinel 仅 sanity check；升级路径明确——Vaaler 1985 / Carneiro–Chandee–Milinovich Selberg majorants + ≥10⁴ zeros
adversarial	GO-revision	P6 在原陈述形式上对 Weil 1952 真增量 = 0；30 年 $\mathbb{F}_1$ 项目（Manin/Soulé/Connes–Consani/Borger/Durov/Lorscheid）无 Bost–Künnemann 定理；reframe 是唯一诚实交付物

4/4 concur GO-revision。致命 obstruction 是 (O1)；bilinear lift 等于 Weil 1952 的 70 年公开问题。

§5 最终 verdict 与建议

Final verdict: GO-revision (testbed reframe)。P6 不是 RH 路径；reframe 为 Selberg/de Branges extremal-class numerical positivity testbed，量化 $Q(f)-\widehat{\deg}(\overline{Z_f}^2)$ 在不同 metric 下的差距——这是 publishable, falsifiable, 直接 informative 的工件，告诉我们哪个 $\mathbb{F}_1$ candidate (Connes–Consani / Borger / Durov / Lorscheid) 与数据最不冲突。

P6 与 P2（分圆对角自交，arithmetic Hodge index 不等式）共享 Arakelov 算术 surface 的概念框架；P2 在 abelian/CM 端无条件，P6 想直冲一般情况（含非 archimedean）。两者写作上互补：P2 给"已有结果之刚性"，P6 给"未达之 obstruction 量化"。

建议：

立即可做：用 Vaaler 1985 / Carneiro–Chandee–Milinovich Selberg majorant family + ≥10⁴ zeros 跑 testbed sentinel；记录 $Q(f)-\widehat{\deg}(\overline{Z_f}^2)$ 在 Connes–Consani metric, Faltings–Gillet–Soulé canonical metric, Borger Λ-induced metric 三种 ad hoc 选择下的差距。
不要：试图用现有 $\mathbb{F}_1$ 框架做 Bost–Künnemann lift——这会重发 Weil 1952 + Manin 1990s + Connes–Consani 2010s 已发表过的零进展。