In this paper we study a natural decomposition of $G$-equivariant $K$-theory of a proper $G$-space, when $G$ is a Lie group with a compact normal subgroup $A$ acting trivially. Our decomposition could be understood as a generalization of the theory known as Mackey machine under suitable hypotheses, since it decomposes $G$-equivariant K-theory in terms of twisted equivariant K-theory groups respect to some subgroups of $G/A$. Similar decompositions were known for the case of a compact Lie group acting on a space, but our main result applies to discrete, linear and almost connected groups. We also apply this decomposition to study equivariant $K$-theory of spaces with only one isotropy type. We provide a rich class of examples in order to expose the strength and generality of our results. We also study the decomposition for equivariant connective $K$-homology for actions of compact Lie groups using a suitable configuration space model, based on previous papers published by the third author.
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation.
For $G$ a finite group, a normalized 2-cocycle $α\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $α$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $α$-projective representations of $A$. This generalizes the decomposition obtained in [Gómez J.M., Uribe B., Internat. J. Math. 28 (2017), 1750016, 23 pages, arXiv:1604.01656] for equivariant $K$-theory. We also explore some examples of thi…
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.
We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups.
In 1998, Goresky, Kottwitz, and MacPherson showed that for certain spaces X equipped with a torus action, the T-equivariant cohomology ring of X can be described by combinatorial data obtained from its orbit decomposition. Thus, their theory transforms calculations of the equivariant topology of X to those of the combinatorics of the orbit decomposition. Since then, many authors have studied this interplay between topology and combinatorics. In this paper, we generalize the theorem of Goresky, Kottwitz, and MacPherson to the (possibly infinite-dimensional) setting where X is any equivariant ce…
We develop model categories of rational equivariant spectra whose homotopy categories are equivalent to the category of rational equivariant cohomology theories. We prove that given an orthogonal decomposition of the unit in the rational Burnside ring, the model category of rational equivariant spectra decomposes into a product of localisations. We use this result to reprove the classification of rational equivariant cohomology theories for finite groups and to study such cohomology theories for the group O(2). We then concentrate on a split piece of the O(2) case and relate it to rational SO(…
Let G be a finite group. We study the group of G-equivariant self-homotopy equivalences of product of G-spaces. For a product of n-spaces, we represent it as product of n-subgroups under the assumption of equivariant reducibility. Further we describe each factor as a split short exact sequence. Also, we obtain an another kind of factorisation, called $LU$ type decomposition, as product of two subgroups.
Bredon cohomology is a cohomology theory that applies to topological spaces equipped with the group actions. For any group G, given a real linear representation V , the configuration space of V has a natural diagonal G-action. In the paper we study this group action on the configuration space and give a decomposition of the homology Bredon coefficient system of the configuration space and apply this to compute rational Bredon cohomology of the configuration space for small nonabelian group G.
We construct an explicit equivariant cellular decomposition of the $(4n-1)$-sphere with respect to binary polyhedral groups, and describe the associated cellular homology chain complex. As a corollary of the binary octahedral case, we deduce an $\mathfrak{S}_3$-equivariant decomposition of the flag manifold of $SL_3(\mathbb{R})$.
In this paper we define twisted equivariant K-theory for actions of Lie groupoids. For a Bredon-compatible Lie groupoid, this defines a periodic cohomology theory on the category of finite CW-complexes with equivariant stable projective bundles. A classification of these bundles is shown. We also obtain a completion theorem and apply these results to proper actions of groups.
In 1998, Goresky, Kottwitz, and MacPherson showed that for certain projective varieties X equipped with an algebraic action of a complex torus T, the equivariant cohomology ring H_T(X) can be described by combinatorial data obtained from its orbit decomposition. In this paper, we generalize their theorem in three different ways. First, our group G need not be a torus. Second, our space X is an equivariant stratified space, along with some additional hypotheses on the attaching maps. Third, and most important, we allow for generalized equivariant cohomology theories E_G^* instead of H_T^*. For …
We define equivariant projective unitary stable bundles as the appropriate twists when defining K-theory as sections of bundles with fibers the space of Fredholm operators over a Hilbert space. We construct universal equivariant projective unitary stable bundles for the orbit types, and we use a specific model for these local universal spaces in order to glue them to obtain a universal equivariant projective unitary stable bundle for discrete and proper actions. We determine the homotopy type of the universal equivariant projective unitary stable bundle, and we show that the isomorphism classe…
In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers. We deduce formality of the corresponding Borel construction space under the natural assumption on the group action in the complex case leading to the new description of the equivariant cohomology for …
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…
We show that the stable module $\infty$-category of a finite group $G$ decomposes in three different ways as a limit of the stable module $\infty$-categories of certain subgroups of $G$. Analogously to Dwyer's terminology for homology decompositions, we call these the centraliser, normaliser, and subgroup decompositions. We construct centraliser and normaliser decompositions and extend the subgroup decomposition (constructed by Mathew) to more collections of subgroups. The key step in the proof is extending the stable module $\infty$-category to be defined for any $G$-space, then showing that …
An important ingredient in the completion theorem of equivariant K-theory given by S. Jackowski is that the representation ring R(Gamma) of a compact Lie group satisfies two restriction properties called (N) and (R\_{F}). We give in this note sufficient conditions on a (compact) -space Z such that these properties hold with K\_{Gamma}^{*}(Z) instead of R(Gamma). As an example, we consider the space Z(Gamma;G) of the so called "elementary cocycles with coefficients in G" invented by H. Ibisch in his construction of a universal (Gamma;G)-bundle.
In this paper we define complex equivariant K-theory for actions of Lie groupoids using finite-dimensional vector bundles. For a Bredon-compatible Lie groupoid, this defines a periodic cohomology theory on the category of finite equivariant CW-complexes. We also establish an analogue of the completion theorem of Atiyah and Segal. Some examples are discussed.
Equivariant "Ham Sandwich" Theorems are obtained for the finite subgroups G of the unit spheres S(F) in the classical algebras F = R, C, and H. Given any n F-valued mass distributions on F^n, it is shown that there exists a G-equivariant decomposition of F^n into |G| regular convex fundamental regions which "G-equipartition" each of the n measures, as realized by the vanishing of the "G-averages" of these regions' measures. Applications for real measures follow, among them that any n signed mass distributions on R^{(p-1)n} can be equipartitioned by a single regular p-fan when p a prime number.
Generalizing a construction of Wolfgang Lück and Bob Oliver, we define a good equivariant cohomology theory on the category of proper G-CW complexes when G is an arbitrary Lie group (possibly non-compact). This is done by constructing an appropriate classifying space that arises from a Gamma-G-space. It is proven that this theory effectively generalizes Segal's equivariant K-theory when G is compact.
We provide a notion of algebraic rational cell with applications to intersection theory on singular varieties with torus action. Based on this notion, we study the algebraic analogue of $\mathbb{Q}$-filtrable varieties: algebraic varieties where a torus acts with isolated fixed points, such that the associated Bialynicki-Birula decomposition consists of algebraic rational cells. We show that the rational equivariant Chow group of any $\mathbb{Q}$-filtrable variety is freely generated by the cell closures. We apply this result to group embeddings, and more generally to spherical varieties. This…
We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main results develop GKM theory in this setting. We also supply a method for building nice combinatorial bases on the equivariant cohomology of any Q-filtrable GKM variety. Applications to the theory of group embeddings are provided.
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…
Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data. We prove the equivariant Lefschetz fixed point theorem, which says that these two classes agree. As a special case, we prove an equivariant Poincare-Hopf Theorem, computing the universal equivariant Euler characteristic in terms of the zeros of an equivariant vector field, and …
We introduce the universal functorial equivariant Lefschetz invariant for endomorphisms of finite proper G-CW-complexes, where G is a discrete group. We use K_0 of the category of "phi-endomorphisms of finitely generated free RPi(G,X)-modules". We derive results about fixed points of equivariant endomorphisms of cocompact proper smooth G-manifolds.
Let $G$ be a finite group. For a based $G$-space $X$ and a Mackey functor $M$, a topological Mackey functor $X\widetilde\otimes M$ is constructed, which will be called the stable equivariant abelianization of $X$ with coefficients in $M$. When $X$ is a based $G$-CW complex, $X\widetilde\otimes M$ is shown to be an infinite loop space in the sense of $\mathcal{G}$-spaces. This gives a version of the $RO(G)$-graded equivariant Dold-Thom theorem. Applying a variant of Elmendorf's construction, we get a model for the Eilenberg-Mac Lane spectrum $HM$. The proof uses a structure theorem for Mackey f…
In this article we extend the classical definitions of equivariant cohomotopy theory to the setting of proper actions of Lie groups. We combine methods originally developed in the analysis of nonlinear differential equations, mainly in connection with Leray-Schauder theory, and on the other hand from developments of equivariant $K$-Theory by N.C. Phillips. We prove the correspondence with a previous construction of W. Lück by constructing an index. As an illustration of these methods, we introduce a Burnside ring defined in analytical terms. With this definition, we extend a weak version of th…
We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.
In this note, we study equivariant versions of Stolz' $R$-groups, the positive scalar curvature structure groups $R^{\rm spin}_n(X)^G$, for proper actions of discrete groups $G$. We define the concept of a fundamental groupoid functor for a $G$-space, encapsulating all the fundamental group information of all the fixed point sets and their relations. We construct classifying spaces for fundamental groupoid functors. As a geometric result, we show that Stolz' equivariant $R$-group $R^{\rm spin}_n(X)^G$ depends only on the fundamental groupoid functor of the reference space $X$. The proof covers…
Let $X$ be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ of the free loop space of $X$ preserves the Hodge decomposition of $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture proposed in …
