幾何学的群論

提供: testwiki
ナビゲーションに移動 検索に移動
2つの生成元を持つ自由群のケイリーグラフ 。 これは、テンプレート:仮リンクがカントール集合であるテンプレート:仮リンクである。双曲群とその境界は、ケイリーグラフと同様に、幾何学的群論における重要なトピックである。

幾何学的群論（テンプレート:Lang-en-short）は、有限生成群を研究する数学の一分野であり、群の代数的性質と、その群が作用する（つまり、幾何的な対称性、あるいは連続的な変換群として実現される）ような空間のトポロジー的および幾何学的性質との間の関係を調べるものである。

幾何学的群論におけるもう一つの重要な考え方は、有限生成群自体を幾何学的対象として考えることである。これは通常、群のケイリーグラフを調べることによって行われる。これには、グラフ構造に加えて、いわゆるテンプレート:仮リンクによって与えられる距離空間の構造が備わっている。

幾何学的群論は、分野としては比較的新しいものであり、1980年代後半から1990年代初頭にかけて、明確に識別できる数学の分野となった。 幾何学的群論は、低次元トポロジー、双曲幾何学、代数トポロジー、テンプレート:仮リンク、微分幾何学と密接に相互作用する。計算複雑性理論、数理論理学、リー群とその離散部分群の研究、力学系、確率論、K理論、その他の数学の分野とも密接に関連している。

ピエール・デ・ラ・ハープは彼の著書『Topics in Geometric Group Theory』の冒頭で次のように書いている。

「私の個人的な信念の一つは、対称性と群に魅了されることは、人間の限界への不満に対処する一つの方法であるということです。我々は、対称性を認識することを好みます。対称性は我々が見ることのできることよりも多くを認識させてくれます。この意味で、幾何学的群論の研究は文化の一部であり、ジョルジュ・ド・ラームが数学の指導、 マラルメの朗読、友人への挨拶など、多くの場面で実践したいくつかのことを思い出します。」[1] テンプレート:Rp

歴史

幾何学的群論は、群を自由群の商として説明する群の表示の解析を通じて離散群の性質を主に研究したテンプレート:仮リンクから生まれた。この分野は、1880年代初頭に、フェリックス・クラインの門生のテンプレート:仮リンクによって最初に体系的に研究された[2] が、初期には、1856年のウィリアム・ローワン・ハミルトンによる、en:Icosian calculusとよばれる十二面体の辺グラフを用いたテンプレート:仮リンクの研究がある。現在、分野としての組合せ群論は、幾何学的群論に大きく含まれている。さらに、「幾何学的群論」という用語には、確率論的、測度論的、数論的、解析的、その他のアプローチを使用して、従来の組合せ群論の外にある離散群の研究がしばしば含まれるようになった。

20世紀の前半には、マックス・デーン、ヤコブ・ニールセン(en:Jakob Nielsen (mathematician))、テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンクなどの先駆的な研究により、離散群の研究にトポロジー的および幾何学的なアイデアが導入された[3]。幾何学的群論の他の前身には、テンプレート:仮リンクとテンプレート:仮リンクがある。スモールキャンセル理論は、1960年代にマーティン・グリンドリンガーによって導入され[4][5] 、さらにテンプレート:仮リンクとテンプレート:仮リンクによって発展された[6]。 これは、組合せ曲率条件を介して、群の有限表示に対応するテンプレート:仮リンクを研究し、そのような解析から群の代数的およびアルゴリズム的性質を導くものである。 1977年のセールの本[7] で紹介されたバスセール理論は、単体ツリーに対する群作用を研究することにより、群に関する代数構造の情報を導き出す。幾何学的群論の外的な前身には、リー群の格子の研究、特にモストウの剛性定理、テンプレート:仮リンクの研究、1970年代と1980年代初頭に低次元トポロジーと双曲幾何学で達成された進歩、特にウィリアム・サーストンの幾何化プログラムが含まれる。

幾何学的群論が数学の別個の分野として出現したのは、通常、1980年代後半から1990年代初頭にさかのぼる。これはミハイル・グロモフの1987年のモノグラフ『Hyperbolic groups』[8] およびその後のモノグラフの『Asymptotic Invariants of Infinite Groups』[9] により拍車がかかった。前者は大尺度(large-scale)で負の曲率を持つ有限生成群の概念を捉えたテンプレート:仮リンク（語双曲群またはグロモフ双曲群または負曲率群としても知られる）を概念を導入したもので、後者は離散群のテンプレート:仮リンク類を理解するというグロモフのプログラムの概要を説明したものである。グロモフの研究は、離散群の研究に変革的な影響を与え[10][11][12]、「幾何学的群論」というフレーズがその後すぐに現れ始めた。（例えば[13] 参照）。

現代のテーマと発展

1990年代と2000年代の幾何学的群論の注目すべきテーマと発展には、次のものがある。

  • 群の擬等長の性質を研究するためのグロモフのプログラム。
この分野で特に影響力のある広大なテーマは、大尺度(large scale)な幾何学によって有限生成群を分類するグロモフのプログラム[14] である。正確には、これはテンプレート:仮リンクを入れた有限生成群のテンプレート:仮リンク類を分類することを意味する。このプログラムには以下が含まれる。
  1. テンプレート:仮リンクの下で不変である性質の研究。有限生成群のこのような性質の例には、次のものがある。有限生成群のテンプレート:仮リンク。有限表示群のテンプレート:仮リンクまたはテンプレート:仮リンク。群のエンドの数。 テンプレート:仮リンク。双曲群のテンプレート:仮リンクの同相型;[15] 有限生成群のテンプレート:仮リンク(asymptotic cone)（たとえば[16][17] 参照）。有限生成群の従順性 ;実質的に(en:virtually)アーベルである（つまり、有限位数のアーベル部分群をもつ）こと;実質的にべき零であること。実質的に自由であること。有限表示できること。テンプレート:仮リンクが解ける有限表示群であること。など
  2. 擬等長不変量を用いて、群に関する代数的結果を証明する定理。例えば、テンプレート:仮リンク; スターリングスのエンド定理; モストウの剛性定理。
  3. 擬等長剛性定理。つまり、与えられた群または距離空間に対して、擬等長であるすべての群を代数的に分類するもの。この方向性は、ランク1格子の擬等長剛性に関するシュワルツ(en:Richard Schwartz (mathematician))の研究[18] と、テンプレート:仮リンクの擬等長剛性に関するテンプレート:仮リンクとリー・モーシャーの研究により始められた。 [19]
  • テンプレート:仮リンクとテンプレート:仮リンクの理論。ここで特に重要な発展は、1990年代のテンプレート:仮リンクの研究により、語双曲群の同型問題が解かれたことである[20] 相対双曲群の概念は、もともと1987年にグロモフによって導入され[8] 1990年代にはファーブ[21] とテンプレート:仮リンク[22] によって洗練された。相対双曲群の研究は2000年代になって注目を浴びるようになった。
  • 数理論理学との相互作用と自由群の一階理論の研究。特に、セラ[23] やテンプレート:仮リンク、アレクセイ・ミアスニコフ[24] の研究により、有名なタルスキ予想(en:free group)に重要な進展があった。極限群(limit group)の研究や、非可換代数幾何学の言語や道具の導入が進んだ。
  • 計算機科学、複雑性理論、形式言語の理論との相互作用。このテーマは、テンプレート:仮リンク[25] の理論の発展によって例証されている。この概念は、有限生成群の積をとる操作に特定の幾何学的・言語論的条件を課すものである。
  • 有限表示群の等周不等式、デーン関数とその一般化の研究。特にジャン＝カミーユ・ビルジェ、アレクサンドル・オリシャンスキー、テンプレート:仮リンク、テンプレート:仮リンク[26][27] の研究は、有限表示群のデーン関数としてありうるものを本質的に特徴づけており、分数次数のデーン関数を持つ群の明示的な構成を与えている。[28]
  • 有限生成群・有限表示群に対するJSJ分解理論の展開。[29][30][31][32][33]
  • テンプレート:仮リンク, 離散群に関連する C*-環 の研究、自由確率論との関係。このテーマは、特にテンプレート:仮リンクとテンプレート:仮リンクに関するかなりの進歩と、それらに関連する群論的な概念（位相的従順性、漸近次元、ヒルベルト空間への一様な埋め込み可能性、急減衰(rapid decay)条件など）の発展や研究に代表される (例えば[34][35][36] を参照).
  • 距離空間上の擬等角解析の理論との相互作用、特に2次元球面に同相なテンプレート:仮リンクを持つ双曲群の特徴付けに関するキャノンの予想との関係。[37][38][39]
  • en:Finite subdivision rules, テンプレート:仮リンクにも関係する。[40]
  • 様々なコンパクト空間上の離散群の作用や群のコンパクト化を研究する際のテンプレート:仮リンクの相互作用、特にテンプレート:仮リンクの方法[41][42]
  • ℝ-樹(en:real tree)の群作用の理論の発展（特にRips machine）とその応用。[43]
  • CAT(0) 空間とCAT(0)立方複体への群作用の研究 [44] 。これはアレクサンドロフ幾何学のアイデアに動機づけられている。
  • 低次元トポロジーや双曲幾何学との相互作用、特に3次元多様体群の研究 (例えば[45] 参照）。曲面の写像類群、ブレイド群 および クライン群.
  • 「ランダムな」群論的対象（群、群の要素、部分群など）の代数的性質を研究するための確率論的手法の導入。ここで特に重要な発展は、確率論的手法を用いて、ヒルベルト空間に一様埋め込み不可能な有限生成群の存在を証明したグロモフの研究[46] である。他の注目すべき発展としては、群論的アルゴリズムや他の数学的アルゴリズムに対するen:generic-case complexity[47] の概念の導入と研究、ジェネリックな群の代数的な剛性の結果[48] などがある。
  • 根を無限個もつツリーの自己同型群の群としてのオートマタ群やテンプレート:仮リンクの研究。 特に、中間増大度をもつテンプレート:仮リンクとその一般化がこの文脈に登場する。[49][50]
  • 測度空間上の群作用の測度論的性質の研究、特に測度同値と軌道同値の概念の導入と発展、モストウ剛性の測度論的一般化。[51][52]
  • 離散群のユニタリ表現とテンプレート:仮リンクの研究[53]
  • Out(Fn) (自由群の階数 n の外部自己同型群) と自由群の個々の自己同型の研究。ここで特に顕著な役割を果たしたのは、カラー(Culler)とフォートマン(Vogtmann)のouter space[54] と自由群の自己同型群のための線路(en:train track)の理論[55] の導入と研究である。
  • テンプレート:仮リンク、特に多くの accessibility の結果[56][57][58] とツリーの格子の理論[59]。群の複体の理論などバス・セール理論の一般化。[44]
  • 群上の ランダム・ウォークとそれに関連する境界の理論の研究、特にポアソン境界の概念 (例えば[60] 参照)。 従順性と、従順性が不明な群の研究。
  • 有限群論との相互作用、特に subgroup growth の研究の進展。
  • SL(n,ℝ) などの線形群や、他のリー群の、部分群と格子を、幾何学的方法 (例えばビルディング)、代数幾何学的ツール (例えば 代数群 と表現多様体)、解析的手法 (例えば ヒルベルト空間上のユニタリ表現) 、数論的手法などで調べる研究。
  • 代数的・位相幾何学的手法を用いた、群のコホモロジー。特に 代数的位相幾何学との相互作用や組合せの文脈でのモース理論的な考え方の利用を含む; 大尺度, あるいは粗ホモロジーあるいはコホモロジー。 (たとえば[61] を参照)
  • Burnsideの問題,[62][63] コクセター群やアルティン群の研究など、伝統的な組合せ群論のトピックの進展（これらの問題を研究するために現在使用されている方法は、幾何学的・位相幾何学的なものが多い）。

例

次の例は、幾何学的群論でよく研究されている。 テンプレート:Div col

テンプレート:Div col end

参照

参考文献

テンプレート:Reflist

本とモノグラフ

これらのテキストは、幾何学的群論と関連トピックをカバーしている。

外部リンク

  1. ↑ P. de la Harpe, Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000. テンプレート:ISBN2.
  2. ↑ テンプレート:Citation
  3. ↑ Bruce Chandler and Wilhelm Magnus. The history of combinatorial group theory. A case study in the history of ideas. Studies in the History of Mathematics and Physical Sciences, vo. 9. Springer-Verlag, New York, 1982.
  4. ↑ テンプレート:Cite journal
  5. ↑ テンプレート:Cite journal
  6. ↑ Roger Lyndon and Paul Schupp, Combinatorial Group Theory, Springer-Verlag, Berlin, 1977. Reprinted in the "Classics in mathematics" series, 2000.
  7. ↑ J.-P. Serre, Trees. Translated from the 1977 French original by John Stillwell. Springer-Verlag, Berlin-New York, 1980. テンプレート:ISBN2.
  8. ↑ 8.0 8.1 Mikhail Gromov, Hyperbolic Groups, in "Essays in Group Theory" (Steve M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75–263.
  9. ↑ Mikhail Gromov, "Asymptotic invariants of infinite groups", in "Geometric Group Theory", Vol. 2 (Sussex, 1991), London Mathematical Society Lecture Note Series, 182, Cambridge University Press, Cambridge, 1993, pp. 1–295.
  10. ↑ Iliya Kapovich and Nadia Benakli. Boundaries of hyperbolic groups. Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), pp. 39–93, Contemp. Math., 296, Amer. Math. Soc., Providence, RI, 2002. From the Introduction:" In the last fifteen years geometric group theory has enjoyed fast growth and rapidly increasing influence. Much of this progress has been spurred by remarkable work of M. L. Gromov [in Essays in group theory, 75–263, Springer, New York, 1987; in Geometric group theory, Vol. 2 (Sussex, 1991), 1–295, Cambridge Univ. Press, Cambridge, 1993], who has advanced the theory of word-hyperbolic groups (also referred to as Gromov-hyperbolic or negatively curved groups)."
  11. ↑ Brian Bowditch, Hyperbolic 3-manifolds and the geometry of the curve complex. European Congress of Mathematics, pp. 103–115, Eur. Math. Soc., Zürich, 2005. From the Introduction:" Much of this can be viewed in the context of geometric group theory. This subject has seen very rapid growth over the last twenty years or so, though of course, its antecedents can be traced back much earlier. [...] The work of Gromov has been a major driving force in this. Particularly relevant here is his seminal paper on hyperbolic groups [Gr]."
  12. ↑ テンプレート:Cite journal
  13. ↑ Geometric group theory. Vol. 1. Proceedings of the symposium held at Sussex University, Sussex, July 1991. Edited by Graham A. Niblo and Martin A. Roller. London Mathematical Society Lecture Note Series, 181. Cambridge University Press, Cambridge, 1993. テンプレート:ISBN2.
  14. ↑ Mikhail Gromov, Asymptotic invariants of infinite groups, in "Geometric Group Theory", Vol. 2 (Sussex, 1991), London Mathematical Society Lecture Note Series, 182, Cambridge University Press, Cambridge, 1993, pp. 1–295.
  15. ↑ Iliya Kapovich and Nadia Benakli. Boundaries of hyperbolic groups. Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), pp. 39–93, Contemp. Math., 296, Amer. Math. Soc., Providence, RI, 2002.
  16. ↑ テンプレート:Cite journal
  17. ↑ テンプレート:Cite journal
  18. ↑ テンプレート:Cite journal
  19. ↑ テンプレート:Cite journal
  20. ↑ テンプレート:Cite journal
  21. ↑ テンプレート:Cite journal
  22. ↑ テンプレート:Cite book
  23. ↑ Zlil Sela, Diophantine geometry over groups and the elementary theory of free and hyperbolic groups. Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 87–92, Higher Ed. Press, Beijing, 2002.
  24. ↑ テンプレート:Cite journal
  25. ↑ D. B. A. Epstein, J. W. Cannon, D. Holt, S. Levy, M. Paterson, W. Thurston. Word Processing in Groups. Jones and Bartlett Publishers, Boston, MA, 1992.
  26. ↑ テンプレート:Cite journal
  27. ↑ テンプレート:Cite journal
  28. ↑ テンプレート:Cite journal
  29. ↑ テンプレート:Cite journal
  30. ↑ テンプレート:Cite journal
  31. ↑ テンプレート:Cite journal
  32. ↑ テンプレート:Cite journal
  33. ↑ テンプレート:Cite journal
  34. ↑ テンプレート:Cite journal
  35. ↑ G. Yu. The coarse Baum–Connes conjecture for spaces which admit a uniform embedding into Hilbert space. Inventiones Mathematicae, vol 139 (2000), no. 1, pp. 201–240.
  36. ↑ テンプレート:Cite journal
  37. ↑ テンプレート:Cite journal
  38. ↑ M. Bourdon and H. Pajot. Quasi-conformal geometry and hyperbolic geometry. Rigidity in dynamics and geometry (Cambridge, 2000), pp. 1–17, Springer, Berlin, 2002.
  39. ↑ M. Bonk, Quasiconformal geometry of fractals. International Congress of Mathematicians. Vol. II, pp. 1349–1373, Eur. Math. Soc., Zürich, 2006.
  40. ↑ テンプレート:Cite journal
  41. ↑ P. Tukia. Generalizations of Fuchsian and Kleinian groups. First European Congress of Mathematics, Vol. II (Paris, 1992), pp. 447–461, Progr. Math., 120, Birkhäuser, Basel, 1994.
  42. ↑ テンプレート:Cite journal
  43. ↑ テンプレート:Cite journal
  44. ↑ 44.0 44.1 テンプレート:Harvnb
  45. ↑ テンプレート:Cite book
  46. ↑ M. Gromov. Random walk in random groups. Geometric and Functional Analysis, vol. 13 (2003), no. 1, pp. 73–146.
  47. ↑ テンプレート:Cite journal
  48. ↑ テンプレート:Cite journal
  49. ↑ L. Bartholdi, R. I. Grigorchuk and Z. Sunik. Branch groups. Handbook of algebra, Vol. 3, pp. 989-1112, North-Holland, Amsterdam, 2003.
  50. ↑ V. Nekrashevych. Self-similar groups. Mathematical Surveys and Monographs, 117. American Mathematical Society, Providence, RI, 2005. テンプレート:ISBN2.
  51. ↑ テンプレート:Cite journal
  52. ↑ テンプレート:Cite journal
  53. ↑ Y. Shalom. The algebraization of Kazhdan's property (T). International Congress of Mathematicians. Vol. II, pp. 1283–1310, Eur. Math. Soc., Zürich, 2006.
  54. ↑ テンプレート:Cite journal
  55. ↑ テンプレート:Cite journal
  56. ↑ テンプレート:Cite journal
  57. ↑ テンプレート:Cite journal
  58. ↑ テンプレート:Cite journal
  59. ↑ H. Bass and A. Lubotzky. Tree lattices. With appendices by Bass, L. Carbone, Lubotzky, G. Rosenberg and J. Tits. Progress in Mathematics, 176. Birkhäuser Boston, Inc., Boston, MA, 2001. テンプレート:ISBN2.
  60. ↑ テンプレート:Cite journal
  61. ↑ テンプレート:Cite journal
  62. ↑ テンプレート:Cite journal
  63. ↑ テンプレート:Cite journal
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=幾何学的群論&oldid=12331」から取得