有理映射

代數幾何中,有理映射是定義在概形的稠密開集上的態射。有理映射及由此引生的雙有理等價是古典代數幾何學的主要對象。

定義

固定概形 。考慮所有的資料 ,其中 是稠密開集,而 是態射;這些資料代表了 上「部份定義」的態射, 代表 的定義域。定義下述等價關係:

此外,注意到稠密性保證 也是 中的稠密開集。當 不可約,則所有非空開集都是稠密的。若再假設 既約而 分離概形,則任一等價類有唯一一個定義域最大的代表元。

從概形 有理映射 是其中的一個等價類

是從 是從 的有理映射,則一般並不能定義其合成 。但是當 的像(對某個,因而對每個代表元 )在 中稠密時,對每個 的代表元 皆非空,此時可以定義

同理,若 都是 上的概形,也可以類似地定義 -有理映射。

例子

整環,設 ,則從 的任何有理映射 有唯一的表法:

其中 是多項式。該有理映射可以在 上定義。

此外,對於不可約 -概形 ,其上的有理函數一一對應到從 的有理映射。

優勢映射與雙有理等價

之前考慮合成問題時,曾利用像的稠密性條件;滿足該條件的有理映射稱為優勢映射。由於優勢映射可以作合成,定義從概形 雙有理等價為一個優勢映射 ,使得存在另一個從 的優勢映射 ,使

以下考慮 上的不可約代數簇及其間的 -有理映射。有理映射的地位在於:透過有理函數的「拉回」運算,代數簇之間的優勢映射對應到函數域之間的映射,而雙有理等價對應到函數域的同構。由此可知代數簇的雙有理等價範疇等價於函數域的反範疇。

雙有理等價的例子

雙有理等價的定義較同構寬,因為我們容許態射在某維度較低的閉集上未定義。一個例子是 ,兩者雙有理等價,而並不同構。原因如下: 中的任兩條閉曲線都有交點,而在 中, 不相交,因而 並不同構。

另一方面,函數域可以在仿射開集 上計算,此開集的座標環是 ,其函數域是 ;這也是 的函數域,於是二者雙有理等價。若細審上述論證,事實上能寫出所求雙有理等價的式子。

參見

文獻

  • Grothendieck, Alexandre; Jean Dieudonné. 2nd edition. Berlin; New York: Springer-Verlag. 1971. ISBN 978-3-540-05113-8 (法语).
  • Hartshorne, Robin. . Berlin; New York: Springer-Verlag. 1977. ISBN 978-0-387-90244-9 (英语).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.