Non-abelian Group Cohomology Research Articles

Local types of (Γ,G)$(\Gamma ,G)$‐bundles and parahoric group schemes

AbstractLet be a simple algebraic group over an algebraically closed field . Let be a finite group acting on . We classify and compute the local types of ‐bundles on a smooth projective ‐curve in terms of the first nonabelian group cohomology of the stabilizer groups at the tamely ramified points with coefficients in . When , we prove that any generically simply connected parahoric Bruhat–Tits group scheme can arise from a ‐bundle. We also prove a local version of this theorem, that is, parahoric group schemes over the formal disc arise from constant group schemes via tamely ramified coverings.

Descent Cohomology and Factorizations of Groups

The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in Mesablishvili (Trans. A. Razmadze Math. Inst. 173(2), 137–155, 2019). We show that descent cohomology includes Serre’s non-abelian group cohomology as a special case. This enables us to generalize Serre’s theory further to include monoids.

’t Hooft Anomalies of Discrete Gauge Theories and Non-abelian Group Cohomology

We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical symmetries via transgression. We present a general discussion of the bulk-boundary correspondence at the level of partition functions and state spaces, which we make explicit for discrete gauge theories.

Hamiltonian Anomalies from Extended Field Theories

We develop a proposal by Freed to see anomalous field theories as relative field theories, namely field theories taking value in a field theory in one dimension higher, the anomaly field theory. We show that when the anomaly field theory is extended down to codimension 2, familiar facts about Hamiltonian anomalies can be naturally recovered, such as the fact that the anomalous symmetry group admits only a projective representation on the Hilbert space, or that the latter is really an abelian bundle gerbe over the moduli space. We include in the discussion the case of non-invertible anomaly field theories, which is relevant to six-dimensional (2, 0) superconformal theories. In this case, we show that the Hamiltonian anomaly is characterized by a degree 2 non-abelian group cohomology class, associated to the non-abelian gerbe playing the role of the state space of the anomalous theory. We construct Dai-Freed theories, governing the anomalies of chiral fermionic theories, and Wess-Zumino theories, governing the anomalies of Wess-Zumino terms and self-dual field theories, as extended field theories down to codimension 2.

Non-abelian Hopf cohomology II—The general case

We introduce and study non-abelian cohomology sets of Hopf algebras with coefficients in Hopf comodule algebras. We prove that these sets generalize as well Serre's non-abelian group cohomology theory as the cohomological theory constructed by the authors in a previous article. We establish their functoriality and compute explicit examples. Further we classify Hopf torsors.

Non-abelian Hopf cohomology

We introduce non-abelian cohomology sets of Hopf algebras with coefficients in Hopf modules. We prove that these sets generalize Serre's non-abelian group cohomology theory. Using descent techniques, we establish that our construction enables to classify as well twisted forms for modules over Hopf-Galois extensions as torsors over Hopf-modules.

Categorical non-abelian cohomology and the Schreier theory of groupoids

By regarding the classical non-abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non-abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation theorems generalizing the classical ones. This categorical approach is based on the fact that if groups are regarded as categories, then, on the one hand, crossed modules are 2-groupoids, cocycles are lax 2-functors, and the cocycle conditions are precisely the coherence axioms for lax 2-functors, and, on the other hand, group extensions are fibrations of categories. Furthermore, n-simplices in the nerve of a 2-category are lax 2-functors.

Higher non-abelian cohomology of groups

The first non-abelian cohomology of groups introduced by Guin is extended to any dimensions and for a substantially wider class of coefficients called G-partially crossed P-modules. The first and the second non-abelian cohomologies of groups are described in terms of torsors and extensions of groups respectively. Higher non-abelian cohomology pointed sets are described in terms of cotriple right derived functors of the group of derivations with respect to the first contravariant variable. For any short exact coefficient sequence a long exact cohomology sequence is obtained extending the well-known exact cohomology sequences and higher cohomology of groups with coefficients in any G-group is introduced.

Categorification and Group Extensions

We review several known categorification procedures, and introduce a functorial categorification of group extensions (Section 4.1) with applications to non-Abelian group cohomology (Section 4.2). The obstruction to the existence of group extensions (Section 4.2.4, Equation (9)) is interpreted as a “coboundary” condition (Proposition 4.5).

Non-Abelian Cohomology of Groups

Abstract Following Guin's approach to non-abelian cohomology [Guin, Pure Appl. Algebra 50: 109–137, 1988] and, using the notion of a crossed bimodule, a second pointed set of cohomology is defined with coefficients in a crossed module, and Guin's six-term exact cohomology sequence is extended to a nine-term exact sequence of cohomology up to dimension 2.

Non-Abelian Cohomology of Groups

Following Guin's approach to non-abelian cohomology (4) and, using the notion of a crossed bimodule, a second pointed set of cohomology is deÞned with coecients in a crossed module, and Guin's six-term exact cohomology sequence is extended to a nine-term exact sequence of cohomology up to dimension 2.

A 3-Dimensional Non-Abelian Cohomology of Groups With Applications to Homotopy Classification of Continuous Maps

The general problem of what should be a non-abelian cohomology, what is it supposed to do, and what should be the coefficients, form a set of interesting questions which has been around for a long time. In the particular setting of groups, a comprehensible and well motivated cohomology theory has been so far stated in dimensions ≤ 2, the coefficients for being crossed modules. The main effort to define an appropriate for groups has been done by Dedecker [16] and Van Deuren [40]; they studied the obstruction to lifting non-abelian 2-cocycles and concluded with first approach for , which requires “super crossed groups” as coefficients. However, as Dedecker said “some polishing work remains necessary” for his cohomology.