Smooth topology

In algebraic geometry, the smooth topology is a certain Grothendieck topology, which is finer than étale topology. Its main use is to define the cohomology of an algebraic stack with coefficients in, say, the étale sheaf .

To understand the problem that motivates the notion, consider the classifying stack over . Then in the étale topology;[1] i.e., just a point. However, we expect the "correct" cohomology ring of to be more like that of as the ring should classify line bundles. Thus, the cohomology of should be defined using smooth topology for formulae like Behrend's fixed point formula to hold.

Notes

  1. Behrend, Proposition 5.2.9; in particular, the proof.

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.