[论文解读] The affine and projective groups are maximal

Itay Kaplan, Pierre Simon|arXiv (Cornell University)|Oct 30, 2013

Advanced Topology and Set Theory参考文献 1被引用 5

一句话总结

本文证明了当 $n \geq 2$ 时，仿射群 $AGL_n(\mathbb{Q})$ 以及当 $n \geq 3$ 时，射影群 $PGL_n(\mathbb{Q})$，作为无限对称群 $S_\omega$ 的闭子群，是极大闭子群——即它们不被任何更大的闭子群真包含。证明基于Adeleke与Macpherson对乔丹群的分类，表明任何真包含这些群的群都无法保持表征此类群的四种结构之一（循环分离、$D$-关系、$k$-Steiner系统或Steiner系统的极限），从而确立了其极大性。

ABSTRACT

We show that the groups AGL_n(Q) and PGL_n(Q), seen as closed subgroups of S_{\infty}, are maximal-closed.

研究动机与目标

• 确定 $AGL_n(\mathbb{Q})$ 与 $PGL_n(\mathbb{Q})$ 是否为无限对称群 $S_\omega$ 的极大闭子群，这是研究 $S_\omega$ 的闭子群时一个核心的开放问题。
• 通过分析仿射与射影几何在 $\mathbb{Q}$ 上生成的Steiner系统的自同构群，扩展极大闭子群的分类。
• 解决Macpherson与Bodirsky提出的问题：$S_\omega$ 中是否存在可数的极大闭子群。
• 通过证明 $AGL_n(\mathbb{Q})$ 的极大性，表明结构 $(\mathbb{Q}^n, f)$（其中 $f(x,y,z) = x+y-z$）不具有非平凡的可定义约化。

提出的方法

• 应用Adeleke与Macpherson的乔丹群分类定理，该定理指出：3-传递的乔丹群会保持以下四种结构之一：循环分离、$D$-关系、$k$-Steiner系统或Steiner系统的极限。
• 证明任何真包含 $AGL_n(\mathbb{Q})$ 或 $PGL_n(\mathbb{Q})$ 的群都无法保持表征乔丹群的四种标准结构中的任意一种。
• 利用组合构造排除任何超群保持 $D$-关系与循环分离关系的可能性。
• 通过分析 $\mathbb{Q}^n$ 中直线的几何约束，证明 $AGL_n(\mathbb{Q})$ 与 $PGL_n(\mathbb{Q})$ 无法保持 $k$-Steiner系统（$k \geq 2$）。
• 证明：若此类群保持一个乔丹集的极限，则它实际上必须保持一个有限的 $m$-Steiner系统，该结论基于 $\mathbb{Q}$ 上的基元素与线性映射的构造。
• 将证明方法加以调整，表明当 $n = \omega$ 时，通过选择合适的基与平移/移位映射，序列中足够大的 $\Pi_i$ 会保持所需的不变性，从而得出该群保持一个Steiner系统的结论。

实验结果

研究问题

• RQ1 当 $n \geq 2$ 时，$AGL_n(\mathbb{Q})$ 是否在 $S_\omega$ 中是极大闭子群？
• RQ2 当 $n \geq 3$ 时，$PGL_n(\mathbb{Q})$ 是否在 $S_\omega$ 中是极大闭子群？
• RQ3 结构 $(\mathbb{Q}^n, f)$（其中 $f(x,y,z) = x+y-z$）的自同构群是否具有非平凡的可定义约化？
• RQ4 一个真包含 $AGL_n(\mathbb{Q})$ 的群是否能保持一个 $k$-Steiner系统（$k \geq 2$）？
• RQ5 若一个包含 $PGL_n(\mathbb{Q})$ 的群保持一个乔丹集的极限，是否必须保持一个有限的Steiner系统？

主要发现

• 当所有 $n \geq 2$ 时，群 $AGL_n(\mathbb{Q})$ 是 $S_\omega$ 中的极大闭子群。
• 当所有 $n \geq 3$ 时，群 $PGL_n(\mathbb{Q})$ 是 $S_\omega$ 中的极大闭子群。
• 任何真包含 $AGL_n(\mathbb{Q})$ 的群都无法保持 $k$-Steiner系统（$k \geq 2$），原因在于 $\mathbb{Q}^n$ 中直线的几何约束。
• 任何真包含 $PGL_n(\mathbb{Q})$ 的群都无法保持 $k$-Steiner系统（$k \geq 2$），因为直线上的点数在所需对称性下不被保持。
• 若一个包含 $AGL_n(\mathbb{Q})$ 的群保持一个乔丹集的极限，且为 $m$-传递但非 $(m+1)$-传递，则它必须保持一个有限的 $m$-Steiner系统，这仅在该群包含于 $AGL_n(\mathbb{Q})$ 时才可能成立，否则将导致矛盾。
• 结构 $(\mathbb{Q}^n, f)$（其中 $f(x,y,z) = x+y-z$）不具有非平凡的可定义约化，因为其自同构群 $AGL_n(\mathbb{Q})$ 是极大闭子群。