Topological groups and Mackey functors (Q1959073): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / author | |||
Property / author: Marcelo A. Aguilar / rank | |||
Property / author | |||
Property / author: Marcelo A. Aguilar / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 06:22, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological groups and Mackey functors |
scientific article |
Statements
Topological groups and Mackey functors (English)
0 references
1 October 2010
0 references
Let \(M\) be a Mackey functor for a finite group \(G\) with values in the category of abelian groups. Given a pointed \(G\)-set \(C\) with base point \(x_0\) one lets \(F(C, M)\) denote the set consisting of maps \(x \mapsto u(x) \in M(G/G_x)\) for every \(x\) in \(C\) such that \(u(x_o)=0\) and \(u(x)=0\) for almost all \(x \in C\). This becomes a topological abelian \(G\)-group in a natural way. The action of \(G\) is given by \((g\cdot u)(x)=M_*(R_{g^{-1}}(u(g^{-1}x))\). Denote by \(F(C, M)^G\) the subgroup of fixed points of \(F(C, M)\) under this action. The authors show that two kinds of functorial structures on it can be found. Denote the resulting functors by \(\bar{F}^G(-, M)\) and \(F^G(-, M)\), then one finds that they are covariant and hence can be extended to functors defined on simplicial pointed \(G\)-sets. This allows one to define topological spaces \(\bar{F}^G(X, M)\) and \(F^G(X, M)\) for a pointed \(G\)-space \(X\) as the geometric realizations of simplicial groups \(\bar{F}^G(\mathcal{S}(X), M)\) and \(F^G(\mathcal{S}(X), M)\) where \(\mathcal{S}(X)\) denotes the singular simplicial pointed \(G\)-set of \(X\), both of which become naturally topological abelian groups. The second one was already studied in the authors' previous paper [Topology Appl. 154, No.~15, 2826--2848 (2007); erratum ibid. 156, No. 8, 1609-1613 (2009; Zbl 1130.55004)]. Instead, here one has one more new topological group \(\mathbb{F}^G(X, M)\), which is defined as \(F(X^\delta, M)^G\) with a certain identification topology where \(X^\delta\) denotes the underlying pointed \(G\)-space of \(X\). It is proved that this group becomes homotopy equivalent to \(F^G(X, M)\) under the conditions that \(M\) is homological and \(X\) has the homotopy type of a \(G\)-CW-complex. The main result of this paper states that the homotopy groups of \(\bar{F}^G(X, M)\) are isomorphic to the Bredon-Illman equivariant homology of \(X\) with coefficients in a coefficient system \(\bar{M}_*\) associated to \(M\) (Theorem (7.5)) and if the conditions stated above are satisfied then the homotopy groups of \(\mathbb{F}^G(X, M)\) are isomorphic to the Bredon-Illman equivariant homology of \(X\) with coefficients in the covariant part \(M_*\) of \(M\) (Theorem (7.6)). Moreover, the authors study the the transfer \(t_P^G : \mathbb{F}^G(X, M) \to \mathbb{F}^G(E, M)\) for any finite covering \(G\)-map \(p : E \to X\), and prove that in the case of a \((G, \Gamma)\)-locally trivial bundle the composite \(p_*^G\circ t_*^G\) is given by multiplication by \(|\Gamma|\) (Theorem (8.11)).
0 references
Equivariant homology
0 references
homotopy groups
0 references
Mackey functors
0 references
equivariant covering maps
0 references
transfer
0 references