結構層

一個赤裸的拓撲空間不帶任何「函數」的概念。結構層是額外的一層資料,它對每個開集說明哪些函數在那裡算正則——以及它們如何限制、如何拼接。正是它把空間升級為可真正進行計算的幾何對象。

在譜 Spec R 上,結構層 O 由局部化建造:在特殊開集 D(f) 上它指派局部化環 R[1/f],即只允許沿 f = 0 有極點的函數,這些函數按層公理黏合,使任意開集上的截面由局部確定。它在素理想 p 處的莖是 R 在 p 處局部化所得的局部環,編碼該點附近正則函數的芽。

數對 (Spec R, O) 是局部環化空間,而概形按定義就是局部看起來像這種空間的空間。關鍵在於:對仿射概形,全局截面環還原 R 本身,故由代數到幾何的過渡不丟失任何信息。概形的態射是空間的映射連同尊重局部環的、相容的結構層映射,正是這一點使幾何真正是層論的,而非僅僅是拓撲的。