幾何群論（geometric group theory）

群是一種代數裝置：一組你能相互結合的對稱或運算，像魔術方塊的轉動，或加法下的整數。長久以來，群純粹被當作代數來研究。幾何群論是現代而優美的逆轉：它把一個群「變成」一個幾何形狀，並從形狀的幾何讀出群的性質。其口號是，你能藉由觀看一個抽象群暗地裡所是的那個「空間」來理解它。

以下是群如何變成空間。選一組生成元（一切其餘都由之構築的基本動作）。替群的每個元素畫一個點，並在一個元素由另一個經單一生成元得到時，用一條邊連接這兩點。所得的網路是凱萊圖，它把群變成一個帶有距離的連通幾何物件：兩個元素間的距離是從一者走到另一者所需的最少生成元個數（即「字度量」）。現在這個群「有了」一個形狀，你便能對它問幾何問題。它看起來像一張平坦的方格網嗎，像兩個方向上的整數？它像一棵樹那樣指數地散開嗎，那是「負曲率」的標誌？距離 n 以內的元素個數成長得多快——即它的成長率？格羅莫夫（Mikhail Gromov）深刻的洞見是，這個形狀的大尺度幾何特徵（忽略局部細節的粗略性質，由「擬等距」捕捉）反映群的真正代數事實，反之亦然。

這個觀點重塑了群論，並把它連向拓樸、雙曲幾何與電腦科學。格羅莫夫關於多項式成長的群是「幾乎冪零」的定理，以及雙曲群豐富的理論，都是里程碑式的果實；這些想法觸及三維流形的研究、乃至群上的高效演算法。它穩穩是一個「前沿」學科，所以誠實很重要。凱萊圖的細部形狀取決於你挑哪些生成元，所以幾何群論刻意只研究那能挺過該選擇的「粗略」、大尺度幾何（即擬等距不變量）——小尺度的圖像並非群所內蘊。而儘管這領域有輝煌的成就，許多基本問題仍懸而未決；它是一個活躍、未竟的領域，而非一份封閉的定理目錄。