The category of rational O(2)-equivariant spectra splits as a product of cyclic and dihedral parts. Using the classification of rational G-equivariant spectra for finite groups G, we classify the dihedral part of rational O(2)-equivariant spectra in terms of an algebraic model.
We completely calculate the $RO(G)$-graded coefficients of ordinary equivariant cohomology where $G$ is the dihedral group of order $2p$ for a prime $p>2$ both with constant and Burnside ring coefficients. The authors first proved it for $p=3$ and then the second author generalized it to arbitrary $p$. These are the first such calculations for a non-abelian group.
We show that the cohomology group of the equivariant simplicial de Rham complex is isomorphic to the cohomology group of the classifying space of a semi-direct product group.
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.
We prove an $O(2)$-equivariant version of the Jones isomorphism relating the Borel $O(2)$-equivariant cohomology of the free loop space to the dihedral homology of the cochain algebra. We discuss polynomial forms and a variation of the de Rham isomorphism and use these to do a computation for the 2-sphere.
The circle-equivariant spectrum MString_C is the equivariant analogue of the cobordism spectrum MU<6> of stably almost complex manifolds with c_1=c_2=0. Given a rational elliptic curve C, the second author has defined a ring T-spectrum EC representing the associated T-equivariant elliptic cohomology. The core of the present paper is the construction, when C is a complex elliptic curve, of a map of ring T-spectra MString_C --> EC which is the rational equivariant analogue of the sigma orientation of Ando-Hopkins-Strickland. We support this by a theory of characteristic classes for calculation, …
Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of Özaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.
This thesis consists of two main parts. In the second part, we recall how a description of local coefficients that Eilenberg introduced in the 1940s leads to spectral sequences for the computation of homology and cohomology with local coefficients. We then show how to construct new equivariant analogues of these spectral sequences for RO(G)-graded Bredon homology and cohomology. Finally, we use these spectral sequences to complete a sample calculation, in which we use the equivariant Serre spectral sequence and the equivariant cohomology of complex projective spaces to compute the cohomology o…
We consider Γ-equivariant principal G-bundles over proper Γ-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups with finite covering dimension Γand G such that G is almost connected.
We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show how these theories can be obtained by looking at the action of a single isotropy group on a fiber of the anchor map, extending equivariant results for compact group actions. We also show how this extension from a single isotropy group to the entire groupoid action can be applied to the structure of principal bundles and classifying spaces.
For Artin groups of dihedral type, we compute the Bredon homology groups of the classifying space for the family of virtually cyclic subgroups with coefficients in the K-theory of a group ring.
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.
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg-Zilber theory from Tonks' thesis, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equ…
We compute the additive structure of the $\mathrm{RO}(C_n)$-graded Bredon equivariant cohomology of the equivariant classifying space $B_{C_n}\mathrm{SU}(2)$, for any $n$ that is either prime or a product of distinct odd primes, and we also compute its multiplicative structure for $n=2$. In particular, as an algebra over the cohomology of a point, we show that the cohomology of $B_{C_2}\mathrm{SU}(2)$ is generated by two elements subject to a single relation: writing $σ$ for the sign representation of $C_2$ in $\mathrm{RO}(C_2)$, the generators are an element $c$ in dimension $4σ$ and an eleme…
Let $G$ be a finite group. We re-analyze the splitting of rational $G$-spectra, which is discussed in Barne's thesis and traces back to Greenlees and May. We will study how the splitting behaves under a localization which is weaker than rationalization and discuss its application in computing equivariant cohomology of $G$-spectra. In particular, we will explicitly compute $π_\bigstar(H\underline{\mathbb{Z}})$ and $π_\bigstar(HA_G)$ for the dihedral group $G=D_{2p}$. The additive structures and partial multiplicative structures are already computed by Kriz, Lu, and Zou. Our new method will prov…
In a previous paper, we have constructed, for an arbitrary Lie group G and any of the fields F=R or C, a good equivariant cohomology theory KF_G^*(-) on the category of proper $G$-CW-complex and have justified why it deserved the label ``equivariant K-theory". It was shown in particular how this theory was a logical extension of the construction of Lück and Oliver for discrete groups and coincided with Segal's classical K-theory when G is a compact group and only finite G-CW-complexes are considered. Here, we compare our new equivariant K-theory with that of N.C. Phillips: it is shown how a na…
Let $G$ be an infinite discrete group and let $\underline{E}G$ be a classifying space for proper actions of $G$. Every $G$-equivariant vector bundle over $\underline{E}G$ gives rise to a compatible collection of representations of the finite subgroups of $G$. We give the first examples of groups $G$ with a cocompact classifying space for proper actions $\underline{E}G$ admitting a compatible collection of representations of the finite subgroups of $G$ that does not come from a $G$-equivariant (virtual) vector bundle over $\underline{E}G$. This implies that the Atiyah-Hirzeburch spectral sequen…
We give minimal presentations for the $RO(C_2)$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_2}U(n), B_{C_2}SO(n)$ and $B_{C_2}Sp(n)$ with coefficients in the rational Burnside Green functor $A_{\mathbf Q}$. This results in an efficient description of rational $C_2$ equivariant Chern, Pontryagin and symplectic characteristic classes. These classes are then related to each other using the inclusions of maximal tori.
The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of positive characteristic. In particular, we study the module structure of the equivariant cohomology over the cohomology of the classifying space and we provide a criterion for freeness over this ring and the polynomial subring of it. We apply these results to canonical actions of finite cyclic groups on polyhedral products arising from the boundary of a polygo
We give a new proof that for a finite group G, the category of rational G-equivariant spectra is Quillen equivalent to the product of the model categories of chain complexes of modules over the rational group ring of the Weyl group of H in G, as H runs over the conjugacy classes of subgroups of G. Furthermore the Quillen equivalences of our proof are all symmetric monoidal. Thus we can understand categories of algebras or modules over a ring spectrum in terms of the algebraic model.
We refine the intersection product in homology to an equivariant setting, which unifies several known constructions. As an application, we give a common generalisation of the Chas-Sullivan string product on a manifold and the Chataur-Menichi string product on the classifying space by defining a string product on the Borel construction of a manifold. We prove a vanishing result which enables us to define a secondary product. The secondary product is then used to construct secondary versions of the Chataur-Menichi string product, and the equivariant intersection product in the Borel equivariant …
We define algebraic cobordism of classifying spaces, Ω^*(BG) and G-equivariant algebraic cobordism Ω^*_G(-) for a linear algebraic group G. We prove some properties of the coniveau filtration on algebraic cobordism, denoted F^j(Ω^*(-)), which are required for the definition to work. We show that G-equivariant cobordism satisfies the localization exact sequence. We calculate Ω^*(BG) for algebraic groups over the complex numbers corresponding to classical Lie groups GL(n), SL(n), Sp(n), O(n) and SO(2n+1). We also calculate Ω^*(BG) when G is a finite abelian group. A finite non-abelian group for …
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.
In this short note, we compute the rational $C_{2^n}$-equivariant stable stems and give minimal presentations for the $RO(C_{2^n})$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_{2^n}}S^1$ and $B_{C_{2^n}}Σ_2$ over the rational Burnside functor $A_{\mathbf Q}$. We also examine for which compact Lie groups $L$ the maximal torus inclusion $T\to L$ induces an isomorphism from $H^*_{C_{2^n}}(B_{C_{2^n}}L;A_{\mathbf Q})$ onto the fixed points of $H^*_{C_{2^n}}(B_{C_{2^n}}T;A_{\mathbf Q})$ under the Weyl group action. We prove that this holds for $L=U(m)$ and any $n,m\ge 1$ bu…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy groups of prime power order without changing the homotopy type of the completion. We then show that this completion can be computed as a homotopy colimit of completions of spectra obtained by further restricting isotropy to one prime at a time, and that these completions can be computed in terms of completion at a prime. As an application, we show that the sp…
We filter the equivariant Eilenberg Maclane spectrum $H\underline{\mathbb{F}}_p$ using the mod $p$ symmetric powers of the equivariant sphere spectrum, $\mathrm{Sp}_{\mathbb{Z}/p}^{\infty}(Σ^{\infty G}S^0)$. When $G$ is a $p$-group, we show that the layers in the filtration are the Steinberg summands of the equivariant classifying spaces of $(\mathbb{Z}/p)^n$ for $n=0, 1, 2, \ldots$. We show that the layers of the filtration split after smashing with $H\underline{\mathbb{F}}_p$. Along the way, we produced a general computation of the geometric fixed points of $H\underline{\mathbb{Z}}$ and $H\u…
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.
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 geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.
We initiate the study of higher dimensional topological finiteness properties of monoids. This is done by developing the theory of monoids acting on CW complexes. For this we establish the foundations of $M$-equivariant homotopy theory where $M$ is a discrete monoid. For projective $M$-CW complexes we prove several fundamental results such as the homotopy extension and lifting property, which we use to prove the $M$-equivariant Whitehead theorems. We define a left equivariant classifying space as a contractible projective $M$-CW complex. We prove that such a space is unique up to $M$-homotopy …
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 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…