先回頭望望這座山
在向前指之前，先數一數你身後留下的足跡。你從一無所有開始——只有一個點、一條線，以及歐幾里得固執地拒絕定義它們——學會了證明兩個三角形全等，量度了圓與立體，遇見了三角學，並把一切落到了座標平面上。接著地面傾斜了：平行公設原來是一種選擇，雙曲幾何開啟了第二個自洽的世界，而克萊因的愛爾蘭根綱領把每一種幾何重新整理成「研究一個變換群保持不變之物」的學問。微積分隨後讓曲線與曲面帶上了曲率，高斯–博內定理更把那份局部的彎曲，與整體的歐拉示性數許配在了一起。那是一座貨真價實的山頂，而你正站在上頭。
這一階接著把你帶離古典的小徑，引上了現代的大道。你看著多項式刻出代數曲線與更高維的簇，用貝祖定理數交點，用凸集與多胞形填滿空間，讓電腦建起凸包與沃羅諾伊圖，並正面遇上了那些碎形維數根本不是整數的形狀。這每一樣都是一扇門，剛好開得夠寬，容你跨步進去。這收尾的一篇性質有所不同：它不再教你多一條結論，而是替那些門所通向的國度畫一張地圖——那是在職數學家此刻仍在發明中的幾何。
活在代數裡的幾何
第一道大潮流，正沿著你方才走過的路奔流：一個形狀就是一組多項式方程的解集，而你藉由研究方程來研究形狀。你在平面代數曲線上見過這點——一個奇異點恰好就是梯度消失、曲線捏緊或自交之處。現代的代數幾何把這一路推到極致。為了乾淨地處理奇異點，它替簇的每一小片貼上一整套代數裝置——一個函數環——使幾何與代數成為同一個對象的兩個面。這部辭典是精確的：一個點變成極大理想，一個子簇變成素理想，而空間中的相交變成理想的乘積。
為什麼有人想要這麼多抽象？因為它用定理替自己付清了帳。正是在這套語言裡，貝祖定理變得滴水不漏；正是在這裡，幾何最深的計數問題——有多少條給定型的曲線通過給定的點——才得到真正的答案；也正是在這裡，懷爾斯（Andrew Wiles）於 1994 年寫下費馬最後定理的證明。一句坦白的但書：這真的很難。那些對象（概形、層、上同調）光是定義就需要一年的專注研習，我不會假裝一個段落能傳達它們。你能誠實地帶走的，是那份信念——「一個形狀與它的方程是同一回事」——那正是整片森林賴以生長的種子。
還有一個更安靜、更視覺的近親值得一提：熱帶幾何。它把尋常的加法與乘法換成「取最小值」與「相加」，在這套古怪的算術下，一條光滑的代數曲線退化成一具分段線性的骨架——由直線段在頂點相接所成的圖。霎時間，關於曲線的難題化作關於多胞形與組合學的問題，正是凸性那一篇的主角。這生動地提醒我們：前沿並非各走各的渠道；代數、凸性與組合學，始終不斷地彼此匯流。
活在電腦裡的幾何
第二道潮流你已經涉足過了：把幾何當作計算來做。當你建起一個凸包，你不只是替一個集合命名，你還在問一台機器能多快找到它，以及當座標被存成不完美的浮點數時會出什麼差錯。這正是計算幾何的靈魂：形狀是輸入，演算法是動詞，而執行時間與數值穩健性，與定理同等重要。沃羅諾伊圖及其對偶——德勞內三角剖分——是耕作的牛馬，而一份好的三角剖分，往往就是一個跑得動與一個爬得動的模擬之間的分野。
這要往哪裡去？有三個方向格外鮮活。其一是高維資料：一千維空間中的一團點也有形狀，而年輕的拓樸資料分析正用著直接源自這座階梯的念頭——建一串單體複形，追蹤哪些洞誕生、哪些洞消亡，這念頭紮根於歐拉示性數與曲面的拓樸——去讀出資料的結構。其二是幾何處理：每部電影與遊戲背後的網格都是曲面，數值地計算它們的曲率與測地線，如今已是一門產業。其三是保證：證明一個演算法即使有捨入誤差，也永遠給出恰好正確的組合答案，這是一個困難而仍在進行中的研究問題，並非已解之事。
狂野的形狀、隨機性，與彎曲的空間
碎形那一篇撬開的門，研究早已將它推到大開。一旦你接受了一個不是整數的碎形維數，你就能對那些無人設計的對象發問：暴風雲的邊界、河網的分枝、股價那條粗糙的圖、那條長度隨你的尺而變的海岸線。這裡的前沿是隨機幾何——由機遇、而非像科赫雪花那樣整潔的規則所生成的形狀。其中的皇冠寶石是布朗運動的軌跡，水中花粉顆粒那條抖動的足跡，它在平面上的碎形維數恰好等於 2：一條一維的路徑，皺褶到幾乎填滿了面積。把這類對象嚴格地釘下來，在本世紀贏得了菲爾茲獎，而這門學問遠未完結。
第二道狂野的潮流，把群本身當作幾何對象來對待——幾何群論。這念頭華美，而你早已握有它的每一塊拼圖。取一個群，替每個元素畫一個點，當一個元素能由另一個透過一個生成元抵達時，就把兩點連起來：你得到一張圖，凱萊圖，而圖上有距離，於是這個群成了一個度量空間。現在你能問：一個抽象的群，從遠處看，形狀像平坦空間，像雙曲平面，還是像更怪的東西？格羅莫夫（Gromov）的洞見——「負曲率的」群行為宛如雙曲幾何——重塑了整個領域；這正是愛爾蘭根的精神倒著跑：研究對稱以理解空間，只是這回群本身就是那個空間。
而最深的那道潮流，承載著你一路朝它建構的曲率。一個帶黎曼度量的光滑流形，是一個能在每一點以不同方式彎曲的空間，而愛因斯坦的廣義相對論就是這個陳述：重力即是這樣一個四維時空的曲率。活躍的問題浩大無比：幾何是否容許你把一團崎嶇的曲率「流」向均勻？那就是里奇流（Ricci flow），裴瑞爾曼（Grigori Perelman）在 2003 年用來證明龐加萊猜想的引擎——在問題被提出一個世紀之後，終於了結了如何辨認一個三維球面。你在曲面上學到的那同一個高斯–博內節奏——局部曲率掌控整體形狀——在這道前沿上，依舊是中心的戲碼。
如何繼續攀登
若上頭那張地圖讓你手指發癢，這裡是通往每一片山脈的誠實路徑。從這整座階梯你能帶走的最寶貴之物，是對愛爾蘭根那個問題的嫻熟——「什麼保持不變，又在哪些變換之下？」——因為它是上述幾乎每一道前沿暗中的組織原則。在那之後，種種先備知識都很具體，並不神祕。
frontier what to learn next -------------------------- ------------------------------ algebraic geometry abstract algebra (rings, ideals) computational geometry data structures + a little code random / fractal geometry probability + measure theory geometric group theory group theory + this ladder's topology differential geometry multivariable calculus + linear algebra -> Riemannian geometry then manifolds, then curvature tensors
留意最底下那幾列：微分幾何需要正是這座階梯後段所引入的微積分與線性代數，一如你起步時所允諾的。沒有繞過那些機械的捷徑，你也不該相信任何兜售捷徑的人——那些回報的定理，包括絕妙定理與高斯–博內定理，是真的需要它。但那機械是可學的，按部就班，由一個曾經只懂學校代數的人來學。你就是證據：你從那裡起步，而你方才讀完了一篇研究前沿的綜覽，並懂得了它正伸手去夠的是什麼。