A configuration space for equivariant connective \(K\)-homology (Q5963573)
From MaRDI portal
scientific article; zbMATH DE number 6543656
Language | Label | Description | Also known as |
---|---|---|---|
English | A configuration space for equivariant connective \(K\)-homology |
scientific article; zbMATH DE number 6543656 |
Statements
A configuration space for equivariant connective \(K\)-homology (English)
0 references
22 February 2016
0 references
This work is part of the PhD thesis of the author [``Equivariant connective \(K\)-homology and configuration spaces'', Universidad de los Andes (2012)]. It presents a configuration space approach to equivariant connective \(K\)-homology for finite groups \(G\), thereby giving an affirmative answer to a question posed by \textit{W. Wang} in [Duke Math. J. 103, No. 1, 1--23 (2000; Zbl 0947.19004)], which can be stated as follows. Let \(M\) be an even dimensional \(G\)-\(\text{Spin}^c\)-manifold and let \[ {\mathfrak{F}}^q_G(M)=\bigoplus_{n \geq 0}q^nK^*_{G_n}(M^n)\otimes\mathbb{C} \] be its associated complex vector space where \(G_n\) denotes the wreath product of \(G\) by \(\mathfrak{S}_n\). Then we know from [loc. cit.] that it admits a natural \(\mathbb{Z}\times\mathbb{Z}/2\)-graded Hopf algebra structure. If we denote by \(\mathfrak{C}(M, G)\) the equivariant configuration space constructed herein, then we find that it also has a Hopf algebra structure and that there is an isomorphism of \(\mathbb{Z}\)-graded Hopf algebras \[ H_*({\mathfrak{C}(M, G)}^G; \mathbb{C})\cong\widehat{{\mathfrak{ F}}^q_G(M)} \] where the completion is taken over augmentation ideal. The space \(\mathfrak{C}(M, G)\) is a precise analogue of that in the non-equivariant case in that in defining it \(n\times n\) complex matrices are replaced by linear operators on the equivariant Hilbert space of rank \(\leq n\). However perhaps this replacement led the author to the idea of applying the equivariant Kasparov \(KK\)-theory to solve the Wang question above. Indeed the author succeeds in proving that the homotopy groups of \(\mathfrak{C}(M, G)\) form a \(G\)-homology theory and that there is a natural transformation from it to equivariant \(K\)-homology which is an isomorphism when \(X=S^0\). Using this result the author obtains the above isomorphism.
0 references
equivariant connective \(K\)-homology
0 references
equivariant \(K\)-theory
0 references
wreath products
0 references
0 references