[논문 리뷰] Good Models, Infinite Approximate Subgroups and Approximate Lattices

Simon Machado|arXiv (Cornell University)|2020. 11. 03.

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 리 군의 루트와 약잡힘성 격자 간의 관계는 무엇이며, 이를 어떻게 일반화할 수 있는가?

주요 결과

• 카르탕의 닫힌 부분군 정리의 약간의 형태가 증명되었으며, 리 군의 닫힌 약잡힘성 부분군이 리 부분군임을 보였다.
• 유클리드 공간에서의 닫힌 약잡힘성 부분군은 리 부분군으로 분류되었으며, 고전적인 닫힌 부분군의 구조를 일반화하였다.
• 컴팩트한 약잡힘성 부분군은 양호한 모델 프레임워크를 통해 리 부분군임을 보였다.
• 비정규 주기적 순서 이론에서의 양호한 모델 접근법과 컷-앤드-프로젝트 기법 사이에 완전한 동치 관계가 수립되었다.
• 메이어의 퀀티크리스탈에 대한 구조 정리는 양호한 모델 형식을 사용하여 모든 약간의 군으로 확장되었다.
• 리 군의 루트와 약잡힘성 격자에 관한 오스라우터, 비버바흐, 모스터의 정리가 약간의 군의 맥락에서 일반화되었다.