Smooth topology

From HandWiki

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 [math]\displaystyle{ \mathbb{Q}_l }[/math]. To understand the problem that motivates the notion, consider the classifying stack [math]\displaystyle{ B\mathbb{G}_m }[/math] over [math]\displaystyle{ \operatorname{Spec} \mathbf{F}_q }[/math]. Then [math]\displaystyle{ B\mathbb{G}_m = \operatorname{Spec} \mathbf{F}_q }[/math] in the étale topology;[1] i.e., just a point. However, we expect the "correct" cohomology ring of [math]\displaystyle{ B\mathbb{G}_m }[/math] to be more like that of [math]\displaystyle{ \mathbb{C} P^\infty }[/math] as the ring should classify line bundles. Thus, the cohomology of [math]\displaystyle{ B\mathbb{G}_m }[/math] should be defined using smooth topology for formulae like Behrend's fixed point formula to hold.

Notes

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

References