トンプソン群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > トンプソン群の意味・解説 

トンプソン群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/26 02:44 UTC 版)

数学において、トンプソン群(: Thompson groups)あるいはトンプソンの群(: Thomson's groups)、バガボンド群(: vagabond groups)、カメレオン群(: chameleon groups)は一般に

トンプソン群 F は、二分木に対するこのような操作によって生成される。ここで、LおよびTは頂点であるが、ABおよびRは、より一般の二分木で置き換えることができる。

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

F は、単位区間の2つの端点を同一視することにより、単位円に作用していると見做すことができる。T はこのとき単位円上の自己同相写像からなる群で、F に同相写像 xx+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つの予想をした。

  1. Ftype FP である。
  2. 無限遠点での F のすべてのホモトピー群は自明である。
  3. F は非可換自由な部分群をもたない。
  4. 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バウム・コンヌ予想英語版を満たす。

関連項目

参考文献

  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, MR2541392 
  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, MR 1239554 
  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, MR 0442918 
  4. ^ Brown, K.S.; Geoghegan, Ross (1984), An infinite-dimensional torsion-free FP_infinity group, 77, pp. 367–381, Bibcode1984InMat..77..367B, doi:10.1007/bf01388451, MR 0752825 
  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, MR 0787660 
  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, MR 0777262 
  7. ^ Brin, Matthew.; Squier, Craig (1985), “Groups of piecewise linear homeomorphisms of the real line”, Inventiones Mathematicae 79 (3): 485–498, Bibcode1985InMat..79..485B, doi:10.1007/bf01388519, MR 0782231 
  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, MR 1978047 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  トンプソン群のページへのリンク

辞書ショートカット

すべての辞書の索引

「トンプソン群」の関連用語

トンプソン群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



トンプソン群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのトンプソン群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS