结果族 293：Invariant projections, hyperinvariant subspaces, and transitive algebras · 学科：Operator algebras · 验证状态：主结果已 Lean 形式化
想象一条流水线：每段传送带单独看，”不变的区域”只有从某处截断的尾部；工程师再装上一个反向齿轮，把截断位置强制回退一格。传送带整体匀速运转（概率守恒），于是”每走一步、标签必须严格下降”——在有限范围内迟早无路可走。本文正是用这个机关，造出了没有非平凡超不变子空间的算子。
关键词卡片
@@M@@\|S^n\|^{1/n}\to0@@。看个具体例子
构造出的算子 @@M@@S@@ 范数只有 @@M@@e^{-10}\approx 0.00005@@，且 @@M@@\|S^n\|\le\exp(-10\lfloor (n+1)^2/4\rfloor)@@——幂次以近乎平方指数的速度被压扁。反向齿轮 @@M@@V@@ 迫使每个公共不变子空间的”尾标签”满足 @@M@@s(\theta x)\le s(x)-1@@：
在整体匀速（保概率、遍历）的系统中，整数值标签不可能永远每步严格降 1，最终只能取 @@M@@\pm\infty@@，于是不变子空间非全即空。
为什么值得关心
它否定回答了著名的超不变子空间问题，并给出一个真、强闭、含幺的传递交换子代数——”传递代数必强稠密”同样被否定。姊妹工作以不同的构造独立得到同一结论，互为印证。
已 Lean 形式化
第一级台阶
导读里的”传送带”是一根根单链：每根链上算子的普通不变区域只有”从某处截断的尾部”一种。”反向齿轮”是另一个与主算子可交换的算子，它把截断位置强制回退一格；整个系统架在一个总测度恒定的概率底座上匀速运转。于是任何对全部可交换算子都不变的区域，其尾标签必须每步严格下降——在概率底座上这种下降撑不了多久，区域只能非全即空。
第二级台阶
精确化：权移位把标准正交基的每个基向量搬到下一个、途中乘权重 β_j；让权重随底座点 x 变化并取直接积分，得 H₀=L²(X;ℓ²(Z)) 上的算子 S，其中 X 是 2-adic 整数紧群（配哈尔概率测度），平移 θx=x+1 遍历且保测。标量乘子 M_g 逐点乘 L^∞ 函数。S 的交换子 {S}′ 是与之全部可交换的算子集；超不变子空间是交换子中人人不变的空间，等价于交换子是传递代数（无非平凡公共不变空间）。
第三级台阶
主定理断言存在可测正权与压缩 V：每根纤维的不变子空间恰为坐标尾；‖S‖=e^{-10} 且 ‖Sⁿ‖≤exp(−10⌊(n+1)²/4⌋)，故 S 非零、范数拟幂零；V 与 S 交换且把尾稠密地回搬一位。于是 S、V 与全体乘子生成的代数传递——尾标签 s(θx)≤s(x)−1 在保概率遍历系统中只能几乎处处取 ±∞。推论：每个可分无穷维 Hilbert 空间上都有非常数算子无超不变子空间，其交换子是真、强闭、含幺的传递代数。
本文在每个无穷维可分复 Hilbert 空间上构造出非零、范数拟幂零、无任何非平凡闭超不变子空间的有界算子，其交换子代数是真、强闭、含幺的传递代数，否定回答超不变子空间问题。
算子 @@M@@S@@ 的超不变子空间（hyperinvariant subspace）指交换子（commutant）@@M@@\{S\}'@@ 中每个算子都使之不变的闭子空间；超不变子空间问题问：无穷维可分复 Hilbert 空间上每个非常数有界算子是否必有非零真的闭超不变子空间。等价地，即问其交换子代数是否必非传递（transitive，即无非平凡公共闭不变子空间）。Arveson 稠密性定理断言：包含极大交换自伴子代数（masa）的传递代数必在 @@M@@\B(H)@@ 中强稠密。Atzmon–Sodin 1999 年的完全不可分解权移位是否有真超不变子空间，悬置至今。本文给出否定构造并揭示机理：每根纤维的普通不变子空间都是坐标尾，而一个交换的”向后”算子把尾回搬，迫使尾标签严格下降——这在保概率系统中不可能持久。
主定理：取 2-adic 整数紧群 @@M@@X=\mathbb{Z}_2@@（哈尔概率测度 @@M@@\mu@@）、平移 @@M@@\theta x=x+1@@，令 @@M@@H_0=L^2(X;\ell^2(\mathbb{Z}))@@。存在可测正权 @@M@@\beta_j@@ 与压缩 @@M@@V@@，使纤维化权移位 @@M@@(Sf)(x)=S_xf(x)@@、@@M@@S_xe_j=\beta_j(x)e_{j+1}@@ 给出有界算子 @@M@@S@@，且：(1) 每根纤维 @@M@@S_x@@ 的闭不变子空间恰为坐标尾 @@M@@\Ktail{h}@@，@@M@@h\in\mathbb{Z}\cup\{\pm\infty\}@@；(2) @@M@@S@@ 非零、@@M@@\|S\|=e^{-10}@@，且对一切 @@M@@n\ge1@@ 有 @@M@@\|S^n\|\le\exp(-10\lfloor(n+1)^2/4\rfloor)@@，故 @@M@@S@@ 范数拟幂零（norm-quasinilpotent）；(3) @@M@@V@@ 与 @@M@@S@@ 交换，形如 @@M@@(Vf)(\theta x)=V_xf(x)@@、@@M@@V_xe_j=b_j(x)e_{j-1}@@，且几乎处处有 @@M@@\overline{V_x\Ktail{h}}=\Ktail{h-1}@@；(4) 由 @@M@@S@@、@@M@@V@@ 与全部标量乘子 @@M@@M_g@@ 生成的含幺复代数是传递的。推论：每个无穷维可分复 Hilbert 空间都承载非零、范数拟幂零、无非零真闭超不变子空间的有界算子，其交换子代数是真、强闭、含幺、传递的复算子代数；这同时否定回答”每个传递代数是否在 @@M@@\B(H)@@ 中强稠密”。
先让纤维层面完全透明。作者证明一条 Domar 型二次判据：正的递减权 @@M@@w@@ 若满足 @@M@@\log w@@ 在左端凸、右端凹，@@M@@\sum_{j\ne0}w_j^{1/j}<\infty@@，且 @@M@@\log w_n/n^2\to-a@@、@@M@@\log w_{-n}/n^2\to a@@（@@M@@a>\log3@@），则加权平移在 @@M@@\ell^2(w)@@ 上的闭不变子空间恰为坐标尾——凸包络与支撑分离的论证沿用 Domar 1981 年的方法。随后在 @@M@@X=\mathbb{Z}_2@@ 上构造每根纤维都满足判据、两端呈相反二次漂移的权；一次可测规范化即可控制整个底上的算子并给出一致幂估计，故 @@M@@S@@ 本身拟幂零而非仅各纤维。
再解向后交织（backward intertwiner）。要把 @@M@@x@@ 处的 @@M@@e_j@@ 送到 @@M@@\theta x@@ 处 @@M@@e_{j-1}@@ 的正倍，交换性强制系数满足递推 @@M@@b_j(x)\beta_{j-1}(\theta x)=\beta_j(x)b_{j+1}(x)@@。从初值 @@M@@1@@ 出发显式解出，取对数求和后，两端相反的漂移引理（例外残数由 Borel–Cantelli 知每点仅有限个）保证系数沿正、负两个方向都趋于零；再用每根纤维的公共上确界归一化，即得与 @@M@@S@@ 交换的压缩 @@M@@V@@，其纤维像的闭包恰好把尾向后移一位。这里只需像稠密，无需有界逆。
最后证传递性。设闭子空间 @@M@@M@@ 对 @@M@@S@@、@@M@@V@@ 与所有乘子不变；其投影与全部乘子交换，由乘子场引理（自姊妹篇引入）得可测投影场 @@M@@P_x@@。纤维上的不变性迫使 @@M@@\operatorname{ran}P_x=\Ktail{s(x)}@@，得到可测尾标签 @@M@@s(x)@@；@@M@@V_x@@ 的稠密像又强制严格下降 @@M@@s(\theta x)\le s(x)-1@@。收尾是测度论引理：可逆遍历保概率变换下，满足该下降律的可测标签几乎处处只能是 @@M@@-\infty@@ 或 @@M@@+\infty@@——因 @@M@@\theta F_j\subseteq F_{j-1}@@ 使诸测度相等，再由上连续性坍缩到零测集。于是 @@M@@P_x@@ 几乎处处为 @@M@@I@@ 或 @@M@@0@@，@@M@@M@@ 平凡，代数传递。而非常数算子的交换子代数自动真、强闭、含幺，其传递恰等价于算子无超不变子空间。
主结果已有 Lean 形式化证明。两条初等输入（乘子场引理、交换子代数引理）的完整证明在姊妹篇即无理旋转一文中，该篇尚未形式化；姊妹篇另以旋转因子的投影论证独立导出同一推论，两文结论互证。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键、也最脆弱的一步是什么？
（答：Domar 型二次判据——对数权左端凸、右端凹、Σw_j^{1/j}<∞ 且两端对数按相反二次速率漂移（a>log 3）时，不变子空间恰为坐标尾。它沿用 Domar 1981 的凸包络与支撑分离论证并含两个正规化卷积尾估计；判据一旦有反例，尾分类崩塌，后续全部失去前提。）
问 2：为什么底座必须是保概率且遍历的？换成无限测度行不行？
（答：收尾的测度论引理用 θF_j⊆F_{j-1} 推出诸集测度相等，再由上连续性坍缩到零测集——这依赖概率（有限测度）；遍历性则排除”部分纤维全满、部分全空”的非平凡混合。σ-有限无限测度上严格下降的整数标签原则上可以持续，论文未在此类底座上展开。）
问 3：与已有工作相比真正的新意是什么？
（答：Atzmon–Sodin 1999 的完全不可分解双权移位遗留”是否有真超不变子空间”的悬题；本文用纤维间的搬运算子 V 补上交换子作用，机制完全显式；同时绕开 Arveson 稠密性定理的 masa 假设——第 5 节明证所用乘子代数无穷重度、非极大交换，故传递而不强稠密。）
问 4：反向齿轮 V 的构造难在哪里？
（答：交换性强制系数满足递推 b_j(x)β_{j-1}(θx)=β_j(x)b_{j+1}(x)，从初值 1 显式解出；取对数求和后靠两端相反漂移引理保证系数双向趋零（例外残数由 Borel–Cantelli 知每点仅有限个），再用每纤维上确界归一化得压缩。只需像稠密、无需有界逆，这步设计得很省。）
问 5：AI 生成证明最可能的出错模式？
（答：可测场分解的零测集簿记——投影与乘子交换才分解为投影场，唯一性仅几乎处处，取迭代时须交可数多个余零集；本文两条初等输入（乘子场引理、交换子代数引理）引自尚未形式化的姊妹篇，属跨文依赖风险点。好在本文主结果已 Lean 形式化，敞口有限。）
问 6：这个构造还附带说明了什么结构事实？
| （答：普通不变与超不变被显式分离：每个 L²(X;K_{≥h}) 都是 S-不变却被 V 破坏；每根纤维 S_x 紧但 S 非紧； | S | 有纯点谱分辨，有限族生成的代数原子而全族生成 L^∞(X×Z) 为弥散；极共轭代数不落入交换子。） |
问 7：谁会用到它？
（答：不变子空间问题与传递代数社区：它同时否定”非常数算子必有超不变子空间”与”传递必强稠密”两问；Kérchy 等移位型格研究者亦是用户。）
总评
以透明机制否定一个经典公开问题并已获形式化，是本批可信度最高的重结果之一；残余风险在 Domar 型判据的常数细节与对姊妹篇两条引理的跨文依赖。