(Co)homology of -groups and -homological algebra

DOI10.1007/S40879-022-00558-0MaRDI QIDQ2097306zbMATH OpenOpenAlexFDO

Authors Hvedri Inassaridze

Publication date 11 November 2022

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.02083

zbMATH Keywords

\(\Gamma\)-equivariant group (co)homologyextensions of \(\Gamma\)-groupsHochschild homologyhomology of crossed \(\Gamma\)-modulessymbol group

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Resolutions; derived functors (category-theoretic aspects) (18G10) Relative homological algebra, projective classes (category-theoretic aspects) (18G25) 2-groups, crossed modules, crossed complexes (18G45) Nonabelian homological algebra (category-theoretic aspects) (18G50) Extensions, wreath products, and other compositions of groups (20E22) Homological methods in group theory (20J05)

Abstract: This is a further investigation of our approach to group actions in homological algebra in the settings of homology of {Gamma}-simplicial groups, particularly of {Gamma}-equivariant homology and cohomology of {Gamma}-groups. This approach could be called {Gamma}-homological algebra. The abstract kernel of non-abelian extensions of groups, its relation with the obstruction to the existence of non-abelian extensions and with the second group cohomology are extended to the case of non-abelian {Gamma}-extensions of {Gamma}-groups. We compute the rational {Gamma}-equivariant (co)homology groups of finite cyclic {Gamma}-groups. The isomorphism of the group of n-fold {Gamma}-equivariant extensions of a {Gamma}-group G by a G o {Gamma}-module A with the (n+1)th {Gamma}-equivariant group cohomology of G with coefficients in A is proven.We define the {Gamma}-equivariant Hochschild homology as the homology of the {Gamma}- Hochschild complex involving the cyclic homology when the basic ring contains rational numbers and generalizing the {Gamma}equivariant(co)homology of {Gamma}-groups when the action of the group {Gamma} on the Hochschild complex is induced by its action on the basic ring. Important properties of the {Gamma}-equivariant Hochschild homology related to Kahler differentials, Morita equivalence and derived functors are established. Group (co)homology and {Gamma}-equivariant group (co)homology of crossed {Gamma}-modules are introduced and investigated by using relevant derived functors Finally, applications to algebraic K-theory, Galois theory of commutative rings and cohomological dimension of groups are given.

Review text

This paper sets forth a further investigation of the author's approach to group actions in homological algebra in the settings of homology of \(\Gamma\)-simplicial groups, particularly of \(\Gamma\)-equivariant (co)homology of \(\Gamma\)-groups. This new direction of homological algebra is called \(\Gamma\)-homological algebra. The abstract kernel of non-abelian extensions of groups, its relation with the obstruction theory, and with the second group cohomology are extended to the case of non-abelian \(\Gamma\)-extensions of \(\Gamma\)-groups. The author computes the rational \(\Gamma\)-equivariant (co)homology groups of finite cyclic \(\Gamma\)-groups. The isomorphism of the group of \(n\)-fold \(\Gamma\)-equivariant extensions of a \(\Gamma\)-group \(G\) by a \((G\rtimes \Gamma)\)-module \(A\) with the \((n + 1)\)th \(\Gamma\)-equivariant group cohomology of \(G\) with coefficients in \(A\) is proven. He defines the \(\Gamma\)-equivariant Hochschild homology as the homology of the \(\Gamma\)-Hochschild complex when the action of the group \(G\) on the Hochschild complex is induced by its action on the basic ring. Important properties of the \(\Gamma\)-equivariant Hochschild homology related to Kähler differentials, Morita equivalence, and derived functors are established. Group (co)homology and \(\Gamma\)-equivariant group (co)homology of crossed \(\Gamma\)-modules are introduced and investigated by using relevant derived functors. Relations with extensions of crossed \(\Gamma\)-modules, in particular with relative extensions of group epimorphisms in the sense of Loday are established. Universal and \(\Gamma\)-equivariant universal central \(\Gamma\)-extensions of \(\Gamma\)-perfect crossed \(\Gamma\)-modules are constructed and relevant Hopf formulas are obtained. Finally, applications to the algebraic \(K\)-theory, the Galois theory of commutative rings, and the cohomological dimension of groups are given.

Recommendations

• Equivariant homology and cohomology of groups
• Cohomology of groups with operators
• Homological Algebra in the Category of Γ-Modules
• On Graded Categorical Groups and Equivariant Group Extensions
• Braided equivariant crossed modules and cohomology of -modules

Cites work

• (Co)Homology of crossed modules
• (Co)homology of crossed modules with coefficients in a _1-module
• \(K_2\) of quaternion algebras
• A comonadic interpretation of Baues-Ellis homology of crossed modules
• CCG-homology of crossed modules via classifying spaces
• Cohomologie et groupe de Steinberg rélatifs
• Cohomologie et homologie non abéliennes des groupes. (Nonabelian cohomology and homology of groups)
• Cohomology of groups with operators
• Cohomology Theory for Non-Normal Subgroups and Non-Normal Fields
• Combinatorial homotopy and 4-dimensional complexes
• Crossed \(n\)-fold extensions of groups and cohomology
• Crossed modules and homology
• Cyclic Galois extensions of commutative rings
• Equivariant group cohomology and Brauer group
• Equivariant higher Hochschild homology and topological field theories
• Equivariant homology and cohomology of groups
• Equivariant K-theory and freeness of group actions on \(C^ *\)-algebras
• Excision in algebraic \(K\)-theory
• Groups of cohomological dimension one
• Higher algebraic K-theory: I
• Homology in group theory
• Homology of 2-Types
• Hopf formulas for equivariant integral homology of groups
• scientific article; zbMATH DE number 3842104 (Why is no real title available?)
• scientific article; zbMATH DE number 5376452 (Why is no real title available?)
• scientific article; zbMATH DE number 3902792 (Why is no real title available?)
• scientific article; zbMATH DE number 3915231 (Why is no real title available?)
• scientific article; zbMATH DE number 3517379 (Why is no real title available?)
• scientific article; zbMATH DE number 1097060 (Why is no real title available?)
• scientific article; zbMATH DE number 3796817 (Why is no real title available?)
• scientific article; zbMATH DE number 782629 (Why is no real title available?)
• scientific article; zbMATH DE number 3229525 (Why is no real title available?)
• scientific article; zbMATH DE number 3200708 (Why is no real title available?)
• Introduction to Algebraic K-Theory. (AM-72)
• More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras
• On Graded Categorical Groups and Equivariant Group Extensions
• ON GROUP EXTENSIONS WITH OPERATORS
• On the Lusternik-Schnirelmann category of abstract groups
• On torsion-free groups with infinitely many ends
• Problem session
• Relative Group Cohomology and The Orbit Category
• Relative Homological Algebra
• Simplicial resolutions and derived functors
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• The low-dimensional homology of crossed modules
• The relativization of \(K_2\)
• Universal central extensions of internal crossed modules via the non-abelian tensor product

Cited in

(13)

• \({\bar\partial}\)-cohomology of (H,C)-groups
• Correction to: ``(Co)homology of \(\Gamma \)-groups and \(\Gamma \)-homological algebra
• Equivariant homology and cohomology of groups
• The \(L^2\)-(co)homology of groups with hierarchies
• scientific article; zbMATH DE number 3921517 (Why is no real title available?)
• Generalized (co)homology of the loop spaces of classical groups and the universal factorial Schur $P$- and $Q$-functions
• On the Cohomology of Γ p
• scientific article; zbMATH DE number 7622931 (Why is no real title available?)
• Property Γ factors and the Hochschild cohomology problem
• Homological Algebra in the Category of Γ-Modules
• Equivariant algebraic \(K\)-functors for \(\Gamma\)-rings
• Categorifying equivariant monoids
• An interpretation of the cohomology groups \(H^ n(G,M)\)

This page was built for publication: (Co)homology of \(\Gamma\)-groups and \(\Gamma\)-homological algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2097306)