Homotopy \(G\)-algebra structure on Bredon-Illman cochain complex
type: Item
instance of: scholarly article
title: Homotopy \(G\)-algebra structure on Bredon-Illman cochain complex
zbMATH Open document ID: 1056.55004
author: Goutam Mukherjee
author: Neeta Pandey
published in: Topology and its Applications
publication date: 2004-11-19T00:00:00Z
review text: Let \(G\) be a topological group and let \(X\) be a \(G\)-space. The orbit category \(\Pi _{G}( X) \) is defined to be the category whose objects are \(G\)-maps \(x_{H}:G/H\to X\) and whose morphisms have the form \(( \widehat{a},\omega ) :x_{H}\to x_{H^{\prime }}\), where \(a\in G\) satisfies \(a^{-1}Ha\subseteq H^{\prime }\), \(\widehat{a}:G/H\to G/H^{\prime }\) is defined by \(\widehat{a}( gH) =gaH^{\prime }\) and \(\omega \) is a \(G\)-homotopy from \(x_{H}\) to \(x_{H^{\prime }}\widehat{a}\) . Now, for \(\mathcal{R}\) being the category of commutative rings with 1, an equivariant local coefficient system on X is defined to be a contravariant functor \(M:\Pi _{G}( X) \to \mathcal{R}\). For any equivariant \(n\)-simplex \(\sigma :G/H\times \Delta ^{n}\to X\) we define the object \(\widetilde{\sigma }\)\ in the orbit category \(\Pi _{G}( X) \) by \(\widetilde{\sigma }( gH) =\sigma ( gH,e_{0}^{n}) \). The set of functions \(c\) defined on \(n\)-simplices with \(c( \sigma ) =M( \widetilde{\sigma }) \) is denoted by \(S_{G}^{n}( X,M) \) and has a ring structure induced by \(M\). The Bredon-Illman cochain complex is \(( S_{G}^{\ast }( X,M) ,\delta ) \) where the coboundary \(\delta \) is defined in the obvious way, after this the Bredon-Illman cohomology ring \( H_{G}^{\ast }( G,M) =H( S_{G}^{\ast }( X,M) ,\delta ) \) arrives naturally. This paper is devoted to showing in a fairly technical way that the Bredon-Illman cochain complex defined as above is a homotopy \(G\)-algebra in the category \(\mathbb{Z}\)-\textbf{mod} also having the structure of a differentially graded Lie algebra. The objects in the \(\mathbb{Z}\)-\textbf{mod} category are \(\mathbb{Z}\)-modules and the morphisms the corresponding module homomorphisms. A graded object \(H=\oplus H^{j}\) in this category is said to be a non-\(\Sigma \) operad provided the existence of graded product maps of degree 0. The first step in the proof of the main result is to prove that the Bredon-Illman cochain complex i…
Mathematics Subject Classification ID: 55N91
Mathematics Subject Classification ID: 20J06
zbMATH DE Number: 2116783
zbMATH Keywords: homotopy \(G\)-algebra
zbMATH Keywords: differentiable algebra
reviewed by: Juan Antonio Pérez
MaRDI profile type: Publication
full work available at URL: j.topol.2004.03.002
OpenAlex ID: W2048809993
cites work: Q3935884
cites work: Equivariant cohomology theories
cites work: Q4834722
cites work: Steenrod \(\bigcup_i\)-products on Bredon--Illman cohomology
cites work: Dialgebra cohomology as a G-algebra
cites work: The Equivariant Serre Spectral Sequence
cites work: BREDON-ILLMAN COHOMOLOGY WITH LOCAL COEFFICIENTS
cites work: Equivariant cohomology with local coefficients
cites work: Q4527089
DOI: 10.1016/J.TOPOL.2004.03.002
description: scientific article; zbMATH DE number 2116783