從群到空間的橋
在上一篇裡，你學會把有限生成群 G 看作一個幾何對象：選定一個有限生成集，建出凱萊圖，由此而來的字度量就讓 G 成為一個測地空間。你也見過那個陷阱——換一個生成集，字度量就會改變，但只在擬等距意義下改變，這個等價關係忽略有界誤差與有界倍率伸縮。所以 G 真正誠實的幾何資料是它的擬等距類，而不是任何單一的度量。下一個自然的問題是：哪些熟悉的空間與它同屬一類？施瓦茨-米爾諾引理回答了這個問題。
這句口號有時被稱為幾何群論的基本觀察：若一個群足夠良好地作用在某個空間上，這個群就與該空間擬等距。 具體說，設 G 以等距作用在度量空間 X 上，而這個作用是 (1) 上緊緻的——某個有界區域的平移覆蓋了整個 X——且 (2) 在度量意義下真正不連續的。那麼，帶任意字度量的 G 與帶其自身度量的 X 就是擬等距的。這個群可以徹底借用該空間的大尺度幾何。
它為何奏效：軌道作為一張網
證明比陳述更能讓人開竅，所以把它畫出來。固定 X 中一個基點 x_0，看它的軌道，即當 g 跑遍 G 時所有 g·x_0 構成的集合。上緊緻性意味著這些軌道點像一張沒有大空洞的網那樣鋪滿 X：X 的每個點都落在某個軌道點的固定半徑 R 之內。所以映射 g -> g·x_0（從 G 到 X）是粗略滿的——它的像 R-覆蓋了 X，這正是「在有界誤差意義下滿射」這一半的擬等距性質。
較難的那一半是：這個映射對距離的拉伸與壓縮都不超過一個有界倍數。G 中的字距離數的是生成元；訣竅是從幾何裡挑生成集：比方說，令 S 為那些把 x_0 移動至多 2R + 1 的群元素所成的集合。真正性保證 S 是有限的，所以它是個正當的有限生成集。一個由這些生成元組成的短字把 x_0 移動一段受控的距離（上界）；反過來，X 中一條從 x_0 到 g·x_0 的路徑可以在間距小於 2R 的軌道點處切斷，每一小段都由 S 中一個生成元實現（下界）。把這兩個界疊在一起，你就得到一個擬等距。
引理的實作：三個例子
良好作用最乾淨的來源是基本群的覆疊作用。若 M 是緊緻黎曼流形，則 pi_1(M) 透過覆疊變換作用在萬有覆蓋 tilde-M 上，而這個作用是等距的（把度量提升上去）、上緊緻的（緊緻底空間的覆蓋由基本域的平移鋪成）、且真正的。施瓦茨-米爾諾引理立刻給出：pi_1(M) 與萬有覆蓋 tilde-M 擬等距。 群的代數與覆蓋的大尺度黎曼幾何，是同一個粗略對象。
- 扁平環面：n 維環面 T^n 的萬有覆蓋是 R^n，覆疊群為 Z^n。所以 Z^n 與歐氏 R^n 擬等距——整數格與連續平面從遠處看完全一樣。
- 雙曲曲面：虧格 g >= 2 的曲面，其萬有覆蓋是雙曲平面 H^2。因此它的基本群與 H^2 擬等距，從而是一個格羅莫夫雙曲群（第 3 篇）——負曲率從覆蓋出口到了群上。
- G 的有限指數子群 H 與 G 擬等距：H 在 G 的凱萊圖上作用，是上緊緻的（有限多個陪集）且真正的。擬等距看不見有限指數——這是一種強大的粗略性，當你想要更細的不變量時，它也是一個實實在在的限制。
增長：數一數群裡的球
現在我們從幾何裡挖掘一個不變量。增長函數 beta(n) 數的是落在離單位元字距離 n 以內的群元素有多少——等價地說，就是凱萊圖中半徑 n 的球裡有多少頂點。它是衡量群擴張多快的最基本量度。換生成集，beta(n) 會變，但只是把輸入受控地重新縮放；所以它的增長型——多項式、指數、或介於兩者之間——是一個擬等距不變量，從而是群的一個誠實性質。
beta(n) = #{ g in G : |g|_S <= n } ( |g|_S = word length of g )
Z^k : beta(n) ~ n^k polynomial, degree k
free F_2 : beta(n) ~ 3 * 2^n - 2 exponential
Heisenberg : beta(n) ~ n^4 polynomial, degree 4 (not 3!)把例子走一遍。在 Z^k 裡，半徑 n 的球是一個離散的菱形，約有 n^k 個格點，所以增長是次數為 k 的多項式——這與上面從環面得到的擬等距 Z^k -> R^k 相符，因為歐氏球也以 n^k 增長。在兩個生成元的自由群 F_2 裡，從每個頂點你都能不回頭地走到 3 個新頂點，所以計數大致每步翻三倍：beta(n) 是指數的。自由群是一棵樹，是最為四散的幾何。
海森堡群是那個富有教益的驚奇。它由兩個元素 x, y 生成，它們的交換子 z = [x, y] 是中心的，而要走到 z 約需 n^2 個生成元（你用一個 n 乘 n 的 x、y 移動方格把 z 拼出來）。仔細數來，beta(n) 以 n^4 增長，而不是天真地按 x、y、z 三個生成元所猜的 n^3。所以增長次數未必是顯而易見的維數——這是一個健康的警告，提醒你別直接從生成集上把答案讀出來。
格羅莫夫定理與增長的譜
這裡最深刻的結果是格羅莫夫多項式增長定理（1981）：一個有限生成群具有多項式增長——即對某些 C, d 有 beta(n) <= C·n^d——若且唯若它是幾乎冪零的，意即它有一個有限指數的冪零子群。一個方向是初等的記帳；反方向則是一座里程碑，其證明是第 1 篇整套格羅莫夫-豪斯多夫極限方法的原型：把凱萊圖按 1/n 縮放、取極限，並證明多項式增長迫使該極限是一個群作用其上的良好空間（帶左不變度量的冪零李群）。這是一個我們陳述並闡釋動機、而非證明的定理——真正的證明本身就是一門課。
在多項式與指數之間，藏著一個著名的微妙之處。米爾諾在 1968 年問道：是否有群具有中間增長——比任何多項式都快，卻又比指數慢？十五年裡無人知道任何例子；然後在 1984 年，格里戈爾丘克造出了一個，那是一個二元樹自同構群，它的增長嚴格地坐落在 n^d 與 2^n 之間。所以增長的譜確實比「多項式／指數」這個二分法更為豐富，凡是只給你兩個格子的來源都該存疑。
增長只是施瓦茨-米爾諾引理所幾何化的若干大尺度不變量之一。另一個是順從性——粗略說，是某個不變的有限可加平均的存在，或等價地說是在平移下幾乎不變的弗爾納集合的存在。次指數增長蘊含順從性，而自由群 F_2 是經典的非順從群（它的指數增長與樹狀結構不給弗爾納集合留任何餘地）。這些不變量正是幾何群論之所以能用圖像回答純代數問題的原因——也正是這個單元一開始就把群當作空間來對待的緣由。