Functor represented by a scheme (original) (raw)
In algebraic geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is (up to natural bijections) the set of all morphisms . The scheme X is then said to represent the functor and that classify geometric objects over S given by F. The best known example is the Hilbert scheme of a scheme X (over some fixed base scheme), which, when it exists, represents a functor sending a scheme S to a flat family of closed subschemes of .
| Property | Value |
|---|---|
| dbo:abstract | In algebraic geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is (up to natural bijections) the set of all morphisms . The scheme X is then said to represent the functor and that classify geometric objects over S given by F. The best known example is the Hilbert scheme of a scheme X (over some fixed base scheme), which, when it exists, represents a functor sending a scheme S to a flat family of closed subschemes of . In some applications, it may not be possible to find a scheme that represents a given functor. This led to the notion of a stack, which is not quite a functor but can still be treated as if it were a geometric space. (A Hilbert scheme is a scheme, but not a stack because, very roughly speaking, deformation theory is simpler for closed schemes.) Some moduli problems are solved by giving (as opposed to polynomial algebraic solutions) and in that case, the resulting functor is represented by a formal scheme. Such a formal scheme is then said to be if there is another scheme that can represent the same functor, up to some isomorphisms. (en) |
| dbo:wikiPageExternalLink | http://www.math.harvard.edu/~lurie/282ynotes/LectureXIV-Borel.pdf http://www.math.washington.edu/~zhang/Shanghai2011/Slides/ardakov.pdf |
| dbo:wikiPageID | 45399927 (xsd:integer) |
| dbo:wikiPageLength | 8123 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1107300373 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Morphism_of_schemes dbr:Descent_along_torsors dbr:Algebraic_topology dbr:Pseudo-functor dbr:Classifying_space dbr:Function_field_(scheme_theory) dbr:Stack_(mathematics) dbr:Linear_system_of_divisors dbr:Local_ring dbr:Formal_scheme dbr:Rational_point dbr:Hilbert_scheme dbr:Weil_restriction dbc:Algebraic_geometry dbr:Contravariant_functor dbr:Scheme_(mathematics) dbr:Yoneda_lemma dbr:Residue_field dbr:Representable_functor dbr:Ring_of_dual_numbers dbr:Fiber_product dbr:Grothendieck_site dbr:Yoneda's_lemma dbr:Algebraizable dbr:Formal_solution |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Expand_section dbt:Reflist dbt:See_also dbt:Algebraic-geometry-stub |
| dct:subject | dbc:Algebraic_geometry |
| rdf:type | owl:Thing |
| rdfs:comment | In algebraic geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is (up to natural bijections) the set of all morphisms . The scheme X is then said to represent the functor and that classify geometric objects over S given by F. The best known example is the Hilbert scheme of a scheme X (over some fixed base scheme), which, when it exists, represents a functor sending a scheme S to a flat family of closed subschemes of . (en) |
| rdfs:label | Functor represented by a scheme (en) |
| rdfs:seeAlso | dbr:Rational_point |
| owl:sameAs | wikidata:Functor represented by a scheme https://global.dbpedia.org/id/C4vcb |
| prov:wasDerivedFrom | wikipedia-en:Functor_represented_by_a_scheme?oldid=1107300373&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Functor_represented_by_a_scheme |
| is dbo:wikiPageRedirects of | dbr:Functor_of_points |
| is dbo:wikiPageWikiLink of | dbr:Rational_point dbr:Ringed_topos dbr:Functor_of_points |
| is foaf:primaryTopic of | wikipedia-en:Functor_represented_by_a_scheme |