利用者:Greentea027/トンプソン群

数学において、トンプソン群(英: Thompson groups)あるいはトンプソンの群(英: Thomson's groups)、バガボンド群(英: vagabond groups)、カメレオン群(英: chameleon groups)は一般に $F\subseteq T\subseteq V$ と表される3つの群であり、リチャード・トンプソンによる1965年のいくつかの未発表の手書きノートの中で、フォン・ノイマン予想（英語版）の反例になりうる群として導入された。 3つの群のうち F は最も広く研究されており、トンプソン群またはトンプソンの群と呼ばれることもある。

トンプソン群、特に F は、群論における多くの一般的な予想の反例となるような珍しい性質を持っている。 3つのトンプソン群はすべて無限群だが、有限表示をもつ。T と V は、無限群であるが有限表示をもつ単純群である(まれな)例である。F は単純群ではないが、その交換子部分群 $[F,F]$ は単純群であり、F の交換子部分群による商群はランク2の自由アーベル群である。 F は全順序群であり、指数関数的増大度（英語版）をもち、階数2の自由群と同型な部分群をもたない。

F は従順群ではないと予想されており、したがって、有限表示をもつ群に対する最近反証されたフォン・ノイマン予想（英語版）に対するさらなる反例となることが予想されている。F は基本従順群（英語版）ではないことが知られている。

ヒグマン (1974) はトンプソン群V を特別な場合として含む、有限表示を持つ無限単純群からなる可算無限個の族を導入した。

表示

F の有限表示は次で与えられる。

\langle A,B\mid \ [AB^{-1},A^{-1}BA]=[AB^{-1},A^{-2}BA^{2}]=\mathrm {id} \rangle

ここで $[x,y]$ は、通常の群論における交換子 $xyx^{-1}y^{-1}$ を表す。

F には2つの生成元と2つの関係からなる上のような有限表示があるが、次の無限表示によって非常に簡単かつ直感的に記述される。

\langle x_{0},x_{1},x_{2},\dots \ \mid \ x_{k}^{-1}x_{n}x_{k}=x_{n+1}\ \mathrm {for} \ k<n\rangle .

2つの表示は、 $n>0$ に対して $x_{0}=A,x_{n}=A^{1-n}BA^{n-1}$ で関連付けられる。

その他の表現方法

トンプソン群 F は、順序付けられた根付き二分木に対する操作全体からなる群として、または向きを保ち、有限個の微分不可能な点が2進分数で表され、区分的に線形で傾きがすべて2の累乗であるような単位区間上の同相写像の部分群として、実現される。

F は、単位区間の2つの端点を同一視することにより、単位円に作用していると見做すことができる。T はこのとき単位円上の自己同相写像からなる群で、F に同相写像 $x \mapsto x+ 1/2 mod 1$ を追加することで得られる。この写像は、二分木における根の下の2つの木を入れ替える操作に対応する。V は、T に半開区間[0, 1/2)上の点を固定し、[1/2, 3/4)と[3/4, 1)を自明な方法で交換する不連続な写像を追加することで得られる。この写像は二分木においては、根の子のうち右側のものの下にある2つの木を(存在する場合には)交換する操作に対応する。

さらに F は、1つの生成元からなる自由ヨンソン・タルスキ代数（英語版）上の向きを保存する自己同型写像からなる群でもある。

従順性

トンプソンによる F が従順群ではないという予想は、ゲイガンによってさらに広められた。以下の参考文献で引用されているカノン、フロイド、パリーによる文献も参照せよ。この予想は未だ未解決である。シャグリゼー ^[1]は、2009年に Fが従順群であることを証明したと主張した論文を出したが、MRレビューで説明されているように誤りが発見された。

F は基本従順群（英語版）ではないことが知られている。カノン、フロイド、パリーによるTheorem 4.10を参照せよ。Fが従順でない場合、有限表示をもつ群に対する最近反証されたフォン・ノイマン予想（英語版）に対するさらなる反例となる。この予想は、有限表示をもつ群が従順群であることと、階数2の自由群と同型な部分群をもたないことが必要十分であるという予想である。

位相幾何学とのつながり

1970年代、F は位相幾何学の専門家によって少なくとも2回再発見された。かなり遅れて出版された、当時プレプリントとして流通していた論文^[2]では、フレイドとヘラーが F 上のシフト写像がアイレンベルク・マクレーン空間（英語版）K(F,1)上の分裂不可能なべき等写像のホモトピー類を誘導することを示した。これは興味深い意味で普遍的であり、このことについてはゲイガンの本で詳細に説明されている(以下の参考文献を参照せよ)。ダイダックとミンク ^[3]はShape理論の問題に関連して、独自にあまり知られていない F のモデルを作成した。

1979年に、ゲイガンは F に関する次の4つの予想をした。

F は type FP_∞ である。
無限遠点での F のすべてのホモトピー群は自明である。
F は非可換自由な部分群をもたない。
F は従順群ではない。

1は、ブラウンとゲイガンによる各正の次元に2つの胞体を持つ K(F, 1) が存在するという強力な主張により証明された^[4]。2もまた、コホモロジー H*(F, ZF) が自明であることが示されたという意味で、ブラウンとゲイガンによって証明された ^[5]。ミハリクの定理^[6]は F が無限遠点で単連結であることを意味し、したがってこの結果は無限遠点でのすべてのホモロジーが消えることを意味するので、ホモトピー群に関する主張を得る。3はブリンとスクワイアーによって証明された^[7]。4については既に上で述べた。

F がファレル・ジョーンズ予想（英語版）を満たすかどうかは不明である。F のホワイトヘッド群（英語版）や F の射影類群(ウォールの有限性障害（英語版）を参照)が自明であるかどうかも不明だが、F が強いバスの予想を満たすことは簡単に示される。

ファーリーは、F が局所有限 CAT(0)立方体複体(必然的に無限次元となる)にデック変換として作用することを示した^[8]。結果として、F はバウム・コンヌ予想（英語版）を満たす例である。

参照

ヒグマン群（英語版）
非可換暗号（英語版）

参考文献

^ Shavgulidze, E. (2009), “The Thompson group F is amenable”, Infinite Dimensional Analysis, Quantum Probability and Related Topics 12 (2): 173–191, doi:10.1142/s0219025709003719, MR 2541392
^ Freyd, Peter; Heller, Alex (1993), “Splitting homotopy idempotents”, Journal of Pure and Applied Algebra 89 (1–2): 93–106, doi:10.1016/0022-4049(93)90088-b, MR1239554
^ Dydak, Jerzy; Minc, Piotr (1977), “A simple proof that pointed FANR-spaces are regular fundamental retracts of ANR's”, Bulletin de l'Académie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques 25: 55–62, MR0442918
^ Brown, K.S.; Geoghegan, Ross (1984), An infinite-dimensional torsion-free FP_infinity group, 77, pp. 367–381, Bibcode: 1984InMat..77..367B, doi:10.1007/bf01388451, MR0752825
^ Brown, K.S.; Geoghegan, Ross (1985), “Cohomology with free coefficients of the fundamental group of a graph of groups”, Commentarii Mathematici Helvetici 60: 31–45, doi:10.1007/bf02567398, MR0787660
^ Mihalik, M. (1985), “Ends of groups with the integers as quotient”, Journal of Pure and Applied Algebra 35: 305–320, doi:10.1016/0022-4049(85)90048-9, MR0777262
^ Brin, Matthew.; Squier, Craig (1985), “Groups of piecewise linear homeomorphisms of the real line”, Inventiones Mathematicae 79 (3): 485–498, Bibcode: 1985InMat..79..485B, doi:10.1007/bf01388519, MR0782231
^ Farley, D. (2003), “Finiteness and CAT(0) properties of diagram groups”, Topology 42 (5): 1065–1082, doi:10.1016/s0040-9383(02)00029-0, MR1978047

Cannon, J. W.; Floyd, W. J.; Parry, W. R. (1996), “Introductory notes on Richard Thompson's groups”, L'Enseignement Mathématique, IIe Série 42 (3): 215–256, ISSN 0013-8584, MR1426438
Cannon, J.W.; Floyd, W.J. (September 2011). “WHAT IS...Thompson's Group?”. Notices of the American Mathematical Society 58 (8): 1112–1113. ISSN 0002-9920 December 27, 2011閲覧。.
Geoghegan, Ross (2008), Topological Methods in Group Theory, Graduate Texts in Mathematics, 243, Springer Verlag, arXiv:math/0601683, doi:10.1142/S0129167X07004072, ISBN 978-0-387-74611-1, MR2325352
Higman, Graham (1974), Finitely presented infinite simple groups, Notes on Pure Mathematics, 8, Department of Pure Mathematics, Department of Mathematics, I.A.S. Australian National University, Canberra, ISBN 978-0-7081-0300-5, MR0376874

[[Category:無限群論]] [[Category:群論]] [[Category:幾何学的群論]]

[1] Shavgulidze, E. (2009), “The Thompson group F is amenable”, Infinite Dimensional Analysis, Quantum Probability and Related Topics 12 (2): 173–191, doi:10.1142/s0219025709003719, MR 2541392

[2] Freyd, Peter; Heller, Alex (1993), “Splitting homotopy idempotents”, Journal of Pure and Applied Algebra 89 (1–2): 93–106, doi:10.1016/0022-4049(93)90088-b, MR1239554

[3] Dydak, Jerzy; Minc, Piotr (1977), “A simple proof that pointed FANR-spaces are regular fundamental retracts of ANR's”, Bulletin de l'Académie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques 25: 55–62, MR0442918

[4] Brown, K.S.; Geoghegan, Ross (1984), An infinite-dimensional torsion-free FP_infinity group, 77, pp. 367–381, Bibcode: 1984InMat..77..367B, doi:10.1007/bf01388451, MR0752825

[5] Brown, K.S.; Geoghegan, Ross (1985), “Cohomology with free coefficients of the fundamental group of a graph of groups”, Commentarii Mathematici Helvetici 60: 31–45, doi:10.1007/bf02567398, MR0787660

[6] Mihalik, M. (1985), “Ends of groups with the integers as quotient”, Journal of Pure and Applied Algebra 35: 305–320, doi:10.1016/0022-4049(85)90048-9, MR0777262

[7] Brin, Matthew.; Squier, Craig (1985), “Groups of piecewise linear homeomorphisms of the real line”, Inventiones Mathematicae 79 (3): 485–498, Bibcode: 1985InMat..79..485B, doi:10.1007/bf01388519, MR0782231

[8] Farley, D. (2003), “Finiteness and CAT(0) properties of diagram groups”, Topology 42 (5): 1065–1082, doi:10.1016/s0040-9383(02)00029-0, MR1978047

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]