命题 P1：Λ-prismatic Frobenius family 的存在与 ∞-Wilkerson 交换性

slug: lambda_prismatic · verdict: GO-revision (weak, fixable) · 难度: ★★★★ · 依赖 P10

§1 命题精确陈述

在 $\mathrm{End}(\mathrm{PrSt}_\mathbb{Z})$ 中，是否存在唯一一族函子 $\{\Psi_p\}_{p\text{ prime}}$ 满足：

(i) 局部还原：$\Psi_p|_{\mathrm{Spf}\,\mathbb{Z}_p^\Delta}\simeq \varphi_p^\Delta$（Bhatt–Lurie 绝对棱柱 Frobenius）；
(ii) ∞-Wilkerson 交换：$\Psi_p \Psi_q \simeq \Psi_q \Psi_p$ coherently（即在 $\infty$-categorical 意义下，相干同伦完整给出）。

这是 Weil 类比中"绝对 Frobenius 不存在"差距源 2 的最直接攻击：把每个素数处的局部 prismatic Frobenius $\varphi_p^\Delta$ 同步成一族跨 $p$ 全局的、互相 commuting 的函子族。Wilkerson 1982 + Borger 2009 给出此族在 1-categorical 经典情况下的存在性（在 torsion-free 环上），但 $\infty$-categorical 全局版本是 P1 的核心 ask。

§2 L1 explorer 摘要

三个独立攻击角度：

Angle A — Λ-Witt $\infty$-lift：把 Borger 的大 Witt 函子 $W$ 在动画化 commutative ring 范畴 $\mathrm{CAlg}^{\mathrm{an}}_\mathbb{Z}$ 中升级为 $W^{\mathrm{an}}$（Bhatt–Mathew、Antieau–Nikolaus）。每个动画环上得 $\Lambda_\infty$-结构，$\pi_0$ 上回到经典 Borger $\psi_p$。obstruction 在 Hesselholt–Madsen rigidity 后 $p$-完备消失。风险：$\mathbb{Z}$-flat 之外 strict commutativity 需 polygonic spectra 替代。
Angle B — F-gauge fracture square：在 $\mathrm{QCoh}(\mathbb{Z}^\mathrm{syn})$ 上利用 arithmetic fracture square $\mathcal{F}=\lim(\mathcal{F}_\mathbb{Q}\to \prod_p \mathcal{F}_p^\wedge \leftarrow \mathcal{F}^\wedge)$，定义 $F_p$ 在 $p$-component 上为 $\varphi_p^\Delta$、其他 $q\ne p$ 与 rational factor 上为 identity。Commutativity 由 disjoint support 自动保证。风险：fracture square 目前只在 object 层级写出，promote 到 ∞-functor 数据需 Drinfeld 2020 的部分版本。
Angle C — THH cyclotomic transport（推荐主线）：把 Krause–Nikolaus 2019 已写出的 $\mathrm{CycSp}$ 中 commuting cyclotomic Frobenius family $\{\varphi_p^{\mathrm{THH}}\}$，沿假设的 faithful symmetric-monoidal embedding $\mathrm{PrSt}_\mathbb{Z}\hookrightarrow \mathrm{CycSp}$ ($X\mapsto \mathrm{THH}(\mathcal{O}_X)$) 拉回。Krause–Nikolaus 提供显式 $E_\infty$-witness via polygonic refinement $\mathrm{THH}^{\mathrm{pgc}}(\mathbb{Z})$。

Sentinel（type-check + magnitude）：在 $\mathbb{Z}$、$\mathbb{Z}[\zeta_p]$、$\mathbb{Z}[i]$ 三个测试环上，Borger $\psi_p$ 与 Bhatt–Lurie $\varphi_p^\Delta$ 的余数一致（mod $p$ 都给 $p$-th-power Frobenius），ratio $\approx 1$；$\mathbb{Z}[i]$ 上 $\psi_2$ 在 $\{1,i\}$ 基底矩阵 $\mathrm{diag}(1,-1)$，$\det=-1$，与 BL 侧符号约定一致（mod 2 both ≡ identity）。无 magnitude anomaly。

Ranker：A=15/20, B=15/20, C=16/20。主推 C（tool-readiness 最高，Krause–Nikolaus 已给 commuting witness），B 作 fallback，A 作概念叙事。

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

L3 prover (Angle C 沿 THH 路径)：Setup 上把 $\mathrm{TC}^-(\mathbb{Z};\mathbb{Z}_p)\simeq R\Gamma_\mathrm{syn}(\mathbb{Z}_p,\mathbb{Z}_p(*))[2*]$（BMS + AMMN 2022）等价于 BL 的 $p$-完备绝对 prismatic stack。$\Psi_p$ 定义为沿假设的 faithful $\Phi:\mathrm{PrSt}_\mathbb{Z}\hookrightarrow \mathrm{CycSp}$ 把 $\varphi_p^{\mathrm{THH}}$ transport 回 $\mathrm{PrSt}_\mathbb{Z}$ 得到的 endo-functor。每个 $p$-local stratum 上限制为 $\varphi_p^\Delta$，generic Spec $\mathbb{Q}$ 上为 identity。

关键 lemma 链：

L3.1 (KNOWN) Krause–Nikolaus 2019：$\{\varphi_p^{\mathrm{THH}}\}$ 在 $\mathrm{End}(\mathrm{CycSp})$ 中 coherently commuting，witness via polygonic refinement。
L3.2 (GAP) absolute-faithfulness：$\Phi:\mathrm{PrSt}_\mathbb{Z}\to \mathrm{CycSp}$ 在 absolute syntomic sheaves 子范畴上 faithful。AMMN-22 仅在 connective + $p$-typically truncated 情况下证；integral 版本是核心 GAP。
L3.3 (KNOWN-up-to-twist) $\Psi_p|_{\mathrm{Spf}\,\mathbb{Z}_p^\Delta}\simeq \varphi_p^\Delta$ up to $\mathbb{Z}_p(k_p)$-twist，全局可归一化为 $k_p=0$。
L3.4 (GAP) ∞-Wilkerson rigidity：$\pi_*\mathrm{Maps}(\Psi_p\Psi_q,\Psi_q\Psi_p)$ profinite 完备后 $*>0$ 消失，由 (L3.2) 还原到 (L3.1)。
L3.5 (KNOWN) sentinel 在 $\mathbb{Z}[i]$、$\mathbb{Z}[\zeta_3]$ 上 ratio=1。

L4 adversarial：(a) P10 circularity——(L3.2) 是 P10 的弱形式（faithfulness 而非 essential surjectivity），所以 P1 不独立于 P10；mitigation：声明为 conditional。(b) Wilkerson torsion-free 限制：经典证明用 torsion-free，PrSt 含带 $p$-torsion 对象（如 $\mathbb{Z}/p^n$），polygonic 救场但 transport 须保 torsion handling。(c) "absolute prismatic ≃ THH" 滥用：$\mathbb{Z}_p^\Delta\simeq \mathrm{Spec}\,\mathrm{TC}^-(\mathbb{Z};\mathbb{Z}_p)$ 仅是 $p$-完备 formal stack 等价，promote 到全局 ∞-functor 数据正是被点名的 GAP。

L5 verdict：GO-revision (weak-GO)。Conditional on (L3.2) 的 P10 弱形式，C 路径走通；polygonic 解决 torsion；twist normalisation 可定。L4 反驳无致命缺陷，但都迫使陈述加 conditional 标签。

v2 修订陈述："Conditional on the THH–syntomic absolute-faithfulness comparison (a special case of P10), there exists in $\mathrm{End}(\mathrm{PrSt}_\mathbb{Z})$ a unique-up-to-contractible-choice coherently commuting family $\{\Psi_p\}_p$ restricting to $\{\varphi_p^\Delta\}_p$ on each $p$-completed prismatic stratum, constructed by transport along the polygonic cyclotomic Frobenius of $\mathrm{THH}(\mathbb{Z})$."

§4 L4 panel (4-expert 投票)

专家	判定	关键 reason
analytical	fixable	(∞,1)-coherence 需显式 fracture-of-cyclotomic-spectra lemma（folklore，未写）
algebraic	fixable	polygonic Frobenius ≠ Borger $\psi_p$ on torsion；L3 narrative 把两者混淆，须 rename "Ψ_p = Borger ψ_p ∞-lift" 不准确
numerical	fixable	sentinel S1–S3 必要不充分；缺 commutator check on torsion input 与 $\pi_3 \mathrm{THH}(\mathbb{Z})=\mathbb{Z}/2$（Bökstedt）的 6-torsion 验证
adversarial	fixable	P10 circularity 未明令禁止反向蕴含；Tate-twist global normalisation 未定；Λ-Witt $W^{\mathrm{an}}$ 高 $\pi$ 未知

多数决：4/4 fixable。命题存活但每层都需具体加强；"weak-GO" 标签实至名归。

§5 最终 verdict 与建议

Final verdict: GO-revision (weak-GO, fixable), conditional on P10-style absolute THH-faithfulness。

P1 不应作为独立目标攻击，应作为 P10 的推论自然得到。短期可分离子任务：写下 fracture-of-cyclotomic-spectra lemma（L4.analytical 提议），以及 commutator sentinel on $\pi_3\mathrm{THH}(\mathbb{Z})=\mathbb{Z}/2$（L4.numerical 提议）。

建议在主笔记 §6 把 P1 的工作排到 P10 主线之内，同时在 P3 (adelic FF) 与 P7 (prismatic 指数) 推进时刷新 P1 的字典条目——P3 的 coherent F-gauge finiteness、P7 的 $V_p=H^1_\mathrm{syn}$ 都直接喂入 P1 的"absolute Λ-prismatic stack 是否存在 in PrSt_ℤ"问题。