[논문 리뷰] The structure of approximate groups

Emmanuel Breuillard, Ben Green외 1명|arXiv (Cornell University)|2011. 10. 22.

Geometric and Algebraic Topology참고 문헌 44인용 수 10

한 줄 요약

이 논문은 군 내에서 이중화가 작은 유한 대칭 집합인 K-근사군이 본질적으로 유한-아벨리안 군임을 규명하며, 아벨 군을 초월한 푸라인-르자 정리의 일반화를 수행한다. 국소 콪그룹과의 대응 원리와 글레산 유형 분석을 적용하여, 저자들은 근사군이 리 군에 의해 잘 모델링됨을 보이며 헬프고트와 린드스트라우스의 추측을 해결하고, 그로모프의 정리와 일반화된 마르게리스 보조정리의 유한성 개선을 이끌어낸다.

ABSTRACT

Let K >= 1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A^2 is covered by K left translates of A. The main result of this paper is a qualitative description of approximate groups as being essentially finite-by-nilpotent, answering a conjecture of H. Helfgott and E. Lindenstrauss. This may be viewed as a generalisation of the Freiman-Ruzsa theorem on sets of small doubling in the integers to arbitrary groups. We begin by establishing a correspondence principle between approximate groups and locally compact (local) groups that allows us to recover many results recently established in a fundamental paper of Hrushovski. In particular we establish that approximate groups can be approximately modeled by Lie groups. To prove our main theorem we apply some additional arguments essentially due to Gleason. These arose in the solution of Hilbert's fifth problem in the 1950s. Applications of our main theorem include a finitary refinement of Gromov's theorem, as well as a generalized Margulis lemma conjectured by Gromov and a result on the virtual nilpotence of the fundamental group of Ricci almost nonnegatively curved manifolds.

연구 동기 및 목표

• 임의의 군 내에서 K-근사군의 구조를 규명하여 아벨 군 외의 환경에서 푸라인-르자 정리를 확장한다.
• 헬프고트와 린드스트라우스가 제기한 근사군이 본질적으로 유한-아벨리안임을 증명한다.
• 근사군과 국소 콱그룹 사이의 대응 관계를 수립하여 모델 이론적 및 기하적 기법을 가능하게 한다.
• 힐버트의 다섯 번째 문제에서 유도된 글레산 유형의 추론을 근사군에 적용하여 구조적 결과를 도출한다.
• 그로모프의 다항식 성장 군에 관한 정리와 일반화된 마르게리스 보조정리의 유한성 판정을 제공한다.

제안 방법

• K-근사군과 국소 콱그룹(지역 군) 사이의 대응 원리를 도입하여 위상수학적 및 모델 이론적 도구의 사용을 가능하게 한다.
• 허슈로프스키의 리 군 모델 정리를 적용하여 근사군이 리 군에 의해 근사적으로 모델링됨을 보인다.
• 도지율 노름을 정의하고 분석하여 글레산 유형의 보조정리를 구성하며, 힐버트의 다섯 번째 문제의 해결 기법을 변형 적용한다.
• 코셋 아벨리안 프로그레시브를 근사군의 주요 구조적 모델로 사용하며, 교환자 관계와 정규형에 대한 통제를 확보한다.
• 리 군 모델의 차원에 대한 경계를 확립하여, 리 군의 랭크가 이중화 상수 K에 의해 통제됨을 보인다.
• 구조 정리를 적용하여 기하학적 결과의 유한성 판정을 도출하며, 리치 거의 비음성 곡률을 가진 다양체의 기본군의 가상 아벨리안 성질을 확인한다.

실험 결과

연구 질문

• RQ1 임의의 군 내에서 K-근사군의 구조는 아벨 군에서의 푸라인-르자 정리와 유사하게 분류될 수 있는가?
• RQ2 헬프고트와 린드스트라우스의 추측처럼 모든 K-근사군은 본질적으로 유한-아벨리안인가?
• RQ3 근사군은 리 군에 의해 근사적으로 모델링될 수 있으며, 이중화 상수 K와 리 군의 랭크 사이의 관계는 무엇인가?
• RQ4 힐버트의 다섯 번째 문제의 해법이 근사군의 맥락에 얼마나 잘 적응될 수 있는가?
• RQ5 구조 정리로부터 어떤 유한성 기하학적 결과가 도출되며, 특히 그로모프의 정리와 리치 곡률 맥락에서 어떤가?

주요 결과

• 모든 K-근사군은 유한 정규부분군을 포함한 가상 아벨리안 군이므로, 본질적으로 유한-아벨리안이다.
• 허슈로프스키의 리 군 모델 정리에 의해 근사군은 리 군에 의해 균일하게 근사되며, 리 군의 랭크는 K에 따라 통제된다.
• 다항식 성장 군에 관한 그로모프의 정리의 유한성 판정을 확립하여, 이러한 군 내의 성장은 명시적인 차수 경계를 가진 다항식 성장임을 보였다.
• 리치 거의 비음성 곡률을 가진 다양체의 기본군은 가상 아벨리안이며, 그로모프의 추측을 확인한다.
• 일반화된 마르게리스 보조정리를 증명하여, 근사군 맥락에서 작은 등장변환의 구조가 아벨리안 부분군에 의해 통제됨을 보였다.
• 코셋 아벨리안 프로그레시브의 다항식 성장을 규명함: |P^m| ≪_{C,r} m^{O_{C,r}(1)} |P|로, 구조적 경계의 정량적 통제를 제공한다.