我們在階梯上的位置
前一級「代數幾何 I」讓你熟稔了簇：一個仿射簇是若干多項式的共同零點軌跡，其扎里斯基拓樸的閉集由方程切出，而其幾何由坐標環支配。你也見過正則函數與有理函數——棲居於開集上、形如多項式的函數。本級將把這一切重建在一個遠為靈活的基礎之上，即概形，它將容許冪零元、非閉點與任意基環進入畫面。但概形並非最先的構想；它是回報。最先的、使其餘一切成為可能的構想，是一套關於局部定義的函數如何黏合的細緻理論。那套理論正是本篇的主題。
開始前先誠實一句。這些是研究所層級的主題；我們假設你能自在運用點集拓樸、交換代數（環、理想、局部化、模）以及範疇論的反射（對象、態射、函子）。我們會說「開集」、「環」、「局部化」、「函子」，並倚靠你已知的，而非重新推導。本篇的抽象起初或許顯得儀式繁複——為了「空間上的函數」何須這許多機器？切莫把它讀成故弄玄虛。層公理只做一件具體的事，即黏合，而我們會持續向你展示那件事，而非那套儀式。兩篇之後的回報是：那套支配流形上光滑函數的「同一」批定義，將支配概形上的代數函數，語言毫無更動。
預層：為局部資料記帳
從最樸素的構想起步。固定一個拓樸空間 X。一個預層 F（譬如環的預層）對每個開集 U 指定一個對象 F(U)——把它想成「你被允許在 U 上寫下的函數」——並對每個開集包含關係 V 包含於 U 指定一個限制映射 F(U) -> F(V)，記作 s -> s|_V，它不過是忘掉 V 之外的行為。要求兩條記帳規則：限制到 U 自身什麼也不做；而從 U 經一個中間的 V 分兩步限制到 W，與一步限制下去結果相同。這就是預層的全部定義：每個開集上的資料，加上一致的限制。
F(U) 的一個元素稱為 U 上的一個截面，而 F(X) 的一個元素稱為整體截面——這名字源於纖維叢截面的圖像，即在每點上選取一個值，此處則逐開集地打包。心中要握住的最乾淨例子是：令 F(U) 為 U 上連續實函數所成的環，限制即函數的字面限制。或者，整級所朝向構築的那個例子，令 F(U) 為某簇之開子集上的正則函數。兩種情形下 F 都確實是預層——限制顯然正確地複合。值得吸收的範疇論一句話（因為它使後續證明自動化）：預層恰恰是從開集偏序集到環範疇的反變函子。「反變」是因為箭頭反轉——較大的開集限制「到」較小的開集。
層公理：局部決定整體
一個層是能黏合的預層。用對每個開集 U 與每個開覆蓋 U = 諸 U_i 之併的兩個條件把它說精確。局部性（分離性）： 若截面 s 屬於 F(U) 在每個 U_i 上限制為零，則 s = 0——截面由其諸限制所決定，沒有東西藏在各片之間。黏合性： 若給你諸截面 s_i 屬於 F(U_i)，它們在每個重疊處相符，即 s_i 與 s_j 在 U_i 交 U_j 上吻合，則存在一個截面 s 屬於 F(U) 限制成每個 s_i。兩者合起來：局部性說黏成的截面在存在時唯一，黏合性說它確實存在。因此層是一個預層，其中「一致的局部資料」與「一個整體對象」是同一件事。
Sheaf axiom, for every open U with open cover U = union of U_i :
data: sections s_i in F(U_i), one per piece
match: s_i |_(U_i cap U_j) = s_j |_(U_i cap U_j) on every overlap
----------------------------------------------------------------------
glue: there EXISTS s in F(U) with s |_(U_i) = s_i (existence)
sep: such an s is UNIQUE (separation)
Equivalently, the following is exact (an equalizer):
F(U) -> prod_i F(U_i) =====> prod_(i,j) F(U_i cap U_j)
(restrict to i,j) vs (restrict to j,i)現在重新審視那些例子。連續函數「確實」構成一個層：連續性是局部條件，故在重疊處相符的函數能拼成單一的連續函數，而在覆蓋每一片上皆為零的函數即為零。流形上的光滑函數、複流形上的全純函數、簇上的正則函數——全是層，理由相同：每條定義性質都可在任意小的鄰域中檢驗。前述告誡欄中那有界函數預層「不是」層，因為有界性是「整體」條件而非局部的——而這正是它失靈的精確診斷。層公理，用一句口號說，是「可局部檢驗的性質產生可局部構築的對象」之形式化。
莖：聚焦於單一一點
截面棲居於開集上，但幾何往往發生「在」一點。你如何抽取一個層在固定的 p 屬於 X 處無窮鄰近的行為，而不必認定任何特定鄰域？答案是莖 F_p，構作為對 p 的所有開鄰域取的餘極限（一個「正向極限」）。具體地說，莖的一個元素是一個芽：一對 (U, s)，其中 U 是含 p 的開集、s 是 U 上的截面；兩個芽 (U, s) 與 (V, t) 被宣告相等，若 s 與 t 已在兩者之內含 p 的某個更小開鄰域 W 上相符。因此莖捨棄了除 p 處無窮局部行為外的一切——兩個在 p 附近看來相同的函數定義同一個芽，即便它們在遠處不同。
為何這是「p 處的值連同其所有導數」的正確概念？因為芽記得的比單一個值更多。對光滑函數的層而言，p 處的莖是光滑函數芽所成的環——它知曉每個泰勒係數，因為兩個有相同芽的函數有相同的值、相同的梯度、相同的海森矩陣，一切皆然。這是「無窮鄰近」的代數投影。而莖不只是一個集合：它承襲環結構，且對我們所關心的層而言它是一個「局部環」——在 p 處消失的芽構成唯一的極大理想，而在 p 處非零的芽在附近可逆（在 p 處非零的連續或正則函數在一個小鄰域上保持非零，故 1/s 在那裡是個合法的芽）。那份局部性，正是下一節的種子。
層化：逼使預層黏合
許多自然的構造產生的預層尚不是層——有界函數的例子如此，但「取值於某固定群中的常數函數」所得的預層（你真正想要的是局部常數的那個層）亦然，層映射的像預層亦然。我們需要一個典範的方法，把預層修復成最接近的層。那個修復就是層化：由預層 F 我們構築一個層 F^+ 連同一個映射 F -> F^+，它是泛的——任何從 F 到某層的映射都唯一地經 F^+ 分解。口號是：層化是 F 的最佳可能層逼近，盡可能少地改動資料。
- 計算預層的諸莖 F_p——這些已經正確，因為莖是對鄰域取的餘極限，從不看見黏合的失靈。諸莖在層化中原封不動地存活。
- 把 F^+(U) 定義為函數 s 之集，s 對 U 中每點 p 指定莖 F_p 的一個元素 s(p)，並受一個「局部」相容性約束：在每點附近所選的諸芽必須來自 F 在一個共同鄰域上某個道地的截面。
- 這個 F^+ 自動是層——兩條公理皆成立，因為依構造，其資料是「在每一點對芽的一個融貫選擇」，這恰恰是黏合所要求的。
- 自然映射 F -> F^+ 把截面送到其諸芽構成的組；它在每個莖上是同構，且只要 F 本就是層它便已是同構——故層化對貨真價實的層不作改動。
留意諸莖所扮演的角色：層化全然由其諸莖加上一條局部相容規則來重建層。這就是為何芽不是旁枝的奇趣而是結構的核心——它們是不可摧毀的局部資料，而層恰恰是「一族相容的芽」。誠實的告誡：此構造，一如公理的均衡子描述，是若干等價定義之一，各書在以芽、以兩步加號構造、或以鋪展空間來建造 F^+ 之間互有不同。它們產生的層相差一個典範同構，但若你並排讀兩個來源，須預期其配方看來相異。挑定一個構造，把它學透，並信任其餘的都落在同一處。
賦環空間：攜帶自身函數的空間
現在組裝那份酬載。一個賦環空間是一對 (X, O_X)，由拓樸空間 X 及其上一個環的層 O_X 組成，後者稱為結構層——即每個開集上正式的函數環。這單一的包裹抽象了你所知的每一種幾何：光滑流形是它底下的空間連同光滑函數的層；複流形是空間連同全純函數的層；簇是它的扎里斯基空間連同正則函數的層，即本級將為概形定義的那個結構層。這抽象的精妙在於，它把「一個空間連同其上被允許的函數」化成單一的數學對象，你可以在它們之間作映射。
因此賦環空間的態射比連續映射更豐富。它是一個連續映射 f: X -> Y，「加上」一個朝「相反」方向走的結構層比對——一條把 Y 上的函數拉回成 X 上函數的規則（因為若 g 是 Y 中某點 f(x) 附近的函數，則 g 與 f 的複合是 x 附近的函數）。攤開來說，這是一個層映射 O_Y -> f_* O_X，代數倒著跟隨幾何，恰如限制反轉了包含關係。這個「空間連同一個環的層，配上尊重層的映射」就是概形將棲居的貨真價實的範疇，而概形的態射將正是賦環空間的態射，不多也不少。
一個精細化使這抽象契合真實的幾何：一個局部賦環空間要求每個莖 O_(X,p) 都是局部環，且態射把極大理想送入極大理想——在 f(x) 處消失的函數其拉回必在 x 處消失。這聽來技術，卻編碼了某件顯然之事：莖的極大理想是「在該點消失的函數」，故此條件不過是說態射尊重函數「在何處」消失。局部賦環空間是正確的場景，因為道地的幾何空間有此性質，而環的病態黏合則沒有。有了它在手，前路便清晰，我們下一篇將循之而行：取任一交換環 R，由它製造出一個拓樸空間與一個結構層——即譜及其結構層——而所得的局部賦環空間就是仿射概形 Spec R，一切概形由之黏成的原子。