[논문 리뷰] Transience of algebraic varieties in linear groups and application to generic Zariski density

Richard Aoun|arXiv (Cornell University)|2011. 03. 04.

Advanced Operator Algebra Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 선형군 내의 적절한 대수적 부분다양체에서 비원소적 랜덤 워크의 지수적 탈출 속도를 확립한다. 특히 $SL_2(\mathbb{R})$와 $\mathbb{R}$ 위의 단순형 분할 대수적 군에서 이를 다룬다. 무작위 행렬 곱의 이론과 Kingman의 하향적 에르고딕 정리에 기반한 확률적 방법을 사용하여, 이러한 워크가 거의 확실하게 고정된 임의의 적절한 대수적 다양체를 떠남을 증명하며, 이는 원소가 서로 독립적인 워크에 의해 생성된 랜덤 부분군의 일반적인 조르지 밀도 결과로 이어진다.

ABSTRACT

We study the transience of algebraic varieties in linear groups. In particular, we show that a "non elementary" random walk in SL_2(R) escapes exponentially fast from every proper algebraic subvariety. We also treat the case where the random walk is on the real points of a semi-simple split algebraic group and show such a result for a wide family of random walks. As an application, we prove that generic subgroups (in some sense) of linear groups are Zariski dense.

연구 동기 및 목표

• 비원소적 랜덤 워크가 선형군 내에서 대수적 부분다양체에서의 이탈성(transience)을 조사하는 것.
• 복귀 확률에 대한 Kesten의 지수 감쇠 결과를 적절한 대수적 부분다양체에서의 탈출으로 확장하는 것.
• 단순형 대수적 군에서 일반적인 조르지 밀도를 위한 확률적 기준을 설정하는 것.
• 산술적 체계나 유한 생성성에 의존하지 않는, 산술적 체계 기법의 비산술적 확률적 대안을 제공하는 것.

제안 방법

• Weyl 침대 내에서 라플라스 벡터 $Liap(\mu)$를 정의하기 위해 랜덤 행렬 곱 이론과 Kingman의 하향적 에르고딕 정리를 활용한다.
• 카르탕 분해와 지수 모멘트 조건을 적용하여 강한 수렴성과 큰 편차 추정치를 확보한다.
• 표현 이론적 구성 방법을 사용하여 조르지 밀도가 없는 상태를 $\mathbf{G} \times \mathbf{G}$ 상의 트레이스 함수의 영집합으로 표현한다.
• 조르지 밀도 문제를 랜덤 워크가 트레이스 함수의 영이 되는 확률의 감쇠로 환원한다.
• 하향적 에르고딕 정리를 적용하여, 트레이스 함수의 정규화된 로그가 거의 확실하게 양의 라플라스 지수로 수렴함을 보인다.
• 크기 편차 부등식을 적용하여, 워크가 적절한 부분다양체에 머무르는 확률이 지수적으로 감소함을 보인다.

실험 결과

연구 질문

• RQ1 비원소적 랜덤 워크가 $SL_2(\mathbb{R})$에서 모든 적절한 대수적 부분다양체에서 지수적 속도로 탈출하는가?
• RQ2 대수적 부분다양체에서의 탈출 현상은 $\mathbb{R}$ 위의 단순형 분할 대수적 군으로 일반화될 수 있는가?
• RQ3 단순군의 두 조르지 밀도 부분군에서 두 개의 독립된 랜덤 워크를 수행할 때, 조르지 밀도가 일반적인가?
• RQ4 산술적 체계나 유한 생성성에 의존하지 않고, 산술적 체계 기법을 대체할 수 있는 확률적 방법을 통해 일반적인 조르지 밀도를 증명할 수 있는가?

주요 결과

• 임의의 비상수 다항식 $P$에 대해 $SL_2(\mathbb{R})$의 행렬 성분에서, $\frac{1}{n}\log|P(S_n)|$이 거의 확실하게 양수인 $\lambda > 0$로 수렴하며, 이는 모든 적절한 대수적 부분다양체에서의 지수적 탈출을 의미한다.
• 모든 적절한 대수적 부분다양체 $\mathcal{V}$에 대해 $\mathbb{P}(S_n \in \mathcal{V})^{1/n}$의 $\limsup$는 1보다 작다. 이는 이탈성의 증명이다.
• $SL_2(\mathbb{R})$에서는 랜덤 워크가 적절한 대수적 부분다양체에 머무르는 확률이 지수적으로 빠르게 감소한다.
• $SL_d(\mathbb{R})$ 내 두 조르지 밀도 부분군 $\Gamma_1, \Gamma_2$에 대해, 지수 모멘트를 갖는 확률 측도가 존재하여, 두 개의 독립된 랜덤 워크에 의해 생성된 부분군이 조르지 밀도이자 자유군일 확률이 $1 - c^n$ 이상이 되도록 할 수 있다. 여기서 $c \in (0,1)$이다.
• $SL_2(\mathbb{R})$에서는 결과가 강화되며, 임의의 이러한 측도 $\mu_1, \mu_2$에 대해, 조르지 비밀도일 확률이 지수적으로 감소한다.
• 이 방법은 자유이고 조르지 밀도인 부분군이 랜덤 워크로부터 일반적으로 유도됨을 보여주는, 티츠의 대안에 대한 일반적 형태의 확률적 증명을 제공한다.