본문으로 이동

기하군론

위키백과, 우리 모두의 백과사전.
두 생성자로 이루어진 자유군케일리 그래프. 이는 칸토어 집합그로모프 경계로 가지는 쌍곡군이다. 케일리 그래프와 마찬가지로 쌍곡군과 그 경계는 기하군론의 중요한 주제이다.

기하군론(geometric group theory)은 수학의 한 분야로, 유한생성군대수적 속성과 이 군들이 비자명하게 작용할 수 있는 공간의 위상적기하학적 속성 간의 연관성을 탐구하여 그러한 을 연구하는 데 전념한다. (즉, 문제의 군들이 어떤 공간의 기하학적 대칭이나 연속 변환으로 구현될 때).

기하군론의 또 다른 중요한 아이디어는 유한생성군 자체를 기하학적 객체로 간주하는 것이다. 이는 일반적으로 군의 케일리 그래프를 연구함으로써 이루어지는데, 케일리 그래프는 그래프 구조 외에도 소위 단어 거리에 의해 부여된 거리 공간의 구조를 갖는다.

기하군론은 독자적인 분야로서 비교적 새로운 학문이며, 1980년대 후반에서 1990년대 초반에 명확하게 식별 가능한 수학의 한 분야가 되었다. 기하군론은 저차원 위상수학, 쌍곡기하학, 대수적 위상수학, 계산 군론미분기하학과 밀접하게 상호작용한다. 또한 복잡도 이론, 수리논리학, 리 군 및 그 이산 부분군 연구, 동역학계, 확률론, K이론 및 기타 수학 분야와도 상당한 연관성이 있다.

피에르 드 라 하르프는 그의 저서 "Topics in Geometric Group Theory" 서문에서 다음과 같이 썼다. "나의 개인적인 신념 중 하나는 대칭과 군에 대한 매혹이 삶의 한계를 극복하는 한 가지 방법이라는 것이다. 우리는 우리가 볼 수 있는 것 이상을 인식하게 해주는 대칭을 인식하는 것을 좋아한다. 이러한 의미에서 기하군론의 연구는 문화의 일부이며, 조르주 드 람이 수학을 가르치고, 스테판 말라르메의 시를 낭송하거나, 친구에게 인사하는 등 여러 경우에 실천했던 몇 가지를 떠올리게 한다."[1]:3

역사

[편집]

기하군론은 주로 군 표시를 분석하여 이산 군의 속성을 연구했던 조합 군론에서 발전했다. 군 표시는 군을 자유군몫군으로 설명한다. 이 분야는 1880년대 초반 펠릭스 클라인의 제자인 발터 폰 딕에 의해 처음으로 체계적으로 연구되었으며,[2] 초기 형태는 1856년 윌리엄 로언 해밀턴20면체 계산에서 발견되는데, 그는 십이면체의 모서리 그래프를 통해 20면체 대칭군을 연구했다. 현재 조합 군론은 대부분 기하군론에 포함되어 있다. 또한 "기하군론"이라는 용어는 종종 전통적인 조합 군론의 범위를 벗어나는 확률론적, 측도론적, 산술적, 해석적 및 기타 접근 방식을 사용하여 이산 군을 연구하는 것을 포함하게 되었다.

20세기 전반에 걸쳐 막스 덴, 야코프 닐센, 쿠르트 라이데마이스터오토 슈라이어, 존 헨리 콘스턴틴 화이트헤드, 에흐베르튀스 판 캄펀 등의 선구적인 연구는 이산 군 연구에 일부 위상학적 및 기하학적 아이디어를 도입했다.[3] 기하군론의 다른 선구자로는 작은 소거 이론배스-세르 이론이 있다. 작은 소거 이론은 1960년대 마르틴 그린들링거에 의해 도입되었으며[4][5] 로저 린든폴 슈프에 의해 더욱 발전되었다.[6] 이 이론은 조합론적 곡률 조건을 통해 유한 군 표시에 해당하는 판 캄펀 다이어그램을 연구하고, 이러한 분석을 통해 군의 대수적 및 알고리즘적 속성을 도출한다. 1977년 세르의 저서에서 소개된 배스-세르 이론은[7] 단체 나무에 대한 군 작용을 연구하여 군에 대한 구조적 대수 정보를 도출한다. 기하군론의 외부 선구자로는 리 군의 격자 연구, 특히 모스토우 경직성 정리, 클라인 부분군 연구, 그리고 1970년대와 1980년대 초반 윌리엄 서스턴기하화 프로그램에 의해 촉발된 저차원 위상수학 및 쌍곡 기하학의 발전이 있다.

기하군론이 독자적인 수학 분야로 부상한 시기는 보통 1980년대 후반에서 1990년대 초반으로 거슬러 올라간다. 이는 유한생성군이 큰 규모에서 음의 곡률을 갖는다는 아이디어를 포착하는 쌍곡군 (단어-쌍곡군, 그로모프-쌍곡군 또는 음의 곡률 군으로도 알려짐) 개념을 도입한 미하일 그로모프의 1987년 논문 "Hyperbolic groups"에 의해 촉발되었으며,[8] 그 후 준등거리사상까지의 이산 군 이해에 대한 그로모프의 프로그램을 제시한 그의 후속 논문 "Asymptotic Invariants of Infinite Groups"에 의해 더욱 촉진되었다.[9] 그로모프의 연구는 이산 군 연구에 혁신적인 영향을 미쳤고[10][11][12] 그 직후 "기하군론"이라는 용어가 등장하기 시작했다 (예: [13] 참조).

현대적 주제 및 발전

[편집]

1990년대와 2000년대 기하군론의 주목할 만한 주제 및 발전은 다음과 같다.

  • 군의 준등거리 속성 연구를 위한 그로모프의 프로그램.
이 분야에서 특히 영향력 있는 광범위한 주제는 유한생성군을 대규모 기하학에 따라 분류하는 그로모프의 프로그램이다.[14] 공식적으로 이것은 단어 거리를 갖는 유한생성군을 준등거리사상까지 분류하는 것을 의미한다. 이 프로그램에는 다음이 포함된다.
  1. 준등거리사상 불변 속성 연구. 유한생성군의 그러한 속성 예시로는 다음이 있다. 유한생성군의 성장률; 유한제시군아이소페리메트릭 함수 또는 데흔 함수; 군의 끝 개수; 군의 쌍곡성; 쌍곡군의 그로모프 경계위상동형사상 유형;[15] 유한생성군의 극한원뿔 (예: [16][17] 참조); 유한생성군의 종순성; 사실상 아벨 군 (즉, 유한 지표의 아벨 부분군을 가짐); 사실상 멱영군; 사실상 자유군; 유한 제시 가능성; 단어 문제가 가해군인 유한 제시 가능군; 등.
  2. 준등거리사상 불변량을 사용하여 군에 대한 대수적 결과를 증명하는 정리. 예를 들어: 그로모프 다항식 성장 정리; 스탈링 끝 정리; 모스토우 경직성 정리.
  3. 준등거리 경직성 정리. 이 정리에서는 주어진 군 또는 거리 공간과 준등거리인 모든 군을 대수적으로 분류한다. 이 방향은 리처드 슈워츠의 랭크 1 격자의 준등거리 경직성에 대한 연구[18]벤슨 파브 및 리 모셔의 바움슬라그-솔리터 군의 준등거리 경직성에 대한 연구[19]에 의해 시작되었다.

예시

[편집]

다음 예시들은 기하군론에서 자주 연구된다.

같이 보기

[편집]

각주

[편집]
  1. P. de la Harpe, Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000. ISBN 0-226-31719-6, ISBN 0-226-31721-8.
  2. Stillwell, John (2002), 《Mathematics and its history》, Springer, 374쪽, ISBN 978-0-387-95336-6 
  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. Greendlinger, Martin (1960). 《Dehn's algorithm for the word problem》. 《Communications on Pure and Applied Mathematics》 13. 67–83쪽. doi:10.1002/cpa.3160130108. 
  5. Greendlinger, Martin (1961). 《An analogue of a theorem of Magnus》. 《Archiv der Mathematik》 12. 94–96쪽. doi:10.1007/BF01650530. S2CID 120083990. 
  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. ISBN 3-540-10103-9.
  8. 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. Elek, Gabor (2006). 《The mathematics of Misha Gromov》. 《Acta Mathematica Hungarica113. 171–185쪽. doi:10.1007/s10474-006-0098-5. S2CID 120667382. p. 181 "Gromov's pioneering work on the geometry of discrete metric spaces and his quasi-isometry program became the locomotive of geometric group theory from the early eighties." 
  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. ISBN 0-521-43529-3.
  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. Riley, Tim R. (2003). 《Higher connectedness of asymptotic cones》. 《Topology》 42. 1289–1352쪽. doi:10.1016/S0040-9383(03)00002-8. 
  17. Kramer, Linus; Shelah, Saharon; Tent, Katrin; Thomas, Simon (2005). 《Asymptotic cones of finitely presented groups》. 《Advances in Mathematics193. 142–173쪽. arXiv:math/0306420. doi:10.1016/j.aim.2004.04.012. S2CID 4769970. 
  18. Schwartz, R.E. (1995). 《The quasi-isometry classification of rank one lattices》. 《Publications Mathématiques de l'Institut des Hautes Études Scientifiques》 82. 133–168쪽. doi:10.1007/BF02698639. S2CID 67824718. 
  19. Farb, Benson; Mosher, Lee (1998). 《A rigidity theorem for the solvable Baumslag–Solitar groups. With an appendix by Daryl Cooper》. 《Inventiones Mathematicae131. 419–451쪽. doi:10.1007/s002220050210. MR 1608595. S2CID 121180189. 
  20. Sela, Zlil (1995). 《The isomorphism problem for hyperbolic groups. I》. 《Annals of Mathematics》. (2) 141. 217–283쪽. doi:10.2307/2118520. JSTOR 2118520. MR 1324134. 
  21. Farb, Benson (1998). 《Relatively hyperbolic groups》. 《Geometric and Functional Analysis8. 810–840쪽. doi:10.1007/s000390050075. MR 1650094. S2CID 123370926. 
  22. Bowditch, Brian H. (1999). 《Treelike Structures Arising from Continua and Convergence Groups》. Memoirs American Mathematical Society 662. American Mathematical Society. ISBN 978-0-8218-1003-3. 
  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. Kharlampovich, Olga; Myasnikov, Alexei (1998). 《Tarski's problem about the elementary theory of free groups has a positive solution》. 《Electronic Research Announcements of the American Mathematical Society》 4. 101–8쪽. doi:10.1090/S1079-6762-98-00047-X. MR 1662319. 
  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. Sapir, Mark; Birget, Jean-Camille; Rips, Eliyahu (2002). 《Isoperimetric and isodiametric functions of groups》. 《Annals of Mathematics》. (2) 156. 345–466쪽. arXiv:math/9811105. doi:10.2307/3597195. JSTOR 3597195. S2CID 119728458. 
  27. Birget, Jean-Camille; Olʹshanskiĭ, Aleksandr Yu.; Rips, Eliyahu; Sapir, Mark (2002). 《Isoperimetric functions of groups and computational complexity of the word problem》. 《Annals of Mathematics》. (2) 156. 467–518쪽. arXiv:math/9811106. doi:10.2307/3597196. JSTOR 3597196. S2CID 14155715. 
  28. Bridson, M.R. (1999). 《Fractional isoperimetric inequalities and subgroup distortion》. 《Journal of the American Mathematical Society》 12. 1103–18쪽. doi:10.1090/S0894-0347-99-00308-2. MR 1678924. S2CID 7981000. 
  29. Kropholler, P. H. (1990). 《An Analogue of the Torus Decomposition Theorem for Certain Poincaré Duality Groups》 (영어). 《Proceedings of the London Mathematical Society》. s3-60. 503–529쪽. doi:10.1112/plms/s3-60.3.503. ISSN 1460-244X. 
  30. Rips, E.; Sela, Z. (1997). 《Cyclic splittings of finitely presented groups and the canonical JSJ decomposition》. 《Annals of Mathematics》. Second Series 146. 53–109쪽. doi:10.2307/2951832. JSTOR 2951832. 
  31. Dunwoody, M.J.; Sageev, M.E. (1999). 《JSJ-splittings for finitely presented groups over slender groups》. 《Inventiones Mathematicae》 135. 25–44쪽. Bibcode:1999InMat.135...25D. doi:10.1007/s002220050278. S2CID 16958457. 
  32. Scott, P.; Swarup, G.A. (2002). 《Regular neighbourhoods and canonical decompositions for groups》. 《Electronic Research Announcements of the American Mathematical Society》 8. 20–28쪽. doi:10.1090/S1079-6762-02-00102-6. MR 1928498. 
  33. Bowditch, B.H. (1998). 《Cut points and canonical splittings of hyperbolic groups》. 《Acta Mathematica》 180. 145–186쪽. doi:10.1007/BF02392898. 
  34. Fujiwara, K.; Papasoglu, P. (2006). 《JSJ-decompositions of finitely presented groups and complexes of groups》. 《Geometric and Functional Analysis》 16. 70–125쪽. arXiv:math/0507424. doi:10.1007/s00039-006-0550-2. S2CID 10105697. 
  35. Yu, G. (1998). 《The Novikov conjecture for groups with finite asymptotic dimension》. 《Annals of Mathematics》. Second Series 147. 325–355쪽. doi:10.2307/121011. JSTOR 121011. 
  36. 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.
  37. Mineyev, I.; Yu, G. (2002). 《The Baum–Connes conjecture for hyperbolic groups》. 《Inventiones Mathematicae》 149. 97–122쪽. arXiv:math/0105086. Bibcode:2002InMat.149...97M. doi:10.1007/s002220200214. S2CID 7940721. 
  38. Bonk, Mario; Kleiner, Bruce (2005). 《Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary》. 《Geometry & Topology9. 219–246쪽. arXiv:math/0208135. doi:10.2140/gt.2005.9.219. S2CID 786904. 
  39. Marc Bourdon and Hervé Pajot. Quasi-conformal geometry and hyperbolic geometry. Rigidity in dynamics and geometry (Cambridge, 2000), pp. 1–17, Springer, Berlin, 2002.
  40. Mario Bonk, Quasiconformal geometry of fractals. International Congress of Mathematicians. Vol. II, pp. 1349–1373, Eur. Math. Soc., Zürich, 2006.
  41. Cannon, James W.; Floyd, William J.; Parry, Walter R. (2001). 《Finite subdivision rules》. 《Conformal Geometry and Dynamics》 5. 153–196쪽. Bibcode:2001CGDAM...5..153C. doi:10.1090/S1088-4173-01-00055-8. MR 1875951. 
  42. 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.
  43. Yaman, Asli (2004). 《A topological characterisation of relatively hyperbolic groups》. 《Journal für die Reine und Angewandte Mathematik566. 41–89쪽. MR 2039323. 
  44. Bestvina, M.; Feighn, M. (1995). 《Stable actions of groups on real trees》. 《Inventiones Mathematicae》 121. 287–321쪽. Bibcode:1995InMat.121..287B. doi:10.1007/BF01884300. S2CID 122048815. 
  45. Bridson & Haefliger 1999
  46. M. Kapovich, Hyperbolic manifolds and discrete groups. Progress in Mathematics, 183. Birkhäuser Boston, Inc., Boston, MA, 2001.
  47. M. Gromov. Random walk in random groups. Geometric and Functional Analysis, vol. 13 (2003), no. 1, pp. 73–146.
  48. Kapovich, I.; Miasnikov, A.; Schupp, P.; Shpilrain, V. (2003). 《Generic-case complexity, decision problems in group theory, and random walks》. 《Journal of Algebra》 264. 665–694쪽. arXiv:math/0203239. doi:10.1016/S0021-8693(03)00167-4. 
  49. Kapovich, I.; Schupp, P.; Shpilrain, V. (2006). 《Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups》. 《Pacific Journal of Mathematics》 223. 113–140쪽. arXiv:math/0303386. doi:10.2140/pjm.2006.223.113. 
  50. L. Bartholdi, R. I. Grigorchuk and Z. Sunik. Branch groups. Handbook of algebra, Vol. 3, pp. 989-1112, North-Holland, Amsterdam, 2003.
  51. V. Nekrashevych. Self-similar groups. Mathematical Surveys and Monographs, 117. American Mathematical Society, Providence, RI, 2005. ISBN 0-8218-3831-8.
  52. Furman, A. (1999). 《Gromov's measure equivalence and rigidity of higher rank lattices》. 《Annals of Mathematics》. Second Series 150. 1059–81쪽. arXiv:math/9911262. Bibcode:1999math.....11262F. doi:10.2307/121062. JSTOR 121062. S2CID 15408706. 
  53. Monod, N.; Shalom, Y. (2006). 《Orbit equivalence rigidity and bounded cohomology》. 《Annals of Mathematics》. Second Series 164. 825–878쪽. doi:10.4007/annals.2006.164.825. JSTOR 20160009. 
  54. Y. Shalom. The algebraization of Kazhdan's property (T). International Congress of Mathematicians. Vol. II, pp. 1283–1310, Eur. Math. Soc., Zürich, 2006.
  55. Culler, M.; Vogtmann, K. (1986). 《Moduli of graphs and automorphisms of free groups》. 《Inventiones Mathematicae84. 91–119쪽. Bibcode:1986InMat..84...91C. doi:10.1007/BF01388734. S2CID 122869546. 
  56. Bestvina, Mladen; Handel, Michael (1992). 《Train tracks and automorphisms of free groups》. 《Annals of Mathematics》. 2 135. 1–51쪽. doi:10.2307/2946562. JSTOR 2946562. MR 1147956. 
  57. Dunwoody, M.J. (1985). 《The accessibility of finitely presented groups》. 《Inventiones Mathematicae81. 449–457쪽. Bibcode:1985InMat..81..449D. doi:10.1007/BF01388581. S2CID 120065939. 
  58. Bestvina, M.; Feighn, M. (1991). 《Bounding the complexity of simplicial group actions on trees》. 《Inventiones Mathematicae103. 449–469쪽. Bibcode:1991InMat.103..449B. doi:10.1007/BF01239522. S2CID 121136037. 
  59. Sela, Zlil (1997). 《Acylindrical accessibility for groups》. 《Inventiones Mathematicae129. 527–565쪽. Bibcode:1997InMat.129..527S. doi:10.1007/s002220050172. S2CID 122548154. 
  60. 하먼 배스 and Alexander Lubotzky. Tree lattices. With appendices by Hyman Bass, Lisa Carbone, Alexander Lubotzky, G. Rosenberg and 자크 티츠. Progress in Mathematics, 176. Birkhäuser Boston, Inc., Boston, MA, 2001. ISBN 0-8176-4120-3.
  61. Kaimanovich, V.A. (2000). 《The Poisson formula for groups with hyperbolic properties》. 《Annals of Mathematics》. 2 152. 659–692쪽. arXiv:math/9802132. doi:10.2307/2661351. JSTOR 2661351. S2CID 14774503. 
  62. Alexander Lubotzky and Dan Segal. Subgroup growth. Progress in Mathematics, 212. 비르크하우저 출판사, Basel, 2003. ISBN 3-7643-6989-2. MR1978431
  63. Bestvina, Mladen; Kapovich, Michael; Kleiner, Bruce (2002). 《Van Kampen's embedding obstruction for discrete groups》. 《Inventiones Mathematicae150. 219–235쪽. arXiv:math/0010141. Bibcode:2002InMat.150..219B. doi:10.1007/s00222-002-0246-7. MR 1933584. S2CID 7153145. 
  64. Ivanov, S.V. (1994). 《The free Burnside groups of sufficiently large exponents》. 《International Journal of Algebra and Computation4. 1–309쪽. doi:10.1142/S0218196794000026. 
  65. Lysënok, I.G. (1996). 《Infinite Burnside groups of even exponent》. 《Izvestiya: Mathematics60. 453–654쪽. Bibcode:1996IzMat..60..453L. doi:10.1070/im1996v060n03abeh000077. S2CID 250838960. 

서적 및 단행본

[편집]

이 텍스트들은 기하군론 및 관련 주제를 다룬다.

  • Clay, Matt; Margalit, Dan (2017). 《Office Hours with a Geometric Group Theorist》. Princeton University Press. ISBN 978-0-691-15866-2. 

외부 링크

[편집]