[논문 리뷰] A new proof of Gromov's theorem on groups of polynomial growth

Bruce Kleiner|ArXiv.org|2007. 10. 25.

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

한 줄 요약

이 논문은 다항성장에 대한 그로모프의 정리에 대한 새로운, 자가 포함된 증명을 제시하며, 약간의 다항성장 성질을 갖는 유한 생성 군이 사실상 노름군임을 보여준다. 이 증명은 국소적으로 컴act한 군의 몰티모어-지피프린-야마베의 구조 이론을 피하기 위해, 카일리 그래프에 대한 새로운 파incare 부등식과 힐버트 공간에서의 조화함수 이론을 도입한다. 궁극적으로 다항성장 조화함수의 공간이 유한차원임을 보여주며, 이는 TITS의 대안을 통해 사실상 노름군임을 암시한다.

ABSTRACT

We give a new proof of Gromov's theorem that any finitely generated group of polynomial growth has a finite index nilpotent subgroup. Unlike the original proof, it does not rely on the Montgomery-Zippin-Yamabe structure theory of locally compact groups.

연구 동기 및 목표

• 국소적으로 컴팩트 군의 몰티모어-지피프린-야마베의 구조 이론에 의존하지 않는, 다항성장 군에 대한 그로모프의 정리의 새로운 증명을 제공하는 것.
• 약간의 다항성장 성질을 갖는 군이 사실상 노름군임을 보이기 위해, 그들의 카일리 그래프에서 다항성장 조화함수의 공간의 유한성을 증명하는 것.
• 깊은 구조적 결과를 피하고, 파incare 부등식과 힐버트 공간에서의 조화함수 이론만을 사용하여 사실상 노름군임을 위한 새로운 증명을 유도하는 것.
• 약간의 다항성장 성질을 갖는 군의 카일리 그래프에서 최대 차수 $ d $ 이하의 다항성장 조화함수의 공간이 유한차원임을 보이는 것.
• 등변 조화함수를 사용하여, 약간의 다항성장 성질을 갖는 무한 군이 무한 이미지를 갖는 유한차원 선형 표현 $ G \to GL(n,\mathbb{R}) $을 갖는다는 것을 보이는 것.

제안 방법

• 유한 생성 군에 대한 새로운 파incare 부등식 도입: $ \int_{B(R)} |f - f_R|^2 \leq 8|S|^2 R^2 \frac{V(2R)}{V(R)} \int_{B(3R)} |\nabla f|^2 $, 여기서 $ f_R $ 는 $ B(R) $ 위에서 $ f $ 의 평균이다.
• 이 파incare 부등식을 사용하여, 균일한 두 배율 조건이나 파incare 조건이 없더라도 특정 척도에서 조화함수의 성장에 대한 균일한 상한을 도출하는 것.
• 모크와 카포비치-슈프의 결과를 적용하여, 힐버트 공간 $ \mathcal{H} $ 에서 고정점이 없는 등거리 $ G $-작용과 $ G $-등변 조화함수 $ f: \Gamma \to \mathcal{H} $ 를 구성하는 것.
• 다항성장 조화함수의 유한성에 기반하여 조화함수의 이미지가 유한차원 부분공간에 놓임을 증명하고, 이는 유한차원 선형 표현이 존재하고 이미지가 무한함을 암시한다.
• 성장 차수에 대한 귀납법과 TITS의 대안(또는 애매한 선형군에 대한 샤롬의 정리)을 사용하여, 약간의 다항성장 성질이 사실상 노름군임을 유추하는 것.
• 등거리 힐버트 공간 작용에서 고정점이 존재하지 않음과 에너지 함수의 양의 최소값 존재 사이의 등가성을 확립하며, 이는 성질 (T) 과 조화함수와 연결된다.

실험 결과

연구 질문

• RQ1 그로모프의 다항성장 군에 대한 정리는 국소적으로 컴팩트 군의 몰티모어-지피프린-야마베의 구조 이론에 의존하지 않고 증명될 수 있는가?
• RQ2 내재된 기하학적 부등식만을 사용하여, 약간의 다항성장 성질을 갖는 군의 카일리 그래프에서 다항성장 조화함수의 공간의 유한성은 증명될 수 있는가?
• RQ3 유한차원 부분공간에 이미지가 있는 힐버트 공간으로의 $ G $-등변 조화함수의 존재는 군이 사실상 노름군임을 암시하는가?
• RQ4 조화함수의 유한성과 TITS의 대안을 사용하여, 약간의 다항성장 성질을 갖는 군의 사실상 노름군임을 유도할 수 있는가?
• RQ5 균일한 두 배율 조건을 가정하지 않고, 카일리 그래프에서 함수의 성장을 제어하는 데에 파incare 부등식의 역할은 무엇인가?

주요 결과

• 논문은 임의의 유한 생성 군에 대해 새로운 파incare 부등식을 확립한다: $ \int_{B(R)} |f - f_R|^2 \leq 8|S|^2 R^2 \frac{V(2R)}{V(R)} \int_{B(3R)} |\nabla f|^2 $, 이는 카일리 그래프에서 정의된 임의의 스무스 함수 $ f $ 에 대해 성립한다.
• 약간의 다항성장 성질을 갖는 군의 카일리 그래프에서 최대 차수 $ d $ 이하의 다항성장 조화함수의 공간은, 새로운 파incare 부등식과 특정 척도에서의 균일한 상한을 통해 유한차원임을 보였다.
• 무한한 약간의 다항성장 성질을 갖는 군은, 힐버트 공간의 유한차원 부분공간으로의 $ G $-등변 조화함수의 존재에 기반하여, 무한 이미지를 갖는 유한차원 선형 표현 $ G \to GL(n,\mathbb{R}) $을 갖는다.
• 성장 차수에 대한 귀납법과 TITS의 대안을 사용하여 사실상 노름군임을 보였으며, 이는 몰티모어-지피프린-야마베의 구조 이론을 피한 그로모프의 정리에 대한 새로운 증명을 제공한다.
• 증명은 등거리 힐버트 공간 작용에서 고정점이 존재하지 않음과 에너지 함수의 양의 최소값 존재 사이의 등가성에 기반하며, 이는 성질 (T) 과 조화함수와 연결된다.
• 결과는 약간의 다항성장 군으로까지 확장되며, 그로모프의 정리의 윌키-반 덴 드라이스의 정밀화가 유클리드 등면적 부등식과 같은 더 넓은 맥락에서 적용 가능함을 보였다.