# Group cohomology version of Deligne-Beilinson cohomology

+ 7 like - 0 dislike
43 views

I appreciate Deligne-Beilinson cohomology as a topological cohomology generalization of de Rham cohomology, which concerns the topological structure of manifolds.

On the other hand, we know that there is Group Cohomology theory, suitable for describing the classifying spaces $BG$ of a group $G$, for example, see ncatlab: group+cohomology and ncatlab: Dijkgraaf-Witten gauge theory.

Is there a group cohomology version of Deligne-Beilinson cohomology, concerning classifying spaces $B^n G$ of a group $G$? What are some key intro References? Thank you in advance.

This post imported from StackExchange MathOverflow at 2017-09-14 13:31 (UTC), posted by SE-user wonderich
retagged Sep 14, 2017

+ 5 like - 0 dislike

The nth Deligne cohomology is defined as cohomology with coefficients in a truncated chain complex of sheaves of U(1)-valued differential forms: U(1)→Ω^1→Ω^2→⋯→Ω^n for some n≥0.

Thus starting with an arbitrary Lie group G one can take the truncated simplicial object of sheaves of groups of G-valued differential forms (defined using crystals, for example), and then take the sheaf cohomology with values in this simplicial presheaf.

This defines a nonabelian analog of the Deligne cohomology for any choice of the underlying site: smooth, holomorphic, algebraic.

This post imported from StackExchange MathOverflow at 2017-09-14 13:31 (UTC), posted by SE-user Dmitri Pavlov
answered Jan 29, 2017 by (50 points)
+ 3 like - 0 dislike

Note that Deligne-Beilinson cohomology is not really a "topological cohomology" generalization of de Rham cohomology, it depends on additional analytic structure. So one would expect that some additional analytical structure would be required on the classifying space of a group $G$ to have some Deligne-Beilinson group cohomology.

A version of Deligne-Beilinson cohomology for affine groups schemes equipped with a mixed Hodge structure has been studied recently (it applies in particular to completions of fundamental groups of smooth complex varieties w.r.t monodromy representations):

• R. Hain. Deligne-Beilinson cohomology of affine groups. arXiv:1507.03144, link to paper
This post imported from StackExchange MathOverflow at 2017-09-14 13:31 (UTC), posted by SE-user Matthias Wendt
answered Jan 29, 2017 by (30 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:$\varnothing\hbar$ysicsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.