[論文レビュー] A new proof of Gromov's theorem on groups of polynomial growth

Bruce Kleiner|ArXiv.org|Oct 25, 2007

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本論文は、Gromovの多項式成長群に関する定理の新しい自己完結的証明を提示し、弱く多項式成長を示す任意の有限生成群がほとんどニルポテンティであることを確立している。この証明は、局所コンpakト群のMontgomery-Zippin-Yamabe構造論を避けるために、ケイリー図のための新規なPoincaré不等式とヒルベルト空間における調和写像理論を導入し、最終的に多項式成長を示す調和関数の空間が有限次元であることを示している。これにより、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.

研究の動機と目的

• 局所コンパクト群のMontgomery-Zippin-Yamabe構造論に依存しない、Gromovの多項式成長群に関する定理の新しい証明を提供すること。
• 弱い多項式成長を示す群がほとんどニルポテンティであることを、ケイリー図上の多項式成長調和関数の空間の有限次元性を証明することで確立すること。
• 深いつながりのない構造的結果を避けて、Poincaré不等式とヒルベルト空間における調和写像理論のみを用いて、ほとんどニルポテンティ性の新しい証明を導出すること。
• 弱い多項式成長群のケイリー図上での、次数 $ d $ 以下の多項式成長を示す調和関数の空間が有限次元であることを示すこと。
• 等変調和写像を用いて、任意の無限大の弱い多項式成長群が、無限大の像をもつ有限次元線形表現 $ G \to GL(n,\mathbb{R}) $ を持つことを確立すること。

提案手法

• 有限生成群のための新規なPoincaré不等式の導入：$ \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 $ の平均。
• このPoincaré不等式を用いて、一様ダブルイングやPoincaré条件を仮定しない状況でも、特定のスケールにおける調和関数の成長の均一なバインドを導出すること。
• MokおよびKapovich-Schuppの結果を応用して、ヒルベルト空間 $ \mathcal{H} $ における固定点のない等長的 $ G $-作用と、$ G $-等変な調和写像 $ f: \Gamma \to \mathcal{H} $ を構成すること。
• 多項式成長調和関数の有限次元性を用いて、調和写像の像が有限次元部分空間に含まれることを証明し、これにより無限大の像をもつ有限次元線形表現の存在を示すこと。
• 成長次数に関する帰納法とTitsの代替定理（またはアメニタリ線形群に関するShalomの定理）を用いて、弱い多項式成長がほとんどニルポテンティ性を示すことを導出すること。
• 等長的ヒルベルト空間作用における固定点の非存在性とエネルギー関数の正の最小値の存在性との間の同値性を確立し、これによりProperty (T) と調和写像に接続すること。

実験結果

リサーチクエスチョン

• RQ1 Gromovの多項式成長群に関する定理は、局所コンパクト群のMontgomery-Zippin-Yamabe構造論に依存せずに証明可能か？
• RQ2 内在的な幾何的不等式のみを用いて、弱い多項式成長群のケイリー図上での多項式成長調和関数の空間の有限次元性を確立することは可能か？
• RQ3 ヒルベルト空間への有限次元部分空間への $ G $-等変な調和写像の存在は、群がほとんどニルポテンティであることを示唆するか？
• RQ4 調和写像の有限次元性とTitsの代替定理を用いて、弱い多項式成長群のほとんどニルポテンティ性を導出可能か？
• RQ5 一様ダブルイングを仮定しない状況で、Poincaré不等式はケイリー図上の関数の成長をどのように制御するか？

主な発見

• 本論文は、任意の有限生成群に対して新しいPoincaré不等式を確立した：$ \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 $ 以下の多項式成長を示す調和関数の空間は、新規なPoincaré不等式と特定スケールにおける均一バインドを用いて有限次元であることが示された。
• 任意の無限大の弱い多項式成長群は、ヒルベルト空間の有限次元部分空間への $ G $-等変な調和写像の存在から導かれる、無限大の像をもつ有限次元線形表現 $ G \to GL(n,\mathbb{R}) $ を持つ。
• 成長次数に関する帰納法とTitsの代替定理を用いて、群がほとんどニルポテンティであることが示され、Montgomery-Zippin-Yamabe構造論を用いないGromovの定理の新しい証明が得られた。
• 証明は、等長的ヒルベルト空間作用における固定点の非存在性とエネルギー関数の正の最小値の存在性との同値性に依存しており、これによりProperty (T) と調和写像に接続される。
• 結果は弱い多項式成長群にまで拡張可能であり、Gromovの定理のWilkie-Van Den Driesの修正版が、ユークリッドの等周不等式などのより広い文脈にも適用可能であることが示された。