结果族 253：An infinite finitely presented simple amenable group · 学科：Group theory · 验证状态：主结果已 Lean 形式化
这是数学版的”集齐四颗龙珠”：无限、有限呈现（说明书只有一页）、单（内部没有隔间）、顺从（温柔，不搞”一份拆两份”的悖论把戏）。2013 年人们集齐过三颗——造出无限、单、顺从的群，但说明书无限长；而且老路被证明原则上造不出一页说明书的版本。本文换了一块地基——由黄金比撑起的平面，终于把四颗龙珠收进同一个群。
关键词卡片
@@M@@a+b\tau@@（@@M@@\tau@@ 为黄金比 @@M@@(1+\sqrt5)/2@@）的数组成的环，新构造的地基看个具体例子
具体构造：在黄金比环 @@M@@\mathbb{Z}[\tau]@@ 上取 @@M@@\lambda=\tau^a@@ 这种”实数视角下巨大、共轭视角下极小”的伸缩，得到一个二维多边形交换群；其中由不相交槽位间偶置换生成的交错子群 @@M@@A_m@@（@@M@@m@@ 足够大）是主角。数字版成绩单：@@M@@A_m@@ 无限 ✓、有限呈现 ✓、单 ✓、顺从 ✓，四项同时成立。此前的最好纪录是 Juschenko–Monod 群：无限 ✓、单 ✓、顺从 ✓、有限呈现 ✗。
为什么值得关心
老框架里这是一道死局：有限呈现加”可局部逼近有限群”会推出剩余有限，而无限单群绝不剩余有限；本文首次绕开死局，为 Day 时代的老问题画上句号。
已 Lean 形式化
结果族 253：An infinite finitely presented simple amenable group · 配套入门导读见同目录文章
第一级台阶
导读把这比作”集齐四颗龙珠”。半数学地说：要找一个群，它无限大；说明书只有一页（有限个生成元加有限条关系就写清全部规则）；内部没有隔间（任何正规子群要么平凡要么全群）；脾气温柔（不出现把一份拆成两份的悖论把戏）。2013 年的拓扑全群路线集齐了后三颗，唯独说明书无限长，而且老地基被证明原则上盖不出一页说明书的房子。
第二级台阶
精确地说：群 @@M@@G@@ 顺从，若对每个有限集 @@M@@K\subseteq G@@ 与 @@M@@\varepsilon>0@@ 存在有限非空 @@M@@D\subseteq G@@ 使 @@M@@|gD\triangle D|<\varepsilon|D|@@（Følner 条件）；单群指无非平凡正规子群；有限呈现指 @@M@@G\cong F(S)/\langle\!\langle R\rangle\!\rangle@@，@@M@@S,R@@ 均有限。构造地基取黄金比环 @@M@@\mathcal O=\mathbb Z[\tau]@@（@@M@@\tau=(1+\sqrt5)/2@@）与伸缩 @@M@@\lambda=\tau^a@@：实数视角巨大、共轭视角极小。
第三级台阶
定理（thm:main）：存在无限、有限呈现、单、顺从的群。它取为黄金比环平面上多边形交换群 @@M@@F_m@@ 中由不相交槽位间偶置换生成的交错子群 @@M@@A_m@@。论文分头证明：对一切 @@M@@m@@，@@M@@A_m@@ 无限、完美、单，且 @@M@@F_m@@ 顺从（顺从性遗传给子群）；当 @@M@@m@@ 足够大时 Schur 乘子 @@M@@H_2(A_m;\mathbb Z)@@ 有限生成且存在有限呈现的中心扩张，五项正合列引理随即把中心核的有限生成性转成 @@M@@A_m@@ 的有限呈现。对 @@M@@m@@ 的要求只有有限多条，互不冲突，故四颗龙珠落在同一个固定的群上。
论文构造出首个同时满足无限、有限表现、单群、顺从四条性质的群，正面回答了 Juschenko–Monod 2013 年遗留的有限表现存在性问题；作者跳出经典 Cantor 全群框架，在黄金比环上的二维多边形交换群中绕开了 LEF 障碍。
顺从群（amenable group）指容许有限不变均值的群，与含自由子群者相对；单群（simple group）指无非平凡正规子群；有限表现（finitely presented）指可由有限生成元与有限关系呈现。”无限单顺从群”是否存在是 Day 时代的老问题：2013 年 Juschenko 与 Monod 证明 Cantor 极小同胚的拓扑全群（topological full group）顺从，与 Matui 的单性定理结合，得到无限有限生成单顺从群。但 Matui 早已证明这些导出群都不是有限表现的；更根本的是，Grigorchuk–Medynets 证明经典全群可局部嵌入有限群（LEF），而有限表现加 LEF 蕴含剩余有限，无限单群又绝不可能剩余有限——经典路线被原则性堵死。于是有限表现版本作为公开问题留在 Button（2010）、Juschenko–Monod（2013）及 Zaremsky 2026 年问题清单中，本文给出肯定答案。
定理（主定理）：存在无限、有限表现、单、顺从的离散群。构造如下：令 @@M@@\tau=(1+\sqrt5)/2@@、@@M@@\mathcal O=\mathbb Z[\tau]@@，取 @@M@@\lambda=\tau^a@@ 充分大，使其在通常实嵌入下巨大、在共轭嵌入下 @@M@@|\bar\lambda|<1/1000@@。以四族线性形式 @@M@@x@@、@@M@@y@@、@@M@@y-\lambda x@@、@@M@@x-\lambda y@@（取值于 @@M@@\mathcal O@@）的容许直线生成布尔多边形代数，其 Stone 空间 @@M@@X@@ 是无孤立点的紧度量空间，带有限可加面积 @@M@@\mu@@；@@M@@\Gamma=(\mathcal O/\mathbb Z)^2\cong\mathbb Z^2@@ 自由地平移作用。对有限 @@M@@m@@，@@M@@F_m@@ 由 @@M@@m@@ 条轨道（tracks）上所有逐段平移（piecewise translation）@@M@@(i,x)\mapsto(j,x+\gamma)@@ 组成；子群 @@M@@A_m@@ 由不相交槽位（slots）之间的偶置换生成，是 Nekrashevych 交错全群的多边形版本。论文证明：对每个 @@M@@m@@，@@M@@A_m@@ 无限、完美、单且 @@M@@[F_m,F_m]=A_m@@；对每个 @@M@@m@@，@@M@@F_m@@ 顺从（从而 @@M@@A_m@@ 顺从）；当 @@M@@m@@ 足够大时 Schur 乘子 @@M@@H_2(A_m;\mathbb Z)@@ 有限生成且存在有限表现的中心扩张，于是 @@M@@A_m@@ 本身有限表现。
先证单性。基石是”严格面积比较”引理：当 @@M@@\mu(U)<\mu(V)@@ 时，用边长 @@M@@\tau^{-b}@@ 的容许网格计数，可把 @@M@@U@@ 逐段平移嵌入 @@M@@V@@；由此得”交错扩张”引理——只要剩余面积超过十倍需求，任何逐段平移都能借助三个备用副本、经两个 3-循环实现为 @@M@@A_m@@ 中不动指定区域的元素。再利用它把每个陪集代表元的支撑压到任意小，得 @@M@@F_m/A_m@@ 交换；又因 @@M@@\Alt(r)@@（@@M@@r\ge5@@）中每个 3-循环都是交换子，得 @@M@@A_m@@ 完美；最后按 Nekrashevych 的支撑二重交换子法，由 @@M@@[[n,a],b]=[a^{-1},b]@@ 逼出任一非平凡正规子群包含细分后共轭入小区域的五槽交错群，从而等于整个 @@M@@A_m@@。
再证顺从，这是最技术化的一步。对固定的有限交换集合，在四个方向的容许直线上布置两层随机比特场：第一层标记分点，第二层决定相邻分点间的区间是否成为屏障。一维区间交换的有限间断论证在二维失效（Elek–Monod 甚至构造了含自由子群的 @@M@@\mathbb Z^2@@ 全群），故改用多尺度正半定平均矩阵 @@M@@B_N@@：在普通平面与共轭平面按不同尺度作卷积，对 @@M@@N^{1/4}@@ 到 @@M@@N^{1/2}@@ 的二进尺度求和。平均能放大缓慢变化的均值差却抵消独立噪声，三条估计（共轭协差趋于零、Hoeffding 集中、逆信号估计）经一个维数无关的密度速度引理合成整体总变差控制。在耦合事件 @@M@@b'(gz)=b(z)@@ 上，每张图的边界必为屏障，每个胞腔都落在单一平移图表内且 @@M@@\mathcal P'=g\mathcal P@@ 逐胞腔成立；于是同形状胞腔的均匀匹配把分割律提升为 @@M@@F_m@@ 上几乎不变的概率测度，最后用水平集积分技巧化为任意子群的有限 Følner 集。
接着处理乘子。先以有序嵌入复形（空位由严格比较提供）证 @@M@@F_m@@ 的同调稳定性；再对多边形列表的对称幺半群范畴作三重 bar 构造与群完备化，把稳定同调化为平移模 @@M@@C(X,\mathbb Z)\otimes K_j@@ 的群同调；其代数有限性来自”角符号”单射——把多边形阶梯函数模嵌入诺特环 @@M@@R=\mathbb Z[\mathcal O^2]@@ 上的有限自由模。回到 @@M@@A_m@@：先证稳定化映射为满同态且 @@M@@F_m@@ 的共轭在 @@M@@H_2(A_m)@@ 上平凡（靠一排保留轨道与扩张引理），再由 Lyndon–Hochschild–Serre 谱序列与 @@M@@A_m@@ 的完美性得 @@M@@H_2(A_m)@@ 有限生成。
最后做有限表现。取”指定多边形集上的轨道置换”与”总位移为零的平移”为有限生成元，以其有限个真实关系定义 @@M@@\widehat G\twoheadrightarrow A_m@@，证明核为中心：沿坐标割线 @@M@@i\tau\bmod1@@ 归纳传播置换关系，斜方向 @@M@@\lambda@@ 普通斜率大而共轭值小，把新的横向指标压回上一步已覆盖的范围；矩形分解把一般多边形测试化归为有限组共点直线构型；精确共轭公式说明平凡作用的字与所有生成元交换。结合五项正合列，@@M@@H_2(A_m)@@ 有限生成迫使核 @@M@@K@@ 为有限生成交换群，再补上杀死 @@M@@K@@ 生成元的有限个关系，即得 @@M@@A_m@@ 的有限表现。四条性质落在同一个固定的 @@M@@A_m@@ 上，主定理完成。
依任务元数据，主结果已有 Lean 形式化证明（lean/docs/253.md），属最强验证等级。本结果族仅含这一篇论文，但其内部四大组件互相咬合：单性一章的扩张引理被同调与中心覆盖两章反复调用，顺从性对一切 @@M@@m@@ 成立，保证最终为乘子与中心覆盖选大 @@M@@m@@ 时不破坏前面的结论。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文主结果已形式化，Lean 覆盖的具体范围以官方文档为准。证明中 lifting、propagation、transport 三章的技术细节较深，本文依据论文引言中的概述撰写，未逐条核验其内部推导。
问 1：为什么经典全群路线原则上到不了有限呈现？本文怎么绕开的？
答：引言给出完整死局链：Grigorchuk–Medynets 证明 Cantor 极小系统的全群可局部嵌入有限群（LEF）；LEF 遗传给子群；有限呈现＋LEF 蕴含剩余有限；无限单群到有限群的任何非平凡同态都是单射，故绝不剩余有限。本文干脆换地基——黄金比环上的多边形交换群不在 LEF 框架内，死局失效。
问 2：证明里最关键、最脆弱的一步是什么？
答：顺从性一章。一维区间交换的”有限间断”论证在二维失效——Elek–Monod 造过含非交换自由子群的 @@M@@\mathbb Z^2@@ 全群——于是改用两层随机比特场造屏障分割，再用多尺度正半定平均矩阵 @@M@@B_N@@ 在普通平面与共轭平面按不同尺度卷积、对二进尺度求和，靠”共轭协差趋零＋Hoeffding 集中＋逆信号估计”三条估计合成总变差控制。正半定性与尺度求和次序错一处，几乎不变测度就出不来。
问 3：黄金比环这个假设到底买了什么？
答：@@M@@\lambda=\tau^a@@ 在实嵌入下巨大、共轭嵌入下 @@M@@|\bar\lambda|<1/1000@@。关系的有限传播（propagation 章）沿斜率 @@M@@\lambda@@ 的割线归纳：实方向斜率大使割线快速铺满轨道，共轭方向值小把新的横向指标压回已覆盖范围——”一个方向放大、另一个方向压缩”正是二次实域独有手法。同时严格面积比较引理（@@M@@\mu(U)<\mu(V)@@ 时逐段平移嵌入）供单性与同调反复取用。
问 4：有限呈现是怎么从同调数据掉出来的？
答：Lemma kill-central-kernel：先证 @@M@@H_2(A_m;\mathbb Z)@@ 有限生成（三重 bar 构造＋角符号单射嵌入诺特环上的有限自由模），再造有限呈现的中心扩张 @@M@@E\twoheadrightarrow A_m@@；五项正合列里中心核 @@M@@K@@ 是有限生成交换群，把其生成元对应的字补进 @@M@@E@@ 的有限关系即得 @@M@@A_m@@ 有限呈现。注意乘子有限生成单独不够，中心扩张缺一不可。
问 5：与已有工作相比真正的新意在哪里？
答：坐标逐项对齐：Juschenko–Monod 2013 给无限有限生成单顺从群（Matui 证明其导出群不有限呈现）；Nekrashevych 给中间增长的单挠群；Kionke–Schesler 给二元生成单顺从群；Chornyi–Juschenko–Nekrashevych 的 Penrose 模型与本文几何最接近，但该文未断言顺从。本文是四性首次同框，也正面回答 Zaremsky 2026 问题清单 Problem 10。
问 6：AI 生成证明最可能在哪里出错？
答：lifting/propagation/transport 三章的图表咬合与”对 @@M@@m@@ 的有限多条要求互不冲突”的装配逻辑——每个组件单独看都标准，组合时容易在某个引理偷偷依赖更小的 @@M@@m@@。主结果已 Lean 形式化（lean/docs/253.md），风险大幅降低，但形式化覆盖范围以官方文档为准。
总评
为 Day 时代老问题画句号的四合一构造，且已形式化；分量在于首次同时驯服”一页说明书”与”无隔间＋温柔”这组曾被 LEF 障碍判死的性质组合。