戴環空間(ringed space)是1993年公布的數學名詞。
基本介紹
- 中文名:戴環空間
- 外文名:ringed space
- 所屬學科:代數幾何
- 公布時間:1993年
戴環空間(ringed space)是1993年公布的數學名詞。
戴環空間(ringed space)是1993年公布的數學名詞。定義戴環空間是由拓撲空間X和X上環層組成的對。其中稱為X的結構層。態射由戴環空間到的態射是由連續映射和環層映射組成的對(f,f#)。例子X為拓撲空間,為連續...
局部戴環空間是代數幾何的一個概念。定義 設 為戴環空間,若對每個點 ,莖 是局部環,則 是局部戴環空間。態射 戴環空間的態射(f,f),若對X中任一點P,局部環的誘導映射 是局部環的局部同態,則(f,f)為局部戴環空間的態射。例子...
概型是局部戴環空間,在它中每點有一個開鄰域U使得拓撲空間U和限制層Ox|U是一個Affine Schemes,X叫做概型(X,Ox)的承載拓撲空間,Ox叫做它的結構層。例如,若K是域,Spec K則是一個Affine Schemes,它的拓撲空間由一點組成,它...
一個凝聚層是戴環空間 上的一個 -模 ,滿足下述性質: 在 上是有限型的,即:對任一點 ,存在其鄰域 使得可由有限多個截面生成(換言之,存在正合序列 )。對任意開集 ,任意 及任意 -模的態射 ,其核是有限型的。環...
給定一個局部戴環空間 ,的一個開集 稱為仿射開集,如果 是仿射概形。 稱為概形,如果 的每一點 都有仿射開鄰域,即包含 的仿射開集。兩個概形之間的態射就是它們作為局部戴環空間的態射。相關概念 概形X的維數dimX為X作為拓撲...
模層 模層是代數幾何中的一個概念。定義 設 是戴環空間。模層是X上的層 ,使得對每個開子集U⊆X,群 是 模,對每個開子集的包含映射V⊆U,限制同態 通過環同態 和模結構相容。性質 模的態射的核、余核、像均為 模。
仿射概形 仿射概形(affine scheme)是1993年發布的數學名詞。定義 仿射概形是一個同構於某個環的譜的局部戴環空間。公布時間 1993年經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。