请输入您要查询的字词:

 

单词 StructureSheaf
释义

structure sheaf


Let X be an irreduciblePlanetmathPlanetmathPlanetmath algebraic variety over a field k, together with the Zariski topologyMathworldPlanetmath. Fix a point xX and let UX be any affine open subset of X containing x. Define

𝔬x:={f/gk(U)f,gk[U],g(x)0},

where k[U] is the coordinate ring of U and k(U) is the fraction field of k[U]. The ring 𝔬x is independent of the choice of affine open neighborhood U of x.

The structure sheaf on the varietyMathworldPlanetmathPlanetmath X is the sheaf of rings whose sectionsPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath on any open subset UX are given by

𝒪X(U):=xU𝔬x,

and where the restrictionPlanetmathPlanetmath map for VU is the inclusion mapMathworldPlanetmath 𝒪X(U)𝒪X(V).

There is an equivalence of categories under which an affine varietyMathworldPlanetmath X with its structure sheaf corresponds to the prime spectrum of the coordinate ring k[X]. In fact, the topological embedding XSpec(k[X]) gives rise to a latticeMathworldPlanetmath–preserving bijection11Those who are fans of topos theory will recognize this map as an isomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath of topos. between the open sets of X and of Spec(k[X]), and the sections of the structure sheaf on X are isomorphic to the sections of the sheaf Spec(k[X]).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:59:50