[논문 리뷰] A functional analysis proof of Gromov's polynomial growth theorem

Narutaka Ozawa|arXiv (Cornell University)|2015. 10. 14.

Geometric and Algebraic Topology참고 문헌 13인용 수 5

한 줄 요약

이 논문은 Gromov의 다항성장 정리에 대한 기존의 기하학적 증명 외에 기능해석학적 접근을 사용하는 새로운 증명을 제시한다. 이 증명은 유한 생성된 군이 느린 엔트로피 성장을 보일 경우 Shalom의 성질 $H_{\mathrm{FD}}$를 만족함을 보이며, 이는 유한 지수의 노름군이 존재함을 의미한다. 증명은 조화 1-코호몰로지, 축소 코호몰로지, 그리고 군 위의 랜덤 워크의 스펙트럼 분석을 활용한다.

ABSTRACT

The celebrated theorem of Gromov asserts that any finitely generated group with polynomial growth contains a nilpotent subgroup of finite index. Alternative proofs have been given by Kleiner and others. In this note, we give yet another proof of Gromov's theorem, along the lines of Shalom and Chifan--Sinclair, which is based on the analysis of reduced cohomology and Shalom's property H_FD.

연구 동기 및 목표

• 기능해석학적 도구를 활용하여 다항성장을 보이는 유한 생성 군에 대한 Gromov의 정리에 대한 새로운 증명을 제공한다.
• 느린 엔트로피 성장을 보이는 군이 Shalom의 성질 $H_{\mathrm{FD}}$를 만족함을 입증함으로써 Gromov의 정리로 이르는 핵심 단계를 확립한다.
• 기하학적 성장 조건(다항성장 또는 느린 엔트로피)을 조화 1-코호몰로지 함수를 통해 코호몰로지 성질과 연결한다.
• 비자명한 축소 코호몰로지를 가진 약한 혼합 단위 표현에서, 느린 엔트로피 조건 하에 코호몰로지 함수의 부분선형 성장이 반드시 발생함을 보인다.
• 랜덤 워크, 코호몰로지, 스펙트럼 이론의 시각을 군의 성장과 구조에 대한 통합적 관점에서 통합한다.

제안 방법

• 감소 코호몰로지 $\overline{H^1}(G,\pi)$를 중심 도구로 사용하며, 대칭이고 유한지지 확률 측도 $\mu$에 대해 이와 $\mu$-조화 1-코호몰로지의 공간으로 식별한다.
• 힐버트 공간 $\mathcal{H}$ 위에서 랜덤 워크 연산자 $T = \sum_x \mu(x)\pi_x$ 의 스펙트럼 이론을 적용하며, 약한 혼합 표현에서 정적 벡터가 존재하지 않는 점을 활용한다.
• 초곱 기법과 스펙트럼 부분공간을 사용하여 군 $G$가 카즈한 성질 (T)를 갖지 않을 경우 비영인 $\mu$-조화 1-코호몰로지를 구성한다.
• $\mu^{*n}$ 하에서 $b(x) \otimes \bar{b}(x)$ 의 $L^2$-노름을 분석하며, 표현 $\pi$ 가 약한 혼합일 경우 이 노름이 부분선형으로 감소함을 보인다.
• 통제 가능한 F{\textbackslash}를 사용한다.

실험 결과

연구 질문

• RQ1 유한 생성 군에서 느린 엔트로피 성장은 Shalom의 성질 $H_{\mathrm{FD}}$를 유도하는가?
• RQ2 약한 혼합 표현에서 비자명한 축소 코호몰로지의 존재는 군의 구조적 제약 조건을 유도할 수 있는가?
• RQ3 느린 엔트로피 성장과 조화 1-코호몰로지의 부분선형 성장 간의 관계는 무엇인가?
• RQ4 랜덤 워크 연산자의 스펙트럼 행동은 약한 혼합 표현에서 $\mu$-조화 코호몰로지의 소멸과 어떻게 관련되는가?
• RQ5 느린 엔트로피 성장은 군 성장 정리의 맥락에서 약한 다항성장과 동치인가?

주요 결과

• 느린 엔트로피 성장을 보이는 유한 생성 군은 Shalom의 성질 $H_{\mathrm{FD}}$를 만족한다. 즉, 비자명한 축소 코호몰로지를 가진 임의의 단위 표현은 유한 차원의 불변 부분공간을 가져야 한다.
• 약한 혼합 표현에서 $\mu$-조화 1-코호몰로지 함수 $b$ 에 대해 $\frac{1}{n}\left\|\sum_x \mu^{*n}(x)(b(x)\otimes \bar{b}(x))\right\|_{{\mathcal{H}}\otimes\bar{{\mathcal{H}}}} \to 0$ 이다. $n \to \infty$ 일 때.
• 느린 엔트로피 성장 조건 하에서 $\|b(g)\|$ 는 $|g|$ 에 대해 부분선형으로 증가한다. 즉, $\|b(g)\| \leq f(|g|)$ 를 만족하는 어떤 함수 $f$ 가 존재하며, 이때 $f(n)/n \to 0$ 이다.
• 군이 통제 가능한 F{\textbackslash}