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, α) )$, where $C^\infty (M, α)$ is a certain smooth algebra constructed from an equivariant bundle gerbe defined by $α\in H^3_G (M,{\mathbb Z} )$, to $H^\bullet ( {\barΩ}^\bullet (M, G, L)_g, d^α_{G^g})$. We formulate a conjecture of Atiyah-Hirzebruch type theorem for equivariant twisted $K$-theory.
We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Douady class. Using these modules as building blocks, we introduce geometric cycles for twisted KR-homology and prove that they generate a real-oriented generalised homology theory dual to twisted KR-theory for Real closed manifolds, and more generally for Real finite CW-complexes, …
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 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 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…
We define and study equivariant analytic and local cyclic homology for smooth actions of totally disconnected groups on bornological algebras. Our approach contains equivariant entire cyclic cohomology in the sense of Klimek, Kondracki and Lesniewski as a special case and provides an equivariant extension of the local cyclic theory developped by Puschnigg. As a main result we construct a multiplicative Chern-Connes character for equivariant KK-theory with values in equivariant local cyclic homology.
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 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…
This is a study of twisted K-theory on a product space $T \times M$. The twisting comes from a decomposable cup product class which applies the 1-cohomology of $T$ and the 2-cohomology of $M$. In the case of a topological product, we give a concrete realization for the gerbe associated to a cup product characteristic class and use this to realize twisted $K^1$-theory elements in terms of supercharge sections in a Fredholm bundle. The nontriviality of this construction is proved. Equivariant twisted K-theory and gerbes are studied in the product case as well. This part applies Lie groupoid theo…
In this paper we introduce exotic twisted $\mathbb T$-equivariant K-theory of loop space $LZ$ depending on the (typically non-flat) holonomy line bundle ${\mathcal L}^B$ on $LZ$ induced from a gerbe with connection $B$ on $Z$. We also define exotic twisted $\mathbb T$-equivariant Chern character that maps the exotic twisted $\mathbb T$-equivariant K-theory of $LZ$ into the exotic twisted $\mathbb T$-equivariant cohomology as defined in an earlier paper of ours, and which localises to twisted cohomology of $Z$.
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.
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 present a version of twisted equivariant $K$-theory-$K$-twisted equivariant $K$-theory, and use Grothendieck differentials to compute the $K$ -twisted equivariant $K$-theory of simple simply connected Lie groups. We did the calculation explicitly for SU(N) explicitly. The basic idea is to interpret an equivariant gerbe as an element of equivariant $K$-theory of degree 1.
We define and study equivariant periodic cyclic homology for locally compact groups. This can be viewed as a noncommutative generalization of equivariant de Rham cohomology. Although the construction resembles the Cuntz-Quillen approach to ordinary cyclic homology, a completely new feature in the equivariant setting is the fact that the basic ingredient in the theory is not a complex in the usual sense. As a consequence, in the equivariant context only the periodic cyclic theory can be defined in complete generality. Our definition recovers particular cases studied previously by various author…
Given a compact manifold $M$ and $g\in C^{\infty}(M,U(l;\mathbb{C}))$ we construct a Chern character $\mathrm{Ch}^-(g)$ which lives in the odd part of the equivariant (entire) cyclic Chen-normalized bar complex $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{T}))$ of $M$, and which is mapped to the odd Bismut-Chern character under the equivariant Chen integral map. It is also shown that the assignment $g\mapsto \mathrm{Ch}^-(g)$ induces a well-defined group homomorphism from the $K^{-1}$ theory of $M$ to the odd homology group of $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{…
Twisted $K$-homology corresponds to $D$-branes in string theory. In this paper we compare two different models of geometric twisted $K$-homology and get their equivalence. Moreover, we give another description of geometric twisted $K$-homology using bundle gerbes. We establish some properties of geometric twisted $K$-homology. In the last part we construct $T$-duality isomorphism for geometric twisted $K$-homology.
We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.
We establish formulae for the part due to torsion of the equivariant K-homology of all the Bianchi groups (PSL\_2 of the imaginary quadratic integers), in terms of elementary number-theoretic quantities. To achieve this, we introduce a novel technique in the computation of Bredon homology: representation ring splitting, which allows us to adapt the recent technique of torsion subcomplex reduction from group homology to Bredon homology.
Using a smooth version of the Connes--Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes--Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantization.
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 consider smooth actions of totally disconnected groups on simplicial complexes and compare different equivariant cohomology groups associated to such actions. Our main result is that the bivariant equivariant cohomology theory introduced by Baum and Schneider can be described using equivariant periodic cyclic homology. This provides a new approach to the construction of Baum and Schneider as well as a computation of equivariant periodic cyclic homology for a natural class of examples. In addition we discuss the relation between cosheaf homology and equivariant Bredon homology. Since the the…
Let G be a compact Lie-group, X a compact G-CW-complex. We define equivariant geometric K-homology groups K^G_*(X), using an obvious equivariant version of the (M,E,f)-picture of Baum-Douglas for K-homology. We define explicit natural transformations to and from equivariant K-homology defined via KK-theory (the "official" equivariant K-homology groups) and show that these are isomorphism.
Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way. This reconciles the original and current formulations of the Baum-Connes conjecture for discrete groups.
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,…
Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient theorem in Bredon Cohomology with specific coefficients, we compute the twisted equivariant K-homology and state a relation to the Baum-Connes Conjecture with coefficients.
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 consider a invariant Dirac operator D on a manifold with a proper and cocompact action of a discrete group G. It gives rise to an equivariant K-homology class [D]. We show how the index of the induced orbifold Dirac operator can be calculated from [D] via the assembly map. We further derive a formula for this index in terms of the contributions of finite cyclic subgroups of G. According to results of W. Lueck, the equivariant K-homology can rationally be decomposed as a direct sum of contributions of finite cyclic subgroups of G. Our index formula thus leads to an explicit decomposition of …
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 define equivariant periodic cyclic homology for bornological quantum groups. Generalizing corresponding results from the group case, we show that the theory is homotopy invariant, stable and satisfies excision in both variables. Along the way we prove Radfords formula for the antipode of a bornological quantum group. Moreover we discuss anti-Yetter-Drinfeld modules and establish an analogue of the Takesaki-Takai duality theorem in the setting of bornological quantum groups.
This is a further investigation of our approach to group actions in homological algebra in the settings of homology of Γ-simplicial groups, particularly of Γ-equivariant homology and cohomology of Γ-groups. This approach could be called Γ-homological algebra. The abstract kernel of non-abelian extensions of groups, its relation with the obstruction to the existence of non-abelian extensions and with the second group cohomology are extended to the case of non-abelian Γ-extensions of Γ-groups. We compute the rational Γ-equivariant (co)homology groups of finite cyclic Γ-groups. The isomorphism of…
We compute the cyclic homology for the cross-product al- gebra $A(M)\rtimesΓ$ of the algebra of complete symbols on a compact man- ifold $M$ with action of a finite group $Γ$. A spectral sequence argument shows that these groups can be identified using deRham cohomology of the fixed point manifolds $S ^*M ^g$ . In the process we obtain new re- sults about the homologies of general cross-product algebras and provide explicit identification of the homologies for $C^{\infty}(M)\rtimes Γ$.
We establish restrictions on Lagrangian embeddings of rational homology spheres into certain open symplectic manifolds, namely the (A_m) Milnor fibres of odd complex dimension. This relies on general considerations about equivariant objects in module categories (which may be applicable in other situations as well), as well as results of Ishii-Uehara and Ishii-Ueda-Uehara concerning the derived categories of coherent sheaves on the resolutions of (A_m) surface singularities.
We introduce the cylindrical module $A \natural \mathcal{H}$, where $\mathcal{H}$ is a Hopf algebra and $A$ is a Hopf module algebra over $\mathcal{H}$. We show that there exists an isomorphism between $\mathsf{C}_{\bullet}(A^{op} \rtimes \mathcal{H}^{cop})$ the cyclic module of the crossed product algebra $A^{op} \rtimes \mathcal{H}^{cop} $, and $Δ(A \natural \mathcal{H}) $, the cyclic module related to the diagonal of $A \natural \mathcal{H}$. If $S$, the antipode of $\mathcal{H}$, is invertible it follows that $\mathsf{C}_{\bullet}(A \rtimes \mathcal{H}) \simeq Δ(A^{op} \natural \mathcal{H}…
Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by…
We compute the equivariant K-homology of the groups PSL_2 of imaginary quadratic integers with trivial and non-trivial class-group. This was done before only for cases of trivial class number. We rely on reduction theory in the form of the $Γ$-CW-complex defined by Flöge. We show that the difficulty arising from the non-proper action of $Γ$ on this complex can be overcome by considering a natural short exact sequence of $C^\ast$-algebras associated to the universal cover of the Borel-Serre compactification of the locally symmetric space associated to $Γ$. We use rather elementary $C^\ast$-alge…
In this thesis we give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. In his seminal book, Connes constructs a map from the equivariant cohomology of a manifold carrying the action of a discrete group into the periodic cyclic cohomology of the associated convolution algebra. Furthermore, for proper étale groupoids, J.-L. Tu and P. Xu provide a map between the periodic cyclic cohomology of a gerbe twisted convolution algebra and twisted cohomology groups. Our focus will be the convolution algebra with a product defined by a gerbe…
