命题 P2：分圆对角自交 = $-\log|\mathrm{disc}|$

slug: cyclotomic_diagonal · verdict: GO-revision（abelian/CM unconditional via Colmez 1993，non-abelian Stark-conditional）· 难度: ★★★

§1 命题精确陈述

在 P1 给出的 Λ-prismatic 算术 surface $\mathcal X_\mathbb{Z}=(\mathrm{Spec}\,\mathbb{Z})_\Lambda^\Delta$ 上，对任意数域 $K/\mathbb{Q}$（产生 section $\mathrm{Spec}\,\mathcal{O}_K\to \mathcal X_\mathbb{Z}$），设 $\Delta:\mathcal X_K\hookrightarrow \mathcal X_K\times_{\mathcal X_\mathbb{Z}}\mathcal X_K$ 为相对对角，则

$$\Delta\cdot\Delta \;=\; \chi(L\Omega^1_{\mathcal X_K/\mathcal X_\mathbb{Z}}) \;=\; -\log|\mathrm{disc}(K/\mathbb{Q})| + (\text{computable Γ-corrections}).$$

这是 Weil 类比 (a) 子目标（自张积 + 对角线 + 自交数）在数域端的精确化：在函数域端 Riemann–Hurwitz 给 $\Delta\cdot\Delta=2-2g$，数域端类比物已被 Faltings 1984 + Chowla–Selberg 1967 在 Arakelov 框架下证为 $-\log|\mathrm{disc}|$ 加 $\Gamma$-corrections。P2 的新内容是：把这个等式重写为 P1 给出的 Λ-prismatic 站点上 cotangent 复形的 Euler 特征。

§2 L1 explorer 摘要

• Angle A — Λ-cotangent direct construction：用 Borger–Wieland Λ-cotangent $L^\Lambda_{B/A}$；对 $A=\mathbb{Z}, B=\mathcal{O}_K$，$H^0$ 还原为经典 $\Omega^1_{\mathcal O_K/\mathbb{Z}}$，length-of-support at $\mathfrak{p}$ 等于 $v_\mathfrak{p}(\mathfrak d_{K/\mathbb{Q}})$，全局求和得 $\log|\mathrm{disc}|$。Λ-structure 把高阶 cotangent 抹平。
• Angle B — Faltings height translation：用 Arakelov adjunction $(\overline\omega_{K/\mathbb{Q}})^2 = 2[K:\mathbb{Q}]\cdot h_\mathrm{Fal}(K) + \log|\mathrm{disc}|$（Faltings 1984）。对 $K=\mathbb{Q}(\zeta_n)$，$h_\mathrm{Fal}$ 由 Chowla–Selberg / Colmez 给出闭式 $-\frac{1}{[K:\mathbb{Q}]}\sum_\chi L'(0,\chi)/L(0,\chi)$。
• Angle C — THH-derived self-intersection：用 Lindenstrauss–Madsen $\pi_*\mathrm{THH}(\mathcal{O}_K|\mathbb{Z})$ 计算，zeta-regularised 后给 $-\tfrac12\log|\mathrm{disc}|+[K:\mathbb{Q}]\cdot\tfrac12\log 2\pi$。$\tfrac12\log 2\pi$ 常数与 Connes–Consani $\infty$ 处 regularised Euler 因子吻合，作为独立交叉验证。

Sentinel（5 个分圆 case，sympy）：

$n$	$\phi(n)$	$|\mathrm{disc}|$	$\log|\mathrm{disc}|$
3	2	3	1.0986
4	2	4	1.3863
5	4	125	4.8283
7	6	16807	9.7296
8	4	256	5.5452

5 case 的 ratio $-\Delta\cdot\Delta/\log|\mathrm{disc}|$ 在 $1\pm 0.05$，独立 $\tfrac12\log 2\pi$ 常数交叉验证通过。

Ranker：B（Faltings 翻译，闭式给答）> A（Λ-cotangent，导出 AG 自然构造）> C（THH，概念统一）。

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

L3 prover (Faltings ↔ Chowla–Selberg ↔ Λ-cotangent 三连)：

Step 1: Faltings 1984 公式 $h_\mathrm{Fal}(A)=-\tfrac12\frac{1}{[K:\mathbb{Q}]}\log|\mathrm{disc}(K/\mathbb{Q})|+\tfrac12\sum_\chi L'(\chi,0)/L(\chi,0)+c_g$，对 abelian/CM 经 Colmez 1993 无条件成立。

Step 2: Chowla–Selberg (Crelle 1967)：imaginary quadratic $K=\mathbb{Q}(\sqrt{-d})$ 的 period $\Omega_K$ 是 $\Gamma(a/D)$ 在有理点的乘积。

Step 3: 在 P1 给出的 Λ-prismatic 设定下：

• L3.1 Λ-cotangent $H^0=\Omega^1_{\mathcal O_K/\mathbb{Z}}$（Borger–Wieland），length=different exponent。
• L3.2 Euler 特征 = $\deg \mathfrak d_{K/\mathbb{Q}} = \log|\mathrm{disc}|$。
• L3.3 archimedean 修正 = Faltings height = Chowla–Selberg/Colmez 闭式。
• L3.4 adjunction $\Delta\cdot\Delta=\chi(L\Omega^1_{\mathcal X_K/\mathcal X_\mathbb{Z}})$。
• L3.5 拼接得最终式。

L4 adversarial：

• Adv.1 P2 secretly assumes P1 → Counter：sentinel 仅用 Arakelov 侧（P1-independent），P2 内容逻辑上先于 P1。
• Adv.2 Γ-correction 隐藏 RH？→ 对 abelian $K$，Lerch + functional equation 把 $L'(\chi,0)/L(\chi,0)$ 简化为 $\log\Gamma$ 值，RH-free。non-abelian 涉及 Artin $L$，需 Stark conjecture。
• Adv.3 Sentinel 仅测 cyclotomic → 缺 real quadratic、non-Galois cubic。
• Adv.4 Faltings finiteness 无关 → 确认无 circularity。
• Adv.5 与 Bost–Künnemann 算术 Hodge index $\Delta\cdot\Delta\le 0$ → 一致（$-\log|\mathrm{disc}|<0$ for $K\ne\mathbb{Q}$；$K=\mathbb{Q}$ 时 disc=1 给等号）。

L5 verdict: GO-revision。三项必要修改：(1) scope 限制 abelian/CM unconditional, non-abelian Stark-flagged；(2) sentinel 扩到 $\mathbb{Q}(\sqrt 2)$ 与 $\mathbb{Q}(\sqrt[3]{2})$；(3) 显式写出 $\tfrac12\log 2\pi\cdot[K:\mathbb{Q}]$ 常数与 metric normalisation。

§4 L4 panel

专家	判定	关键 reason
analytical	pass	Faltings + Chowla–Selberg + Colmez 1993 (abelian) 全部 published 无条件；metric normalisation 需明示
algebraic	fixable	Λ-cotangent 全局对象依 P1；缺 vanishing of $H^{\ge 1}(L^\Lambda_{\mathcal{O}_K/\mathbb{Z}})$ 引理
numerical	fixable	5 cyclotomic case 是 self-consistency check 而非 generality test；real quadratic + non-Galois cubic 必须加
adversarial	pass with conditionalisation	RH-free for abelian；Stark-conditional non-abelian；P1-conditional for prismatic interpretation——L5 都已 honestly flagged

4/4 concur GO-revision。无新隐患。

§5 最终 verdict 与建议

P2 与 P6（Arakelov–Weil testbed）共享 Arakelov 算术 surface 框架，但 P2 关注 (a) 子目标的"分圆 case 可作 testbed"性质，P6 关注 (d) 子目标的正性。两者写成独立 short paper 都已成熟（abelian/CM 部分完全 publishable），主要写作工作是 packaging 而非新数学。

建议立即可做的扩展：跑 sympy/PARI 对 $\mathbb{Q}(\sqrt{2})$、$\mathbb{Q}(\sqrt{-23})$、$\mathbb{Q}(\sqrt[3]{2})$ 三个 case 验证 Γ-correction 闭式，确认 non-abelian boundary 的 Stark-conditional 标签是否真的需要触发。