[論文レビュー] Good Models, Infinite Approximate Subgroups and Approximate Lattices

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

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

ひとこと要約

この論文は、可解性およびコンパクト性の基準を用いて、近似部分群の良いモデルのためのフレームワークを確立し、古典的な群論の定理を近似設定に一般化する。近似カルタン定理を証明し、ユークリッド空間およびコンパクト群における閉じた近似部分群を分類し、良いモデルとカットアンドプロジェクトスキームを結びつけることで、メイヤーの準結晶構造定理を可解群に拡張し、アウスランダー＝ビーバーバッハ＝モストウの結果を一般化する。

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.

研究の動機と目的

• 近似部分群の良いモデルの存在を示す簡単な基準（例えば可解性やコンパクト性）を確立すること。
• カルタンの閉部分群定理のような群論の古典的定理を、近似部分群の設定に一般化すること。
• 良いモデルの理論を用いて、ユークリッド空間およびコンパクトリー群における閉じた近似部分群を分類すること。
• 良いモデルのフレームワークと、準周期的順序理論におけるカットアンドプロジェクトスキームを結びつけること。
• メイヤーの数学的準結晶の構造定理をすべての可解群に拡張し、リー群の半径および近似ラティスに関するアウスランダー、ビーバーバッハ、モストウの結果を一般化すること。

提案手法

• 著者たちは、ハルシュォフスキー、ブロイアール、グリーン、タオの基礎的研究に着想を得て、近似部分群のための「良いモデル」の概念を導入し、分析する。
• 特に、周囲の群の可解性およびコンパクト性に注目して、良いモデルの存在に十分な条件を導出する。
• 良いモデルを用いて、カルタンの閉部分群定理の近似版を証明し、閉じた近似部分群がリー部分群であることを特徴づける。
• これを用いて、ユークリッド空間およびコンパクトリー群における閉じた近似部分群を分類し、それらがリー部分群であることを示す。
• 良いモデルとカットアンドプロジェクトスキームの間の同値性を確立し、準周期的順序理論からの結果の移行を可能にする。
• この同値性を用いて、メイヤーの準結晶に関する定理をすべての可解群に拡張し、リー群の半径および近似ラティスに関するアウスランダー、ビーバーバッハ、モストウの定理を一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で近似部分群が良いモデルをもつのか。可解性やコンパクト性を基準としてどのように利用できるか。
• RQ2 カルタンの閉部分群定理は、近似部分群の設定に一般化可能か。
• RQ3 良いモデルは、準周期的順序理論におけるカットアンドプロジェクトスキームとどのように関係するか。
• RQ4 メイヤーの準結晶に関する構造定理は、どの程度まで可解群にまで拡張可能か。
• RQ5 リー群の半径と近似ラティスの関係は何か。この関係はどのように一般化できるか。

主な発見

• カルタンの閉部分群定理の近似版が証明され、リー群の閉じた近似部分群がリー部分群であることが示された。
• ユークリッド空間における閉じた近似部分群は、リー部分群として分類され、古典的な閉部分群の構造を一般化した。
• 良いモデルのフレームワークを用いて、コンパクトな近似部分群がリー部分群であることが示された。
• 良いモデルのアプローチと準周期的順序理論におけるカットアンドプロジェクトスキームとの完全な同値性が確立された。
• 良いモデルの形式的枠組みを用いて、メイヤーの準結晶に関する構造定理がすべての可解群に拡張された。
• アウスランダー、ビーバーバッハ、モストウによるリー群の半径および近似ラティスに関する定理が、可解群の文脈で一般化された。