[논문 리뷰] A spectral gap theorem in simple Lie groups

Yves Benoist, Nicolas de Saxcé|arXiv (Cornell University)|2014. 05. 08.

Advanced Algebra and Geometry참고 문헌 8인용 수 4

한 줄 요약

이 논문은 컴팩트 단순 리 군 내에서 대수적 원소들에 의해 생성되는 조밀한 부분군에 대해 스펙트럴 간극 정리를 확립한다. 이는 이러한 측도가 거의 디오판틴 조건을 만족할 때이고 그때에만 스펙트럴 간극을 가진다는 것을 증명한다. 국소체 위의 랜덤 행렬 곱과 효과적 Nullstellensatz 기법을 사용하여, 보르게인과 감버드의 SU(2)에 대한 결과를 임의의 컴팩트 단순 리 군으로 일반화하며, 디오판틴 성질을 통해 스펙트럴 간극을 정밀하게 특성화한다.

ABSTRACT

We establish the spectral gap property for dense subgroups generated by algebraic elements in any compact simple Lie group, generalizing earlier results of Bourgain and Gamburd for unitary groups.

연구 동기 및 목표

• 컴팩트 단순 리 군 위의 Borel 확률 측도에 대한 스펙트럴 간극 기준을 설정하기 위해.
• 보르게인과 감버드의 SU(2)에 대한 스펙트럴 간극 결과를 임의의 컴팩트 단순 리 군으로 일반화하기 위해.
• 측도가 스펙트럴 간극을 가진다는 것과 거의 디오판틴 조건이 동치임을 증명하기 위해.
• 대수적 원소에 지지된 측도의 행동을 분석하기 위해 국소체 위의 랜덤 행렬 곱 이론을 사용하기 위해.
• 스펙트럴 간극과 적절한 닫힌 부분군 근처에서 측도 질량의 감쇠 사이의 정량적 연결을 설정하기 위해.

제안 방법

• L^2_0(G) 위의 평균 연산자의 스펙트럴 반경을 통해 스펙트럴 간극을 정의하며, 이 값이 1보다 작다는 것을 보인다.
• 거의 디오판틴 측도의 개념을 도입하여, 적절한 닫힌 부분군 H에 대해 ν^{*n}(H^{(e^{-C_1n})}) 의 감쇠를 정량화한다.
• 문헌 [14]의 이산화된 곱 정리와 보르게인-감버드의 방법을 사용하여 스펙트럴 간극과 디오판틴 성질을 연결한다.
• 효과적 Nullstellensatz를 적용하여, 다항식의 공통 근이 존재하지 않으면 계수의 크기 제약 조건에서 모순이 발생함을 보인다.
• 리 대수의 외적 힘에 대한 군 원소의 작용을 코딩하는 다항식 사상 P_{I_0,g}를 구성하며, 이들의 계수는 수체에 속한다.
• 대수적 항목들에 의해 생성된 수체의 정수환을 사용하여 이러한 다항식의 크기를 제한한다.

실험 결과

연구 질문

• RQ1 컴팩트 단순 리 군에서 대수적 항목을 가진 적응 확률 측도는 항상 스펙트럴 간극을 가진다?
• RQ2 이러한 측도에 대해 스펙트럴 간극 성질은 거의 디오판틴 조건과 동치인가?
• RQ3 디오판틴 근사로 모든 컴팩트 단순 리 군에서 스펙트럴 간극을 균일하게 특성화할 수 있는가?
• RQ4 대수적 측도에 대해 적절한 닫힌 부분군 근처에서 측도 질량의 정량적 감쇠 속도는 무엇인가?
• RQ5 국소체 위의 랜덤 행렬 곱은 대수적 측도에 대한 스펙트럴 간극 증명에 어떻게 기여하는가?

주요 결과

• 컴팩트 단순 리 군 G 위의 Borel 확률 측도 μ는 μ가 거의 디오판틴일 때이고 그때에만 스펙트럴 간극을 가진다.
• 임의의 컴팩트 단순 리 군 G에 대해, μ가 적응적이고 Adg 항목이 대수적일 경우, μ는 거의 디오판틴이 되며 따라서 스펙트럴 간극을 가진다.
• 스펙트럴 간극은 디오판틴 지수에 의해 정량적으로 제어되며, 어떤 c_2 > 0 에 대해 μ^{*n}(H^{(e^{-C_1n})}) ≤ e^{-c_2n} 이다.
• 증명은 효과적 Nullstellensatz의 유계성에 기반하며, 다항식의 공통 근이 존재하지 않으면, 크기가 제한된 비영의 대수적 정수의 존재가 불가피하다는 것을 보여준다.
• 다항식 P_{I_0,g}의 크기는 ‖q^n P_{I_0,g}‖ ≤ q^{2n} 으로 제한되며, 여기서 q는 생성 집합에만 의존한다.
• 증명에서 모순은 C_1 가 충분히 크기 때문에 q^{-Mn} ≤ C q^{Cn} e^{-C_1n} 이 성립하지 않을 때 발생하며, 이는 공통 근이 존재해야 한다는 것을 시사한다.