[论文解读] Good Models, Infinite Approximate Subgroups and Approximate Lattices

Simon Machado|arXiv (Cornell University)|Nov 3, 2020

Finite Group Theory Research参考文献 35被引用 4

一句话总结

本文通过可乘性与紧致性准则，建立了一套用于近似子群的良好模型框架，将经典群论定理推广至近似情形。论文证明了近似 Cartan 定理，分类了欧氏空间与紧致群中的闭近似子群，并将良好模型与截断-投影方案相联系，将 Meyer 的准晶结构定理推广至可乘群，并推广了 Auslander-Bieberbach-Mostow 的相关结果。

ABSTRACT

We investigate the notion of good models of approximate subgroups that stems from the work of Hrushovski, and Breuillard, Green and Tao. Our goal is twofold: we first give simple criteria showing existence of a good model, related for instance to amenability or compactness; we then study consequences of the existence of a good model for a given approximate subgroup. This leads to generalisations of a variety of classical facts about groups to the setting of approximate subgroups. As a first application, we prove an approximate subgroup version of Cartan's closed-subgroup theorem. Which in turn yields a classification of closed approximate subgroups of Euclidean spaces and a structure theorem for compact approximate subgroups. We then use this and a suitable notion of amenability for closed approximate subgroups to address questions about the approximate lattices defined by Bjorklund and Hartnick. We show the equivalence between the viewpoint of good models and the cut-and-project schemes from aperiodic order theory. This allows us to extend to all amenable groups a structure theorem for mathematical quasi-crystals due to Meyer, and to prove results concerning intersections of radicals of Lie groups and approximate lattices generalising theorems due to Auslander, Bieberbach and Mostow.

研究动机与目标

• 建立近似子群良好模型存在的简单判据，例如可乘性或紧致性。
• 将经典群论定理（如 Cartan 的闭子群定理）推广至近似子群的设定。
• 利用良好模型理论，对欧氏空间与紧李群中的闭近似子群进行分类。
• 将良好模型框架与准序理论中的截断-投影方案相联系。
• 将 Meyer 对数学准晶的结构定理推广至所有可乘群，并推广关于李群的根与近似格点的结果。

提出的方法

• 作者引入并分析了近似子群的‘良好模型’概念，借鉴了 Hrushovski、Breuillard、Green 与 Tao 的基础工作。
• 推导了良好模型存在的充分条件，特别关注环境群的可乘性与紧致性。
• 利用良好模型，证明了 Cartan 闭子群定理的近似版本，该定理将闭近似子群刻画为李子群。
• 将此结果应用于分类欧氏空间与紧李群中的闭近似子群，表明它们是李子群。
• 建立了良好模型与准序理论中截断-投影方案之间的等价关系，实现了从准序理论转移结果的能力。
• 利用该等价关系，将 Meyer 关于准晶的定理推广至所有可乘群，并推广了 Auslander、Bieberbach 与 Mostow 关于根与近似格点的定理。

实验结果

研究问题

• RQ1 在何种条件下，近似子群会存在良好模型？可乘性或紧致性如何作为判据使用？
• RQ2 Cartan 的闭子群定理能否推广至近似子群的设定？
• RQ3 良好模型与准序理论中的截断-投影方案有何关系？
• RQ4 Meyer 关于准晶的结构定理在多大程度上可推广至可乘群？
• RQ5 李群的根与近似格点之间存在何种关系？该关系如何推广？

主要发现

• 证明了 Cartan 闭子群定理的近似版本，表明李群中的闭近似子群是李子群。
• 欧氏空间中的闭近似子群被分类为李子群，推广了闭子群的经典结构。
• 通过良好模型框架，证明了紧致近似子群是李子群。
• 在准序理论中，建立了良好模型方法与截断-投影方案之间的完全等价关系。
• 利用良好模型形式化，将 Meyer 对数学准晶的结构定理推广至所有可乘群。
• 在可乘群的背景下，获得了 Auslander、Bieberbach 与 Mostow 关于李群根与近似格点定理的推广。