[논문 리뷰] Spectral rigidity of group actions on homogeneous spaces

Bachir Bekka|arXiv (Cornell University)|2016. 02. 09.

Advanced Operator Algebra Research참고 문헌 78인용 수 6

한 줄 요약

이 논문은 마르코프 연산자와 히쳐 타입 부등식을 사용하여 동차 공간 위의 군 작용에 대한 스펙트럴 간극 성질을 확립하며, 랜덤 행렬 곱의 지수적 혼합성과 성장률을 증명한다. 주요 결과로는 $ PGL_2(\text{F}_q((t^{-1}))) $ 가 $ PGL_2(\text{F}_q((t^{-1}))) / PGL_2(\text{F}_q[t]) $ 위에 작용할 때의 스펙트럴 간극에 대한 첫 번째 간단한 증명을 제시한다. 이 증명은 스펙트럴 반경 분석과 $ L^p $-약한 포함을 사용한다.

ABSTRACT

Actions of a locally compact group G on a measure space X give rise to unitary representations of G on Hilbert spaces. We review results on the rigidity of these actions from the spectral point of view, that is, results about the existence of a spectral gap for associated averaging operators and their consequences. We will deal both with spaces X with an infinite measure as well as with spaces with an invariant probability measure. The spectral gap property has several striking applications to group theory, geometry, ergodic theory, operator algebras, graph theory, theoretical computer science, etc.

연구 동기 및 목표

• 동차 공간 위의 군 작용에 대한 스펙트럴 간극 성질을 확립하며, 특히 무한 또는 유한 불변 측도를 가진 경우를 포함한다.
• 스펙트럴 간극의 부재를 통해 공액성 작용을 특성화하며, 불변 평균과 임계 지수와 연결한다.
• Markov 연산자와 기하적 추정을 사용하여 $ G = PGL_2(\text{F}_q((t^{-1}))) $ 가 $ G / PGL_2(\text{F}_q[t]) $ 위에 작용할 때의 스펙트럴 간극에 대한 새로운 간단한 증명을 제공한다.
• 스펙트럴 반경과 $ L^p $-약한 포함을 통해 스펙트럴 간극을 랜덤 행렬 곱의 리아풀로프 지수와 지수적 성장률에 연결하며, 특히 $ SL_d(\text{R}) $ 의 경우를 다룬다.

제안 방법

• 측도 $ \nu $ 에 대해 $ L^2_0(X,m) $ 위의 평균 연산자(마르코프 연산자) $ \tilde{\rho}_X(\nu) $ 를 사용하며, 스펙트럴 반경 $ r_{\text{spec}}(\tilde{\rho}_X(\nu)) < 1 $ 이 스펙트럴 간극의 기준이 된다.
• LaSo88과 SiJe89의 마르코프 체인에 대한 히쳐 타입 부등식을 적용하여 스펙트럴 간극을 공간 내 기하학적 확장과 연결한다.
• $ L^p $-약한 포함 기법을 활용: $ \rho_V $ 가 $ \rho_G $ 에 약하게 포함됨을 보이고, $ \rho_V \boxtimes \bar{\rho}_V \trianglelefteq \rho_G $ 를 사용하여 $ \tilde{\rho}_V(\nu) $ 를 $ \tilde{\rho}_G(\nu)^{1/2} $ 로 유계화한다.
• 부등식 $ \frac{1}{\tilde{\rho}_V(\nu)^n(1_A, f_\nu)} \to \text{exp}(-n \frac{\text{log} r_{\text{spec}}(\tilde{\rho}_V(\nu))}{d+\nu}) $ 를 사용하여 리아풀로프 지수의 상한을 유도한다.
• $ \tilde{\rho}_V(\nu^n)(1_A, f_\nu) \to \text{exp}(-n \frac{\text{log} r_{\text{spec}}(\tilde{\rho}_V(\nu))}{d+\nu}) $ 를 로그 볼록성과 노름 감쇠를 통해 추정한다.
• 스펙트럴 간극 문제를 특히 자유군인 이산 부분군 위의 정규 표현의 노름으로 환원하며, 자유군의 두 생성자에 대해 $ \tilde{\rho}_\nu(\nu) = \frac{\tilde{\rho}_\nu(\nu)}{2} $ 를 사용한다.

실험 결과

연구 질문

• RQ1 지역적으로 컴act한 군 $ G $ 가 동차 공간 $ X $ 위에 작용할 때, 어떤 조건에서 스펙트럴 간극 성질을 갖는가?
• RQ2 측도 $ \nu $ 를 갖는 군 $ G $ 와 관련된 마르코프 연산자의 스펙트럴 반경을 통해 스펙트럴 간극을 어떻게 특성화할 수 있는가?
• RQ3 $ L^p $-약한 포함과 $ L^2_0(X,m) $ 위 단위 표현의 스펙트럴 반경을 유계화하는 데 있어 정규 표현의 노름이 수행하는 역할은 무엇인가?
• RQ4 $ PGL_2(\text{F}_q((t^{-1}))) $ 가 $ PGL_2(\text{F}_q((t^{-1}))) / PGL_2(\text{F}_q[t]) $ 위에 작용할 때, 간단한 방법으로 스펙트럴 간극 성질을 확립할 수 있는가?
• RQ5 $ SL_2(\text{R}) $ 에서 두 파라볼릭 행렬에 대해 대칭 측도가 지지되는 경우, 최상위 리아풀로프 지수 $ \tilde{\rho}_1(\nu) $ 의 정확한 하한은 무엇인가?

주요 결과

• $ G = PGL_2(\text{F}_q((t^{-1}))) $ 가 $ X = PGL_2(\text{F}_q((t^{-1}))) / PGL_2(\text{F}_q[t]) $ 위에 작용할 때 스펙트럴 간극 성질이 성립하며, 히쳐 타입 부등식과 마르코프 연산자 분석을 통해 간단한 방법으로 증명된다.
• $ \nu = \frac{1}{4}(\nu_a + \nu_b + \nu_{a^{-1}} + \nu_{b^{-1}}) $ 이고 $ a = \begin{pmatrix}1&2\\0&1\end{pmatrix} $ 일 때, 최상위 리아풀로프 지수는 $ \tilde{\rho}_1(\nu) \neq \frac{1}{2} \text{log}(\frac{2}{\text{sqrt}(3)}) \neq 0.015617 $ 를 만족하며, 이는 랜덤 행렬 곱의 지수적 성장을 시사한다.
• 스펙트럴 반경 $ r_{\text{spec}}(\tilde{\rho}_V(\nu)) $ 는 $ \tilde{\rho}_V(\nu^n)(1_A, f_\nu) $ 의 지수적 감쇠 속도를 제어하며, $ \text{limsup}_n |\tilde{\rho}_V(\nu^n)(1_A, f_\nu)|^{1/n} \to r_{\text{spec}}(\tilde{\rho}_V(\nu)) $ 를 만족하여 스펙트럴 간극과 혼합 속도를 연결한다.
• $ L^2(\text{R}^2) $ 위의 표현 $ \rho_V $ 는 $ SL_2(\text{R}) $ 의 정규 표현 $ \rho_G $ 에 약하게 포함되며, $ \rho_V \boxtimes \bar{\rho}_V $ 는 $ \rho_G $ 의 배수에 포함되어 있어 $ \tilde{\rho}_G(\nu)^{1/2} $ 를 통해 노름 유계화가 가능하다.
• 자유군 $ \tilde{\rho}_\nu $ 가 두 생성자에 대해 $ \tilde{\rho}_\nu(\nu) = \frac{\tilde{\rho}_\nu(\nu)}{2} $ 를 만족하며, 따라서 $ \tilde{\rho}_V(\nu) \neq \frac{\tilde{\rho}_\nu(\nu)}{2} = \frac{\tilde{\rho}_\nu(\nu)}{2} $ 이고, 이에 따라 $ \tilde{\rho}_V(\nu) \neq \frac{\tilde{\rho}_\nu(\nu)}{2} $ 를 유도한다.
• 스펙트럴 간극은 $ \text{E}[f(S_n(x))] $ 가 $ \tilde{\rho}_X(f) $ 에 $ L^2 $ 에서 지수적 수렴함을 의미하며, 수렴 속도는 $ \tilde{\rho}_X(\nu)^n $ 이다. 이는 에르고딕 이론에서의 빠른 혼합성을 확인한다.