維數、光滑點與奇異點，以及拋擲開

簇的維數是什麼？

到現在你已能建構仿射簇、讀出它們的座標環，並對不可約者過渡到其函數體。下一個問題是所有問題中最基本的：V 有多大？一條曲線該是 1 維，一個曲面該是 2 維，但 V 活在扎里斯基拓樸裡，那裡的開集巨大無比，而樸素的「數連續參數」直覺需要一個精確的代數歸宿。答案就是 Krull 維數，其妙處在於它僅由環本身讀出，無需任何微積分。

V 的 Krull 維數是不可約閉子簇的最長嚴格遞增鏈 Z_0 ⊊ Z_1 ⊊ ... ⊊ Z_d ⊆ V 的長度 d。想像三維空間中的一個曲面：一個點坐落在一條曲線裡，曲線坐落在曲面裡，給出鏈點 ⊊ 曲線 ⊊ 曲面，長度為 2——正是我們想要的維數。對偶地，在座標環裡這是質理想的最長鏈，因為每個不可約子簇對應一個質理想。所以「維數」是純交換代數的不變量：k[V] 中質理想鏈長度的上確界。

另外三種度量暗中與此一致，而這個一致是個值得信賴的小奇蹟。對代數封閉體 k 上的不可約 V，Krull 維數等於函數體 k(V) 在 k 上的超越次數——也就是你能選出的代數獨立有理函數的個數。它也等於你在一般點處由扎里斯基切空間所得的維數。對一條曲線，k(V) 的超越次數為 1：挑一個座標函數，其餘每個有理函數都在其上代數。這些全都重合，正是讓你可以挑最容易的途徑去計算維數的緣由。

扎里斯基切空間：無微積分的微積分

在第一冊的光滑流形上，你用曲線或導子定義 T_p M，從不擔心這空間是否有正確的大小。一個簇可以有尖角與交叉，所以我們需要一個能偵測它們的切空間概念。訣竅是只用 p 附近函數的代數來定義切空間，透過導子模仿流形的定義。設 m 為 p 處局部環裡在 p 消沒的函數的極大理想。則 m/m^2 是 k 上的有限維向量空間——即餘切空間——而扎里斯基切空間 T_p V 是它的對偶 (m/m^2)*。

為何是 m/m^2？m 中的元素是在 p 消沒的函數；兩個這樣的函數相乘或平方便「二階」消沒，所以對 m^2 取商會丟掉高階行為，恰好保留線性部分——即微分。這是「p 處的 df」的代數化身。m/m^2 上的一個線性泛函恰恰是一個導子：一個滿足萊布尼茲法則的映射，而那正是切向量。所以這個看似障眼法的定義復原了你早已熟知的誠實切向量，但如今它在根本沒有流形結構的點上也能運作。

光滑與奇異：雅可比判準

V 的一個點 p 是光滑的（或正則、非奇異）當 dim T_p V 等於 V 在 p 處的維數，否則為奇異的——恰好是上述不等式未能成為等式的情形。要用手檢驗，你不需要那抽象的局部環：你需要一個矩陣。若 V 在仿射 n 維空間裡由多項式 f_1, ..., f_r 切出，作偏導數的雅可比矩陣 (∂f_i / ∂x_j) 並在 p 處求值。雅可比判準說：p 為光滑恰當此矩陣的秩為 n − d，即 V 的餘維數。

這是第一冊微分拓樸裡你遇過的正則值定理在代數幾何的回聲：滿秩微分意味著水平集在局部是預期維數的流形。雅可比的各列恰是微分 df_i，它們在餘切空間裡張成的範圍度量了在 p 處實際切下多少個獨立線性條件。當秩下降時，咬合的條件變少，切空間太大，於是 p 為奇異。所以「光滑點 ↔ 流形點」這部字典不是模糊的類比，而是一條形狀相同的定理，只是在函數環上運行。

Worked example: the nodal cubic   y^2 = x^3 + x^2   in the affine plane.
Write it as   f(x,y) = y^2 - x^3 - x^2 = 0.   Variety has dimension d = 1, so n - d = 2 - 1 = 1.

Jacobian (one row, since r = 1):   [ df/dx , df/dy ] = [ -3x^2 - 2x , 2y ].

The matrix has rank 1 (= n - d, SMOOTH) unless BOTH entries vanish:
      2y = 0           =>  y = 0
     -3x^2 - 2x = 0    =>  x = 0  or  x = -2/3
Check which of these lie ON the curve f = 0:
     (0, 0):    0 = 0  YES  -> on the curve, Jacobian rank 0  -> SINGULAR (the node)
     (-2/3, 0): 0 = (-2/3)^3 + (-2/3)^2 = 4/27 != 0  -> NOT on the curve, irrelevant

Conclusion: exactly one singular point, the origin, where the two branches cross.

在結點三次曲線上運行雅可比判準：梯度消沒「且」落在曲線上的唯一點是原點，即自相交的結點——其餘每個點都是光滑的。

拋擲開：把一個點換成一條直線

現在來看壓軸戲。我們已定位了一個奇異點——該拿它怎麼辦？拋擲開是修復奇異性的核心手術。以仿射平面的原點為中心，拋擲開是位於（平面）×（射影直線）裡的簇 B = { ((x,y), [u:v]) : x v = y u }，連同投影 pi 投回平面。條件 x v = y u 說的是點 (x,y) 落在過原點、方向為 [u:v] 的直線上：在原點之外這條直線被唯一確定，所以 pi 在那裡是一個雙射。

然而在原點上方，每個方向 [u:v] 都滿足方程，所以 pi^{-1}(0) 是射影直線的一整份拷貝——即例外除子 E。拋擲開是一個雙有理映射：它在中心之外是同構，並把單一個點 0 換成 0 處全體切線方向的集合。這是該帶走的關鍵圖像：拋擲開把原本擠壓在一點的資訊沿 E 攤開分離，每個方向一格。關鍵是，B 本身是光滑的，儘管它映到平面上，而 pi 是優勢的，所以它不改變函數體——同一個有理函數體，更溫和的幾何。

定位奇異性：運行雅可比判準找出壞點並讀出其切錐——對結點 y^2 = x^3 + x^2，最低次部分是 y^2 - x^2 = (y-x)(y+x)，所以兩條相異切線在原點相交。
拋擲開中心：藉由設 y = t x（例外直線上的斜率座標）引入坐標卡，於是一個點由它的位置 x 與它逼近時所沿的方向 t 來記錄。
代入並除去例外除子：把 y = t x 代入 y^2 = x^3 + x^2 得 x^2 t^2 = x^3 + x^2，再消去切出 E 的那個 x^2，留下嚴格變換 t^2 = x + 1。
檢查結果是光滑的：嚴格變換 t^2 = x + 1 是一條光滑曲線（其雅可比 [-1, 2t] 從不消沒），它在 t = +1 與 t = -1 兩點與 E = {x = 0} 相交——即那兩個切線方向，如今被拉開成兩個乾淨的點。

解消、誠實的界限，與通往貝祖的路

剛才發生的是奇異性解消的一個幼兒版本：單一次拋擲開把一條奇異曲線變成一條映到它之上的光滑曲線。對任何體上的曲線，這總能在有限多次拋擲開內成功——你可以解開每個結點、尖點與切結點。在更高維度，廣中平祐的著名定理同樣保證了藉拋擲開的解消，但只在特徵零，且只能作為數學中最長、最艱鉅證明之一的結論。在正特徵，三維及以上的解消仍部分未決。對此要誠實：「拋擲開直到光滑」對曲線是真確而完整的食譜，對 C 上的簇是一條深刻的定理，在別處則是研究前沿。

解消奇異性也是讓相交數乖乖聽話的關鍵，而這恰是第五篇接手之處。當兩條曲線在一個奇異或相切的點相遇時，樸素的計數「一個交點」會說謊——它們可能以高重數相遇。相交重數是精確的局部計數，而拋擲開是看清它的一條乾淨途徑：把各分支分離開，在上方數誠實的橫截交點，再加上 E 的貢獻。掌握了維數、光滑性與拋擲開，你便已準備好迎接壓軸——貝祖定理，它說兩條次數為 m 與 n 的射影平面曲線，在每個重數與無窮遠點都正確計入後，恰好相交於 m·n 個點。