代数学

幾何学的群論

有限生成群を幾何学的対象——ケイリーグラフと語距離、擬等長の違いを除いて研究される——へと変える理論であり、多項式増大群に関するグロモフの分類を証明し、双曲群を定義できるほど強力である。

直観群を、歩き回れる図形に変える

「動き」がごく短いリストの決まった掛け算だけであり、それをホームポジションから何度も繰り返し適用するような群を想像してみよう。有限生成群はすべて、密かにこの姿をしている：生成系 $S$ を選び、ケイリーグラフを描く——群のすべての元に対して1つの頂点を対応させ、各生成元 $s \in S$ について $g$ から $gs$ へ辺を張る。こうして抽象的な代数的対象が、描いて歩き回れる具体的な図形へと変わる。語距離 $d_S(g,h)$ とは、 $g$ から $h$ へ移動するのに掛け合わせる必要のある生成元の最小個数——すなわちケイリーグラフにおける両者間の最短路の長さそのものである。代数と幾何のあいだをこのように行き来させることこそ、幾何学的群論の考え方の核心である。

例: $\mathbb{Z}/6\mathbb{Z}$ のケイリーグラフ：手で描ける六角形

$6$ を法とする加法による巡回群 $\mathbb{Z}/6\mathbb{Z} = \{0,1,2,3,4,5\}$ を、生成系 $S = \{1,5\}$ （すなわち $+1$ とその逆元 $-1 \equiv 5$ ）とともに考える。6つの元を点として描き、各 $g$ について、 $g$ と $g+1$ 、 $g-1$ を結んでみよう。どんな図形が現れるか、また語距離 $d_S(0,3)$ はいくつになるか。

解答

各頂点 $g$ はその両隣 $g \pm 1 \pmod 6$ にのみ結ばれているので、ケイリーグラフはちょうど六角形（ $6$ -サイクル）となる——六つの頂点が環状に並んでおり、時計の算術というおなじみの図と一致する。 $0$ から $3$ へ行くには、時計回りに進む方法（ $0 \to 1 \to 2 \to 3$ 、長さ $3$ ）と反時計回りに進む方法（ $0 \to 5 \to 4 \to 3$ 、こちらも長さ $3$ ）があり、 $3$ はちょうど六角形の反対側にあるためこれより短い経路は存在しない。したがって $d_S(0,3) = 3$ であり、一般には $d_S(0,k) = \min(k,\, 6-k)$ となる。

大学描像を定式化する：ケイリーグラフと語距離

定義: ケイリーグラフ

群 $G$ と対称な生成系 $S \subseteq G$ （ $S = S^{-1}$ 、 $e \notin S$ ）を考える。ケイリーグラフ $\mathrm{Cay}(G,S)$ は頂点集合を $G$ とし、各 $g \in G$ と各 $s \in S$ について $g$ と $gs$ を結ぶ辺を持つ。異なる有限生成系を選ぶと近くで見た図は変わるが——これから見るように——粗い幾何は決して変わらない。

定義: 語距離

$g,h \in G$ に対して、語距離 $d_S(g,h)$ とは $g^{-1}h$ を綴る $S$ 上の語のうち最短のものの長さである：

d_S(g,h) = \min\{\, n : g^{-1}h = s_1 s_2 \cdots s_n,\ s_i \in S \,\}

これはまさに $\mathrm{Cay}(G,S)$ におけるグラフ距離である： $d_S(g,h)$ は $g$ から $h$ への最短経路の辺の数を数えている。この距離は左不変であり、任意の $k \in G$ について $d_S(kg,kh) = d_S(g,h)$ が成り立つ。なぜなら $k$ による左からの掛け算は $\mathrm{Cay}(G,S)$ の頂点を置換しつつ、すべての辺を保つからである。

有限群がとりうるケイリーグラフは有限通りしかないが、無限群のケイリーグラフは生成系によってかなり異なって見える—— $\mathbb{Z}$ を $S = \{1\}$ で描けば両側に無限に伸びる直線になり、 $S = \{2,3\}$ で描けば局所的な様子はまったく変わるが、遠くから見ればやはり「同じ」直線に「見える」。擬等長写像はこの「遠くから見れば同じ」という感覚を厳密にしたものであり、幾何学的群論における最も基本的な同値関係である。

定義: 擬等長写像

距離空間の間の写像 $f : X \to Y$ が ** $(\lambda,\varepsilon)$ -擬等長埋め込み**（ $\lambda \ge 1$ 、 $\varepsilon \ge 0$ ）であるとは、すべての $x,y \in X$ に対して次が成り立つことをいう：

\tfrac{1}{\lambda}\, d_X(x,y) - \varepsilon \;\le\; d_Y(f(x),f(y)) \;\le\; \lambda\, d_X(x,y) + \varepsilon

さらに $Y$ のすべての点が像 $f(X)$ から距離 $\varepsilon$ 以内にある（像が粗く稠密である）とき、これは擬等長写像であるという。同じ群 $G$ の任意の2つの有限生成系 $S, S'$ は互いに擬等長なケイリーグラフを与える——適当な $\lambda$ をとれば $G$ 上の恒等写像自身がその役割を果たす——ので、すべての有限生成群には、選んだ生成系に依存しない、well-defined な粗い幾何が備わっている。幾何学的群論が実際に研究しているのは、個々のケイリーグラフではなく、まさにこの粗い幾何である。

大学距離空間へと橋を架け直す：ミルナー・シュヴァルツの補題

定理: ミルナー・シュヴァルツの補題

$G$ が固有測地距離空間 $X$ に、等長写像として、真性不連続かつ余コンパクトに（商 $X/G$ がコンパクトになるように）作用しているとする。このとき $G$ は有限生成であり、任意の基点 $x_0 \in X$ について、軌道写像 $g \mapsto g\cdot x_0$ は語距離を備えた $G$ から $X$ への擬等長写像となる。

なぜ正しいのか?

$G$ は等長写像として作用するため、 $X$ のある点と、その $G$ による移動先の点とを区別できない。また作用が余コンパクトであるため、 $X$ のある有界な断片を $G$ でコピーするだけですでに $X$ 全体を覆ってしまう。したがって、たった1点の軌道だけで $X$ の粗い形全体をすでに捉えていることになる——抽象的な群 $G$ を調べることと、それが作用する具体的な空間 $X$ を調べることは、有界な誤差の範囲で互いに置き換え可能になる。これこそ、距離空間の幾何学と群論とが立場を入れ替えることを可能にする定理である。

証明

$x_0 \in X$ を固定し、 $X/G$ のコンパクト性を用いて、閉球 $\bar B(x_0,R)$ の $G$ による像が $X$ を覆うように十分大きな $R$ を選ぶ。 $S = \{\, g \in G : g \ne e,\ d_X(x_0,gx_0) \le 2R+1 \,\}$ とおくと、真性不連続性によりこれは有限集合である。 $S$ が $G$ を生成することを見るには： $g \in G$ を任意にとり、 $x_0$ から $g x_0$ への測地線上に間隔が高々 $2R$ となるように点 $x_0 = g_0 x_0, g_1 x_0, \dots, g_n x_0 = g x_0$ を選ぶ。隣り合う各対は $d_X(g_{i-1}x_0, g_i x_0) \le 2R$ を満たすので $g_{i-1}^{-1} g_i \in S$ であり、これら $n \le d_X(x_0, g x_0)/(2R) + 1$ 個の $S$ の元をかけ合わせると $g$ が得られる。したがって $R$ のみに依存する定数 $C_1$ について $d_S(e,g) \le C_1\, d_X(x_0,gx_0) + C_1$ が成り立つ。逆に、各生成元は $x_0$ を高々 $2R+1$ しか動かさないので $d_X(x_0,gx_0) \le (2R+1)\, d_S(e,g)$ である。この2つの不等式により $g \mapsto g x_0$ は適当な $\lambda,\varepsilon$ に対する $(\lambda,\varepsilon)$ -擬等長埋め込みであることが分かり、余コンパクト性（ $X$ のすべての点は $x_0$ のある $G$ による像から距離 $R$ 以内にある）によりその像は粗く稠密になる——よってこれは擬等長写像であり、 $G$ 全体で定義されているのだから、有限集合 $S$ は $G$ を生成する。

例: 自由群 $F_2$ のケイリーグラフは無限な $4$ -正則木である

$F_2 = \langle a,b \rangle$ を2つの生成元を持つ自由群とする：その元とはちょうど $\{a,a^{-1},b,b^{-1}\}$ 上の被約語（自分自身の逆元が直後に続く文字を含まない語）である。 $S = \{a,a^{-1},b,b^{-1}\}$ とする。 $\mathrm{Cay}(F_2,S)$ に閉路が存在しないこと、およびすべての頂点の次数が $4$ であることを示し、語長がちょうど $n \ge 1$ である元の個数を数えよ。

解答

$e$ から出発し、直前の一歩を直ちに打ち消すことのない歩みは被約語を綴っており、異なる被約語は常に $F_2$ の異なる元を表す——途中で相殺が起こることはあり得ないので、そのような異なる歩みが再び同じ場所で出会うことはない。したがって $\mathrm{Cay}(F_2,S)$ には閉路が存在しない：これは木である。各頂点 $g$ はちょうど $4$ 個の異なる隣接頂点 $ga, ga^{-1}, gb, gb^{-1}$ を持つ（ $F_2$ にはこれらのどれかを同一視するような関係式が存在しないため異なる）ので、この木は $4$ -正則である。

長さによる数え上げ：単位元は長さ $0$ の唯一の元である。長さ $n \ge 1$ の被約語は、最初の文字（ $4$ 通り）を選び、その後の各文字（直前の文字の逆元を避けるので $3$ 通り）を選ぶことで作られる。したがって語長がちょうど $n$ である元はちょうど $4\cdot 3^{n-1}$ 個あり、半径 $n$ の球には $b_S(n) = 1 + \sum_{k=1}^{n} 4\cdot 3^{k-1} = 2\cdot 3^{n} - 1$ 個の元がある—— $\mathbb{Z}/6\mathbb{Z}$ の有界な増大とは対照的な指数関数的増大である。

この有限な二分木は、自由群のケイリーグラフが持つ分岐し続ける形の類推にすぎず、

\mathrm{Cay}(F_2,\{a,a^{-1},b,b^{-1}\})

そのものの図ではない。

F_2

の本当のケイリーグラフは無限であり、そのすべての頂点は次数

4

を持つ（被約語を延ばす方法が4通りあるため）が、この有限な木は次数

2

の根と次数

1

の葉を持つにすぎない。これは自由群の幾何が持つ「閉路がなく、常に分岐する」という性質を感じ取るためだけに使い、正確な形として見てはならない。

発展増大度：球の個数を数えることからグロモフの定理へ

有限生成系 $S$ に関する $G$ の増大関数は、距離球の大きさを数えるものである：

b_S(n) = |B_S(e,n)| = \big|\{\, g \in G : d_S(e,g) \le n \,\}\big|

定数 $C,d$ とすべての $n$ について $b_S(n) \le C n^d$ が成り立つとき $G$ は多項式増大を持つといい、ある $\alpha > 1$ について $b_S(n) \ge c\,\alpha^n$ が成り立つとき指数増大を持つという——どちらの性質も、選ぶ有限生成系 $S$ にはよらず、群 $G$ そのものだけで決まる。私たちはすでに両極端の例を見てきた： $\mathbb{Z}/6\mathbb{Z}$ は有界な増大を持ち（群全体が1つの球である）、 $\mathbb{Z}^k$ は次数 $k$ の多項式増大を持ち、自由群 $F_2$ は $b_S(n) = 2\cdot 3^n - 1$ という指数増大を持つ。

定理: 多項式増大群に関するグロモフの定理

（グロモフ、1981年）有限生成群 $G$ が多項式増大を持つことと、 $G$ がほとんど冪零であること、すなわち $G$ が有限指数の冪零部分群を持つこととは同値である。

なぜ正しいのか?

増大度は純粋に距離的で大域的な不変量である——語距離の球にいくつ群の元が収まるかを数えるだけだ——一方「冪零」は反復交換子に関する純粋に代数的な条件である。グロモフの定理は、幾何と代数というまったく異なって見えるこの2つの世界が、ここではまったく同じ群を記述していると述べている：群のケイリーグラフの球の増大速度を多項式で抑えられた瞬間、隠れた代数的構造（有限指数の冪零部分群）が存在することが強制される。この定理は1968年のミルナーとウォルフの問いに答え、幾何学的群論の礎となる画期的な結果となった。

証明

一方の方向は幾何学的な風味を持つ古典的な代数である（バス・ギヴァルシュ）： $N \trianglelefteq G$ が有限指数の冪零部分群で、その下方中心列の階数が $r_1,\dots,r_c$ であるとき、元の標準形に関する数え上げ論法により $b_S(n) \asymp n^d$ （ $d = \sum_i i\cdot r_i$ ）という多項式による評価が得られる——したがってほとんど冪零な群は実際に多項式増大を持つ。逆方向はグロモフによるもので、真に深く、ここではその戦略のみを素描する：ケイリーグラフを $1/n$ でスケール変換し、 $n \to \infty$ として（部分列と超フィルターに沿った、グロモフ・ハウスドルフの意味での）極限をとる。多項式増大とは、まさにこのスケール変換された球が1点に潰れることも際限なく膨らむこともないようにする条件であり、したがって極限の距離空間—— $G$ の漸近錐——が存在し、それは有限次元・局所コンパクトな測地距離空間であって、極限のレベルでも $G$ がなお推移的に作用している。モンゴメリー・ジッピンの局所コンパクト群の構造理論により、この極限空間の等長変換群はリー群を含むことが強制され、さらなる議論によって多項式増大の次数がそのリー群の次元によって抑えられ、最終的に $G$ 自身の内部に有限指数の冪零部分群が特定される。後にクライナー（2010年）による証明は、この同じ「スケール変換して極限をとる」戦略を、多項式増大調和関数のなす空間の有限次元性を通して辿り直し、モンゴメリー・ジッピンの機構を完全に回避しているが、極限をとり、リー群を取り出し、冪零性を読み取るという指導原理は変わらない。

発展滑らかさなしの曲率：グロモフ双曲群

グロモフによる2つ目の画期的な貢献（1987年）は、双曲平面 $\mathbb{H}^2$ のような負に曲がった空間が持つ本質的な大域的特徴を、滑らかであるかどうかを問わず任意の測地距離空間に対して意味を持つ定義——薄い三角形——へと蒸留したものである。

定義: グロモフ双曲空間と双曲群

測地距離空間 $X$ が $\delta$ -双曲的（ $\delta \ge 0$ ）であるとは、任意の測地三角形のどの辺も、残り2辺の合併の $\delta$ -近傍に含まれることをいう。有限生成群 $G$ が（グロモフ）双曲的であるとは、ある（同値に、任意の）有限生成系 $S$ について、そのケイリーグラフ $\mathrm{Cay}(G,S)$ がある $\delta$ について $\delta$ -双曲的であることをいう。

\text{for every geodesic triangle } [x,y,z]:\quad [x,y] \subseteq N_\delta\big([y,z] \cup [z,x]\big)

上で見た自由群のケイリーグラフのような木は $0$ -双曲的である：木における測地三角形は文字通り三脚（トリポッド）であり、各辺は残り2辺の合併の上に乗っている。双曲平面 $\mathbb{H}^2$ はある普遍的な $\delta$ について $\delta$ -双曲的であり、種数 $2$ 以上の任意の閉曲面の基本群もそうである。対照的に $\mathbb{Z}^2$ は双曲的ではない：大きな正方形は、 $\delta$ をどれだけ大きくとっても中央付近で辺どうしが離れたままであり、正方形が大きくなるにつれてどんな単一の $\delta$ も機能しなくなる——平坦なユークリッド的方向こそ、双曲性がまさに排除するものである。

行列

\begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}

の行列式は

1

であり、

SL(2,\mathbb{R})

に属する；このウィジェットは、それがユークリッド平面

\mathbb{R}^2

をその固有方向に沿ってどのように線形に引き伸ばすかを示している。

SL(2,\mathbb{R})

のすべての行列は、メビウス変換

z \mapsto \frac{az+b}{cz+d}

を通じて双曲平面

\mathbb{H}^2

の等長写像としても作用する；そのような行列で生成された離散群はフックス群と呼ばれ、幾何学的群論における真に中心的な研究対象である（双曲曲面の基本群はまさにそのような群である）。注意：このウィジェットはここに示した

\mathbb{R}^2

上の通常の線形作用のみを描いており、双曲平面上のメビウス作用そのものではない。

発展橋渡し：写像類群、CAT(0) 幾何、3次元多様体、そしてリー群

幾何学的群論の考え方は外へと広がっていく。曲面 $\Sigma_g$ の写像類群——その自己同相写像のアイソトピー類——はタイヒミュラー空間に作用し、マサー・ミンスキーの曲線複体という機構が、上で発展させたのと同じケイリーグラフの精神に沿った豊かな粗い幾何を与える。** $\mathrm{CAT}(0)$ 空間**——三角形がユークリッド比較三角形より「太くない」測地距離空間——は、グロモフ双曲性が狭義の負曲率を一般化するのと同じように非正曲率を一般化する；サギーヴ、ワイズ、エイゴルに続き $\mathrm{CAT}(0)$ 立方体複体に真性かつ余コンパクトに作用する群は、サーストンの $3$ 次元多様体に関するいくつかの予想の解決を支えた決定的な幾何学的群論の道具であった。これはポアンカレ予想への真の橋渡しである：閉双曲 $3$ 次元多様体の基本群は $\mathbb{H}^3$ に幾何学的に（真性不連続かつ余コンパクトに、等長写像として）作用するので、上のミルナー・シュヴァルツの補題により $\mathbb{H}^3$ そのものと擬等長である。どのような群がこのようにして生じるのかを正確に理解することは、ペレルマンの証明の根底にある $3$ 次元多様体の幾何化と切り離せない。代数の側では、格子—— $SL(n,\mathbb{Z}) \subset SL(n,\mathbb{R})$ のような、リー群の離散で余コンパクトあるいは有限体積の部分群——こそ、ミルナー・シュヴァルツの補題により、リー群が作用する対称空間を通して幾何学的に研究できる群にほかならない。これはリー群とリー環への自然な入り口であり、そこではモストウとマルグリスの剛性定理により、高階数の格子については抽象的な群だけでそれが由来したリー理論的構造全体が復元されることが示される。

歴史的ノート

マックス・デーンの1911年の論文『Über unendliche diskontinuierliche Gruppen（無限不連続群について）』は、有限表示群に対する語の問題、共役問題、同型問題を定式化し、基本多角形によって双曲平面をタイル張りし、多角形の境界をなぞりすぎる語を短くしていくという、明示的で幾何学的な動機に基づくアルゴリズムによって、曲面群に対する語の問題を解決した。アンリ・ポアンカレはすでに1895年の『Analysis Situs（位置解析）』において、ホモトピーを法とするループを通じて空間の基本群を導入していた——空間の幾何から直接群を取り出した最初の例であり、後に幾何学的群論が逆方向に、すなわち抽象的な群にその幾何を取り戻させる形で成長していく概念的な種であった。しかしこの分野の現代的な姿は、通常ミハイル・グロモフによる2つの論文に由来するとされる：多項式増大がほとんど冪零な群を特徴づけることを証明した『Groups of polynomial growth and expanding maps』（1981年）と、 $\delta$ -双曲性を導入し幾何学的群論を独立した分野として立ち上げた『Hyperbolic groups』（1987年）である。

アンリ・ポアンカレ

研究研究の最前線：今日の未解決問題

研究の最前線 2026年時点

この分野の現在地（2026年時点）。 このページから発した2つの流れは、今なお活発に動いている。

1. カノン予想は未解決のままである。 これは、無限遠境界が $2$ 次元球面 $S^2$ に同相であるようなグロモフ双曲群はすべて、（ほとんど）閉双曲 $3$ 次元多様体の基本群である、すなわち $\mathbb{H}^3$ に幾何学的に作用するという予想であり、ポアンカレ予想の背後にある幾何化の描像に対する群論的な逆命題にあたる。ウラジミール・マルコヴィッチは2013年にこの予想に対する影響力の大きい判定条件を与え、予想を境界上の点を分離する擬凸曲面部分群に関する主張へと還元した。それ以降の研究は立方体化された場合に最も強く注がれている：コーリー・ブレグマンとメルリン・インチェルティ＝メディチによる2024年の論文『On a generalization of Cannon's conjecture for cubulated hyperbolic groups』は、マルコヴィッチ流の手法を次元 $3$ または $5$ 以上の境界球面へと拡張した。もともとの $2$ 次元球面の場合は、2026年現在もなお未解決である。 2. 自由群と写像類群は、いまなお未解決の構造を明らかにし続けている。 階数 $3$ の自由群の外部自己同型群 $\mathrm{Out}(F_3)$ が線形群に埋め込めるかどうかは、よく知られた未解決問題であり、フォルマネクとプロチェシによる「毒部分群」構成を用いた、 $n \ge 4$ について $\mathrm{Out}(F_n)$ が線形ではないことの証明とは対照的である。並行して、曲面の曲線複体を写し取るためにベストヴィナとファインによって導入された自由因子複体および自由分解複体の幾何、そして無限型曲面の「大きな」写像類群の分類は、このページを低次元トポロジーとタイヒミュラー理論に結びつける非常に活発な研究の最前線であり続けている。

生成系 $\{1,5\}$ （すなわち $\pm 1$ ）による $\mathbb{Z}/6\mathbb{Z}$ のケイリーグラフにおいて、語距離 $d_S(0,3)$ はいくつか。

次のうち、（通常の距離を備えた） $\mathbb{Z}$ と擬等長であるものはどれか。

グロモフの1981年の定理によれば、有限生成群が多項式増大を持つのは、それが……であるとき、かつそのときに限る。

次の群（標準的な有限生成系を備えたもの）のうち、グロモフ双曲的でないものはどれか。

ミルナー・シュヴァルツの補題は、 $G$ が固有測地距離空間 $X$ に真性不連続かつ余コンパクトに等長写像として作用しているならば、……であると述べている。

参考文献

Clara Löh (2017). Geometric Group Theory: An Introduction · DOI:10.1007/978-3-319-72254-2
Mikhael Gromov (1981). Groups of polynomial growth and expanding maps · DOI:10.1007/BF02698687
Mikhael Gromov (1987). Hyperbolic groups