Skip to main content
added 483 characters in body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

Etale topology, required to define etale cohomology, is not a topology in the usual sense. It is Grothendieck topology only.

In the category of topological manifolds, an etale cover of $X$ is a surjective local homeomorphism $Y\rightarrow X$. In the etale topology on varieties, this is "morally true" as well with local homeomorphism, replaced by a surjective morphism, defining isomorphism of tangent cones. In the schemes the cones are further replaced by henselisations of local rings...

Note that there are numerous further examples of useful Grothenidieck topologies that are not topologies...

Etale topology, required to define etale cohomology, is not a topology in the usual sense. It is Grothendieck topology only.

Etale topology, required to define etale cohomology, is not a topology in the usual sense. It is Grothendieck topology only.

In the category of topological manifolds, an etale cover of $X$ is a surjective local homeomorphism $Y\rightarrow X$. In the etale topology on varieties, this is "morally true" as well with local homeomorphism, replaced by a surjective morphism, defining isomorphism of tangent cones. In the schemes the cones are further replaced by henselisations of local rings...

Note that there are numerous further examples of useful Grothenidieck topologies that are not topologies...

Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

Etale topology, required to define etale cohomology, is not a topology in the usual sense. It is Grothendieck topology only.