nLab equivariant ordinary differential cohomology

Redirected from "ordinary equivariant differential cohomology".
Contents

Context

Differential cohomology

Representation theory

Contents

Idea

Equivariant ordinary differential cohomology or equivariant Deligne cohomology is the equivariant cohomology-enhancement of ordinary differential cohomology (Deligne cohomology), equivalently the differential cohomology-enhancement of ordinary equivariant cohomology.

There is one evident general abstract definition of what this means concretely: Given a GG-action on some XX, the (Borel-)GG-equivariant ordinary differential cohomology of XX in degree nn is the (∞,1)-categorical hom-space in the cohesive (∞,1)-topos of Smooth∞Groupoids from the quotient stack XGX \sslash G to the Deligne complex B nU(1) conn\mathbf{B}^n U(1)_{conn}.

That various definitions in the literature coincide with this one (in particular Kübel-Thom 15, and for finite groups also Lupercio-Uribe 01, Gomi 05) is discussed in (Park-Redden 19).

References

The main definitions can be found in

An earlier definition thst works (only) for finite groups can be found in:

Other references:

Relation to action functionals for topological field theories (such as Chern-Simons theory):

Last revised on March 8, 2021 at 14:27:33. See the history of this page for a list of all contributions to it.