数学中,赋环空间
上O-模的层或O-模是层F,使得对开的
,
是
-模,
的限制映射与
的限制映射相容:
,fs的限制是f的限制乘以s的限制。
标准情况是当X是概形,O是其结构层。若O是常层
,则O-模的层等同于阿贝尔群层(即阿贝尔层)。
若X是环R的主谱,则R-模会自然地确定一个
-模,称作相关层。相似地,若R是分次环,X是R的射影构造,则分次模会自然地确定一个
-模。这样产生的
-模是准凝聚层的例子,事实上在仿射与射影概形上,所有准凝聚层都可这样生成。
赋环空间上的模层形成阿贝尔范畴。[1]而且这范畴有足内射(enough injective),[2]因此定义了层上同调
,为全局截面函子
的第i右导出函子。[3]
例子
- 给定赋环空间
,若F是O的O-子模,则称之为O的理想层,因为对开的
,
是环
的理想。
- 设X为n维光滑簇,则X的切层是余切层
的对偶,规范层
是
的n次外幂。
- 代数层是模层,也是环层。
运算
设
为赋环空间。若F和G都是O-模,则它们的张量积
or
,
也是O-模,与预层
相关联(计算
的全局截面,其中
是射影空间上的塞尔扭曲层,如此可知层化是不可避免的)。
同样,若F、G都是O-模,则
![{\displaystyle {\mathcal {H}}om_{O}(F,G)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aa15d2018b01766218f7b131c5b79f213af3c71)
表示作为层
的O-模。[4]特别地,O-模
![{\displaystyle {\mathcal {H}}om_{O}(F,O)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d356d35597284d65bff0dd969d12b6c3a97e2820)
称作F的对偶模,记作
。注意:对任意O-模E、F,都有规范同态
,
若E是秩有限的局部自由层,则就是同构。特别地,若L局部自由且秩为1(称这样的L是可逆层或线丛 ),[5]则有
![{\displaystyle {\check {L}}\otimes L\simeq O,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2c58284db48e24558fae650804aa313ca22bb7b)
这意味着可逆层的同构类构成群,称作X的皮卡第群,规范等同于第一上同调群
(由标准的切赫上同调论证)。
若E是秩有限的局部自由层,则有配对给出的O-线性映射
,称作E的迹映射。
对任意O-模F,其张量代数、外代数和对称代数的定义方式类似。例如,k次外幂
![{\displaystyle \bigwedge ^{k}F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/789567557e307d144d615fc5ea88f306fa168b27)
是与预层
相关联的层。若F是秩为n的局部自由层,则
称作F的行列式(determinant)线丛(严格说是可逆层),记作
。有自然的完美配对:
![{\displaystyle \bigwedge ^{r}F\otimes \bigwedge ^{n-r}F\to \det(F).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d2b9a7ff04afa84352e2c988fa9772f84b8e8dc)
设
是赋环空间之间的态射。若F是O-模,则直像层
通过自然映射
是O'-模(这样的自然映射是赋环空间态射数据的一部分)。
若G是O'-模,则G的模逆像
是作为模的张量积的O-模:
![{\displaystyle f^{-1}G\otimes _{f^{-1}O'}O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28c752649aee7d1519545758d2711fd8009e7d87)
其中
是G的逆像层,
由伴随从
得到。
和
之间有伴随关系:对任意O-模F、O'-模G,
![{\displaystyle \operatorname {Hom} _{O}(f^{*}G,F)\simeq \operatorname {Hom} _{O'}(G,f_{*}F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03779103ec37a6d2544e34c53f3d2ab438640e54)
是阿贝尔群。还有射影公式:对O-模F、秩有限的局部自由O'-模E,
![{\displaystyle f_{*}(F\otimes f^{*}E)\simeq f_{*}F\otimes E.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ae27719cf482d89de11867739a788bb1810fc3)
性质
令
是赋环空间。O-模F,若有O-模的满射:
![{\displaystyle \bigoplus _{i\in I}O\to F\to 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aef841a55f71eb5f8d357802535bf5f40bacdec)
则称F是由全局截面生成的。明确地说,这意味着存在F的全局截面
使得
在每个茎
中的像生成了作为
-模的
。
代数几何中,R-模M(R是任意交换环)与环的谱
相关联,就是这种层的一个例子。
另一个例子:据嘉当定理A,施坦流形上的凝聚层都是由全局截面张成的(参下列塞尔定理A)。在概形论中,一个相关概念是充足线丛(ample line buldle,例如若L是充足线丛,那么它的某个幂是由全局截面生成的)。
内射O-模是弛的(flasque,即所有限制映射
都是满射)。[6]由于弛层在阿贝尔层范畴中是非周期性的,所以O-模范畴中的全局截面函子
的第i右导出函子与通常的阿贝尔层范畴中的第i层上同调相重合。[7]
与模相关联的层
令M是环A上的模。置
and write
。对每对
,根据局部化的泛性质,有自然映射
![{\displaystyle \rho _{g,f}:M[g^{-1}]\to M[f^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70cb90947ee387662b3ba064e0c0b726f2f98538)
有性质
。则
![{\displaystyle D(f)\mapsto M[f^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85c5fbf31be70749ad8d44a4effb32c573b25f5a)
是对象为集合
、态射为集合包含的范畴,到阿贝尔群范畴的反变函子。可以证明[8]它实际上是B-层(即其满足胶合公理),于是定义了X上的层
,称作与M相关联的层。
最基本的例子是X上的结构层,即
。此外,
具有
-模的结构,因此可得到A上模范畴
到
上模范畴的正合函子
。其定义了
到X上准凝聚层范畴的等价,其逆
是全局截面函子。X是诺特概形时,函子是从有限生成A-模到X上凝聚层范畴的等价。
此构造有以下性质:对任意A-模M、N与任意态射
,
.[9]
- 对A的任意素理想,
作为
-模。
.[10]
- 若M是有限表示模,
.[10]
- 由于
与X上准凝聚层范畴间的等价关系,
。
;[11]特别是,取直和与~交换。
- 当且仅当
的诱导序列正合,称A-模序列正合。特别地,
.
与分次模相关联的层
上一节中的构造与等价有一个分次类似物。令R是由
-代数(
表示度为0的元素)的度为1的元素生成的分次环,M是分次R-模。令X是R的射影构造(于是若R不是诺特环,则X是射影概形),则有O-模
,使得对R的度数为正的任意齐次元f,有自然同构
![{\displaystyle {\widetilde {M}}|_{\{f\neq 0\}}\simeq (M[f^{-1}]_{0})^{\sim }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78e3c8df95226bf9fa13c36b7656d599552f28b0)
作为仿射概形
上的模层;[12]实际上,这通过胶合定义了
。
例子:令
为分次R-模:
,则
称作塞尔扭曲层,若R次数为1、是有限生成的,则塞尔扭曲层是重言线丛的对偶。
若F是X上的O-模,则
就有规范同态:
![{\displaystyle \left(\bigoplus _{n\geq 0}\Gamma (X,F(n))\right)^{\sim }\to F,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b538dc061a4dc4024c4d3a2e750d714d8ffb69c7)
当且仅当F是准凝聚层时,它是同构。
计算层上同调
层上同调以难以计算而闻名。正因如此,下面的一般事实对任何实际计算都是重要的:
定理 — 令X是拓扑空间,F是其上的阿贝尔层,
是X的开覆盖,使得
。则对任意i,
![{\displaystyle \operatorname {H} ^{i}(X,F)=\operatorname {H} ^{i}(C^{\bullet }({\mathfrak {U}},F))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c50d04d679e3862aa56bba04b7a56c3aa22fec1)
其中右式是第i切赫上同调。
塞尔消失定理[13]指出,若X是射影簇、F是其上的凝聚层,则对足够大的n,塞尔扭曲
由有限多全局截面生成。此外,
是在
上有限生成的;
- 有取决于F的整数
使得
[14][15][16]
层扩张
令
是赋环空间,F、H是X上O-模的层。H对F的扩张是O-模的短正合列
![{\displaystyle 0\rightarrow F\rightarrow G\rightarrow H\rightarrow 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2581c21a1b7040bf4139e7f5cc3af9881c440ec)
与群扩张一样,若固定F、H,则H对F扩张的所有等价类构成阿贝尔群(参Baer和),其与Ext群
同构,当中
中的幺元对应平凡扩张。
H是O的情形下,有:
![{\displaystyle \operatorname {H} ^{i}(X,F)=\operatorname {Ext} _{O}^{i}(O,F),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8475792d43e14ac0a8a793a42f6393d4aad319d0)
因为两侧是同一个函子
的右导出函子。
注: Hartshorne等学者不写下标O。
设X是诺特环上的射影概形。令F、G是X上的凝聚层,i是整数,则存在
使得
.[17]
局部自由消解
对任何凝聚层
都可用局部自由消解轻松计算:[18]给定复形
![{\displaystyle \cdots \to {\mathcal {L}}_{2}\to {\mathcal {L}}_{1}\to {\mathcal {L}}_{0}\to {\mathcal {F}}\to 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f5c3bd0e8df0872cd9b849d78fae3c7145f5b94)
则
![{\displaystyle {\mathcal {RHom}}({\mathcal {F}},{\mathcal {G}})={\mathcal {Hom}}({\mathcal {L}}_{\bullet },{\mathcal {G}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6938f3293dd697cda4486b261d6408d182d2b0f5)
于是
![{\displaystyle {\mathcal {Ext}}^{k}({\mathcal {F}},{\mathcal {G}})=h^{k}({\mathcal {Hom}}({\mathcal {L}}_{\bullet },{\mathcal {G}}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bd4809759a60cf6133e4c7c58c53590893136ca)
例子
超曲面
考虑度数为d的光滑超曲面X,则可计算消解
![{\displaystyle {\mathcal {O}}(-d)\to {\mathcal {O}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c9041a18352a94dcbf258dcfba43f2192392d5d)
并发现
![{\displaystyle {\mathcal {Ext}}^{i}({\mathcal {O}}_{X},{\mathcal {F}})=h^{i}({\mathcal {Hom}}({\mathcal {O}}(-d)\to {\mathcal {O}},{\mathcal {F}}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa52ef7825a0f62db8facc09ac8cb96943ab7b1)
光滑完全交的并
考虑概形
![{\displaystyle X={\text{Proj}}\left({\frac {\mathbb {C} [x_{0},\ldots ,x_{n}]}{(f)(g_{1},g_{2},g_{3})}}\right)\subseteq \mathbb {P} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fc2605ff5732feb4d573b72e7f9d80e84d80053)
其中
是光滑完全交,
。则有复形
![{\displaystyle {\mathcal {O}}(-d-e_{1}-e_{2}-e_{3}){\xrightarrow {\begin{bmatrix}g_{3}\\-g_{2}\\-g_{1}\end{bmatrix}}}{\begin{matrix}{\mathcal {O}}(-d-e_{1}-e_{2})\\\oplus \\{\mathcal {O}}(-d-e_{1}-e_{3})\\\oplus \\{\mathcal {O}}(-d-e_{2}-e_{3})\end{matrix}}{\xrightarrow {\begin{bmatrix}g_{2}&g_{3}&0\\-g_{1}&0&-g_{3}\\0&-g_{1}&g_{2}\end{bmatrix}}}{\begin{matrix}{\mathcal {O}}(-d-e_{1})\\\oplus \\{\mathcal {O}}(-d-e_{2})\\\oplus \\{\mathcal {O}}(-d-e_{3})\end{matrix}}{\xrightarrow {\begin{bmatrix}fg_{1}&fg_{2}&fg_{3}\end{bmatrix}}}{\mathcal {O}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d9dc0fd1a4586b37c9969a94803b4c89dbdbf45)
消解了
,可用于计算
。
另见
注释
- ^ Vakil, Math 216: Foundations of algebraic geometry, 2.5.
- ^ Hartshorne,Ch. III, Proposition 2.2.
- ^ 此上同调函子与与阿贝尔层范畴中的全局截面函子的右导出函子重合,参Hartshorne,Ch. III, Proposition 2.6.
- ^ 有规范同态:
![{\displaystyle {\mathcal {H}}om_{O}(F,O)_{x}\to \operatorname {Hom} _{O_{x}}(F_{x},O_{x}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d88913de03b3e069fde40831345df04689657251)
若F是有限表示,则其是同构(EGA, Ch. 0, 5.2.6.)
- ^ 对于凝聚层,有张量逆等同于局部自由且秩为1。实际上有事实:若
、且F凝聚,则F、G局部自由且秩为1。(cf. EGA, Ch 0, 5.4.3.)
- ^ Hartshorne,Ch III, Lemma 2.4.
- ^ see also: https://math.stackexchange.com/q/447234
- ^ Hartshorne,Ch. II, Proposition 5.1.
- ^ EGA I,Ch. I, Proposition 1.3.6. harvnb error: no target: CITEREFEGA_I (help)
- ^ 10.0 10.1 EGA I,Ch. I, Corollaire 1.3.12. harvnb error: no target: CITEREFEGA_I (help)
- ^ EGA I,Ch. I, Corollaire 1.3.9. harvnb error: no target: CITEREFEGA_I (help)
- ^ Hartshorne,Ch. II, Proposition 5.11.
- ^ Section 30.2 (01X8): Čech cohomology of quasi-coherent sheaves—The Stacks project. stacks.math.columbia.edu. [2023-12-07].
- ^ Costa, Miró-Roig & Pons-Llopis 2021,Theorem 1.3.1
- ^ Links with sheaf cohomology. Local Cohomology. 2012: 438–479. ISBN 9780521513630. doi:10.1017/CBO9781139044059.023.
- ^ Serre 1955,§.66 Faisceaux algébriques cohérents sur les variétés projectives.
- ^ Hartshorne,Ch. III, Proposition 6.9.
- ^ Hartshorne, Robin. Algebraic Geometry. : 233–235.
参考文献
- Grothendieck, Alexandre; Dieudonné, Jean. Éléments de géométrie algébrique: I. Le langage des schémas. Publications Mathématiques de l'IHÉS. 1960, 4. MR 0217083. doi:10.1007/bf02684778.
- Hartshorne, Robin, Algebraic Geometry, Graduate Texts in Mathematics 52, New York: Springer-Verlag, 1977, ISBN 978-0-387-90244-9, MR 0463157
- Costa, Laura; Miró-Roig, Rosa María; Pons-Llopis, Joan. Ulrich Bundles. 2021. ISBN 9783110647686. doi:10.1515/9783110647686.
- Links with sheaf cohomology. Local Cohomology. 2012: 438–479. ISBN 9780521513630. doi:10.1017/CBO9781139044059.023.
- Serre, Jean-Pierre, Faisceaux algébriques cohérents (§.66 Faisceaux algébriques cohérents sur les variétés projectives.) (PDF), Annals of Mathematics, 1955, 61 (2): 197–278, JSTOR 1969915, MR 0068874, doi:10.2307/1969915