[논문 리뷰] Zimmer's conjecture: Subexponential growth, measure rigidity, and strong property (T)

Aaron Brown, David E. Fisher외 1명|arXiv (Cornell University)|2016. 08. 17.

Mathematical Dynamics and Fractals인용 수 7

한 줄 요약

이 논문은 고계수 단순 리 군에서 코컴팩트 격자에 대한 Zimmer의 추측의 핵심 케이스를 증명하며, 다각도 수가 $ n-1 $ 이하인(또는 체적을 보존하는 경우 $ n $ 인) 다각도의 다양체 위에서의 작용은 유한 이미지를 가져야 한다고 보여준다. 증명은 측도 강성과 비선형 동역학을 이용해 도함수의 균일한 초지수적 성장을 확립한 후, Lafforgue의 강한 성질 (T)을 적용하여 불변 리만 계량을 구성함으로써 추측을 코컴팩트 격자에 대해 확인한다. 이는 $ \mathrm{SL}(n,\mathbb{R}) $ 및 관련 군에서의 추측을 확인한다.

ABSTRACT

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $Γ$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and $ω$ a volume form on $M$ we show that any homomorphism $ρ\colon Γ ightarrow \mathrm{Diff}(M)$ has finite image if the dimension of $M$ is less than $n-1$ and that any homomorphism $ρ\colon Γ ightarrow \mathrm{Diff}(M,ω)$ has finite image if the dimension of $M$ is less than $n$. The key step in the proof is to show any such action has uniform subexponential growth of derivatives. This is established using ideas from the smooth ergodic theory of higher-rank abelian groups, structure theory of semisimple groups and results from homogeneous dynamics. Having established uniform subexponential growth of derivatives, we apply Lafforgue's strong property (T) to establish the existence of an invariant Riemannian metric.

연구 동기 및 목표

• 고계수 단순 리 군에서의 코컴팩트 격자에 대해 Zimmer의 추측을 확인하는 것, 특히 $ \mathrm{SL}(n,\mathbb{R}) $ 에 대해 저차원 다각도의 다양체 위에서 작용하는 경우.
• 군의 랭크에 상대적인 임계 임계값 이하의 다각도에서 작용이 반드시 유한 이미지를 가져야 한다는 것을 입증하는 것.
• 비선형 작용에서 도함수의 균일한 서브지수적 성장을 입증함으로써 에르고딕 이론과 기하군론을 연결하는 것.
• 비균일 격자와 저차원 케이스를 넘어서 Zimmer 프로그램의 범위를 확장하여 추측된 다각도의 한계를 달성하는 것.

제안 방법

• 비선형 동역학과 측도 강성을 이용해 스텝 스페이스 위에 유도된 작용을 분석함으로써 도함수의 균일한 서브지수적 성장을 증명하는 것.
• Ratner의 정리와 고계수 아벨 군에 대한 최신 측도 강성 결과를 적용하여 도함수 성장도 통제하는 것.
• Lafforgue의 강한 성질 (T)을 적용하여 서브지수적 도함수 성장에서 유도된 불변 리만 계량의 존재를 도출하는 것.
• 단순 군의 구조 이론과 동차 동역학을 활용하여 작용의 정규성 및 스펙트럼 성질을 분석하는 것.
• 계량 $ g_n $ 의 수열을 구성하고 귀류법을 통해 극한에서의 소멸을 배제함으로써 성장에 대한 균일한 하한을 유도하는 것.
• 루트 체계 데이터와 포물형 부분대수의 공진 조건수를 이용하여 임계 다각도를 분류하고 모든 유형의 리 군에 대해 한계를 검증하는 것.

실험 결과

연구 질문

• RQ1 코컴팩트 격자 $ \Gamma < \mathrm{SL}(n,\mathbb{R}) $ 가 다각도가 $ n-1 $ 이하인 컴acts 다각도 $ M $ 에 작용할 경우, 그 작용이 항상 유한 이미지를 가져야 하는가?
• RQ2 고계수 격자에 대한 저차원 다각도 위의 매끄러운 작용에서 도함수의 균일한 서브지수적 성장을 확립할 수 있는가?
• RQ3 서브지수적 도함수 성장과 함께 강한 성질 (T)이 불변 리만 계량의 존재를 암시하는가?
• RQ4 동차 동역학에서의 측도 강성 결과가 비선형 격자 작용에 얼마나 널리 적용 가능한가?
• RQ5 Zimmer의 추측에서 제시된 다각도 한계는 분할 단순 리 군에서의 코컴팩트 격자에 대해 날카로운가?

주요 결과

• $ \Gamma < \mathrm{SL}(n,\mathbb{R}) $ 가 코컴팩트이고 $ \dim M < n-1 $ 이면, 임의의 $ C^2 $ 작용 $ \alpha: \Gamma \to \mathrm{Diff}^2(M) $ 는 유한 이미지를 가져야 한다.
• $ \dim M = n-1 $ 이면, 임의의 $ C^2 $ 체적 보존 작용 $ \alpha: \Gamma \to \mathrm{Diff}^2(M,\omega) $ 는 유한 이미지를 가져야 한다.
• 군 원소의 도함수는 균일하게 서브지수적으로 성장한다: 임의의 $ \varepsilon > 0 $ 에 대해 $ \|D\alpha(\gamma)\| \leq e^{\varepsilon l(\gamma)} $.
• Lafforgue의 강한 성질 (T)을 통해 서브지수적 도함수 성장에서 유도된 불변 리만 계량의 존재가 입증된다.
• 결과는 다른 분할 단순 리 군에서의 코컴팩트 격자로 확장되며, 다각도 한계는 추측된 임계값과 일치한다.
• 최대 포물형 부분대수의 공진 조건수는 각 루트 체계 유형에서 임계 다각도를 결정하며, 모든 고전적 및 예외적 유형에서 한계가 확인된다.