In mathematics, especially in algebraic geometry, the étale homotopy type is an analogue of the homotopy type of topological spaces for algebraic varieties. Roughly speaking, for a variety or scheme X, the idea is to consider étale coverings and to replace each connected component of U and the higher "intersections", i.e., fiber products, (n+1 copies of U, ) by a single point. This gives a simplicial set which captures some information related to X and the étale topology of it.
Attributes | Values |
---|
rdfs:label
| |
rdfs:comment
| - In mathematics, especially in algebraic geometry, the étale homotopy type is an analogue of the homotopy type of topological spaces for algebraic varieties. Roughly speaking, for a variety or scheme X, the idea is to consider étale coverings and to replace each connected component of U and the higher "intersections", i.e., fiber products, (n+1 copies of U, ) by a single point. This gives a simplicial set which captures some information related to X and the étale topology of it. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - In mathematics, especially in algebraic geometry, the étale homotopy type is an analogue of the homotopy type of topological spaces for algebraic varieties. Roughly speaking, for a variety or scheme X, the idea is to consider étale coverings and to replace each connected component of U and the higher "intersections", i.e., fiber products, (n+1 copies of U, ) by a single point. This gives a simplicial set which captures some information related to X and the étale topology of it. Slightly more precisely, it is in general necessary to work with étale hypercovers instead of the above simplicial scheme determined by a usual étale cover. Taking finer and finer hypercoverings (which is technically accomplished by working with the pro-object in simplicial sets determined by taking all hypercoverings), the resulting object is the étale homotopy type of X. Similarly to classical topology, it is able to recover much of the usual data related to the étale topology, in particular the étale fundamental group of the scheme and the étale cohomology of locally constant étale sheaves. (en)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |