跳至內容

概形論術語

維基百科,自由的百科全書

這是概形論術語。欲知代數幾何中概形的簡介,請見條目仿射概形射影空間概形。本條目旨在列出概形論中的基本技術定義與性質。

一個概形 是一個局部賦環空間,故也是拓撲空間,但「 的點」具有三重涵義:

  • 拓撲空間意義下的點。
  • -值點:對任一概形 ,一個 -值點是指一個態射
  • 幾何點:當 定義在一個 上時(換言之 -概形),一個幾何點乃是一個 -值點,其中 代數閉包

幾何點是古典問題的主角,例如對複代數簇而言,通常說「點」即指幾何點。拓撲空間的點包括一般點的類比(相對於扎里斯基而非韋伊的理論)。藉由米田引理,考慮所有的概形 與所有 -值點,可以將概形 理解為相應的可表函子 ,此觀念是代數幾何發展史上的一大步。

纖維

格羅滕迪克的相對幾何框架下,一態射的纖維有三重涵義:

  • 一個點(拓撲意義下)的逆像。
  • 兩個態射的纖維積:對於仿射概形,纖維積對應到環的張量積
  • 幾何纖維:設 -概形( 為域), 為一 -態射, 為一幾何點,則 點的幾何纖維定義為相應的纖維積

概形之性質

概形的大部分性質都是「局部的」,換言之: 具有性質甲,若且唯若對其任一開覆蓋 ,每個 皆具性質甲;而通常只要對一組開覆蓋驗證即可。這類性質有時也被稱為「扎里斯基局部」的,藉以區別對於其他格羅滕迪克拓撲的情形(如平展拓撲)。

考慮一概形 及一組仿射開子概形 組成的開覆蓋。藉此可將概形的局部性質翻譯為交換環的性質。一個性質甲在上述意義下是局部的,若且唯若相應的環性質在局部化之下不變。

舉例明之,局部諾特概形是能由諾特環交換環譜覆蓋的概形。由於諾特環的局部化仍為諾特環,局部諾特性確實是上述意義下的局部性質。另一個例子是既約概形,這也是局部性質,因為若一個交換環無冪零元,則其局部化亦然。

分離概形並非局部性質:任何仿射概形都是分離概形,因此任何概形都是「局部分離」的,然而存在非分離的概形。

以下是環的局部性質列表(不全),由此可定義概形的相應性質。以下令 為一概形之開覆蓋。

概念 定義 例子 反例
與概形結構相關者
不可約 若一連通概形 (作為拓撲空間)不能表為兩個閉子集的聯集,除非其中一者為 ,則稱之為不可約概形。利用素理想與仿射概形的點的對應,可知連通概形 不可約若且唯若每個 恰有一個極小素理想。凡諾特概形皆可唯一表示為有限個極大不可約閉子集的聯集,這些閉子集稱為其不可約成份 仿射空間射影空間 Spec k[x,y]/(xy) =
既約 皆為既約環(即:無冪零元素),等價的說法是結構層 沒有冪零的局部截面。代數幾何的一大進步是將代數簇推廣為概形,而概形可能是非既約的。 代數簇 (根據定義) k[x]/(x2)
不可約的既約概形稱作整概形。等價的說法是:該概形可由整環的譜覆蓋。嚴格地說,這只在連通概形上才是局部性質。 Spec k[t]/f, f 為不可約多項式 Spec AB. (A, B ≠ 0)
正規 若每個 都是整閉的,則稱 為正規概形。 正則概形、帶有理奇點的曲面 帶奇點的曲線
與正則性相關者
正則 若每個 都是正則局部環,則稱 正則概形 域上的平滑代數簇 Spec k[x,y]/(x2+x3-y3)=
Cohen-Macaulay 的局部環皆是Cohen-Macaulay環,則稱 Cohen-Macaulay 概形 正則概形、 Spec k[x,y]/(xy)
與「大小」相關者
局部諾特 每個 皆為諾特環。如果此外更要求該覆蓋為有限覆蓋,則該概形稱為諾特概形 古典代數幾何的大部分對象
的任兩個不可約閉子概形 之間的極大鏈都有相同長度,則稱 鏈概形,這在局部上對應於鏈環。整鏈概形的維度是局部性質。 代數幾何的大部分對象 見條目鏈環中的反例

態射之性質

格羅滕迪克的基本理念之一是強調「相對」性,亦即置重點於態射的性質。概形範疇有一終對象 ,所以任何概形可以唯一地理解為 -概形,藉此可以從態射性質定義概形本身的性質。

以下令

為概形間的態射。一如既往,以下的性質也是局部的,即:若存在開覆蓋 使得 上的限制帶有該性質,則 本身也帶該性質。

與拓撲結構相關的概念

若一個態射在拓撲空間上是開映射,則稱此態射為開態射;閉態射的定義類似。平坦態射皆為開態射。

中稠密,則稱此態射為優勢態射(英文:dominant morphism,法文:morphisme dominant)。對於仿射概形,優勢態射對應到環的單射同態。

開浸入與閉浸入

  • 開浸入:若 同構於一個開子概形的包含映射,則稱之為開浸入。
  • 閉浸入:若 同構於一個閉子概形的包含映射,則稱之為閉浸入。閉浸入在局部上對應到環的商同態。閉浸入可以如下刻劃: 是閉浸入,若且唯若 在拓撲空間的意義下是個閉浸入(同胚,且 中的閉集),而且 是滿射。
  • 浸入:閉浸入與開浸入的合成。

開浸入僅關乎拓撲,而閉浸入則與結構層有關。概形的閉子集可以帶有多種閉子概形結構,其中存在一個始對象,使得其結構層不含冪零元,稱為該閉子集對應的既約子概形。

仿射態射與射影態射

的仿射開子概形對 的逆像仍為仿射概形,則稱 仿射態射。用較炫的說法:仿射態射係來自 -代數的整體 構造,這是整體版本的交換環譜。例子包括向量叢

射影態射的定義類似,此時對應到分次 -代數的整體 構造,另一種等價的刻劃是: 是射影態射,若且唯若它可分解為閉浸入 及自然投影

分離態射與真態射

  • 分離態射:使得對角態射 為閉浸入的態射,此概念對應到拓撲學中的豪斯多夫空間
  • 真態射:即滿足下列性質的態射
    • 分離態射
    • 泛閉(即:任一閉浸入 在對 取纖維積後仍為閉浸入)
    • 有限型

有限型、擬有限與有限態射

有一組仿射開覆蓋 ,使得態射 對應到 ,使得 是有限 -模,則稱此態射為有限態射

若將上述條件改為: 有一組仿射開覆蓋 ,使得 是有限生成的 -代數,則稱此態射為局部有限型態射;若上述開覆蓋 可取為有限的,則稱之有限型態射。代數幾何中探討的多數態射都是有限型態射。

的纖維都是有限的,且是有限型態射,則稱之為擬有限態射。有限態射皆為擬有限態射。

平坦態射

在結構層的莖上給出平坦同態,則稱之為平坦態射。視此態射為一族以 的點為參數的概形,則平坦性可詮釋為纖維在變形下的某些良好性質,例如希爾伯特多項式的不變性。

非分歧態射與平展態射

對一點 ,考慮相應的環同態:

的極大理想,並設

若對所有 的極大理想,且導出的映射 是有限、可分的代數擴張,則稱此態射為非分歧態射

平坦的非分歧態射稱為平展態射,此外尚有多種等價定義。在代數簇的情形,平展態射恰好是在切空間上導出同構的態射,這正好是微分幾何中平展態射的定義。

平滑態射

平滑態射對應到拓撲學中的塞爾纖維化映射,在代數幾何中有多種定義:

  • 是有限型平坦態射,且 是局部自由 -模,其秩為
  • 可分解為某個平展態射 及自然投影 之合成。
  • 形式判準:對任何交換環 及其理想 ,並滿足 ,則 是滿射。

外部連結

文獻