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.
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…
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.
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…
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 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 …
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 Γ$.
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 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}…
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.
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 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…
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.
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 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.
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.
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…
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 define twisted equivariant K-homology groups using geometric cycles. We compare them with approaches using Kasparov KK-Theory and (twisted) group C*-algebras.
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 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.
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{…
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…
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 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.
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 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 compute the $G$-equivariant homotopy type of the real topological cyclic homology of spherical group rings with anti-involution induced by taking inverses in the group, where $G$ denotes the group $Gal(\mathbb{C}/\mathbb{R})$. The real topological Hochschild homology of a spherical group ring $\mathbb{S}[Γ]$, with anti-involution as described, is an $O(2)$-cyclotomic spectrum and we construct a map commuting with the cyclotomic structures from the $O(2)$-equivariant suspension spectrum of the dihedral bar construction on $Γ$ to the real topological Hochschild homology of $\mathbb{S}[Γ]$, wh…
This thesis is dedicated to the study of K-theoretical properties of D-branes and Ramond-Ramond fields. We construct abelian groups which define a homology theory on the category of CW-complexes, and prove that this homology theory is equivalent to the bordism representation of KO-homology, the dual theory to KO-theory. We construct an isomorphism between our geometric representation and the analytic representation of KO-homology, which induces a natural equivalence of homology functors. We apply this framework to describe mathematical properties of D-branes in type I String theory. We investi…
We establish the analogue of the Friedlander-Mazur conjecture for Teh's reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees larger than the dimension of $X$ in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topological groups of averaged cycles and a characterization in a range of indices of the motivic cohomology of a real variety as homotopy groups of the complex of averaged equidimensional cycles. We also establish an equivariant Poincare dua…
We define Hochschild and cyclic homologies for bornological coarse spaces: for a fixed field $k$ and group $G$, these are lax symmetric monoidal functors $\mathcal{X}HH_{k}^G$ and $\mathcal{X}HC_{k}^G$ from the category of equivariant bornological coarse spaces $G\mathbf{BornCoarse}$ to the cocomplete stable $\infty$-category of chain complexes $\mathbf{Ch}_\infty$. We relate these equivariant coarse homology theories to coarse algebraic $K$-theory $\mathcal{X} K^G_{k}$ and to coarse ordinary homology $\mathcal{X} H^G$ by constructing a trace-like natural transformation $\mathcal{X} K_{k}^G\to…
