群為什麼該有個形狀
到目前為止，你已學會僅憑一個距離來做幾何：長度空間度量曲線、測地空間實現最短路徑，而格羅莫夫-豪斯多夫距離一次比較整個空間。幾何群論的激進想法，是把這套機器對準一個看似純代數的對象——一個有限生成的群 G——並堅持它同樣是一個幾何空間。群通常以呈現方式交到你手上：生成元與關係、乘法、逆元。這些資料裡沒有任何東西長得像度量。橋樑在於讓群作用在它自己身上，再從這個作用裡讀出距離。
回想 Vol I 裡，一個空間的基本群早已承載了隱藏的幾何：圈在同倫下的等價類，以串接作為乘法。這裡我們做的是互補的事。我們不是從空間萃取出群，而是從群製造出一個空間，然後追問它的哪些幾何特徵是真實的、哪些只是我們選擇下的人為產物。本篇後續會逐步證成的誠實結論是：幾乎每個精細細節都是人為產物——但粗略的大尺度形狀是典範的，而這個粗略形狀對代數記得的東西多得驚人。
凱萊圖與字度量
為 G 固定一個有限生成集 S，並假設 S 是對稱的（若 s 屬於 S 則 s^{-1} 也屬於 S）。凱萊圖 Cay(G, S) 是一個圖，它的頂點「就是」G 的元素：每個群元素都是一個點。對每個生成元 s 屬於 S，從 g 連一條邊到 gs。於是你站在 g，生成元就是你「走一步」的菜單；走一步 s 就落到 gs。結果是一個連通圖——之所以連通，正因為 S 生成 G，所以任何元素都是若干生成元之積，亦即從單位元出發的某條走法。
現在宣告每條邊長度為 1，你就得到一個字度量：距離 d_S(g, h) 是 g 到 h 任何路徑中最少的邊數，等價地說，就是拼出 g^{-1} h 的生成元最短字的長度。從單位元 e 到 g 的距離，記作 |g|_S，是 g 的字長——抵達它所需生成元步數的最小值。這是一個如假包換、取整數值的度量，而帶此度量的圖是一個測地空間：兩頂點間最短的邊路徑就字面地實現了該距離。
把它寫清楚：Cay(G, S) 的頂點是 G 的元素 g，而對每個生成元 s 屬於 S，都有一條單位長的邊把 g 連到 gs。於是字長為 |g|_S = min { n : g = s_1 s_2 ... s_n 且每個 s_i 屬於 S }，字度量為 d_S(g, h) = |g^{-1} h|_S。兩個小圖像就能釘住這個概念。對 G = Z 配 S = {+1, -1}，凱萊圖就是整數數線 ...-2-1-0-1-2...，字度量就是尋常的 |m - n|：能想像得到最簡單的幾何。
更進一步：對兩個生成元 a、b 的自由群 F_2，凱萊圖是無限的 4 度樹——每個頂點冒出四條邊（a、a^{-1}、b、b^{-1}），而且沒有任何圈，因為沒有關係去把它們封閉起來。這棵樹其實早已悄悄是一個格羅莫夫雙曲空間的原型：細三角形、指數分枝、無窮遠處的邊界。
陷阱：度量取決於你的生成元
這裡有個幾乎讓整個計畫沉沒的尷尬。字度量並不是 G 單獨的不變量——它取決於你選的生成集 S。再取 G = Z，但配 S = {+2, -2, +3, -3}。現在你兩步就能到達 5（先 3 再 2），所以 |5| 從 5 掉到 2；整個度量被重新縮放、重新塑形。更糟的是，凱萊圖本身也變了：不同的 S 給出的圖甚至不同構。如果幾何本該捕捉這個群，為什麼我們一改動一個表面的選擇它就晃動？
解救之道是不再要求距離精確吻合，而是接受「差到一個有界的乘法與加法誤差為止」的吻合。比較 Z 上的兩個度量。任何一步大小為 2 或 3 的移動，在標準 {+1, -1} 度量裡至多花 3 個單位；而任何一個標準單位步，在這個粗度量裡至多花 1。所以這兩個度量永遠不會差到超過一個固定倍數加一個固定常數。從遠處看它們一模一樣，就像兩張比例尺略有不同的道路圖。這個有界的落差，正是我們要把它提升為核心等價關係的東西。
擬等距：差到有界誤差的相等
度量空間之間的映射 f: X -> Y 是一個擬等距嵌入，若存在常數 L >= 1 與 C >= 0，使得對所有點都有 (1/L) d_X(x, x') - C <= d_Y(f(x), f(x')) <= L d_X(x, x') + C。這個映射不必連續、不必單射、也不必滿射；它只需把距離保持到「伸縮 L 倍、外加鬆動量 C」的程度。若再加上 Y 的每個點都落在像 f(X) 的距離 C 之內——亦即像是 C-稠密的，f 不會漏掉整片區域——它就是一個完整的擬等距。當這樣的 f 存在時，兩個空間就擬等距，而這是度量空間上的一個等價關係。
f: X -> Y is a (L, C)-quasi-isometric embedding ( L >= 1, C >= 0 ) iff
(1/L) d_X(x, x') - C <= d_Y( f(x), f(x') ) <= L d_X(x, x') + C
... and a quasi-isometry iff also every y in Y has d_Y( y, f(X) ) <= C.
Non-example you must keep straight:
Z is NOT quasi-isometric to Z^2 ( their growth differs )
Z IS quasi-isometric to R ( the inclusion has L=1, C=1 )擬等距是刻意設計得粗糙的。加法常數 C 讓它對任何有界的局部細節視而不見：一個空間，與「把其中某個點抹開成一個直徑為 5 的小斑點」後的同一個空間，是擬等距的，因為這個差別被 C 吞掉了。乘法常數 L 則讓它對尺度視而不見。這就是為什麼配 {+1, -1} 的 Z 與配 {+2, -2, +3, -3} 的 Z 是擬等距的：Z 上的恒等映射就是這兩個字度量之間的擬等距。我們先前擔心的精細晃動，在這個解析度下根本看不見。
回報：群的幾何是良定義的
現在來收取回報。對一個有限生成群 G，任兩個有限生成集 S 與 S' 給出的字度量，都透過恒等映射而擬等距（論證就是 Z 那個例子：每個 S-生成元是一個有界的 S'-字，反之亦然，這界定了 L；你可取 C = 0）。因此 Cay(G, S) 的擬等距類「不」取決於 S。我們終於可以談論 G 的「那個」大尺度幾何，一個誠實的群不變量。任何你證明出來、在擬等距下不變的性質，都是關於 G 的如假包換的定理，不受任意生成集所累。
在這道粗化之下倖存的，恰恰是最深刻的東西。一個群的增長型——字長至多為 n 的元素數目是多項式地、指數地、還是介於兩者之間地增長——是一個擬等距不變量，而格羅莫夫的著名定理說，多項式增長恰恰發生在殆冪零群上。是不是雙曲群（凱萊圖是格羅莫夫雙曲的，三角形一致地細）同樣是擬等距不變量，端的數目以及許多別的特徵也是。在這些定理裡，幾何把真正嶄新的事實餵回給代數。
進入下一篇之前有一個誠實的提醒。擬等距比代數更粗：擬等距的群未必同構，甚至未必可公度，而判定兩個給定的群是否擬等距是困難的、往往懸而未決。反過來，從一個群的幾何連到它所作用的空間，這條連結由施瓦茨-米爾諾引理提供——有時稱為幾何群論的基本觀察——而下一篇將展開它：當 G 在一個測地空間 X 上「好好地」作用（透過等距、真常且餘緊地）時，帶字度量的 G 就與 X 擬等距。這正是抽象的群如何繼承它所棲身空間之幾何的方式，也是增長如何以該空間的體積增長重新登場的方式。