我們在階梯上的位置
你來到代數幾何這座塔時，早已對其他幾座塔駕輕就熟。你曉得拓撲空間為何物，也明白開集、緊緻性與連通性能為你做些什麼；你做過實分析與複分析；並且對交換代數——環、理想、體與商——有一份可操作的掌握。本級添上一種全新的直覺：別再把曲線想成一個運動質點所描出的點集，改把它想成多項式方程的解集。正是這一個視角轉換，把處處都有光滑隆起函數的微分幾何，與唯一許可的函數只有多項式、且多項式戲劇性地稀少得多的代數幾何，劃分了開來。
開始前先誠實一句。這些是研究所層級的主題，我們假設你對線性代數、多變數微積分、點集拓撲與抽象代數——尤其是多項式環中的理想——皆感自在。我們將在一個代數閉體 k 上工作（不妨想成複數體 C，其中每個非常數多項式都有根）；最乾淨的理論有一大半在實數上根本失效，每當閉性在發揮作用時，我們都會明白指出。這第一篇指南搭建幾何舞台——對象是什麼、它們穿著什麼拓撲。把幾何翻成代數的那座橋，即希爾伯特零點定理，是第二篇指南的全部內容；在此我們只把它架設好，並只引用最低限度的部分。
仿射簇：由多項式裁出的形狀
我們從仿射 n 空間（記作 A^n）出發，它不過是把 k^n 當作幾何的舞台、而非向量空間來看（我們刻意遺忘那個特權的原點）。一個仿射簇就是一族多項式的公共零點集：給定 k[x_1, ..., x_n] 中的多項式 f_1, ..., f_r，簇 V(f_1, ..., f_r) 是 A^n 中使每個 f_i(p) = 0 成立的點 p 所成之集。單一方程 y - x^2 = 0 給出一條拋物線；A^3 裡的方程對 x^2 + y^2 + z^2 - 1 = 0 給出一個球面；空的方程族則給出整個 A^n。仿射簇的要害在於：它純由多項式的等式所定義，別無其他——沒有不等式、沒有極限、不假設任何光滑性。
一條關鍵的記帳事實，馴服了挑選多項式時表面上的自由。族 {f_i} 的零點集，在我們添入任何形如 g_1 f_1 + ... + g_r f_r 的多項式後仍維持不變，因為這類組合在所有 f_i 同時為零之處自動為零。所有這類組合所成之集，恰恰是由 f_i 生成的理想，因此簇從頭到尾只依賴於理想 I = (f_1, ..., f_r)，而不依賴於特定的生成元。希爾伯特基定理進而保證 k[x_1, ..., x_n] 中每個理想都有限生成，於是「一族多項式」與「一張有限的多項式清單」裁出相同的形狀——沒有任何簇需要無窮多條方程。
扎里斯基拓撲：先談閉集，且極其粗糙
我們現在以多項式所暗示的唯一方式，把 A^n 變成一個拓撲空間：規定閉集恰好就是仿射簇。公理一下子就能驗證——整個空間 A^n = V(0) 與空集 = V(1) 皆閉；任意多個簇之交是其理想之和的 V，故仍為簇；而有限並 V(I) ∪ V(J) 等於 V(IJ)，又是一個簇。（只有有限並能存活下來——這是乘積的代數在發言。）這就是扎里斯基拓撲，而一個扎里斯基閉集恰恰就是一個簇。開集則是其補集：把某個簇從 A^n 中移走所得之物。
這個拓撲起初會讓你覺得徹底不對勁，而你該任它如此。在仿射直線 A^1 上，真子簇就是有限點集（單變數多項式的零點），所以閉集是：整條直線，以及每一個有限集。於是非空開集就是餘有限集——直線去掉有限多個點。任兩個非空開集必相交，因為兩個餘有限集不可能不交，故 A^1 並非豪斯多夫的：你無法用不交的開集把兩點分開。扎里斯基拓撲遠比你在分析中熟知的度量拓撲粗糙得多；它記得的是代數，不是距離。
不可約性：「單一塊」的正確概念
在度量世界裡，連通集就是「一塊」，但扎里斯基拓撲太粗糙，使連通性不再是那個好用的概念——A^1 是扎里斯基連通的，我們卻仍想把簇 V(xy)（兩條坐標軸）稱作「兩塊」。正確的概念是不可約性：一個非空簇若無法寫成兩個嚴格更小的閉集之並，便稱為不可約。兩軸之並 V(xy) = V(x) ∪ V(y) 是可約的；一條直線、一條拋物線，或整個 A^n，都是不可約的。代數上，一個簇不可約恰當其定義理想為素理想——這是我們在正式的零點定理之前，會遇上的最乾淨的字典條目。
於是每個簇都唯一地裂解為不可約的若干塊。k[x_1, ..., x_n] 的諾特性質（沒有無窮嚴格遞降的簇鏈）逼使任何簇都是有限多個極大不可約閉子集之並，而這些便是它的不可約分量——連通分量的代數類比，但更為精細。兩條軸有兩個分量；像 y^2 = x^2(x+1) 這樣的結點三次曲線是不可約的（一個分量），即便它在原點處自我穿越。分解成不可約分量，幾乎總是研究任何簇的第一步，因為最深刻的理論（維數、函數體、光滑性）在不可約簇上最為乾淨。
射影簇：在無窮遠處封閉起來
仿射空間有個惱人的缺陷：東西跑向無窮遠便一去不返。兩條平行線永不相交；一條直線與一條雙曲線可能彼此錯過；一條圓錐曲線的交點可能「少於」其次數所預言的數目。療方是藉著添入無窮遠點來緊化，得到射影 n 空間 P^n。P^n 的一個點，是 k^(n+1) 中過原點的一條直線，以齊次坐標 [a_0 : a_1 : ... : a_n] 表示，其中 a_i 不全為零，且把所有坐標同乘一個非零的 lambda 仍給出同一點。原本的仿射 A^n 嵌坐其中，即 a_0 ≠ 0 的那些點；而所有 a_0 = 0 的，便是先前缺席的「無窮遠超平面」。
在 P^n 上，一個點根本沒有單一的坐標值，「一個多項式為零」究竟能是什麼意思？唯有對齊次多項式才講得通：若 F 是 d 次齊次的，則 F(lambda·a) = lambda^d · F(a)，於是「F(a) = 0」不依賴於我們選了該點的哪個代表。一個射影簇，就是 P^n 中一族齊次多項式的公共零點集。通往仿射世界的字典很具體：要從射影簇過渡到它的仿射部分，令 a_0 = 1（去齊次化）；要回去，則把每個單項式乘上適當冪次的 a_0，使各項同次（齊次化）。每張仿射卡 {a_i ≠ 0} 都是 A^n 的一份拷貝，而 P^n 由 n+1 張這樣的卡黏合而成。
Affine parabola in A^2 : y - x^2 = 0 Homogenize (x=X/Z, y=Y/Z) : Y Z - X^2 = 0 in P^2 [X : Y : Z] Points at infinity (Z = 0) : X^2 = 0 => [0 : 1 : 0] So the affine parabola gains exactly ONE point at infinity, where both its 'ends' run together — the projective curve is a circle (topologically).
為何射影空間才是天然的家，以及接下來是什麼
射影空間自帶它本身的扎里斯基拓撲（閉集＝射影簇），而在 C 上，它在尋常拓撲下也是緊緻的——正是這份緊緻性，是「在無窮遠處封閉起來」換來的。回報在於：交截理論終於規矩了起來。在代數閉體上的 P^2 中，兩條次數分別為 m 與 n 的射影平面曲線，恰好相交於 m·n 個點，並計入適當的重數——這就是貝祖定理，第五篇指南的高潮；它在仿射平面裡根本不成立，因為交點會逃逸到無窮遠。平行線如今確實相交，交於共有的一個無窮遠點；圓錐曲線缺失的交點重新現身。射影幾何，正是計數變得誠實之處。
繼續前先說兩則誠實的告誡。其一，簇不等同於它的方程：許多不同的理想能裁出同一個點集，而釐清一個簇「記得」的是哪個理想，恰恰是零點定理在下一篇所回答的問題——簡短的版本是，簇只看見一個理想直到它的根理想為止，所以 x = 0 與 x^2 = 0 裁出同一個仿射簇，儘管後者「理應」記錄一個雙重點。此刻把這個區別鬆鬆地握著無妨；把它釘死，是第二篇的事。其二，別過度信任「射影＝緊緻＋良好的交截理論」這句口號：在 C 上的緊緻性是貨真價實的，但貝祖定理仍需要體為代數閉、曲線無公共分量、且重數計算正確——少了其中任何一項，那乾淨的計數便會崩壞。
把這篇指南記在心裡有個乾淨的辦法：代數幾何研究的是多項式零點集所成的形狀，賦予它粗糙的扎里斯基拓撲（「閉」意謂「由方程裁出」），分解成不可約分量，並最妥當地安頓在無物逃向無窮遠的射影空間裡。由這座舞台出發，本級其餘部分逐一展開：第二篇建造精確的理想-簇字典，第三篇為簇接上坐標環與函數體，使簇成為你能在其上做無需微積分之分析的對象，第四篇丈量維數並區分光滑點與奇異點，第五篇則在貝祖計數中把一切結清。方程在先，幾何是它的影子——這便是整個視角的重新定向。