Flat topology (original) (raw)
층 이론에서, fpqc 위상(fpqc位相, 영어: fpqc topology)은 스킴의 범주 위에 정의되는 매우 섬세한 그로텐디크 위상이다. 이러한 섬세함에도 불구하고, fpqc 위상에서 다양한 내림 이론을 전개할 수 있다.
Property | Value |
---|---|
dbo:abstract | In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent (faithfully flat descent). The term flat here comes from flat modules. There are several slightly different flat topologies, the most common of which are the fppf topology and the fpqc topology. fppf stands for fidèlement plate de présentation finie, and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat and of finite presentation. fpqc stands for fidèlement plate et quasi-compacte, and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat. In both categories, a covering family is defined be a family which is a cover on Zariski open subsets. In the fpqc topology, any faithfully flat and quasi-compact morphism is a cover. These topologies are closely related to descent. The "pure" faithfully flat topology without any further finiteness conditions such as quasi compactness or finite presentation is not used much as is not subcanonical; in other words, representable functors need not be sheaves. Unfortunately the terminology for flat topologies is not standardized. Some authors use the term "topology" for a pretopology, and there are several slightly different pretopologies sometimes called the fppf or fpqc (pre)topology, which sometimes give the same topology. Flat cohomology was introduced by Grothendieck in about 1960. (en) 층 이론에서, fpqc 위상(fpqc位相, 영어: fpqc topology)은 스킴의 범주 위에 정의되는 매우 섬세한 그로텐디크 위상이다. 이러한 섬세함에도 불구하고, fpqc 위상에서 다양한 내림 이론을 전개할 수 있다. (ko) |
dbo:wikiPageExternalLink | http://www.jmilne.org/math/Books/adt.html |
dbo:wikiPageID | 10538912 (xsd:integer) |
dbo:wikiPageLength | 7872 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1095993725 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Pretopology dbr:Derived_functor dbr:Affine_scheme dbr:Mathematics dbr:Étale_cohomology dbr:Galois_cohomology dbr:James_Milne_(mathematician) dbr:Algebraic_geometry dbr:Flat_module dbr:Flat_morphism dbr:Fpqc_morphism dbc:Algebraic_geometry dbc:Sheaf_theory dbr:Grothendieck_topology dbr:Glossary_of_scheme_theory dbr:Michael_Artin dbr:Éléments_de_géométrie_algébrique dbr:Tate–Poitou_duality dbr:Descent_(category_theory) dbr:Section_(sheaf_theory) dbr:Sheaf_of_abelian_groups |
dbp:wikiPageUsesTemplate | dbt:ISBN |
dct:subject | dbc:Algebraic_geometry dbc:Sheaf_theory |
gold:hypernym | dbr:Topology |
rdfs:comment | 층 이론에서, fpqc 위상(fpqc位相, 영어: fpqc topology)은 스킴의 범주 위에 정의되는 매우 섬세한 그로텐디크 위상이다. 이러한 섬세함에도 불구하고, fpqc 위상에서 다양한 내림 이론을 전개할 수 있다. (ko) In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent (faithfully flat descent). The term flat here comes from flat modules. Unfortunately the terminology for flat topologies is not standardized. Some authors use the term "topology" for a pretopology, and there are several slightly different pretopologies sometimes called the fppf or fpqc (pre)topology, which sometimes give the same topology. (en) |
rdfs:label | Flat topology (en) Fpqc 위상 (ko) |
owl:sameAs | freebase:Flat topology wikidata:Flat topology dbpedia-ko:Flat topology https://global.dbpedia.org/id/4jVwY |
prov:wasDerivedFrom | wikipedia-en:Flat_topology?oldid=1095993725&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Flat_topology |
is dbo:wikiPageRedirects of | dbr:Fppf dbr:Fppf_topology dbr:Fpqc-topology dbr:Fpqc_topology dbr:Flat_cohomology dbr:Flat_topos |
is dbo:wikiPageWikiLink of | dbr:Amitsur_complex dbr:Algebraic_torus dbr:Essential_dimension dbr:Glossary_of_arithmetic_and_diophantine_geometry dbr:Glossary_of_category_theory dbr:Fpqc_morphism dbr:Cotangent_complex dbr:Topos dbr:Artin–Verdier_duality dbr:Grothendieck_topology dbr:Fppf dbr:Fppf_topology dbr:Fpqc-topology dbr:Fpqc_topology dbr:Flat_cohomology dbr:Flat_topos |
is foaf:primaryTopic of | wikipedia-en:Flat_topology |