[논문 리뷰] On the spectral theory of groups of affine transformations of compact nilmanifolds

Bachir Bekka, Yves Guivarc’h|arXiv (Cornell University)|2011. 06. 14.

Advanced Algebra and Geometry참고 문헌 47인용 수 16

한 줄 요약

이 논문은 컴팩트 닐만이폴드 위의 아핀 변환의 가산 부분군에 대한 스펙트럴 간극 기준을 수립한다. 이는 이러한 작동이 스펙트럴 간극을 가질 조건은, 최대 토러스 인자 $ T $ 의 진부분 $ H $-불변 부분토러스 $ S $ 가 존재하지 않으며, $ H $ 가 $ \mathrm{Aut}(T/S) $ 에 사영될 때 유한지수의 아벨 부분군을 가지지 않는 경우임을 보여준다. 이 결과는 스펙트럴 간극을 강한 에르고딕성과 연결하고, 토러스 인자에서의 작동을 통해 에르고딕성과 강한 혼합성을 특성화한다.

ABSTRACT

Let $N$ be a connected and simply connected nilpotent Lie group, $\\Lambda$ a lattice in $N$, and $X=N/\\Lambda$ the corresponding nilmanifold. Let $Aff(X)$ be the group of affine transformations of $X$. We characterize the countable subgroups $H$ of $Aff(X)$ for which the action of $H$ on $X$ has a spectral gap, that is, such that the associated unitary representation $U$ of $H$ on the space of functions from $L^2(X)$ with zero mean does not weakly contain the trivial representation. Denote by $T$ the maximal torus factor associated to $X$. We show that the action of $H$ on $X$ has a spectral gap if and only if there exists no proper $H$-invariant subtorus $S$ of $T$ such that the projection of $H$ on $Aut (T/S)$ has an abelian subgroup of finite index. We first establish the result in the case where $X$ is a torus. In the case of a general nilmanifold, we study the asymptotic behaviour of matrix coefficients of $U$ using decay properties of metaplectic representations of symplectic groups. The result shows that the existence of a spectral gap for subgroups of $Aff(X)$ is equivalent to strong ergodicity in the sense of K.Schmidt. Moreover, we show that the action of $H$ on $X$ is ergodic (or strongly mixing) if and only if the corresponding action of $H$ on $T$ is ergodic (or strongly mixing).

연구 동기 및 목표

• 컴팩트 닐만이폴드 위에서 스펙트럴 간극을 보이는 가산 부분군 $ H $ 의 특성화
• 최대 토러스 인자 $ T $ 의 구조에 기반한 정확한 역학적 조건을 도출하여, $ H $ 의 작동이 스펙트럴 간극을 갖는지 여부를 결정하는 것
• K. 샤프트의 강한 에르고딕성 개념에서 스펙트럴 간극 성질을 연결하여, 토러스 시스템에서 알려진 결과를 닐만이폴드로 확장하는 것
• 에르고디시티와 강한 혼합성이 $ \Lambda\backslash N $ 에서의 $ H $ 의 작동과 $ T $ 에서의 작동에서 동일한 성질을 갖는다는 것을 증명하는 것

제안 방법

• 최대 토러스 인자 $ T $ 의 구조를 이용하여, $ \Lambda\backslash N $ 이 토러스인 경우로의 환원
• 심플렉틱 군의 메타플레틱 표현을 사용하여, $ L^2_0(\Lambda\backslash N) $ 에서의 유니터리 표현 $ U^0 $ 의 행렬 계수의 감쇠를 분석
• 스펙트럼 반경 기준의 적용: $ H $ 에서의 비주기 측도 $ \mu $ 에 대해 $ r(U^0(\mu)) < 1 $ 이며, 이는 스펙트럴 간극과 동치임
• 최대 토러스 인자 $ T $ 에서의 작동 분석, 특히 부분토러스 $ S $ 에 대해 $ H $ 가 $ \mathrm{Aut}(T/S) $ 에 사영될 때의 성질
• $ H $-불변 부분토러스 $ S $ 가 아벨 몫 $ \mathrm{Aut}(T/S) $ 를 가지면 거의 불변 벡터가 생기며, 이는 스펙트럴 간극을 방해함을 이용
• 노름프레틱 리 군과 격자 구조를 활용하여 문제를 유한지수 부분군으로 환원하고, 몫에서의 컴팩턴스 추론을 적용

실험 결과

연구 질문

• RQ1 가산 부분군 $ H \leq \mathrm{Aff}(\Lambda\backslash N) $ 이 컴팩트 닐만이폴드 $ \Lambda\backslash N $ 에서 작동할 때 스펙트럴 간극을 가질 조건은 무엇인가?
• RQ2 $ \Lambda\backslash N $ 의 최대 토러스 인자 $ T $ 에서의 $ H $ 의 작동에 대해 스펙트럴 간극이 존재하는 것과 동치인 역학적 조건은 무엇인가?
• RQ3 스펙트럴 간극 성질은 닐만이폴드 작동의 맥락에서 강한 에르고딕성과 어떻게 관련되어 있는가?
• RQ4 $ \Lambda\backslash N $ 에서의 $ H $ 의 에르고딕성 또는 강한 혼합성이 $ T $ 에서의 작동과 동일한 성질을 갖는 데 필요한 조건은 무엇인가?
• RQ5 행렬 계수 감쇠와 메타플레틱 표현 이론은 스펙트럴 간극을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 부분군 $ H \leq \mathrm{Aff}(\Lambda\backslash N) $ 의 작동이 스펙트럴 간극을 가질 조건은, 최대 토러스 인자 $ T $ 의 진부분 $ H $-불변 부분토러스 $ S \subset T $ 가 존재하지 않으며, $ H $ 가 $ \mathrm{Aut}(T/S) $ 에 사영될 때 유한지수의 아벨 부분군을 가지지 않는 경우이다.
• 스펙트럴 간극은 K. 샤프트의 강한 에르고딕성과 동치이며, 이는 닐만이폴드 시스템에서 이 성질의 역학적 특성화를 제공한다.
• $ H $ 가 $ \Lambda\backslash N $ 에서 에르고딕일 조건은, $ H $ 가 최대 토러스 인자 $ T $ 에서 작동할 때 에르고딕일 조건과 동치이다.
• $ H $ 가 $ \Lambda\backslash N $ 에서 강한 혼합성을 가질 조건은, $ H $ 가 $ T $ 에서 작동할 때 강한 혼합성을 가질 조건과 동치이다.
• $ L^2_0(\Lambda\backslash N) $ 에서의 유니터리 표현 $ U^0 $ 의 행렬 계수가 $ c_0(H) $ 에 속할 조건은, 동일한 조건 하에서 토러스 인자 $ T $ 에서의 해당 행렬 계수도 $ c_0(H) $ 에 속할 조건과 동치이다.
• 증명은 메타플레틱 표현을 통한 행렬 계수 감쇠와 몫에서의 컴팩턴스 추론에 기반하며, $ H $ 가 스펙트럴 간극을 갖는 경우 $ R/\Delta $ 가 유한함을 보여준다.