[논문 리뷰] A Height Gap Theorem For Finite Subsets Of GL_d(\bar{Q}) and Non Amenable Subgroups

Emmanuel Breuillard|arXiv (Cornell University)|2008. 04. 09.

Geometric and Algebraic Topology참고 문헌 22인용 수 3

한 줄 요약

이 논문은 $GL_d(\overline{\mathbb{Q}})$의 유한부분집합 $F$에 대해 공액변환에 관하여 불변인 정규화된 높이 함수 $\widehat{h}(F)$를 도입하며, $F$가 비압류 부분군을 생성할 경우 균일한 높이 간격 $\widehat{h}(F) > \varepsilon(d) > 0$이 성립함을 증명한다. 이 결과는 행렬군으로의 레이허머 추측의 일반화이며, 마르게리스의 보조정리에 대한 전역 아델리안 해석을 제공하며, 균일한 버나이드-슈어 정리와 강력한 티츠 대안에의 응용을 포함한다.

ABSTRACT

We show a global adelic analog of the classical Margulis Lemma from hyperbolic geometry. We introduce a conjugation invariant normalized height $\hat{h}(F)$ of a finite set of matrices $F$ in $GL_{n}(\bar{\Bbb{Q}})$ which is the adelic analog of the minimal displacement on a symmetric space. We then show, making use of theorems of Bilu and Zhang on the equidistribution of Galois orbits of small points, that $\hat{h}(F)>ε$ as soon as $F$ generates a non-virtually solvable subgroup of $SL_{n}(\bar{\Bbb{Q}}),$ where $ε=ε(n)>0$ is an absolute constant.

연구 동기 및 목표

• 유한부분집합 $F \subset GL_d(\overline{\mathbb{Q}})$에 대해 공액변환에 관하여 불변인 정규화된 높이 $\widehat{h}(F)$를 정의하고 연구하여, 모든 자리에서 $F^n$의 점근적 스펙트럼 성장도를 캡처하는 것.
• 만약 $F$가 비압류 부분군을 생성할 경우 균일한 하한 $\widehat{h}(F) > \varepsilon(d) > 0$을 확립함으로써, 선형군으로의 레이허머 문제를 일반화하는 것.
• 높이 간격을 행렬 모노이드의 기하학적 및 산술적 행동과 연결하여, 마르게리스의 보조정리에 대한 전역 아델리안 해석을 제공하는 것.
• 높이 간격을 활용하여 토피컬 선형군에 관한 버나이드-슈어 정리의 균일한 판본을 증명하는 것.
• 향후 연구에서 강력한 균일한 티츠 대안을 위한 기초를 마련하는 것.

제안 방법

• 모든 자리에서 수체의 자리에 대해 국소 연산자 노름의 합을 취하는 전역 산술 높이 $h(F)$를 사용하여, $\widehat{h}(F) = \lim_{n \to \infty} \frac{1}{n} h(F^n)$으로 정규화된 높이를 정의한다.
• 스펙트럼 반경 공식을 사용하여, $F$가 싱글턴일 경우 $\widehat{h}(F)$를 고유값의 위엘 높이와 연결함으로써 고전적 디오판틴 기하학과 연관시킨다.
• 각 자리 $v$에서 $||F^n||_v$의 성장을 제어하기 위해, $p$-진 및 아르키메데스 노름의 구조를 활용하여 국소 필드 위의 셸리-군에 대한 국소 추정을 적용한다.
• 노스코트 성질을 사용하여, 반단순성 가정 하에 높이 $\widehat{h}(F)$와 차수의 유계성은 유한한 공액류 클래스를 유도함을 보인다.
• 피-진 필드에서 브루하트-티츠 빌딩 위의 작용과 고정점 성질을 활용하여 $F$-오빗의 이동도를 분석하고, $\widehat{h}(F)$에 대한 하한을 도출한다.
• 카이리-헤일턴 정리와 표현 이론을 적용하여 문제를 $\overline{\mathbb{Q}}$ 위의 충실한 표현으로 줄여내며, 특히 가상으로 가환 또는 유니포텐트 부분군의 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 비압류 부분군을 생성하는 유한부분집합 $F \subset GL_d(\overline{\mathbb{Q}})$에 대해, 정규화된 높이 $\widehat{h}(F)$에 대한 균일한 하한을 확립할 수 있는가?
• RQ2 정규화된 높이 $\widehat{h}(F)$는 $F$의 스펙트럼 성질과 그가 생성하는 군의 자리-닫힘(closure)과 어떻게 관련이 있는가?
• RQ3 높이 간격 현상은 비아벨리안 선형군으로의 고전적 레이허머 추측을 어느 정도 일반화하는가?
• RQ4 높이 간격을 활용하여 토피컬 선형군에 관한 버나이드-슈어 정리와 같은 문제들에 대해 균일한 하한을 도출할 수 있는가?
• RQ5 정규화된 높이 $\widehat{h}(F)$는 $p$-진 필드 위의 브루하트-티츠 빌딩에서 $F$의 기하학적 작용과 어떻게 관련이 있는가?

주요 결과

• $GL_d(\overline{\mathbb{Q}})$의 비압류 부분군을 생성하는 경우, 항상 $\varepsilon(d) > 0$인 절대 상수 $\varepsilon(d)$가 존재하여 $\widehat{h}(F) > \varepsilon(d)$임을 보였다.
• 정규화된 높이 $\widehat{h}(F)$는 정확히 $F$가 준유니포텐트 부분군을 생성할 때만 0이 되며, 이는 그 군의 모든 고유값이 단위근임을 의미한다.
• 정규화된 높이는 $\widehat{h}(F^n) = n \cdot \widehat{h}(F)$를 만족하며, $GL_d(\overline{\mathbb{Q}})$ 내 공액변환에 관하여 불변이다.
• 항상 $F$를 표준 높이 $h(F)$가 $\widehat{h}(F)$와 비교 가능해지는 위치로 공액변환할 수 있으며, 이 상수는 $d$에만 의존한다.
• 높이 간격은 균일한 버나이드-슈어 정리로 이어지며, $GL_d(\overline{\mathbb{Q}})$의 유한생성 토피컬 부분군은 항상 유한하며, 그 크기는 $d$에만 의존하는 상수로 유계이다.
• 이 결과는 마르게리스의 보조정리에 대한 전역 아델리안 해석을 제공하며, 높이 간격은 브루하트-티츠 빌딩에서의 이동도에 대한 균일한 하한에 대응한다.