| http://dbpedia.org/ontology/abstract
|
In algebraic geometry, a sheaf of algebras … In algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of -modules. It is quasi-coherent if it is so as a module. When X is a scheme, just like a ring, one can take the global Spec of a quasi-coherent sheaf of algebras: this results in the contravariant functor from the category of quasi-coherent (sheaves of) -algebras on X to the category of schemes that are affine over X (defined below). Moreover, it is an equivalence: the quasi-inverse is given by sending an affine morphism to is given by sending an affine morphism to
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://ncatlab.org/nlab/show/affine%2Bmorphism +
|
| http://dbpedia.org/ontology/wikiPageID
|
56371096
|
| http://dbpedia.org/ontology/wikiPageLength
|
4895
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
952868589
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Sheaf_of_commutative_rings +
, http://dbpedia.org/resource/Quasi-affine_morphism +
, http://dbpedia.org/resource/Locally_ringed_space +
, http://dbpedia.org/resource/Quasi-coherent_sheaf +
, http://dbpedia.org/resource/Morphism_of_schemes +
, http://dbpedia.org/resource/Global_Spec +
, http://dbpedia.org/resource/Cone_%28algebraic_geometry%29 +
, http://dbpedia.org/resource/Separated_morphism +
, http://dbpedia.org/resource/Sheaf_of_modules +
, http://dbpedia.org/resource/Category:Sheaf_theory +
, http://dbpedia.org/resource/Scheme_%28mathematics%29 +
, http://dbpedia.org/resource/Quasi-compact_morphism +
, http://dbpedia.org/resource/Ringed_space +
, http://dbpedia.org/resource/Category:Morphisms_of_schemes +
, http://dbpedia.org/resource/Finite_morphism +
, http://dbpedia.org/resource/Serre%27s_theorem_on_affineness +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Hartshorne_AG +
, http://dbpedia.org/resource/Template:EGA +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Sheaf_theory +
, http://dbpedia.org/resource/Category:Morphisms_of_schemes +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Sheaf_of_algebras?oldid=952868589&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Sheaf_of_algebras +
|
| owl:sameAs |
http://dbpedia.org/resource/Sheaf_of_algebras +
, https://global.dbpedia.org/id/4XpN9 +
, http://www.wikidata.org/entity/Q48971898 +
|
| rdfs:comment |
In algebraic geometry, a sheaf of algebras … In algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of -modules. It is quasi-coherent if it is so as a module. When X is a scheme, just like a ring, one can take the global Spec of a quasi-coherent sheaf of algebras: this results in the contravariant functor from the category of quasi-coherent (sheaves of) -algebras on X to the category of schemes that are affine over X (defined below). Moreover, it is an equivalence: the quasi-inverse is given by sending an affine morphism to is given by sending an affine morphism to
|
| rdfs:label |
Sheaf of algebras
|
