格羅莫夫雙曲空間與無窮遠邊界

口號：一致地細長的三角形

在上一篇導引中，你學會了透過把一個測地三角形和常曲率空間 M_k 中的比較三角形相對照，來界定曲率的上界。格羅莫夫的洞見是：只保留這個上界最粗糙的影子，然後把模型整個丟掉。在一個測地度量空間中固定一個邊為 A、B、C 的測地三角形。若 A 邊上每一點都落在另外兩邊 B 與 C 之並集的 delta 距離以內，就稱它為 delta-細長的。若存在單一個 delta >= 0 對每一個測地三角形都成立，就說空間 X 是格羅莫夫雙曲的。整個定義就這麼多：一個數，管住所有三角形。

想像龐加萊圓盤裡的雙曲平面。那裡一個巨大的理想三角形，中央幾乎是空的：它的三條邊緊貼著邊界，使得無論三角形多大，內切圓的半徑都有界。這個有界的內半徑，正是 delta-細長性被看見的樣子。在歐氏空間裡情況恰好相反——一個放大 t 倍的三角形，其內切圓半徑與 t 成正比，所以沒有任何有限的 delta 行得通。因此平面 R^2 並不是雙曲的。粗略地看，負曲率不過意味著三角形長大時永遠不會變胖。

同一概念的四點與內積觀點

細長三角形很生動，但它預設了真正的測地線存在。有一個等價的表述只需要距離函數，因此能套用到任何度量空間。固定一個基點 w，定義格羅莫夫內積 (x | y)_w = (1/2)( d(x, w) + d(y, w) - d(x, y) )。在一棵樹上，這恰好是從 w 到「通往 x 與通往 y 的路徑分岔處」的距離，所以它度量了 x 與 y 在分開之前一起走了多遠。四點條件說：對所有 x、y、z、w，內積 (x | z)_w 至少是 (x | y)_w 與 (y | z)_w 的最小值，誤差不超過一個加性常數 delta。

Gromov product:   (x | y)_w  =  (1/2) ( d(x,w) + d(y,w) - d(x,y) )

four-point delta-inequality, for all x, y, z, w:

      (x | z)_w   >=   min{ (x | y)_w ,  (y | z)_w }  -  delta

in a tree (delta = 0):   (x | y)_w  =  length of the shared initial path from w

格羅莫夫內積，以及雙曲性的度量（不需測地線）形式。

在測地空間上，四點條件與細長三角形是等價的，兩個 delta 之間只差一個受控的普適倍數——所以人們會毫不在意地說某空間是 delta-雙曲的，而不去計較是哪一個 delta。不過有一點要誠實：常數 delta 並非典範的。不同但等價的定義、不同的基點，會給出不同的 delta 數值。真正內在的是某個有限 delta 的存在性，而非它的值。請把 delta 當作大 O 記號裡那個隱含常數來看待。

為何細長性如此穩健：莫爾斯引理

細長三角形最深刻的回報，是擬測地線的穩定性，常稱為莫爾斯引理。一條 (lambda, c)-擬測地線是一條「容許乘性誤差 lambda 與加性誤差 c 的測地線」——正是當一個擬等距把一條真測地線從一個空間拖到另一個空間時所產生的那種變形路徑。引理說：在 delta-雙曲空間中，每一條 (lambda, c)-擬測地線都停留在「與它端點相同的真測地線」的某個有界距離 R(delta, lambda, c) 之內。擺動被原諒了；大尺度的路線被釘死了。

這在歐氏空間裡會戲劇性地失敗，而這個失敗值得親身體會。在 R^2 中取一條向外永遠盤旋的對數螺線：它可以是一條擬測地線，卻能任意遠地偏離它任兩點之間的直線段。負曲率正好殺死了這種漂移。其機制就是細長三角形：若一條擬測地線試圖從測地線鼓出去，它與該測地線所構成的三角形勢必變胖，這與 delta-細長性矛盾。所以細長性不是奇珍異玩——它是使雙曲性成為擬等距不變量的引擎。

無窮遠邊界

一個真測地雙曲空間自帶一個無窮遠邊界，記作 dX，它記錄了「能往哪些方向逃逸到無窮遠」。乾淨的構造是：取基點出發的所有測地射線，並把兩條「永遠保持有界距離」的射線視為等價。每一個等價類就是一個邊界點。在龐加萊圓盤中，這恰好還原出那個界圓——圓盤模型畫得出卻永遠抵達不了的單位圓。對於三價的正則樹，邊界是一個康托集：樹的諸端。

有兩點使邊界威力強大。第一，它不依賴於基點，因為莫爾斯引理使得「來自真正不同端」的射線永遠不會被混淆。第二，更引人注目的是，雙曲空間之間的擬等距會延拓成它們邊界之間的同胚。所以 dX 是擬等距不變量：它只看得見大尺度的形狀，而這正是幾何在粗化下仍能存活的範疇。邊界承載的不只是一個拓撲——它帶有一族自然的視覺度量，其中兩個邊界點之間的距離以 e^(-epsilon 乘以從基點量得的格羅莫夫內積) 的方式衰減。

一點誠實的提醒：視覺度量只在擬對稱的意義下有定義，而且其參數 epsilon 必須相對於 delta 夠小，這個構造才能給出真正的度量而非僅是擬度量。所以雖然 dX 的拓撲很穩健，它精確的度量結構卻是更細緻的對象——這是共形維數的課題，也是出了名難以計算的不變量。一如本級的慣例：粗略的資料穩定，精細的資料微妙。

雙曲群，以及這套理論不承諾的事

幾何學家如此在意的原因，是群本身可以是雙曲的。一個有限生成群，配上其凱萊圖上的字度量，就是一個度量空間；當這個空間是 delta-雙曲時，就稱它為雙曲群。由於不同有限生成元集所對應的凱萊圖彼此擬等距，而莫爾斯引理使雙曲性成為擬等距不變量，這個定義便不依賴於所選的生成元。自由群（它們的凱萊圖是樹）以及閉雙曲流形的基本群，是奠基性的例子。

為群 G 選一個有限生成元集 S 並建出它的凱萊圖；字度量使它成為一個測地空間。
檢查是否存在某個單一 delta 使每個測地三角形都 delta-細長（等價地，四點條件成立）。若是，則 G 為雙曲群。
由凱萊圖中的測地射線構造邊界 dG；它是一個緊緻可度量化空間，且是 G 的擬等距不變量。
從幾何讀出代數：G 的字問題可解、不含 Z^2 的複本、且有限子群的共軛類只有有限多個。

現在請抵抗炒作，這是貫穿整個階梯的主旋律。雙曲性是一個強而限制性的條件，並非普遍的條件：Z^2 不是雙曲的（它含有平坦平面，因而有胖三角形），而許多你能隨手寫下的群也都不是雙曲的。這套理論對那些不是雙曲的 CAT(0) 群著墨甚少——在那裡平坦處重新出現，邊界也失去了它的良好性質。而對於周遭地景，誠實的定位是綜述——莫斯托剛性、與幾何群論的聯繫、以及關於子群結構的深刻定理，在此只被動機化而非被證明；每一項本身都是一門課。