幾何 学 的 群論
ピエール・デ・ラ・ハープは
「
歴史
[20
現代 のテーマと発展
[1990
群 の擬 等 長 の性質 を研究 するためのグロモフのプログラム。
- この
分野 で特 に影響 力 のある広大 なテーマは、大 尺度 (large scale)な幾何 学 によって有限 生成 群 を分類 するグロモフのプログラム[14] である。正確 には、これは語 距離 を入 れた有限 生成 群 の擬 等 長 類 を分類 することを意味 する。このプログラムには以下 が含 まれる。
擬 等 長 の下 で不変 である性質 の研究 。有限 生成 群 のこのような性質 の例 には、次 のものがある。有限 生成 群 の増大 度 。有限 表示 群 の等 周 関数 またはデーン関数 。群 のエンドの数 。群 の双 曲 性 。双 曲 群 のグロモフ境界 の同相 型 ;[15]有限 生成 群 の漸近 錐 (asymptotic cone)(たとえば[16][17]参照 )。有限 生成 群 の従順 性 ;実質 的 に(en:virtually)アーベルである(つまり、有限 位 数 のアーベル部分 群 をもつ)こと;実質 的 にべき零 であること。実質 的 に自由 であること。有限 表示 できること。語 問題 が解 ける有限 表示 群 であること。など擬 等 長 不 変量 を用 いて、群 に関 する代数 的 結果 を証明 する定理 。例 えば、グロモフの多項式 増大 定理 ; スターリングスのエンド定理 ; モストウの剛性 定理 。擬 等 長 剛性 定理 。つまり、与 えられた群 または距離 空間 に対 して、擬 等 長 であるすべての群 を代数 的 に分類 するもの。この方向 性 は、ランク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]離散 群 のユニタリ表現 とカジュダンの性質 (T)の研究 [53]- Out(Fn) (
自由 群 の階数 n の外部 自己 同型 群 ) と自由 群 の個々 の自己 同型 の研究 。ここで特 に顕著 な役割 を果 たしたのは、カラー(Culler)とフォートマン(Vogtmann)のouter space[54] と自由 群 の自己 同型 群 のための線路 (en:train track)の理論 [55] の導入 と研究 である。 - バス・セール
理論 の発展 、特 に多 くの accessibility の結果 [56][57][58] とツリーの格子 の理論 [59]。群 の複 体 の理論 などバス・セール理論 の一般 化 。[44] 群 上 の ランダム・ウォークとそれに関連 する境界 の理論 の研究 、特 にポアソン境界 の概念 (例 えば[60]参照 )。従順 性 と、従順 性 が不明 な群 の研究 。有限 群 論 との相互 作用 、特 に subgroup growth の研究 の進展 。- などの
線形 群 や、他 のリー群 の、部分 群 と格子 を、幾何 学 的 方法 (例 えばビルディング)、代数 幾何 学 的 ツール (例 えば代数 群 と表現 多様 体 )、解析 的 手法 (例 えば ヒルベルト空間 上 のユニタリ表現 ) 、数 論 的 手法 などで調 べる研究 。 代数 的 ・位相 幾何 学 的 手法 を用 いた、群 のコホモロジー。特 に代数 的 位相 幾何 学 との相互 作用 や組合 せの文脈 でのモース理論 的 な考 え方 の利用 を含 む;大 尺度 , あるいは粗 ホモロジーあるいはコホモロジー。 (たとえば[61] を参照 )- Burnsideの
問題 ,[62][63] コクセター群 やアルティン群 の研究 など、伝統 的 な組合 せ群 論 のトピックの進展 (これらの問題 を研究 するために現在 使用 されている方法 は、幾何 学 的 ・位相 幾何 学 的 なものが多 い)。
例
[
参照
[参考 文献
[- ^ 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, 0-226-31721-8.
- ^ Stillwell, John (2002), Mathematics and its history, Springer, p. 374, ISBN 978-0-387-95336-6
- ^ 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.
- ^ Greendlinger, Martin (1960). “Dehn's algorithm for the word problem”. Communications on Pure and Applied Mathematics 13 (1): 67–83. doi:10.1002/cpa.3160130108.
- ^ Greendlinger, Martin (1961). “An analogue of a theorem of Magnus”. Archiv der Mathematik 12 (1): 94–96. doi:10.1007/BF01650530.
- ^ Roger Lyndon and Paul Schupp, Combinatorial Group Theory, Springer-Verlag, Berlin, 1977. Reprinted in the "Classics in mathematics" series, 2000.
- ^ J.-P. Serre, Trees. Translated from the 1977 French original by John Stillwell. Springer-Verlag, Berlin-New York, 1980. ISBN 3-540-10103-9.
- ^ a b Mikhail Gromov, Hyperbolic Groups, in "Essays in Group Theory" (Steve M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75–263.
- ^ 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.
- ^ 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)."
- ^ 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]."
- ^ Elek, Gabor (2006). “The mathematics of Misha Gromov”. Acta Mathematica Hungarica 113 (3): 171–185. doi:10.1007/s10474-006-0098-5.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ Riley, Tim R. (2003). “Higher connectedness of asymptotic cones”. Topology 42 (6): 1289–1352. doi:10.1016/S0040-9383(03)00002-8.
- ^ Kramer, Linus; Shelah, Saharon; Tent, Katrin; Thomas, Simon (2005). “Asymptotic cones of finitely presented groups”. Advances in Mathematics 193 (1): 142–173. arXiv:math/0306420. doi:10.1016/j.aim.2004.04.012.
- ^ Schwartz, R.E. (1995). “The quasi-isometry classification of rank one lattices”. Publications Mathématiques de l'Institut des Hautes Études Scientifiques 82 (1): 133–168. doi:10.1007/BF02698639.
- ^ Farb, Benson; Mosher, Lee (1998). “A rigidity theorem for the solvable Baumslag–Solitar groups. With an appendix by Daryl Cooper”. Inventiones Mathematicae 131 (2): 419–451. doi:10.1007/s002220050210. MR1608595.
- ^ Sela, Zlil (1995). “The isomorphism problem for hyperbolic groups. I”. Annals of Mathematics 141 (2): 217–283. doi:10.2307/2118520. JSTOR 2118520. MR1324134.
- ^ Farb, Benson (1998). “Relatively hyperbolic groups”. Geometric and Functional Analysis 8 (5): 810–840. doi:10.1007/s000390050075. MR1650094.
- ^ 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
- ^ 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.
- ^ 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. MR1662319.
- ^ 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.
- ^ Sapir, Mark; Birget, Jean-Camille; Rips, Eliyahu (2002). “Isoperimetric and isodiametric functions of groups”. Annals of Mathematics 156 (2): 345–466. JSTOR 3597195.
- ^ 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 156 (2): 467–518. JSTOR 3597196.
- ^ Bridson, M.R. (1999). “Fractional isoperimetric inequalities and subgroup distortion”. Journal of the American Mathematical Society 12 (4): 1103–18. doi:10.1090/S0894-0347-99-00308-2. MR1678924.
- ^ Rips, E.; Sela, Z. (1997). “Cyclic splittings of finitely presented groups and the canonical JSJ decomposition”. Annals of Mathematics (2) 146 (1): 53–109. JSTOR 2951832.
- ^ Dunwoody, M.J.; Sageev, M.E. (1999). “JSJ-splittings for finitely presented groups over slender groups”. Inventiones Mathematicae 135 (1): 25–44. doi:10.1007/s002220050278.
- ^ 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. MR1928498.
- ^ Bowditch, B.H. (1998). “Cut points and canonical splittings of hyperbolic groups”. Acta Mathematica 180 (2): 145–186. doi:10.1007/BF02392898.
- ^ Fujiwara, K.; Papasoglu, P. (2006). “JSJ-decompositions of finitely presented groups and complexes of groups”. Geometric and Functional Analysis 16 (1): 70–125. arXiv:math/0507424. doi:10.1007/s00039-006-0550-2.
- ^ Yu, G. (1998). “The Novikov conjecture for groups with finite asymptotic dimension”. Annals of Mathematics (2) 147 (2): 325–355. JSTOR 121011.
- ^ 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.
- ^ Mineyev, I.; Yu, G. (2002). “The Baum–Connes conjecture for hyperbolic groups”. Inventiones Mathematicae 149 (1): 97–122. arXiv:math/0105086. doi:10.1007/s002220200214.
- ^ Bonk, M.; Kleiner, B. (2005). “Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary”. Geometry and Topology 9: 219–246. arXiv:math.GR/0208135. doi:10.2140/gt.2005.9.219.
- ^ M. Bourdon and H. Pajot. Quasi-conformal geometry and hyperbolic geometry. Rigidity in dynamics and geometry (Cambridge, 2000), pp. 1–17, Springer, Berlin, 2002.
- ^ M. Bonk, Quasiconformal geometry of fractals. International Congress of Mathematicians. Vol. II, pp. 1349–1373, Eur. Math. Soc., Zürich, 2006.
- ^ Cannon, J.W.; Floyd, W.J.; Parry, W.R. (2001). “Finite subdivision rules”. Conformal Geometry and Dynamics 5: 153–196. doi:10.1090/S1088-4173-01-00055-8. MR1875951.
- ^ 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.
- ^ Yaman, A. (2004). “A topological characterisation of relatively hyperbolic groups”. Journal für die Reine und Angewandte Mathematik 566: 41–89.
- ^ Bestvina, M.; Feighn, M. (1995). “Stable actions of groups on real trees”. Inventiones Mathematicae 121 (2): 287–321. doi:10.1007/BF01884300.
- ^ a b Bridson & Haefliger 1999
- ^ Kapovich, M. (2001). Hyperbolic Manifolds and Discrete Groups. Progress in Mathematics. 183. Birkhäuser. ISBN 978-0-8176-3904-4
- ^ M. Gromov. Random walk in random groups. Geometric and Functional Analysis, vol. 13 (2003), no. 1, pp. 73–146.
- ^ Kapovich, I.; Miasnikov, A.; Schupp, P.; Shpilrain, V. (2003). “Generic-case complexity, decision problems in group theory, and random walks”. Journal of Algebra 264 (2): 665–694. doi:10.1016/S0021-8693(03)00167-4.
- ^ 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 (1): 113–140. doi:10.2140/pjm.2006.223.113.
- ^ L. Bartholdi, R. I. Grigorchuk and Z. Sunik. Branch groups. Handbook of algebra, Vol. 3, pp. 989-1112, North-Holland, Amsterdam, 2003.
- ^ V. Nekrashevych. Self-similar groups. Mathematical Surveys and Monographs, 117. American Mathematical Society, Providence, RI, 2005. ISBN 0-8218-3831-8.
- ^ Furman, A. (1999). “Gromov's measure equivalence and rigidity of higher rank lattices”. Annals of Mathematics (2) 150 (3): 1059–81. JSTOR 121062.
- ^ Monod, N.; Shalom, Y. (2006). “Orbit equivalence rigidity and bounded cohomology”. Annals of Mathematics (2) 164 (3): 825–878. doi:10.4007/annals.2006.164.825. JSTOR 20160009.
- ^ Y. Shalom. The algebraization of Kazhdan's property (T). International Congress of Mathematicians. Vol. II, pp. 1283–1310, Eur. Math. Soc., Zürich, 2006.
- ^ Culler, M.; Vogtmann, K. (1986). “Moduli of graphs and automorphisms of free groups”. Inventiones Mathematicae 84 (1): 91–119. doi:10.1007/BF01388734.
- ^ Bestvina, M.; Handel, M. (1992). “Train tracks and automorphisms of free groups”. Annals of Mathematics (2) 135 (1): 1–51. JSTOR 2946562.
- ^ Dunwoody, M.J. (1985). “The accessibility of finitely presented groups”. Inventiones Mathematicae 81 (3): 449–457. doi:10.1007/BF01388581.
- ^ Bestvina, M.; Feighn, M. (1991). “Bounding the complexity of simplicial group actions on trees”. Inventiones Mathematicae 103 (3): 449–469. doi:10.1007/BF01239522.
- ^ Sela, Z. (1997). “Acylindrical accessibility for groups”. Inventiones Mathematicae 129 (3): 527–565. doi:10.1007/s002220050172.
- ^ 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. ISBN 0-8176-4120-3.
- ^ Kaimanovich, V.A. (2000). “The Poisson formula for groups with hyperbolic properties”. Annals of Mathematics (2) 152 (3): 659–692. JSTOR 2661351.
- ^ Bestvina, M.; Kapovich, M.; Kleiner, B. (2002). “Van Kampen's embedding obstruction for discrete groups”. Inventiones Mathematicae 150 (2): 219–235. arXiv:math/0010141. doi:10.1007/s00222-002-0246-7.
- ^ Ivanov, S.V. (1994). “The free Burnside groups of sufficiently large exponents”. International Journal of Algebra and Computation 4 (1n2): 1–309. doi:10.1142/S0218196794000026.
- ^ Lysënok, I.G. (1996). “Infinite Burnside groups of even exponent”. Izvestiya: Mathematics 60 (3): 453–654. doi:10.1070/im1996v060n03abeh000077.
本 とモノグラフ
[これらのテキストは、
- Bowditch, Brian H. (2006). A course on geometric group theory. MSJ Memoirs. 16. Tokyo: Mathematical Society of Japan. ISBN 4-931469-35-3
- Bridson, Martin R.; Haefliger, André (1999). Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. 319. Berlin: Springer-Verlag. ISBN 3-540-64324-9
- Coornaert, Michel; Delzant, Thomas; Papadopoulos, Athanase (1990). Géométrie et théorie des groupes : les groupes hyperboliques de Gromov. Lecture Notes in Mathematics. 1441. Springer-Verlag. ISBN 3-540-52977-2. MR1075994
- Coornaert, Michel; Papadopoulos, Athanase (1993). Symbolic dynamics and hyperbolic groups. Lecture Notes in Mathematics. 1539. Springer-Verlag. ISBN 3-540-56499-3
- de la Harpe, P. (2000). Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-31719-6
- Druţu, Cornelia; Kapovich, Michael (2018). Geometric Group Theory. American Mathematical Society Colloquium Publications. 63. American Mathematical Society. ISBN 978-1-4704-1104-6. MR3753580
- Epstein, D.B.A.; Cannon, J.W.; Holt, D.; Levy, S.; Paterson, M.; Thurston, W. (1992). Word Processing in Groups. Jones and Bartlett. ISBN 0-86720-244-0
- Gromov, M. (1987). “Hyperbolic Groups”. In Gersten, G.M.. Essays in Group Theory. 8. MSRI. pp. 75–263. ISBN 0-387-96618-8
- Gromov, Mikhael (1993). Niblo, G.A.; Roller, M.A.. eds. Asymptotic invariants of infinite groups. 2. Cambridge University Press. pp. 1–295. ISBN 978-0-521-44680-8
- Kapovich, M. (2001). Hyperbolic Manifolds and Discrete Groups. Progress in Mathematics. 183. Birkhäuser. ISBN 978-0-8176-3904-4
- Lyndon, Roger C.; Schupp, Paul E. (2015) [1977]. Combinatorial Group Theory. Classics in mathematics. Springer. ISBN 978-3-642-61896-3
- Ol'shanskii, A.Yu. (2012) [1991]. Geometry of Defining Relations in Groups. Springer. ISBN 978-94-011-3618-1
- Roe, John (2003). Lectures on Coarse Geometry. University Lecture Series. 31. American Mathematical Society. ISBN 978-0-8218-3332-2