Abstract
There are two approaches to the study of the cohomology of group algebras ℝ[G]: the Eilenberg-MacLane cohomology and the Hochschild cohomology. In the case of Eilenberg-MacLane cohomology, one has the classical cohomology of the classifying space BG. The Hochschild cohomology represents a more general construction, in which the so-called two-sided bimodules are considered. The Hochschild cohomology and the usual Eilenberg-MacLane cohomology are coordinated by moving from bimodules to left modules. For the Eilenberg-MacLane cohomology, in the case of a nontrivial action of the group G on the module Ml, no reasonable geometric interpretation has been known so far. The main result of this paper is devoted to an effective geometric description of the Hochschild cohomology. The key point for the new geometric description of the Hochschild cohomology is the new groupoid Gr associated with the adjoint action of the group G. The cohomology of the classifying space BGr of this groupoid with an appropriate condition for the finiteness of the support of cochains is isomorphic to the Hochschild cohomology of the algebra ℝ[G]. Hochschild homology is described in the form of homology groups of the space BGr, but without any conditions of finiteness on chains.
Similar content being viewed by others
References
S. Eilenberg and S. MacLane, “Cohomology Theory in Abstract Groups. I,” Ann. of Math. 48 (1), 51–78 (1947).
D. J. Benson, Representations and Cohomology II: Cohomology of Groups and Modules (Cambridge Studies in Advanced Mathematics, vol. 31, Cambridge University Press, 1991).
S. Eilenberg and S. MacLane, “Cohomology Theory in Groups,” Bull. Amer. Math. Soc. 50, pp. 53, Abstract no. 9 (1944).
S. Eilenberg and S. Mac-Lane, “Relations between Homology and Homotopy Groups of Spaces,” Ann. of Math. 46, 480–509 (1945).
G. P. Hochschild, “On the Cohomology Groups of an Associative Algebra,” Annals of Math. 46, 58–67 (1945).
G. P. Hochschild, “On the Cohomology Theory for Associative Algebras,” Annals of Math. 47, 568–579 (1946).
A. S. Mishchenko, “Reduction of Differential Calculus on a Noncompact Manifold to a Compact Manifold of Doubled Dimension and a Smooth Version of the Johnson Problem on the Derivations of Group Algebras,” Collection: “Modern Methods and Problems of Mathematical Hydrodynamics” 2019, Materials of the international scientific conference, Voronezh State University (Voronezh), pp. 89–103.
A. S. Mishchenko, “Geometric Description of the Hochschild Cohomology of Group Algebras,” Abstract. Book of Abstracts of Conference “Topology, Geometry, and Dynamics: Rokhlin - 100,” St-Petersburg, p. 64 (2019).
S. Witherspoon, An Introduction to Hochschild Cohomology (Texas A&M University, 2017).
I.M. Gelfand, “On Elliptic Equations,” Uspekhi Mat. Nauk 15 (3), 121–132 (1960) [Russian Math. Surveys 15 (3), 113-123 (1960)].
M. F. Atiyah, “The Index of Elleptic Operators on Compact Manifolds,” Bull. Amer. Math. Soc. 69, 422–433 (1963).
V. V. Grushin, “Pseudodifferential Operators on Rn with Bounded Symbols,” Funktsional. Anal, i Prilozhen. 4 (3), 37–50 (1970) [Funct. Anal. Appl. 4 (3), 202–212 (1970)].
A. A. Arutyunov and A. S. Mishchenko, “Reduction of PDO Calculus on a Noncompact Manifold to a Double-Dimensional Compact Manifold,” Dokl. Akad. Nauk, 451 (4), 369–373 (2013) [Dokl. Math. 88 (1), 427–430 (2013)].
A. A. Arutyunov and A. S. Mishchenko, “Reduction of the Calculus of Pseudodifferential Operators on a Noncompact Manifold to the Calculus on a Compact Manifold of Doubled Dimension,” Mat. Zametki 94 (4), 488–505 (2013) [Math. Notes 94 (4), 455–469 (2013)].
V. P. Maslov, Operator Methods (Nauka, Moscow, 1973).
B. E. Johnson, “The Derivation Problem for Group Algebras of Connected Locally Compact Groups,” J. London Math. Soc. 63 (2), 441–452 (2001).
W. Losert, “The Derivation Problem for Group Algebras,” Ann. of Math. 168, 221–246 (2008).
H. G. Dales, Banach Algebras and Automatic Continuity (Clarendon Press, Oxford, 2000), Definition 1.8.1, pp. 114.
F. Ghahramani, V. Runde, and G. Willis, “Derivations on Group Algebras,” Proc. London Math. Soc. 80, 360–390 (2000).
E. Hewitt and K. A. Ross, Abstract Harmonic Analysis, II (Springer, Berlin, 1970).
A. Connes, Noncommutative Geometry (Academic Press, 1994).
R. Lyndon and P. Schupp, Combinatorial Group Theory (Springer-Verlag, Berlin-New York, 1977).
A. A. Arutyunov and A. S. Mishchenko, “Smooth Version of Johnson’s Problem Concerning Derivations of Group Algebras,” Sb. Math. 210 (6), 756–782 (2019).
Funding
The work was supported by RFBR grant no. 18-01-00398.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mishchenko, A.S. Correlation between the Hochschild Cohomology and the Eilenberg–MacLane Cohomology of Group Algebras from a Geometric Point of View. Russ. J. Math. Phys. 27, 236–250 (2020). https://doi.org/10.1134/S1061920820020107
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1061920820020107