Reflexive homology

Abstract

Reflexive homology is the homology theory associated to the reflexive crossed simplicial group; one of the fundamental crossed simplicial groups. It is the most general way to extend Hochschild homology to detect an order-reversing involution. In this paper we study the relationship between reflexive homology and the $C_2$-equivariant homology of free loop spaces. We define reflexive homology in terms of functor homology. We give a bicomplex for computing reflexive homology together with some calculations, including the reflexive homology of a tensor algebra. We prove that the reflexive homology of a group algebra is isomorphic to the homology of the $C_2$-equivariant Borel construction on the free loop space of the classifying space. We give a direct sum decomposition of the reflexive homology of a group algebra indexed by conjugacy classes of group elements, where the summands are defined in terms of a reflexive analogue of group homology. We define a hyperhomology version of reflexive homology and use it to study the $C_2$-equivariant homology of certain free loop and free loop-suspension spaces. We show that reflexive homology satisfies Morita invariance. We prove that under nice conditions the involutive Hochschild homology studied by Braun and by Fernàndez-València and Giansiracusa coincides with reflexive homology.

arXiv comment23 pages. Minor revision of the previous version with more exposition. One theorem now proved in more generality. To appear in Proceedings of the Royal Society of Edinburgh Section A: Mathematics

References in corpus (11)

• On the PROP corresponding to bialgebras
• Topological Hochschild homology of Thom spectra and the free loop space
• Crossed simplicial groups and structured surfaces
• Involutive A-infinity algebras and dihedral cohomology
• Symmetric Homology of Algebras
• $K$-theory of Hermitian Mackey functors and a reformulation of the Novikov Conjecture
• Equivariant calculus of functors and Z/2-analyticity of real K-theory
• On the geometric fixed-points of real topological cyclic homology
• Hyperoctahedral Homology for Involutive Algebras
• PROPs for involutive monoids and involutive bimonoids
• E-infinity structure in hyperoctahedral homology

Cited by in corpus (1)

• Reflexive homology and involutive Hochschild homology as equivariant Loday constructions