命题 P4：Connes–Consani 缩放站 = Deninger 叶层动力系统

slug: scaling_foliated · verdict: GO-conditional（Meyer 2005 Morita）· P4 ⊃ P11 · 难度: ★★★★

§1 命题精确陈述

构造一个 Morita 等价

$$T(\mathcal S) \simeq_\mathrm{Morita} \mathrm{Hol}(X,\mathcal F),$$

把 Connes–Consani 缩放站 $\mathcal S=[0,\infty)\rtimes \widehat{\mathbb{N}}^\times$ 的 transverse groupoid 与 Deninger 叶层动力系统 $(X,\mathcal F,\phi^t)$ 的 holonomy groupoid 等同；把 $\mathbb{R}_+^\times$ 缩放作用对应到 Deninger 流 $\phi^t$，$\log p$-周期轨道对应 $\log p$-长度闭叶；并且 Connes 2018 Riemann–Roch 迹等于 Álvarez López–Kordyukov–Deninger 分布意义 Lefschetz 迹（作为 $\mathbb{R}_+^\times$ 上的 tempered distribution）。

原命题用"equivalence of categories"是过强的；$\mathcal S$ 在 tropical $(\max,+)$ semiring 上，$\mathrm{Sh}(X,\mathcal F)$ 在 $\mathbb{R}$ 光滑结构上，topoi 等价不可能。修订为 Morita + 分布意义 Lefschetz 是 v2 流水线的核心 reformulation。

§2 L1 explorer 摘要

Angle A — 缩放站的 1-参数群 = Deninger 流：$\mathcal S$ 中通过 $(t,1)$ 在 fixed locus of $p\in\widehat{\mathbb{N}}^\times$ 处的 $\mathbb{R}_+^\times$-orbit 长度恰为 $\log p$，强制对应 Deninger 闭轨。Sauvageot 2024 用 arc space $\mathrm{Arc}(\mathcal S)$ 给桥候选。
Angle B — Connes RR-迹 = 分布 Lefschetz，term-by-term（推荐主线）：

Connes RR-trace 项	Deninger Lefschetz 项
$-\sum_\rho \hat f(\rho)$	$-\mathrm{Tr}(\phi_f\|H^1_{\bar c}\mathcal F)$
$\hat f(0)+\hat f(1)$	$\mathrm{Tr}(H^0)+\mathrm{Tr}(H^2)$
$\sum_p\log p\sum_k p^{-k/2}f(k\log p)$	$\sum_\gamma$ 闭轨贡献
$W_\infty(f)$ archimedean	$\infty$-place（Connes adelic + Meyer）

Angle C — Selberg 迹公式作桥：把 idele class space $\mathbb{A}_K^\times/K^\times$ 看作 Selberg 类比，$|\cdot|:\mathbb{A}^\times\to\mathbb{R}_+^\times$ 类似 geodesic flow。

Sentinel：Bombieri–Weil 数值 1-sig-fig consistency。LHS $\sim 0.18$，RHS $\sim -0.04$ 含 size $\sim 2$ 抵消，order-of-magnitude 一致。ratio-1 升级（Selberg–Fejér kernel + Iwaniec–Kowalski Thm 5.12 常数）半天工作量，non-blocking。

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

L3 prover (Meyer 2005 路径)：

Bridge from $\mathcal S$ to Meyer：Connes–Consani 2016 §6 证 $T(\mathcal S)\simeq_\mathrm{Morita} C_\mathbb{Q}^1\backslash C_\mathbb{Q}$（class field 互反性）。
Bridge from Meyer to Deninger：Meyer (Duke 2005) 在 nuclear LF-space $\mathcal H$ 上构造 reduced cohomology $H^1_\mathrm{red}(\mathbb{R}_+^\times,\mathcal H)=\bigoplus_\rho V_\rho$（$\rho$ 跑遍非平凡零点，含 multiplicity）。在 Deninger 公理 (i)+(ii) 下 Schur 给唯一 $\phi^t$-equivariant iso。
Connes RR-trace = 分布 Lefschetz：Connes 2018 Thm A + Álvarez López–Kordyukov 2008（distributional Betti numbers of transitive foliations）+ Deninger 2008 §3 给 term-by-term 匹配。

5 个 lemma：(1) transverse groupoid Morita 已立 (CC2016)；(2) Meyer spectral decomposition 已立 (Meyer 2005)；(3) orbit-length matching $|x_p|_p=p^{-v_p(x)}$ 直接；(4) 分布 Lefschetz on Meyer space = Connes RR (formally OK，需 trace-class 的 Mittag–Leffler-type 双 limit 验证，open 6–12 月)；(5) Deninger pullback (conditional on 公理 (i)+(ii))。

L4 adversarial：

"Equivalence of categories"过强 → 改 Morita。
分布 Lefschetz ≠ Atiyah–Bott → 不是 isolated fixed-point + compact 设定，是 distributional identity on $\mathbb{R}_+^\times$，与 Riemann–Weil explicit formula 同质。
P4 ⊃ P11：Connes 2018 RR-trace 用 $\mathcal{L}^{1,\infty}$ Dixmier trace（type II$_\infty$），所以 Lemma 4 依赖 P11。单向依赖：P11 = "build the trace"，P4 = "identify with Lefschetz"。
Deninger 公理 (ii) 隐含 RH-compatibility：若 $\rho$ 偏离 critical line，$\phi^t$ on $V_\rho$ 不 unitarisable，与 Deninger 期望的 smooth foliation 结构矛盾。所以 P4 conditional 是一致性定理不是 RH 蕴含。

L5 verdict: GO-conditional，含两条强制 disclosure：(1) P4 ⊃ P11；(2) Deninger 公理 implicitly assumes RH。3/5 lemma 已立（CC, Meyer, orbit length），1/5 是 6–12 月 trace-class 工作（Lemma 4），1/5 conditional on Deninger wishlist。

§4 L4 panel

专家	判定	关键 reason
analytical	concur	Meyer 2005 nuclear LF-space + Plancherel for $C_\mathbb{Q}^1$ 严格；Mittag–Leffler 双 limit 6–12 月 clean operator-algebra 任务
algebraic	concur	Morita + Schur 把 Tate normalisation 唯一化；3/5 lemma 已 published
numerical	concur	Bombieri–Weil 1-sig-fig consistency；ratio-1 升级 1/2 day bookkeeping
adversarial	concur	无 fatal circularity；P4 ⊃ P11 与 Deninger 公理隐含 RH 必须 disclosed

4/4 concur GO-conditional。reformulation 为 Morita + 分布 Lefschetz 是正确的比较概念。

§5 最终 verdict 与建议

Final verdict: GO-conditional (一致性定理)。P4 是 Connes–Consani 与 Deninger 两个 RH-蕴含框架之间的一致性桥梁，不是 RH 蕴含本身。其内容是"Connes–Consani 缩放站的唯一一致 foliation extension 是 Deninger 预测的"——一种刚性/唯一性结果。

P4 与 P11（II$_\infty$ Dixmier trace）通过 Lemma 4 单向依赖；P11 必须先解决（或 axiomatically posit）才能让 Lemma 4 严格化。P11 在 v2 流水线中已被 demote 为 P4+P10 子模块，所以 P4 的下一步同时是 P11 的下一步：把 Connes 1999 BC 系统的 II$_\infty$ factor 与 FK determinant 的 analytic continuation 写成独立 operator-algebra lemma。

建议：(a) 把 sentinel 从 1-sig-fig 升级到 ratio-1（Selberg–Fejér kernel，半天）；(b) 把 Lemma 4 的 trace-class identification 拆出独立写作目标（6–12 月）；(c) 联合 P11 同步推进 FK-on-II$_\infty$ continuation。