模層是代數幾何中的一個概念。
基本介紹
- 中文名:模層
- 外文名:sheaf of modules
- 所屬學科:代數幾何
定義,性質,
模層是代數幾何中的一個概念。
模層是代數幾何中的一個概念。定義設是戴環空間。模層是X上的層,使得對每個開子集U⊆X,群是模,對每個開子集的包含映射V⊆U,限制同態通過環同態和模結構相容。性質模的態射的核、余核、像均為模。...
全律D模層 全律D模層是數學名詞。介紹 全律D模層(holonomic sheaf of D-modules )一種特殊的D模層.對解析係數微分運算元層D上的模層產,若它的特徵簇SS<川在餘切叢T‘ (C")中具有可能達到的最小維數,則稱產為全律D模層.
O模層亦稱解析層,全純向量叢的全純截面的芽層。簡介 O模層亦稱解析層,全純向量叢的全純截面的芽層。設 E 是複流形上的一個全純向量叢, 是與 E 的全純截面的預層相聯繫的 E 上的全純截面的芽層,對於每個 是一個 O...
模層 是擬凝聚層,若X能用仿射開子集U=Spec A覆蓋,使得對每個i,存在A模M滿足 。性質 設 是概形,則 模是擬凝聚層,若且唯若對X的每個仿射開子集U=Spec A,存在A模M使得 。凝聚層 一個凝聚層是戴環空間 上的一個 -模 ...
模層 是凝聚層,若X能用仿射開子集U=Spec A覆蓋,使得對每個i,存在有限生成A模M滿足 。例子 對於概形X,結構層 是凝聚層。性質 設 是諾特概形,則 模是凝聚層,若且唯若對X的每個仿射開子集U=Spec A,存在有限生成A模M使得...