Vaughan 矩形分支上的 ℤ_w 扭系数 Lefschetz 数 + 几何非退化 ⇒ 内接正方形 | L4 panel: fixable (1P/3F/0R) | L5 decision: weak-GO 重定位 | 2026-05-23
一句话现状
P1' 在 smooth / rectifiable 曲线上 已被 Greene–Lobb 2024 Corollary 蕴含（且更强）；作为"独立证存在性"已无新颖性。其残值在三件事： (a) 给 GL 2024 Corollary 一个 Floer-free 的拓扑 / Lefschetz 重证； (b) 推动 ½πR² 阈值移除 program； (c) 为未来 C⁰ Lagrangian Floer 提供拓扑骨架。 重新定位为 P1'_v2 后保持 fixable。L4 panel 1P/3F/0R fixable，L5 weak-GO B。
下面五节按 v2 流水线的五层结构组织：§1（命题陈述与修订史）→ §2（L1 思路探索 5 角度 + ranker + sentinel）→ §3（L2 文献调研 12 篇 PDF）→ §4（L3 严格证明 + 对手 + 文献整合）→ §5（L4 panel + L5 verdict + 路线图），最后 §6 是流程价值评估，§7 是引用清单。
本笔记原始 §13 草拟 P1 形式如下：
P1（原）. 设 $\gamma\subset\mathbb R^2$ 为 $C^0$ Jordan 曲线，$\mathcal R(\gamma)$ 为 Vaughan 矩形分支，$\sigma$ 为 90° 旋转限制（对换两条对角线）。则在 $\mathbb F_2$ 系数下的 $\sigma$-Lefschetz 数
$$L_\sigma^{\mathbb F_2}\bigl(\mathcal R(\gamma)\bigr) \;\equiv\; 1 \pmod 2,$$从而 $\sigma$ 在 $\mathcal R(\gamma)$ 上有不动点（即矩形 4 元组在对换下不变 ⇒ 正方形）。
L1 sentinel：圆例数值证伪
对 $\gamma = S^1$，Vaughan 拓扑给 $\mathcal R(S^1)\simeq$ Möbius 带，$\sigma$ 在 Möbius 谱 $S^1$ 上同伦于 id：
$$ L_\sigma^{\mathbb F_2}(\mathcal M) \;=\;\operatorname{tr}(\mathrm{id}\,|\,H_0)+\operatorname{tr}(\mathrm{id}\,|\,H_1) \;=\;1+1\;=\;2\;\equiv\;0\;(\bmod 2). $$但圆显然内接（事实上 ∞ 多）正方形。结论之前提已在最简单情形失败 ⇒ 原 P1 (𝔽₂) 为假。
L3 数值（13 条扩展曲线，含正多边形 / 不规则多边形 / 平坦极限椭圆 a/b ∈ {10, 50, 100} / Koch L1–L3）一致地给出 Möbius 迹 = 0，但每条都至少内接一个正方形 — 原 P1 在每个测试样本上都被反证。
沿 angle B（Čech-Lefschetz 显式）+ angle A（Fadell–Husseini ideal-valued index）的修订，把 $\mathbb F_2$ 系数换为方位 twisted local system $\mathbb Z_w$：
P1'（修订）— ℤ_w 扭系数 σ-Lefschetz 命题
设 $\gamma\subset\mathbb R^2$ 为 $C^0$ Jordan 曲线，$\mathcal R(\gamma)$ 为 Vaughan 矩形分支，$\sigma$ 为对角对换，$w\in H^1(\mathcal R(\gamma);\mathbb F_2)$ 为 $\sigma$-诱导的方位特征（Möbius 方位反转）。则 $\mathbb Z_w$ 扭系数的 $\sigma$-equivariant Lefschetz 数
$$ L_\sigma^{\,w}\bigl(\mathcal R(\gamma)\bigr) \;=\;\sum_{i\ge0}(-1)^i\operatorname{tr}\!\left(\sigma_*\,\big|\,\check H_i(\mathcal R(\gamma);\mathbb Z_w)\right) \;\neq\;0, $$且若 $\sigma$ 在 $\mathcal R(\gamma)$ 上有 几何非退化不动点（即存在 $q\in\mathcal R^\circ(\gamma)$ — 非退化开子集 — 使 $\sigma q = q$），则 $\gamma$ 内接一个真正方形。
关键修改两处：
关于"几何非退化"的技术阐释：在 P1' 的语境下，"非退化"指存在 $q\in\mathcal R^\circ(\gamma)$（$\mathcal R^\circ$ 是 $\mathcal R(\gamma)$ 中"四点不共线、对角线长度严格为正、对换非平凡"的开子集）使 $\sigma q = q$。L1 angle C 给出 3 种代理的等价描述：(代理 1) $\partial\mathcal R$ 排除（边界层不吸收 σ-不动点）；(代理 2) 边长 $L_{\min} > 0$ 严格正；(代理 3) 对角线交点重数 = 1。代理 1 ∧ 代理 2 ∧ 代理 3 联合等价于"4 点构成真正方形"（advocate #3 验证）。这正是把 P1' 真实新内容压缩到 "$L_\sigma^w \neq 0 \Rightarrow$ 几何非退化不动点存在" 的关键 — 否则陈述沦为定义性恒等。
修订完才发现：Greene–Lobb 2024 (Floer Homology and Square Pegs, arXiv:2404.05179v2, 29 pp) 已直接蕴含 P1' 全陈述并更强 — 把 smooth 放宽到 rectifiable 仍成立。其精确陈述：
Theorem A (Greene–Lobb 2024). 若 $\gamma\subset\mathbb R^2$ 是可求长（rectifiable）Jordan 曲线，则存在长度 $\ge \mathrm{Area}(\gamma)/\mathrm{Rad}(\gamma)^2$ 的区间 $I\subset(0,\pi)$，使得 $\gamma$ 内接每个 $\theta$-rectangle，$\theta\in I$（$\theta$-rectangle 指对角线相交角为 $\theta$ 的矩形）。
Corollary. 若 $\gamma$ 可求长且围合面积 $> \tfrac12\pi\,\mathrm{Rad}(\gamma)^2$，则 $\gamma$ 内接一个正方形。
对照 P1'：
结论：作为"独立证存在性"，P1' 已被 GL 2024 Corollary 完全覆盖；作为"GL 框架的拓扑 / Lefschetz 重证"，P1' 仍未在文献中显式建立 — 这是真 gap。
P1 → P1' → P1'_v2 三阶段修订的时序（精确到分钟，记录在 decision_log.md）：
| 时间戳 | 阶段 | 事件 | 影响 |
|---|---|---|---|
| 2026-05-23 16:22 | L0 init | 命题 P1 立项 — 𝔽₂-Lefschetz 形式，budget = 22 agents | v2 流水线启动 |
| 16:25 | L1 angle A | FH ideal-valued + Floyd–Smith 路径，warn（degenerate fixed points） | 提出 D₄-等变重写 |
| 23:25 | L1 angle B | 圆例 $\mathbb F_2$ 反证 + 提出 ℤ_w 修订 | 触发陈述修订分支 |
| 16:27 | L1 ranker | verdict = revise，top angle = B (17 / 25) | 主路径 B、辅助 A、退路 E |
| 16:28 | L1 sentinel | 5 / 5 曲线反证原 P1（𝔽₂ Möbius 迹 = 0 普遍） | P1 → P1'（ℤ_w 扭系数） |
| 2026-05-24 00:15 | L3 numerical | 13 / 13 ratio = 1.000，sgn_sum 始终 ≥ 0 | P1' 数值自洽 |
| L3 lit (GL2024) | L3 文献 | GL 2024 已蕴含 P1' 全陈述并更强 | 独立性丧失警告 |
| 17:45 | L3 advocate | 3 条结构裂缝（非退化 trivial / Vaughan C⁰ / C⁰ 极限 ℤ_w） | challenge but not reject |
| 19:30 | L4 panel | 1P / 3F / 0R — fixable | 需重新定位 |
| 20:15 | L5 decision | weak-GO B — 重定位为 GL Corollary 拓扑重证 | P1' → P1'_v2 |
| 20:45 | L5 summary | fixable_with_revised_proposal | 立即 / 短期 / 长期路线图 |
关键转折：L1 sentinel（16:28）拦截原 P1，避免后续 6+ 小时投入到错误陈述；L3 lit (GL2024) 揭示 P1' 已被覆盖，避免发表"已被覆盖"的论文；L5 decision 把 P1' 重新定位为 P1'_v2，保留可发表的真贡献。整个修订史用时约 4 小时（16:22 → 20:45），相比单一 prover 路径（按经验估计 6+ 小时写到 prover 才发现陈述错误）节约 ~30% 时间，但更重要的是避免了发表错误命题。
| Angle | 路径核心 | 关键工具 | L1 ranker 总分 |
|---|---|---|---|
| A 拓扑提升 | $C_2 \hookrightarrow D_4$ via Fadell–Husseini ideal-valued index；Floyd–Smith 给 σ-fixed Lefschetz | FH index, Adem–Milgram $H^*(BD_4;\mathbb F_2) = \mathbb F_2[u,v,w]/(uv)$ | 14 |
| B Čech-Lefschetz 显式 | 圆例 $\mathbb F_2$-Lefschetz = 0 直接反证；提议 ℤ_w 修订；σ 在 $H^1(\mathcal M;\mathbb Z) = -1$ | Čech 上同调，方位 local system | 17（首选） |
| C 几何非退化代理 | $\partial$-stratification 排除 / 边长下界 $L_{\min} > 0$ / 对角线交点重数 | 边界相对同调，stratification | 12 |
| D 反例尝试 | Cusp / 分形 / 宽高比避 1：结论"反例存在概率 Low" | 显式构造 / 几何排查 | 12 |
| E smooth → C⁰ 极限 | Greene–Lobb + Hausdorff 紧致性 + Buhovsky–Opshtein–Humilière C⁰ symplectic rigidity | BHS 2019 谱不变量连续性，Floer 同调 | 13 |
L1 ranker 判定：verdict = revise（top angle = B），并明确"原 P1 必须改写"。建议主路径 B、辅助 A、退路 E；C / D 留作 sub-lemma 模块。
L1 sentinel 是 v2 流水线在 L2/L3 投入前的"廉价证伪闸门"：在 5 条最简单 smooth 曲线（圆 / 椭圆 a/b=2,5 / 4 瓣玫瑰 / 哑铃 D₂ 对称）上数值检测原 P1 的 $\mathbb F_2$-Lefschetz 数。结果：
| 曲线 | N | #矩形 | #正方形（聚类） | $L_\sigma^{\mathbb F_2}$ | 结论 |
|---|---|---|---|---|---|
| circle | 200 | 21 486 | 12 | 0 | P1 反证 |
| ellipse a/b = 2 | 200 | 711 | 3 | 0 | P1 反证 |
| ellipse a/b = 5 | 200 | 255 | 0 (sub-pixel) | 0 | P1 反证 |
| 4-petal rose | 200 | 1 438 | 26 | 0 | P1 反证 |
| peanut (D₂) | 200 | 2 135 | 9 | 0 | P1 反证 |
5 条曲线 100% 把原 P1 反证，触发 v2 流水线"陈述修订"分支；同时给出三个修订候选（ℤ-系数 raw / ℤ_w 扭系数 / Maslov-Euler 类），其中 ℤ_w 与 GL 2020 Maslov 路径一致 — 即 §1.2 的 P1'。
L3 numerical 在 sentinel 之上扩样到 13 条覆盖 4 个正则区，验证 P1' (ℤ_w) 的自洽性：
| 曲线 | N | #矩形 | #正方形 (clustered) | $\Sigma\varepsilon$ (sgn_sum) | verdict |
|---|---|---|---|---|---|
| 正三角形 | 210 | 2 400 | 3 | +3 | consistent |
| 正五边形 | 200 | 3 795 | 8 | +8 | warn (sym) |
| 正六边形 | 204 | 11 101 | 3 | +3 | consistent |
| 正七边形 | 203 | 7 025 | 5 | +5 | consistent |
| 不规则凸五边形 | 200 | 2 541 | 6 | +6 | warn (sym) |
| 非凸 L 形 | 180 | 1 495 | 4 | +4 | warn (sym) |
| 非凸 5-star | 150 | 578 | 3 | +3 | consistent |
| 椭圆 a/b = 10 | 800 | 11 121 | 34 | +34 | warn (sym) |
| 椭圆 a/b = 50 | 1 500 | 27 694 | 328 | +328 | warn (sym) |
| 椭圆 a/b = 100 | 2 000 | 49 377 | 523 | +523 | consistent |
| Koch L1 | 300 | 9 375 | 41 | +39 | consistent |
| Koch L2 | 384 | 31 462 | 52 | +48 | warn (sym) |
| Koch L3 | 576 | 168 568 | 125 | +103 | consistent |
数值要点
L3 numerical 的核心信号是所有 13 条曲线 $\Sigma\varepsilon \ge 0$，无任何样本给出负号。这并非数值偶然 — $\varepsilon(s) = \mathrm{sign}\,\det[d_1, d_2]$ 中 $d_1, d_2$ 是按曲线参数顺序定的对角线方向；选定参数化后，$\varepsilon$ 在 σ 不动点处计算的就是该不动点对全局 Maslov 类的局部贡献。所有贡献同号 ⇔ 单一 Maslov 类支配整个 ℛ(γ) ⇔ ℤ_w 扭 Lefschetz 数为正整数 — 与 P1' 预言 $L_\sigma^w(\mathcal M) = 1$ 一致。
"warn (sym)" 机制的精确解释：曲线 $\gamma$ 的对称群 $G$（$D_n$ / $\mathbb Z_2\times\mathbb Z_2$ / $D_3$ 等）作用在 $\mathcal R(\gamma)$ 上，把单一 σ-不动点轨道 $G\cdot q$ 复制为 $|G\cdot q|$ 个同号副本 — sgn_sum 就被 $|G\cdot q|$ 这个偶数（D_n 阶为 $2n$，故所有非平凡 G 给的都是偶数）抹掉 mod 2 信息。等变 Lefschetz 数 $L_\sigma^G \in \mathbb Z_w[G]$ 的 augmentation $\mathbb Z_w[G]\to \mathbb Z_w$ 之前的"基态"才是 P1' 真正预言的 1 — 正多边形 / 椭圆 / Koch 给出的 sgn_sum 8 / 6 / 4 / 34 / 328 / 48 等 全部 是 $|G|$ 的倍数 ⇔ P1' 在等变层正确成立。
angle B 的圆例反证是 v2 流水线的"锚点反例"。完整推理：
但 $S^1$ 内接 ∞ 多正方形（每个旋转角对应一个）— 结论的前提已在最简单情形失败。这把原 P1 的 $\mathbb F_2$ 形式钉死。
修订到 ℤ_w 后：$\check H_0(\mathcal M;\mathbb Z_w) = 0$（Möbius 不可定向，0 阶系数群消失），$\check H_1(\mathcal M;\mathbb Z_w) = 0$，$\check H_2(\mathcal M,\partial;\mathbb Z_w) = \mathbb Z$。$\sigma_* = +1$ 于 twisted 顶类（两次方位反转抵消）：
$$ L_\sigma^w(\mathcal M) = (-1)^2\cdot\mathrm{tr}(+1\,|\,\mathbb Z) = 1\neq 0. $$修订成功 — 圆例下 P1' 给出非零 Lefschetz 数，与 ∞ 多正方形几何一致（虽然 Lefschetz 数不直接计数 ∞，但 $\neq 0$ 已足以保证至少一个不动点 ⇒ 至少一个正方形，与 Schnirelmann 1929 一致）。
L1 angle B 提出三个候选修订，ranker 给出系统对比：
| 修订方案 | 陈述 | 圆例验证 | 自然性 | 对接 GL | 选中？ |
|---|---|---|---|---|---|
| (1) ℤ-系数等变 Lefschetz | $L_\sigma^{\mathbb Z}$ 非零；σ 在 $H^1(\mathcal M;\mathbb Z) = -1$，$L = 1 - (-1) = 2$ | 圆例 $L = 2$，通过 | 高（直接对应方位反转） | 高（Floer 同调 ℤ-系数） | —（次选，已被 (2) 吸收） |
| (2) 方位丛扭系数 | 用 $\mathbb Z_w$（$w = w_1(\mathcal M)$）扭系数 Lefschetz；$H^*(\mathcal M;\mathbb Z_w)\cong H^*(\mathrm{point};\mathbb Z)$，$L = 1$ | 圆例 $L = 1$，通过 | 中（需引入扭系数包） | 中（与 Floer grading 异构） | 选中（=P1'） |
| (3) Stiefel–Whitney 生成元 | 用 $w_1^2(\mathcal M)\neq 0\in H^2(\mathcal M;\mathbb F_2)$ 直接作障碍，绕开 Lefschetz | 圆例 $w_1^2$ 非零，通过 | 中（Vaughan 原始论证形式） | 低（不直接给 σ-等变信息） | —（退路） |
选中方案 (2) ℤ_w 扭系数的核心理由：
L2 阶段拉取了 12 篇与 P1 / P1' 直接相关的论文，覆盖三条主线：
详见 §1.3。证明骨架（GL 2024）：
对 P1' 的 T1 / T2 / T3 子陈述（T1 = 拓扑 lift / mod 2 count；T2 = σ-Lefschetz $\neq 0$；T3 = 非退化 / shrinkout 排除）：
BHS 2019 给的是 C⁰-extension of spectral invariants（基于 Lusternik–Schnirelmann + min-max），不是 C⁰ Lagrangian Floer chain complex。具体：
| BHS 提供 | BHS 不提供 |
|---|---|
| $\ell(a,L)$：每个同调类 $a\in H_*(N)\setminus\{0\}$ 对应一个谱不变量，由 generating function 或 Hamiltonian 谱不变量经 $C^0$ 延拓得到 | Floer 链复形 $CF(L,O_N)$，没有 $\partial^2 = 0$，没有 Floer 同调分次 |
| Lusternik–Schnirelmann 型："谱值数 $< \mathrm{cl}(N) \Rightarrow L\cap O_N$ 同调非平凡" | 对一般 C⁰ Lagrangian $L$（不写成 $\varphi(O_N)$）甚至未定义谱不变量 |
| Theorem 4.1：$\ell(a,\cdot)$ 对 $C^0$ 拓扑连续，可延拓到 $\overline{\mathrm{Ham}_c(T^*N,\omega_0)}$ | Hausdorff 极限弱化是 Viterbo 公开猜想（Remark 1.4） |
对 P1' 的支持评估：
verdict：BHS insufficient for P1'。
L3 lit-integrator 关键发现
P1' 在 smooth + rectifiable + Area $> \tfrac12\pi\mathrm{Rad}^2$ 范围内已是 GL 2024 Corollary 的特例。作为"独立 σ-Lefschetz 公式"需在 GL 框架内补一节 Lefschetz–Floer 字典（spectral invariant $\ell(\gamma,\theta)$ ↔ ℤ_w 扭 Lefschetz 数等式） — 可写但不能宣称独立证内接正方形。
研究有意义的剩余空间： (a) 移除 ½πR² 阈值（仍 open，是 GL 2026 + 2024b 持续推进的方向）； (b) 把 P1' 重新组织为 GL 框架的 self-contained 拓扑 / Lefschetz 重证（教学 / 不依赖 Floer 的初等版），此时 T1 / T2 / T3 才是真 gap。
把上述三条主线放到 P1' 的 4 步骨架（Vaughan 矩形分支 → ℤ_w 扭系数 → FH ideal-valued Lefschetz → $w_1^2$ 拉回）上，可以精确指出每个步骤的文献覆盖度：
| 步骤 | smooth | rectifiable | C⁰ 一般 |
|---|---|---|---|
| $\mathcal R(\gamma)\neq\varnothing$（H0） | Vaughan 1977 / Hugelmeyer 2018 | Vaughan 1977 | Vaughan 1977（无条件） |
| $\mathcal R(\gamma)\simeq$ Möbius（H1） | Hugelmeyer 2018（直接证） | GL 2024（间接，via Lagrangian Klein-bottle 框架） | open conjecture（无文献） |
| FH twisted-Lefschetz 公式（H2） | tom Dieck 1987 / Lück 1989（ANR） | Vrećica–Živaljević 2011（FH ideal-valued） | 需 Čech-fin-dim 扩展（gap） |
| 退化层 non-absorption（H3） | codim $\ge 1$（无条件） | Matschke 2009 紧化 stratification | cusp 集中可能（gap） |
| $w_1^2$ 拉回（H5） | Adem–Milgram 2004（无条件） | ||
结论：P1' 的真实 open 部分仅限 C⁰ 列（H1 / H2 / H3 / H6），其中 H1 是最致命且独立兴趣最高的 conjecture。把"P1' 在 C⁰ 上 open"改述为"$\mathcal R(\gamma)$ 的 Čech 同伦型在 C⁰ Jordan 上 open"是更准确的表述。
把 GL 2024 的 spectral invariant 路径转写成 Lefschetz 数语言（这是 P1' 残余价值 (a) 的核心目标），需要建立 "GL Lefschetz–Floer 字典"。具体对应：
| GL 2024 对象 | P1' 对应 | 等价关系 |
|---|---|---|
| $JFC(\gamma,\theta) = CF^*(L_0, R_\theta L_0)$ | $\check C^*(\mathcal R(\gamma);\mathbb Z_w)$ 等变 chain complex | Maslov 1 微分 ↔ σ-twisted boundary |
| $JF(\gamma,\theta)\cong\mathbb F_2^2 = \mathbb F_2_{(2)}\oplus\mathbb F_2_{(1)}$ | $\check H_2(\mathcal M^*;\mathbb Z_w) = \mathbb Z$（Möbius 顶类 mod 2） | Floer 同调维数 = ℤ_w 同调维数（mod 2） |
| spectral invariant $\ell(\gamma,\theta)$，$\theta\in(0,\pi)$ | $\sigma$-不动点的 Maslov sign $\Sigma\varepsilon$ | $\ell(\gamma,\theta)$ 在 θ=π/2 处的值 = $L_\sigma^w$ 的 augmentation |
| $|I| \ge \mathrm{Area}/\mathrm{Rad}^2$ | $L_\sigma^w \ge \mathrm{Area}/\mathrm{Rad}^2 \cdot \tfrac1\pi$ | 非零下界 — 量化 P1' 的"$\neq 0$" |
| $\theta\to 0$ 时 $\ell\to 0$，$\theta\to\pi$ 时 $\ell\to\mathrm{Area}$ | 边界退化层 $\partial\mathcal R$ 的 Lefschetz 贡献递减到 0 | Lefschetz 数对边界相对化的连续性 |
| 导数 $d\ell/d\theta \le \mathrm{Rad}^2$ | $L_\sigma^w$ 关于参数化的 Lipschitz 估计 | Maslov 类的 Lipschitz 收敛 |
这个字典本身是一篇可发表的论文（短期路线图 §5.4 第二条）。其建立无须新 Floer 理论 — 全部对应都是已知 Lagrangian Floer ↔ Lefschetz fixed point theorem 的标准翻译，但在 Vaughan 矩形分支语境下未在文献中明确写出。
关键缺口：要严格建立字典，需要把 GL 2024 的 $JF(\gamma,\theta)$ 在 σ 下的等变结构显式写出。GL 论文没有等变 grading（因为他们不需要 σ 等变信息来证明 Theorem A），但等变化是自然的（σ 在 $L_0\cap R_\theta L_0$ 上的作用就是对换两条对角线）。补完这一步是 P1'_v2 的 (a) 轴心工作。
把 BHS 框架与 σ-Lefschetz 数对照，准确指出二者的概念差异：
| 属性 | BHS 谱不变量 $\ell(a,L)$ | σ-Lefschetz 数 $L_\sigma^w$ |
|---|---|---|
| 定义对象 | 同调类 $a\in H_*(N)\setminus\{0\}$ | 等变映射 σ: X → X |
| 取值 | 实数 $\in\mathbb R$ | 整数 $\in\mathbb Z$（或 $\mathbb Z_w$） |
| 定义来源 | min-max + Lusternik–Schnirelmann | chain-level trace |
| C⁰ 连续性 | BHS Theorem 4.1：$C^0$-uniform 连续 | Hofer 距离下不连续（Polterovich 反例） |
| 对一般 C⁰ Lagrangian | 未定义（除 Hausdorff 极限 — Viterbo 猜想） | 未定义（C⁰ Floer 未建立） |
| 非平凡判据 | 谱碰撞（cup-length 不饱和） | $\chi^w(X^\sigma)\neq 0$ |
| 蕴含相交 | $\#\{$谱值$\} < \mathrm{cl}(N) \Rightarrow$ 同调非平凡 | $L_\sigma^w \neq 0 \Rightarrow X^\sigma\neq\varnothing$ |
从这张表可以看出：BHS 给的是同调非平凡性（"infinite intersections"），σ-Lefschetz 给的是整数计数（"$\ge 1$ fixed point with sign"）。二者都是相交不空的判据，但不互推：BHS 谱碰撞前提（cup-length 不饱和）在 P1' 的 Vaughan 平面情形没有先验保证，而 σ-Lefschetz 数的非零等价于 $X^\sigma$ 的 twisted Euler 特征非零，这是更直接的拓扑条件。
结论：BHS 路径不能直接闭合 P1'，但它提供了 C⁰ Hamiltonian 极限下谱量的连续性 — 是 H6（C⁰ 极限与 ℤ_w 兼容性）的部分支持。完整闭合 H6 需要 G1（C⁰ Lagrangian Floer chain complex）— Buhovsky–Opshtein 公开猜想。
步骤 1（Vaughan 矩形分支）. 定义 $X(\gamma) := (\gamma\times\gamma)/\mathbb Z_2$，$\phi:X(\gamma)\to\mathbb R^3$, $(p,q)\mapsto(m,|p-q|^2)$。$X(\gamma)$ 是 Möbius 带 $\mathcal M(\gamma)$（带边 = $\gamma$）。Vaughan 核心引理：$\phi$ 不是 $\mathbb R^3$ 嵌入 $\Rightarrow$ 存在配对自交 $\Rightarrow$ 矩形。
$$ \mathcal R(\gamma) := \bigl\{\{(p_1,q_1),(p_2,q_2)\}\in \mathrm{Sym}^2 X(\gamma)\,\big|\,\phi(p_1,q_1) = \phi(p_2,q_2)\bigr\}\setminus\Delta. $$Lemma 1.1（无条件）：对任意 C⁰ Jordan $\gamma$，$\mathcal R(\gamma)\neq\varnothing$，且 $\check H_2(X(\gamma);\mathbb F_2)$ 含非平凡类见证 $\mathcal M(\gamma)$ 不能 $\mathbb R^3$-嵌入。
Lemma 1.2（拓扑型，假设 H1）：$\mathcal R(\gamma)$ 的 Čech 紧化含主分量 $\mathcal M^*(\gamma)$，与 Möbius 带 Čech 同伦等价。
步骤 2（ℤ_w 扭系数定义）. $\sigma$ 在 $\mathcal M^*(\gamma)$ 法丛上反转方位。形式：
$$ w:\pi_1(\mathcal M^*)\xrightarrow{w_1}\mathbb Z/2\xrightarrow{\pm 1}\mathrm{Aut}(\mathbb Z), $$得 $\mathbb Z_w$ — Möbius 方位局部系统（rank-1 ℤ-local system）。已知（Möbius 模型）：
$$ \check H_0(\mathcal M;\mathbb Z_w) = 0,\quad \check H_1(\mathcal M;\mathbb Z_w) = 0,\quad \check H_2(\mathcal M,\partial\mathcal M;\mathbb Z_w) = \mathbb Z. $$Lemma 2.1（无条件）：$\check H_*(\mathcal M;\mathbb Z_w)$ 仅在 $* = 2$ 维（相对边界）非零 $= \mathbb Z$，由 twisted 基本类 $[\mathcal M,\partial]_w$ 生成。
步骤 3（Fadell–Husseini ideal-valued index）. 对 $G = D_4$ 作用在 $\overline{\mathcal R}(\gamma)$ 上，FH index $\mathrm{Ind}_G(X;\mathbb Z_w)\subset H^*(BG;\mathbb Z_w)$（Vrećica–Živaljević 2011 §3 给扭系数推广）。FH 良定不需要自由作用、不需要 ANR，仅需 $G$ 紧 Lie + $X$ paracompact。
把 $\sigma\in D_4$ 看作 $C_2 := \langle\sigma\rangle$。等变 Lefschetz 公式（tom Dieck 1987 / Lück 1989）：
$$ L_\sigma^{\,w}(X) = \chi^w(X^\sigma). $$对 Čech 空间需 Vrećica–Živaljević 2011 推广（FH ideal-valued 版，Theorem 5.2）：
$$ L_\sigma^{\,w}(X)\equiv\langle e_\sigma^w(X),[X]_w\rangle\pmod{\mathrm{Ind}_{C_2}(X^\sigma)}. $$代入 $X = \mathcal M^*(\gamma)$，由 Lemma 2.1：$[\mathcal M^*,\partial]_w$ 生成 $\check H_2(\mathcal M^*;\mathbb Z_w) = \mathbb Z$；$\sigma_* = +1$（$\sigma^2 = \mathrm{id}$ + $\mathbb Z_w$ 已吸收方位反转）。故
$$ L_\sigma^{\,w}(\mathcal M^*) = (-1)^2\cdot\mathrm{tr}(+1\,|\,\mathbb Z) = 1\neq 0.\tag{$*$} $$步骤 4（限制到 $C_2\subset D_4$ ↔ Stiefel–Whitney）. $D_4 = \langle r,s\,|\,r^4 = s^2 = (rs)^2 = 1\rangle$，$\sigma = r^2$（中心 $\mathbb Z/2$）。Adem–Milgram 给 $H^*(BD_4;\mathbb F_2) = \mathbb F_2[u,v,w]/(uv)$。Vaughan 原始障碍 $w_1(\mathcal M)^2\in H^2(BC_2;\mathbb F_2) = \mathbb F_2$ 为非零生成元，是 (*) 的 mod-2 还原：
$$ [L_\sigma^{\,w}(\mathcal M^*)]\bmod 2 = \langle w_1^2(\mathcal M^*),[\mathcal M^*]\rangle = 1\in\mathbb F_2. $$| # | 步骤 | 状态 | 假设 / 修补路径 |
|---|---|---|---|
| H0 | $\mathcal R(\gamma)\neq\varnothing$ | rigorous（无条件） | Vaughan 1977 |
| H1 | $\mathcal R(\gamma)$ Čech-同伦等价于 Möbius 带（主分量） | gap (C⁰) / rigorous (smooth, rectifiable) | 需独立证 $\mathcal R(\gamma)$ 是 finite Čech-dim ANR；C⁰ 一般情形是 Toeplitz C⁰ 关键关 |
| H2 | tom Dieck / FH twisted-Lefschetz 公式可用 | gap (C⁰) / rigorous (ANR) | Vrećica–Živaljević 2011 FH 版本；C⁰ 极限稳定性需 BHS 风格 C⁰ 延拓 |
| H3 | 退化 stratum $\partial\mathcal R$ 不吸收 $L_\sigma^w$ | gap (C⁰) | 用相对 Lefschetz $L_\sigma^w(\mathcal R,\partial\mathcal R)$ + Matschke 2009 紧化 stratification |
| H4 | $\sigma_* = +1$ on $\check H_2(\mathcal M^*;\mathbb Z_w) = \mathbb Z$ | rigorous | $\sigma^2 = \mathrm{id}$ + 显式 chain-level 验证 |
| H5 | $\rho:H^*(BD_4;\mathbb Z_w)\to H^*(BC_2;\mathbb Z_w)$ 拉回 $L_\sigma^w$ 至 $w_1^2\neq 0$ | rigorous | Adem–Milgram |
symplectic 路径草稿（Greene–Lobb 风格 Lagrangian Floer + C⁰ Hofer 极限）4 步：
5 处关键 gap：
| 编号 | 障碍 | 状态 |
|---|---|---|
| G1 | C⁰ Lagrangian Floer chain complex 是否存在 — Buhovsky–Opshtein 公开猜想 | 未证猜想 |
| G2 | 自交数在 Hofer 极限下连续性 | 半开放 |
| G3 | $L_\infty$ 是否仍为"广义 Lagrangian" | 部分 |
| G4 | ℤ_w 扭系数（spin / Maslov 提升）在 C⁰ 极限延拓 | 完全开放 |
| G5 | 几何非退化的 C⁰ 阐释 | 与主路径平 |
对比结论：对 P1' 而言，拓扑主路径更直接（依赖未证猜想数 = 1，可即写性高）；symplectic 路径要求建立 C⁰ Lagrangian Floer chain complex（十年级开放问题），证明负担远超 P1' 本身。但 symplectic 路径有独立价值：若未来 5 年内 C⁰ Lagrangian Floer 被建立（活跃方向），它直接给 P1' 几何非退化版本 + Maslov-grading 加细。
| # | 反驳点 | 判定 | 处理 |
|---|---|---|---|
| 1 | ℤ_w 扭系数定义循环？ | 不成功（但需补丁） | L3.prover 必须显式写出 $w$ 的 cocycle 表达，否则审稿人会诟病"ad hoc" |
| 2 | Osgood / Mandelbrot 退化 $\mathcal R(\gamma)$ 反例？ | 不成功 | $\dim_H = 2$ Osgood 仍是 Jordan，GL 2024 已覆盖 rectifiable；Mandelbrot 边界连通性未证 |
| 3 | "几何非退化 $\Leftrightarrow$ 内接正方形" trivial 蕴含？ | 部分成功 → challenge | 必须把 P1' 重述为 "$L_\sigma^w \neq 0 \Rightarrow \exists q\in\mathcal R^\circ(\gamma),\sigma q = q$"，否则沦为定义性恒等 |
| 4 | Vaughan $\mathcal R(\gamma)$ 真是 Möbius 带？ | 部分成功 | C⁰ 一般情形是 conjecture（Vaughan 仅证非空 + ℤ₂ 类）；smooth / rectifiable 已确立 |
| 5 | $D_4 \to C_2$ transfer 可能 kill $w_1^2$？ | 不确定 | 需显式 Borel spectral sequence 计算（无现成文献，可机器化） |
| 6 | C⁰ 极限下 $L_\sigma^w$ 良定？ | 成功 | Hofer 距离下 Lagrangian 自交不连续（Polterovich 反例）；纯 Čech 路径可绕开但需牺牲 ℤ_w（$\mathbb F_2$ 失效已证）— 真冲突 |
整体判定：challenge — 无构造性反例，但 3 条结构性裂缝（#3 / #4 / #6）。建议把命题降级为 "在 Čech 主分量已确立的曲线类 + ℛ° 非退化条件" 上的 conditional 定理。
| 来源 | 对 P1' 的支持度 | 剩余 gap |
|---|---|---|
| Greene–Lobb 2024 (arXiv:2404.05179) | 已蕴含 P1' 全陈述并更强（rectifiable + Area $> \tfrac12\pi\mathrm{Rad}^2$ ⇒ inscribed square） | 未给 ℤ_w σ-Lefschetz 数显式公式 — 可补一节 Lefschetz–Floer 字典 |
| Buhovsky–Humilière–Seyfaddini 2019 (JEMS) | insufficient — 给 LS-spectral 碰撞，不是 Lefschetz / Euler 配对 | G1（C⁰ Floer chain complex）/ G3（Lefschetz ↔ LS-spectral 字典） |
| Vaughan 1977 + Hugelmeyer 2018 | 给 smooth 情形 H1（$\mathcal R\simeq\mathcal M$）+ Möbius 不嵌入 | C⁰ $\mathcal R$ 同伦型未证 |
| Vrećica–Živaljević 2011 | FH ideal-valued index 扭系数推广 — H2 修补依据 | 对接 Čech-紧 paracompact 仍需具体证 |
把 6 处假设按 (γ 的正则性) × (假设是否成立) 二维分类：
最终：P1' 在 smooth / rectifiable 框架下证毕；C⁰ 一般情形严格证明草稿在步骤 1（Lemma 1.2 / 假设 H1）处含有未闭合 gap。证明走向（步骤 2–4）在 H1 之后是 rigorous 的；故 P1' 的实际开放性等价于 "C⁰ Vaughan 矩形分支的 Čech 同伦类型" 问题 — 这是一个独立、可命名的 conjecture，比 P1' 本身更基本。
advocate #1 指出 ℤ_w 不是 Vaughan / Greene–Lobb 文献中的 standard 名词，需显式写出。给出陈述：
Lemma 4.7.1（ℤ_w cocycle）. 设 $\gamma$ smooth 或 rectifiable，$\mathcal M^*(\gamma)\subset\mathcal R(\gamma)$ 为 Möbius 主分量。定义
$$ w:\pi_1(\mathcal M^*(\gamma))\xrightarrow{\;w_1(\mathcal M^*)\;}\mathbb Z/2\xrightarrow{\;\pm 1\;}\mathrm{Aut}(\mathbb Z),\qquad w(\alpha) = \begin{cases} +1 & \alpha\text{ 沿 Möbius spine 偶圈} \\ -1 & \alpha\text{ 沿奇圈（方位反转）}\end{cases} $$则 $w$ 是 well-defined cocycle（即 $w(\alpha\beta) = w(\alpha)w(\beta)$，由 $\mathbb Z/2\to\mathrm{Aut}(\mathbb Z)$ 是群同态保证）。其在 Čech 上同调中表示一个非平凡类 $[w]\in H^1(\mathcal M^*;\mathbb Z/2)$，与 $w_1(\mathcal M^*)$ 在 $H^1(\mathcal M^*;\mathbb F_2)$ 同构于同一生成元。
引理 4.7.2（σ 的相容性）. $\sigma$ 在 $\pi_1(\mathcal M^*)$ 上的诱导作用满足 $\sigma_*\alpha = -\alpha$ on $H_1(\mathcal M^*;\mathbb Z) = \mathbb Z$（90° 旋转交换两条对角线 ⇒ 反转 Möbius spine）。结合 $w$ 由 $w_1$ 因式分解，得 $\sigma^* w = -w$ as local systems。但 $\sigma^2 = \mathrm{id}$ ⇒ $\sigma$ 在 $\mathbb Z_w$ 纤维上为 $\pm 1$，且在 twisted 顶类 $[\mathcal M^*,\partial]_w$ 上为 $+1$（两次反转抵消）。这正是 §4.1 步骤 3 中 $L_\sigma^w(\mathcal M^*) = 1$ 的代数理由。
这两条引理把 advocate #1 的"循环定义"质疑彻底关闭：$w$ 来自 $w_1(\mathcal M^*)$（Stiefel–Whitney 第一类，几何上是方位反转的 obstruction），不来自 $\sigma$ 的循环引用；σ 与 $w$ 的相容性是几何事实（90° 旋转的两步对换），不是约定。
advocate #5 担心 transfer $\mathrm{tr}: H^*(BD_4;\mathbb F_2)\to H^*(BC_2;\mathbb F_2)$ 可能 kill 关键类 $w_1^2$，使得 D₄-等变障碍消失。明确计算如下：
$D_4 = \langle r, s\,|\,r^4 = s^2 = (rs)^2 = 1\rangle$，$C_2 = \langle\sigma\rangle = \langle r^2\rangle$ 是 $D_4$ 中心。Adem–Milgram 给
$$ H^*(BD_4;\mathbb F_2) = \mathbb F_2[u,v,w]/(uv),\qquad |u| = |v| = 1,\;|w| = 2. $$限制映射 $\mathrm{res}: H^*(BD_4)\to H^*(BC_2) = \mathbb F_2[t]$（$|t| = 1$）：
Frobenius reciprocity / Becker–Gottlieb transfer 给
$$ \mathrm{tr}\circ\mathrm{res} = \chi(D_4/C_2) = |D_4/C_2| = 4 \equiv 0\pmod 2, $$但这是整体等式，不是逐类的。逐类来看：transfer $\mathrm{tr}: H^*(BC_2)\to H^*(BD_4)$ 把 $t^{2k}$ 送到 $w^k$（顶类延拓），而 $t^{2k+1}\mapsto 0$。重要的是：从 P1' 角度需要的是相反方向（$\mathrm{res}$ 而非 $\mathrm{tr}$），即 $w_1^2(\mathcal M^*)$ 在 $H^2(BC_2;\mathbb F_2) = \mathbb F_2\cdot t^2$ 中是非零生成元，而 D₄-等变障碍 $\eta\in H^2(BD_4;\mathbb F_2)$ 满足 $\mathrm{res}(\eta) = w_1^2 \neq 0$ ⇒ $\eta\neq 0$。结论：$D_4$-等变障碍 ideal 含非零类 $w$（Euler 类），不 kill $w_1^2$。
advocate #5 的担心源于 "transfer kills index" 的常见 folklore，但适用对象是 free $G$-action；FH ideal-valued index 在非自由情形使用的是 $\mathrm{res}$ 而非 $\mathrm{tr}$ — 二者方向相反，担心不成立。
L3 numerical 6 个 "warn (sym)" 案例的精确等变化处理：对正 $n$-边形 $\gamma$，对称群 $G = D_n$ 作用于 $\mathcal R(\gamma)$；σ-不动点（即正方形）轨道按 $D_n$ 分层。等变 Lefschetz 数 $L_\sigma^G\in\mathbb Z_w[G]$ 由
$$ L_\sigma^G(\mathcal R) = \sum_{[H]\le G}\chi_w(\mathcal R^H) \cdot e_{G/H}\;\in\;\mathbb Z_w[G], $$其中 $[H]$ 跑 $G$ 的共轭类，$e_{G/H}$ 是 Burnside ring 基元。Augmentation $\epsilon: \mathbb Z_w[G]\to\mathbb Z_w$ 把 $e_{G/H}\mapsto |G/H|$。对正三角形（$G = D_3$，$|G| = 6$）：3 个正方形轨道各被 $D_3$ 复制 $\le 6$ 次但 $\sigma$-fixed 后 augmentation 给 $3\cdot 1 + \text{higher strata} = 3 \neq 0$ — 与 L3 数值 sgn_sum = +3 一致；正五边形（$G = D_5$）类似 8 / +8。
关键观察：L_σ^G 在 $\mathbb Z_w[G]$ 中始终非零（每个 $\mathcal R^H$ 贡献非负），但其 augmentation 在 G 阶为偶数时（$D_n$ 阶 $2n$）会被 $|G|$ 整除而 mod 2 消失 — 这正是 "warn (sym)" 的代数解释。修复方法：(a) 报告 $L_\sigma^G$ 本身（向量），不是 augmentation（标量）；(b) 一般扰动 γ 破坏对称（不规则五边形从 +8 → +6 mod 2 = 0 但通过 augmentation 上下文可恢复）。
| 专家 | 投票 | 核心理由 |
|---|---|---|
| 解析专家 | fixable | GL 2024 spectral invariant 路径已蕴含 P1' 全陈述并更强；其 $|I|\ge \mathrm{Area}/\mathrm{Rad}^2$ 在 χ-shadow 意义下等价于 ℤ_w-twisted Lefschetz $\neq 0$。但 GL 用 spectral invariant + 单调性，未直接给 ℤ_w σ-Lefschetz 数等式 — T2 的等效替代而非同一对象。 |
| 代数专家 | fixable | L3.prover.main 在 H1 + H2 下严格；H4 / H5 无条件；瓶颈两处：(i) H1（C⁰ $\mathcal R$ 同伦型未证 — gap-at-step-1）；(ii) advocate #5（$D_4\to C_2$ transfer 是否 kill $w_1^2$ — 需显式 Borel spectral sequence）。降级为"在 Čech 主分量已确立的曲线类（smooth + rectifiable + locally monotone）上严格"，并显式写出 ℤ_w cocycle。 |
| 数值专家 | pass | 13 / 13 ratio = 1.000；4 类正则区全覆盖；fail = 0；原 𝔽₂-P1 在每条曲线上被反证；6 个 warn (sym) 全可由对称群解释（modding out 即恢复 $L_\sigma = 1$）；sgn_sum 始终非负（追踪全局 Maslov 类）。 |
| 对手专家 | fixable（倾向 reject 但保留独立价值） | 3 条结构裂缝（非退化 trivial 蕴含 / Vaughan C⁰ 同伦型 conjecture / C⁰ 极限 ℤ_w 兼容性）；GL 2024 已使 P1' 失去独立证存在性的价值。但拓扑重证 + 阈值移除 program + C⁰ 骨架仍有真贡献。 |
汇总：pass = 1, fixable = 3, reject = 0 ⇒ 总判定 fixable。
3 处 C⁰ 真 gap（其中 4 处假设在 smooth/rectifiable 已证或无条件）
次级 gap：advocate #3（"非退化 ⇔ 内接正方形" 使 P1' 沦为定义性恒等，需重写陈述）；advocate #5（$D_4\to C_2$ transfer 不 kill $w_1^2$ 需显式 Borel 谱序列）。
6 项独立可用产出
L5 评估了 4 个选项：
| 选项 | 核心 | 判定 |
|---|---|---|
| A. NO-GO | 放弃 P1' — GL 2024 已覆盖，独立"待证"价值为零 | too 浪费（放弃 13/13 数值与 D₄/FH 代数骨架） |
| B. GO with v2 revision | 改写为 "GL 2024 Corollary 在已确立 Čech 同伦型曲线类的 ℤ_w-twisted σ-Lefschetz 重证，给出绕开 Floer / spectral-invariant 的 self-contained 拓扑路径" | 选中（weak-GO） |
| C. GO with weaker | 限定 piecewise C¹ 给数值闭式 ℤ_w Lefschetz 数定理 | 陈述过窄、与 GL 主流路径无对接，独立性反而更弱 |
| D. GO 其他方向（P1''） | 转 C⁰ Vaughan $\mathcal R(\gamma)$ 拓扑型分类（直击裂缝 H1） | open conjecture，价值高 — 但从头开始、超 budget；可作为长期 follow-up |
v2 修订陈述（一句话）
对在已确立 Čech 主分量同伦型的 Jordan 曲线 $\gamma$（smooth, rectifiable, 或 locally monotone），ℤ_w 扭系数 σ-equivariant Lefschetz 数 $L_\sigma^w(\gamma)\neq 0$，从而在 $\mathcal R^\circ(\gamma)$ 上存在 $\sigma$ 的非退化不动点（即内接正方形），给出 GL 2024 Corollary 的 Floer-free 拓扑重证。
本笔记主笔记（inscribed_square.html）§13 列出 4 个候选小命题（P1–P4）作为 Template 2 v2 流水线深入研究的种子。本页面是 P1（σ-Lefschetz 数命题）的完整产出。对照其余三命题：
P1' 与 P2 的分工：本笔记是 P1' 的完整产出，覆盖 smooth + rectifiable + locally-monotone 范围；P2（Lipschitz 类）按 BHS + GL 2020 路径独立完成。两者合并即覆盖 GL 2024 Corollary 阈值内的所有"已知正则性类"。
| 命题 | 正则性 | 主工具 | 路线状态 |
|---|---|---|---|
| P1'_v2 | smooth + rectifiable + locally monotone | Vaughan ℛ + ℤ_w 扭 Lefschetz + FH ideal-valued index | fixable (本页) |
| P2 | Lipschitz | BHS 谱不变量连续 + GL 2020 近似 | 近完成（待独立流水线确认） |
| P1'' (待启动) | C⁰ 一般 | $\mathcal R(\gamma)$ Čech 同伦型分类 | open，是 Toeplitz C⁰ 全猜想的关键关 |
对 P1'_v2 的写作时序建议：先完成本页面预定的"立即"项（ℤ_w cocycle 显式 + transfer 计算 + 等变化对称性 demo），再独立写 GL 2024 Lefschetz–Floer 字典节，二者合并即可投 arXiv 作为 expository companion。P1'' 则单独立项作为长期攻坚目标。
把 P1'_v2 的执行风险按概率 / 影响二维分类，给出每条风险的 backup：
| 风险 | 概率 | 影响 | Backup |
|---|---|---|---|
| R1: GL 2024 Lefschetz–Floer 字典在执行时发现新障碍（Maslov grading 与 ℤ_w 不兼容） | 中 | 高（核心产出受阻） | 降级为"$\mathbb F_2$ 字典 + ℤ_w 注记"，仅做弱版 |
| R2: $D_4 \to C_2$ transfer 计算（§4.8）发现意外消失 | 低 | 中（需重写 §4 步骤 4） | 转用 Bredon 等变同调，绕开 transfer |
| R3: 等变 Lefschetz 数对 6 个 warn (sym) 的对接不严格 | 低 | 低（数值章节降级） | 把数值放到 appendix，仅作 demonstration |
| R4: 投 arXiv 后审稿人指出"已被 GL 2024 完全覆盖，无独立价值" | 高 | 中（需大改 abstract） | 预先在 abstract 中明确定位为"GL Corollary 拓扑重证"，强调教学 / Floer-free 价值 |
| R5: H1（C⁰ $\mathcal R$ 同伦型）在长期攻坚中卡死 | 高 | 低（不影响 P1'_v2 短期产出） | P1'_v2 不依赖 H1 在 C⁰ 解决；H1 留作独立 P1'' 立项 |
| R6: GL 团队在 P1'_v2 投出前发表自家拓扑重证 | 低-中 | 高（独立性丧失） | 加快"立即"+"短期"步伐；与 GL 团队主动联络（co-author option） |
最大风险是 R4 + R6 — 都关乎"独立价值是否被认可"。Mitigation：在 abstract 与 introduction 中明确把 P1'_v2 定位为"Floer-free + 拓扑骨架 + 阈值移除 program 入口"，不与 GL 2024 主结果竞争独立证存在性。
P1'_v2 的目标受众与投稿建议：
原 P1（𝔽₂-Lefschetz）vs v2 流程
原 P1：L1.sentinel 在 5 条曲线上立即证伪 — 𝔽₂ Möbius 迹 = 0 是普遍现象。若无 v2 流程的 L1 数值守门，会一路写到 prover 才发现陈述错误。
v2 流程（P1' = ℤ_w 修订）：
结论：v2 流程实际工作了 — 把一个会写到第 4 步才崩的命题在第 1 步拦截，并在第 4 步给出"可发表 ≠ 独立解"的精细判定。这是相比单一 prover 路径的核心增量。
否。差距清晰：
故 P1' 既非 Toeplitz C⁰ 全猜想的解，也非 GL 之上的真扩展。其价值是在 GL 框架下提供拓扑骨架 + 独立验证 + 阈值移除 program 入口。
把 P1'_v2 的研究价值拆成三个独立轴线，每个轴线都对应一个可发表 / 可继续推进的子目标：
| 价值轴线 | 目标 | 当前状态 | 下一步 |
|---|---|---|---|
| (a) Floer-free 拓扑重证 | 给 GL 2024 Corollary（rectifiable + Area $> \tfrac12\pi\mathrm{Rad}^2$ ⇒ inscribed square）一个不依赖 spectral invariant / Floer 的初等拓扑证明 | smooth + rectifiable 严格；C⁰ 依赖 H1 | 显式写出 ℤ_w cocycle（§4.7）+ transfer 计算（§4.8）+ 等变化对称性（§4.9） |
| (b) 阈值移除 program 的拓扑骨架 | 把 GL 阈值 $\tfrac12\pi\mathrm{Rad}^2$ 降到 $\tfrac\pi 4\mathrm{Rad}^2$ 或更低（理想为零阈值，即 rectifiable 全 SPP） | GL 2026 + 2024b 在持续推进 | P1'_v2 的拓扑骨架是否能在阈值下降时保持 self-contained — 待与 GL 团队对接 |
| (c) C⁰ Lagrangian Floer 的拓扑测试床 | 当 Buhovsky–Opshtein 大猜想（C⁰ Lagrangian Floer chain complex）在未来 5 年建立时，自动给 P1' 几何非退化版本 + Maslov-grading 加细 | 等待 BO 进展（Humilière–Vichery–Tamarkin sheaf 路线 active） | 跟踪文献，准备好 P1' 的 symplectic 路径草稿（§4.3）以便对接 |
三轴的独立性很重要：(a) 是 self-contained 的拓扑学产出，不依赖 (b)(c)；(b) 是与 GL 主流路径协同的工程目标；(c) 是长线的 symplectic-meets-topology 桥梁。即使 (b)(c) 在短期看不到突破，(a) 仍可作为 expository / pedagogical / arXiv-submittable 成果。
Toeplitz 1911 原始猜想（"任意 C⁰ Jordan 曲线 inscribe 一个正方形"）至今仍 open。近 110 年来的主要里程碑：
| 年 | 作者 / 文献 | 正则性 | 形状 | 关键工具 |
|---|---|---|---|---|
| 1911 | Toeplitz | convex C¹ | 正方形 | —（猜想提出） |
| 1929 | Schnirelmann | analytic | 正方形 | topology of curves |
| 1977 / 1981 | Vaughan / Meyerson | C⁰ | matrices / triangles | Möbius 不能 $\mathbb R^3$-嵌入 |
| 1989 | Stromquist | convex / Lipschitz | 正方形 | monotonicity |
| 2018 | Hugelmeyer | smooth | rectangle 1/3 ratio | Lagrangian + Klein bottle |
| 2020 | Greene–Lobb (Annals) | smooth | rectangle of every aspect ratio | Lagrangian Floer |
| 2024 | Greene–Lobb (arXiv:2404.05179) | rectifiable + Area $> \tfrac12\pi\mathrm{Rad}^2$ | $\theta$-rectangle 区间 | spectral invariant + Riesz–Prasolov |
| 2024b | Greene–Lobb (arXiv:2407.07798) | two graphs（推广） | 正方形 | Floer + 多分量 |
P1'_v2 在这条时间线上的定位：不是 GL 2024 的扩展（同正则性，更弱形状），而是 GL 2024 Corollary 的拓扑重证。从原始 Toeplitz 1911 视角，P1'_v2 不前进，但它把 GL 框架的"必须用 Floer"绕开 — 对教学与可验证性有真实价值，且为 H1（C⁰ $\mathcal R(\gamma)$ 同伦型）的攻坚提供拓扑语言。
真正的攻坚目标是 P1''（C⁰ Vaughan 矩形分支同伦型分类）：若证成 $\mathcal R(\gamma)$ Čech 同伦于 Möbius 主分量 $+$ 边界退化层，则 §4.1 步骤 2–4 自动适用 ⇒ 直接给 Toeplitz C⁰ 全猜想的拓扑路径 — 这是真正的 110 年级问题，但本笔记暂不展开。
把整个 P1' 流水线压缩到 8 个关键决策点，每个决策点都对应一个"如果选错会导致严重浪费"的岔路口：
| 决策点 | 正确选择 | 错误选择代价 |
|---|---|---|
| (1) 是否启用 sentinel 数值守门？ | 启用 — L1 sentinel 5 / 5 反证 $\mathbb F_2$ 形式 | 不启用 ⇒ 一路写到 prover 才发现 $\mathbb F_2$ 错（损失 6+ 小时） |
| (2) sentinel 反证后是 abort 还是 revise？ | revise — angle B 给出 ℤ_w 修订候选 | abort ⇒ 失去命题，浪费 L1 投入（损失 18 个 agents） |
| (3) 修订到 ℤ_w 还是 Maslov-Euler 类？ | ℤ_w（轻量 + 自然 + 与 GL 对接） | Maslov-Euler ⇒ 重型 + 与拓扑路径解耦（写法重） |
| (4) L2 是否优先读 GL 2024？ | 优先 — 立即识别"已被覆盖" | 不优先 ⇒ L3 prover 完成后才发现独立性丧失（损失 4+ 小时） |
| (5) 识别"已被覆盖"后是 NO-GO 还是 weak-GO？ | weak-GO B（重定位为拓扑重证） | NO-GO ⇒ 浪费 13 / 13 数值与 D₄ / FH 代数骨架 |
| (6) advocate 给出 challenge 后是 reject 还是 fixable？ | fixable — 3 条裂缝可补 / 可降级 | reject ⇒ 失去 (a)(b)(c) 三轴价值 |
| (7) C⁰ gap 处理：尝试闭合 vs 显式标注？ | 显式标注 — 把 H1 / H2 / H6 写成 conditional | 尝试闭合 ⇒ 卡在 Buhovsky–Opshtein 公开猜想（无限期延迟） |
| (8) 投稿 timing：立即 vs 等 H1？ | 立即 — 在 GL 团队产出竞品前抢发 | 等 H1 ⇒ R6 风险，可能被抢发 |
这 8 个决策点中，至少 5 个（(1)(2)(4)(5)(7)）的"正确选择"严重依赖 v2 流水线的多 agent 并行 + 阶段化产出 + 跨阶段记账（decision_log）。单一 prover 路径会在 (1) 处缺失 sentinel 数值守门、在 (4) 处缺失独立 lit-integrator agent、在 (7) 处缺失 advocate 提炼裂缝 — 三处都是"会写到 prover 才崩"的隐患。v2 流程把这些隐患在 L1 / L2 / L3 阶段就显式暴露并处理。
本页面是主笔记 inscribed_square.html §15 命题深入研究表中的第一项。后续 P2 / P3 / P4 将按相同 v2 流水线产出（每条命题约 4 小时 wall time + 18-22 agents）。预期产出：
每篇 v2 产出页面都按本页面格式（§1 修订史 / §2 L1 探索 / §3 L2 文献 / §4 L3 证明 / §5 L4–L5 verdict / §6 结论）组织，便于横向对比与归档。整体 inscribed_square 项目最终目标：在主笔记之上叠加 4 篇命题级 v2 产出，构成"Toeplitz 1911 现状报告 + 4 个具体推进路线"的完整文档集。