Following ideas of Graeme Segal, we construct an equivariant con- figuration space that is a model of equivariant connective K-homology spec- trum for finite groups, as a consequence we obtain an induction structure for equivariant connective K-homology. We describe explicitly the homology with complex coefficients for the fixed points of this configuration space as a Hopf algebra.
We calculate the integral homotopy groups of THH(l) at any prime and of THH(ko) at p=2, where l is the Adams summand of the connective complex p-local K-theory spectrum and ko is the connective real K-theory spectrum.
In this paper, we determine the connective K-cohomology with reality of elementary abelian $2$-groups as a module over $\mathbb{Z}[v_1,a]$, where $v_1$ is the equivariant Bott class and $a$ the Euler class of the sign representation. This gives in particular a new approach to the computation of the connective real K-theory of such groups. The originality here is to make all computations in the $\mathbb{Z}/2$-equivariant stable category, considering only $\mathbb{Z}/2$-equivariant cohomology theories, and to use relative homological algebra over certain subalgebras of the equivariant Steenrod a…
Let $e_n$ be the connective cover of the Morava $E$-theory spectrum $E_n$ of height $n$. In this paper we compute its homology $H_*(e_n;\mathbb{F}_p)$ for any prime $p$ and $n \leq 4$ up to possible multiplicative extensions. In order to accomplish this we show that the Künneth spectral sequence based on an $E_3$-algebra $R$ is multiplicative when the $R$-modules in question are commutative $S$-algebras. We then apply this result by working over $BP$ which is known to be an $E_4$-algebra.
It is well known that very special $Γ$-spaces and grouplike $\E_\infty$ spaces both model connective spectra. Both these models have equivariant analogues. Shimakawa defined the category of equivariant $Γ$-spaces and showed that special equivariant $Γ$-spaces determine positive equivariant spectra. Costenoble and Waner showed that grouplike equivariant $\E_\infty$-spaces determine connective equivariant spectra. We show that with suitable model category structures the category of equivariant $Γ$-spaces is Quillen equivalent to the category of equivariant $\E_\infty$ spaces. We define the units…
In this paper we continue our study of logarithmic topological Hochschild homology. We show that the inclusion of the connective Adams summand into the p-local complex connective K-theory spectrum, equipped with suitable log structures, is a formally log THH-etale map, and compute the V(1)-homotopy of their logarithmic topological Hochschild homology spectra. As an application, we recover Ausoni's computation of the V(1)-homotopy of the ordinary THH of ku.
The element $P_2^1$ of the mod 2 Steenrod algebra has the property $(P_2^1)^2=0$. This property allows one to view $P_2^1$ as a differential on $H_*(X, \mathbb{F}_2)$ for any spectrum $X$. Homology with respect to this differential, $\mathcal{M}(X, P_2^1)$, is called the $P_2^1$ Margolis homology of $X$. In this paper we give a complete calculation of the $P_2^1$ Margolis homology of the 2-local spectrum of topological modular forms $tmf$ and identify its $\mathbb{F}_2$ basis via an iterated algorithm. We apply the same techniques to calculate $P_2^1$ Margolis homology for any smash power of $…
We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a gamma-equivariant G-module A, when a separate group "gamma" acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.
We obtain the equivariant K-homology of the classifying space \underline{E}SL(3,Z) from the computation of its Bredon homology with respect to finite subgroups and coefficients in the representation ring. We also obtain the corresponding results for GL(3,Z). Our calculations give therefore the topological side of the Baum-Connes conjecture for these groups.
We construct an explicit model for the connective cover of the spectrum of $K$-theory with reality. This model is a $\ztwo$-equivariant commutative symmetric ring spectrum which identifies with another one due to D. Dugger.
We obtain the equivariant K-homology of the classifying space \underline{E}W for W a right-angled or, more generally, an even Coxeter group. The key result is a formula for the relative Bredon homology of \underline{E}W in terms of Coxeter cells. Our calculations amount to the K-theory of the reduced C^*-algebra of W, via the Baum-Connes assembly map.
Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spectrum $MU_{\mathbb{R}}$. In particular, we construct an equivariant version of the Bökstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green f…
The connective ku-(co)homology of elementary abelian 2-groups is determined as a functor of the elementary abelian 2-group. The argument requires only the calculation of the rank one case and the Atiyah-Segal theorem for KU-cohomology together with an analysis of the functorial structure of the integral group ring. The methods can also be applied to the odd primary case. These results are used to analyse the local cohomology spectral sequence calculating ku-homology, via a functorial version of local duality for Koszul complexes. This gives a conceptual explanation of results of Bruner and Gre…
Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to compute twisted Morava K-theory of all connective covers of the stable orthogonal group and stable unitary group, and their classifying spaces, as well as spheres and Eilenberg-MacLane spaces. This extends to the twisted case some of the results of Ravenel and Wilson and of Kitchloo, Laures, and Wilson for Morava K-theory. This also generalizes to all chromatic l…
We compute topological Hochschild homology mod $p$ and $v_1$ of the connective cover of the $K(1)$-local sphere spectrum for all primes $p\ge 3$. This is accomplished using a May-type spectral sequence in topological Hochschild homology constructed from a filtration of a commutative ring spectrum.
Let G be a countable discrete group and let M be a smooth proper cocompact G-manifold without boundary. The Euler operator defines via Kasparov theory an element, called the equivariant Euler class, in the equivariant K-homology of M. The universal equivariant Euler characteristic of M, which lives in a group U^G(M), counts the equivariant cells of M, taking the component structure of the various fixed point sets into account. We construct a natural homomorphism from U^G(M) to the equivariant KO-homology of M. The main result of this paper says that this map sends the universal equivariant Eul…
A careful account is given of generalized equivariant homology theories on the category of topological pairs acted on by a group. In particular, upon restriction to the category of equivariant simplicial complexes, the equivalence of equivariant simplicial homology (also known as Bredon homology), the second derived term of the Atiyah--Hirzebruch spectral sequence, and equivariant singular homology is demonstrated.
Equivariant $Γ$-spaces model equivariant infinite loop spaces. In this article, we show that there exists a connective Quillen equivalence between the category of equivariant $Γ$-spaces and the category of orthogonal spectra.
In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this setting is possible to recover the analytic assembly map.
We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups.
In this paper, for a finite group, we discuss a method for calculating equivariant homology with constant coefficients. We apply it to completely calculate the geometric fixed points of the equivariant spectrum representing equivariant (co)homology with constant coefficients. We also treat a more complicated example of inverting the standard representation in the equivariant homology of split extraspecial groups at the prime 2.
Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homolo…
We define equivariant homology theories using bordism of stratifolds with a G-action, where G is a discrete group. Stratifolds are a generalization of smooth manifolds which were introduced by Kreck. He defines homology theories using bordism of suitable stratifolds. We develop the equivariant generalization of these ideas.
We construct a genuine $G$-equivariant extension of factorization homology for $G$ a finite group, assigning a genuine $G$-spectrum to a manifold with $G$-action. We show that $G$-factorization homology is compatible with Hill-Hopkins-Ravenel norms and satisfies equivariant $\otimes$-excision. Following Ayala-Francis we prove an axiomatic characterization of genuine $G$-factorization homology. Applications include a description of real topological Hochschild homology and relative topological Hochschild homology of $C_n$-rings using genuine $G$-factorization homology.
We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to p…
We compute the homology of the space of equivariant loops on the classifying space of a simplicial monoid $M$ with anti-involution, provided $π_0 (M)$ is central in the homology ring of $M$. The proof is similar to McDuff and Segal's proof of the group completion theorem. Then we compute the homology of the $C_2$-fixed points of a Segal-type model of the algebraic $K$-theory of an additive category with duality. As an application we show that this fixed point space is sometimes group complete, but not in general.
We compute the equivariant $KO$-homology of the classifying space for proper actions of $\textrm{SL}_3(\mathbb{Z})$ and $\textrm{GL}_3(\mathbb{Z})$. We also compute the Bredon homology and equivariant $K$-homology of the classifying spaces for proper actions of $\textrm{PSL}_2(\mathbb{Z}[\frac{1}{p}])$ and $\textrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$ for each prime $p$. Finally, we prove the Unstable Gromov-Lawson-Rosenberg Conjecture for a large class of groups whose maximal finite subgroups are odd order and have periodic cohomology.
A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$, $m<M$, or, which is the same, the stable homology groups of spaces of non-resultant homogeneous polynomial maps ${\mathbb R}^{m+1} \to {\mathbb R}^{M+1}$ of growing degrees. Also, we find the homology groups of spaces of ${\mathbb Z}_r$-equivariant maps of odd-dimensional spheres for any $r$. As a technical tool, we calculate the homology groups of configurat…
We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of G. We illustrate our algorithm on some concrete examples.
We introduce equivariant factorization homology, extending the axiomatic framework of Ayala-Francis to encompass multiplicative invariants of manifolds equipped with finite group actions. Examples of such equivariant factorization homology theories include Bredon equivariant homology and (twisted versions of) Hochschild homology. Our main result is that equivariant factorization homology satisfies an equivariant version of tensor excision, and is uniquely characterised by this property. We also discuss applications to representation theory, such as constructions of categorical braid group acti…
In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.
In this note we state corrected and expanded versions of our previous results on power operations for $C_2$-equivariant Bredon homology with coefficients in the constant Mackey functor on $\mathbb{F}_2$. In particular, we give a version of the Adem relations. The proofs rely on certain results in equivariant higher algebra which we will supply in a longer version of this paper.
This paper is our first step in establishing a de Rham model for equivariant twisted $K$-theory using machinery from noncommutative geometry. Let $G$ be a compact Lie group, $M$ a compact manifold on which $G$ acts smoothly. For any $α\in H^3_G (M, {\mathbb Z})$ we introduce a notion of localized equivariant twisted cohomology $H^\bullet ({\barΩ}^\bullet (M, G, L)_g, d^α_{G^g})$, indexed by $g\in G$. We prove that there exists a natural family of chain maps, indexed by $g\in G$, inducing a family of morphisms from the equivariant periodic cyclic homology $HP^G_\bullet ( C^\infty (M, α) )$, whe…
We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A large part of this paper is devoted to showing how some well-established coarse (co-)homology theories, whose equivariant versions are either already known or will be introduced in this paper, fit into this setup. Furthermore, a new and more flexible notion of coarse homotopy is given which is more in the spirit of topological homotopies. Some, but not all,…
We introduce the notion of the space of parallel strings with partially summable labels, which can be viewed as a geometrically constructed group completion of the space of particles with labels. We utilize this to construct a machinery which produces equivariant generalized homology theories from such simple and abundant data as partial monoids.
In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular filtrations on the connected sum using spheres inside unitary representations. A judicious choice of filtration implies a splitting on equivariant homology for general cyclic groups under a divisibility hypothesis, and in all cases for those of prime power order.
In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a topological abelian group by the coend construction. Then we prove that the homotopy groups of this topological abelian group are naturally isomorphic to the Bredon equivariant homology of the CW-complex. At the end we present several examples of this result.
We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the group, via the Baum-Connes conjecture. We show that, for any such reflection group, the associated $K$-theory groups are torsion-free. As a result we can promote previous rational computations to integral compu- tations. Our proof relies on a new efficient algebraic criterion for checking torsion-freeness of K-theory groups, which could be applied to many othe…
We calculate the equivariant instanton Floer homology, in the sense of Miller Eismeier, for the trivial $SO(3)$-bundle over the binary polyhedral spaces with coefficients in a PID $R$ for which $2\in R$ is invertible. Along the way we modify a part of the algebraic construction needed to define the equivariant instanton Floer groups.
Fix a finite group G and an n-dimensional orthogonal G-representation V. We define the equivariant factorization homology of a V-framed smooth G-manifold with coefficients in an $E_V$-algebra using a two-sided bar construction, generalizing [And10, KM18]. This construction uses minimal categorical background and aims for maximal concreteness, allowing convenient proofs of key properties, including invariance of equivariant factorization homology under change of tangential structures. Using a geometrically-seen scanning map, we prove an equivariant version (eNPD) of the nonabelian Poincare dual…