命题 P11：II$_\infty$ factor + Fuglede–Kadison 行列式 = $\Xi(s)$

slug: ii_factor · verdict: weak-GO（仅作 P4+P10 子模块），NO-GO standalone · 难度: ★★★★★（circularity ⇔ RH）

§1 命题精确陈述

构造 II$_\infty$ factor $\mathcal M$ 与自伴 $D_{ar}$ affiliated to $\mathcal M$，使 Fuglede–Kadison 正则化行列式

$$\det^{FK}_\zeta(s-D_{ar}) = \Xi(s) = s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s),$$

且 $D_{ar}$ 关于 canonical 半有限迹 $\tau$ 的 spectral measure = 非平凡 $\zeta$ 零点的 counting measure。这是非交换 Hilbert–Pólya 实现，subordinate to Weil 显式公式 (c) 子目标。

§2 L1 explorer 摘要

• Angle A — Berry–Keating $H=xp$ 直接 II$_\infty$ 实现：在 $L^2(\mathbb{R}_+, dx/x)$ 上 quantize $H=xp$；boundary regularization (Berry–Keating 1999, Connes 1999) 给 semiclassical density $\rho(E)\sim \frac{1}{2\pi}\log(E/2\pi)$ 匹配 Riemann–von Mangoldt。II$_\infty$ realization：$\mathcal M=L^\infty(\mathbb{R}_+, dx/x)\rtimes \mathbb{R}_+^\times$。Obstacle：$H=xp$ 无 $L^2$-normalizable eigenvectors；只有 generalized scattering states。
• Angle B — Lift Connes 1999 trace formula to FK（推荐主线）：Connes 1999 trace formula on $L^2(\mathbb{A}^*/\mathbb{Q}^*)$ 给 $\sum_\rho \hat h(\rho)$ iff RH（"Spec is absorption spectrum" reformulation）。lift Tr 到 FK $\tau$ on II$_\infty$，要求 $D$ 在 Selberg involution $D\mapsto \tfrac12-D$ 下反对称。Obstacle：无 II$_\infty$ factor 严格构造使 (i) $\tau_{FK}$ on $(s-D)^{-z}$ 有限 for large $\Re z$，(ii) zeta-regularization 解析延拓到 $z=0$，(iii) 行列式 $=\Xi(s)$ exactly（非仅 up to entire $e^{a+bs}$）。
• Angle C — Selberg trace 类比：$\Gamma\backslash \mathbb{H}$ 上 Selberg zeta 函数有 genuine Hilbert–Pólya 实现；非 arithmetic $\Gamma$ + 无穷协 vol → Atiyah $L^2$-trace 给 II$_\infty$。Gap：仅给 Selberg zeta 不给 Riemann zeta；衔接需 BC adelic input → reintroduces circularity。

Sentinel — KILL（mpmath, $H=\frac12(xp+px)$ on $[0.5, 50]$ finite difference $N=500$, 前 100 eigenvalues vs $\zeta$-zero $\gamma_n$ + GUE 500×500 reference）：

对象	NN spacing variance
$H=xp$ truncated	0.019（near-uniform Poisson-rigid）
$\zeta$ zeros	0.204
GUE 500×500	0.153

Counting up to $E=94.9$: $H=xp$ 给 99 levels (linear), ζ 给 27 levels (RvM $\frac{T}{2\pi}\log T$)。3.7× over-count 是 naive Hilbert space wrong by logarithmic factor 的 signature——任何 finite-dimensional / single-Hilbert-space truncation 不能恢复 ζ statistics；adelic limit 是结构必需而非便利。

§3 L5 decision (sub-module only)

L3 prover (Angle B = Connes 1999 + FK)：

• Candidate factor: $\mathcal M=\mathcal N\rtimes_\sigma \mathbb{R}_+^\times$ 其中 $\mathcal N$ Bost–Connes type III$_1$，$\sigma$ modular flow，crossed product 经 Takesaki duality → II$_\infty$。
• Candidate $D_{ar}$：generator of scaling action on $L^2(\mathbb{A}_\mathbb{Q}/\mathbb{Q}^\times,\mu)_0$（cuspidal subspace, weight zero）。
• Lemma 1 (semifiniteness)：$\tau(P_{[-T,T]}(D_{ar}))<\infty$ with $\sim (T/2\pi)\log(T/2\pi e)$。Connes 1999 §IV 仅给 leading term；error term + 谱投影 trace-class status 未严格立。
• Lemma 2 (FK regularization)：$\det^{FK}_\zeta(s-D_{ar})=\exp(-\zeta'_{D_{ar}}(0;s))$ 解析延拓到 $z=0$ on II$_\infty$ 无 published proof；finite-factor (Brown measure) 技术不直接 transfer。
• Lemma 3 (与 $\Xi$ 识别)：Hadamard $\prod_\rho(1-s/\rho)$ ↔ FK det up to archimedean Gamma。形式正确，预设 spectral side = zero side = RH。

L4 adversarial：

• (C2) FK on II$_\infty$ analytic continuation：double regularization (cutoff $P_{[-T,T]}$ then $T\to\infty$)，无文献证明 double limit commute with $\log\det$ for spectrum on $\mathbb{R}$ density $\sim\log T$。genuine analytic gap。
• (C3) L1 sentinel：$H=xp$ var=0.019 vs ζ 0.204 vs GUE 0.153，两个 order of magnitude 太刚，无 finite-dimensional shortcut。
• (C4) 与 P10 耦合：P11 = P10 的 operator-theoretic projection；P10 的 cohomological cycle class、Frobenius–flow analogue、positivity（RR/Weil）输入是 self-adjointness 的来源。standalone P11 strip 这些。
• (C5) Hilbert–Pólya 状态：HP 是 motivational not constructive。Berry–Keating, Sierra–Townsend, Bender–Brody–Müller 2017 全部 (i) lack rigorous self-adjointness with required boundary conditions, or (ii) achieve $\Xi$ as formal symbol only。

L5 verdict：

• Standalone NO-GO（最大 sharp circularity 等价 RH）。
• 作为 P4 + P10 sub-module: weak-GO/GO-conditional。P11 角色是 P10 机器的输出而非 input。
• 具体下一步：(a) 解 C2（FK on II$_\infty$，clean operator-algebra 问题，与 RH 分离）；(b) 用 Meyer cokernel formulation 替换 self-adjoint $D_{ar}$，重评 weaker 陈述是否仍捕获 RH；(c) 用 P4 函数域 $\mathcal M_{\mathbb{F}_q}$（II$_\infty$ factor 由 étale cohomology 构造）作 sanity check before lift to $\mathbb{Q}$。

§4 L4 panel

专家	判定	关键 reason
analytical	HOLD	FK $\zeta$-reg meromorphic continuation on II$_\infty$ 未证；缺 heat-kernel-style short-time expansion $\tau(e^{-tD^2})$ for non-elliptic generators
algebraic	GO (factor) / HOLD (affiliation)	BC algebra type III$_1$ + Takesaki duality 给 II$_\infty$ factor 抽象成立；MvN dimension 与 $D_{ar}$ self-adjointness conditional
numerical	HOLD-strong	$H=xp$ truncated 100× 太刚；3.7× over-count 表 naive Hilbert space wrong by $\log$ factor；adelic limit 是结构必需
adversarial	NO-GO standalone	Connes BC 内 maximal sharp circularity；self-adjointness ⇔ RH 是 logical 等价，无 wiggle room；demote 到 P4+P10 sub-module 正确

四 panel 一致：P11 不是 viable independent target；circularity 是 logical equivalence not soft worry。唯一 carve-off：FK-on-II$_\infty$ continuation lemma（C2）作 standalone operator-algebra 任务。

§5 最终 verdict 与建议

角色映射：

• P4 GO-conditional 提供 Connes RR-trace identification（depending on Lemma 4 trace-class identification with Dixmier trace on $\mathcal{L}^{1,\infty}$）。Lemma 4 ⇒ P4 ⊃ P11 单向。
• P10 字典 D6（Λ-equiv $\mathcal{O}_\Delta$-cohomology ↔ 叶上 $L^2$-cohomology）需要 P11 的 regularised Lefschetz；P10 D7 端局 zeta 也需。
• P5 (NO-GO Λ-shtuka) 与 P11 通过 Hilbert–Pólya motivation 弱关联（P5'-B Kapranov 单素数提供 non-commuting Frobenii 给 P11 候选 II$_\infty$ factor 的源）。

建议：

• 不再独立攻击 P11。
• 把 FK-on-II$_\infty$ analytic continuation lemma 拆出独立写作目标（与 RH 完全分离的 operator-algebra 问题，6–12 月）。一旦解决，P4 Lemma 4 与 P11 Lemma 2 同时受益。
• 每周期把 P11 作 documentation/cross-reference target；把 effort routes 到 P4 (函数域无条件 Frobenius 类比) 与 P10 (NC-motivic positivity)。