nLab
equivariant object

Given a fibered category π=π F:FC\pi=\pi_F: F\to C, a presheaf of groups G^:C opGrp\hat{G}:C^{\mathrm{op}}\to\mathrm{Grp} (possibly representable), an object XX in CC, and an action ν^:G^×h Xh X\hat\nu: \hat{G}\times h_X\to h_X (generalizing the action G×XXG\times X\to X in the representable case), one says that the object ρ\rho in the fiber F X=π 1(id X)F_X = \pi^{-1}(\mathrm{id}_X) is G^\hat{G}-equivariant if G^π\hat{G}\circ\pi is equipped with an action on h ρh_\rho, i.e., it is equipped with a natural transformation σ:(G^π)×h ρ:F opSet\sigma:(\hat{G}\circ\pi)\times h_\rho : F^{\mathrm{op}}\to\mathrm{Set} such that for any ξF\xi\in F, σ ξ:G^(π(ξ))×Hom F(ξ,ρ)Hom F(ξ,ρ)\sigma_\xi:\hat{G}(\pi(\xi))\times\mathrm{Hom}_F(\xi,\rho)\to\mathrm{Hom}_F(\xi,\rho) satisfies the action axiom of a group G^(π(ξ))\hat{G}(\pi(\xi)) on a set Hom F(ξ,ρ)\mathrm{Hom}_F(\xi,\rho), and such that π(σ)=ν^\pi(\sigma)=\hat\nu. The G^\hat{G}-equivariant objects naturally form a fibered category π G^:F G^C\pi^{\hat{G}}:F^{\hat{G}}\to C of equivariant objects.

Alternatively, if FF and CC are complete and G^\hat{G} is represented by GG in CC, the equivariant fiber over a GG-object XX is simply the fiber over the simplicial object [X/G][ X/G ] (the simplicial Borel construction), that is the category of Cartesian functors (σ F,σ C):Id Δ opπ F(\sigma^F,\sigma^C):\mathrm{Id}_{\Delta^{\mathrm{op}}}\to\pi_F from the opposite of the category of simplices Δ op\Delta^{\mathrm{op}} considered as a fibered category Id Δ op:Δ opΔ op\mathrm{Id}_{\Delta^{\mathrm{op}}}:\Delta^{\mathrm{op}}\to\Delta^{\mathrm{op}} to the fibered category π F:FC\pi_F:F\to C, such that the bottom component is σ C=[X/G]:Δ opC\sigma_C = [X/G]:\Delta^{\mathrm{op}}\to C.

Equivariant objects in fibered categories generalize equivariant sheaves which in turn generalize (sheaves of sections of) GG-equivariant bundles. The description of GG-equivariant sheaves via cartesian sections over the simplicial Borel construction translates into the statement that they form the category equivalent to the subcategory of the category of Deligne sheaves? over the simplicial Borel construction all of whose structure morphisms are isomorphisms. Mumford has expressed GG-equivariant sheaves over a GG-space (X,ν)(X,\nu) as sheaves ρ\rho equipped with an isomorphism θ:ν *(ρ)p *(ρ)\theta:\nu^*(\rho)\to p^*(\rho) where p:G×XXp:G\times X\to X is the projection and ν:G×XX\nu:G\times X\to X is the action, and such that θ\theta satisfies a certain cocycle condition, which is an identity of sheaves over G×G×XG\times G\times X.

For GG-equivariant sheaves over a topological GG-space (X,ν)(X,\nu) (as opposed to a GG-object (X,ν)(X,\nu) in a Grothendieck site), one can extend the canonical equivalence between étale spaces over XX and sheaves over XX to a canonical equivalence between étale GG-spaces over (X,ν)(X,\nu) and GG-equivariant sheaves over (X,ν)(X,\nu).

Literature

  • P. Deligne, Théorie de Hodge : III. Publications Mathématiques de l’IHÉS, 44 (1974), p. 5–77 (numdam)
  • S. MacLane, I. Moerdijk, Sheaves in geometry and logic, Springer 1992.
  • D. Mumford, Geometric invariant theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Neue Folge, Band 34. Springer 1965. 2nd edition with J. Fogarty, Springer 1982.
  • Z. Škoda, Some equivariant constructions in noncommutative algebraic geometry, accepted to Georgian Math. J., arXiv:0811.4770.
  • A. Vistoli, Grothendieck topologies, fibered categories and descent theory. Fundamental algebraic geometry, 1–104, Math. Surveys Monogr., 123, AMS 2005, arXiv:math.AG/0412512.
Revised on March 16, 2009 18:18:09 by Toby Bartels (71.104.234.95)