arXiv subjects
Publications and source records attributed to Mario Velasquez.
We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexamples for the conjecture.
Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $\Sigma_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover, the homology of $\Sigma_X$ is isomorphic to the conormal homology of $X$. In this note, we constract for an arbitrary abstract finite simplicial complex $\Sigma$ a manifold with corners $X$ such that $\Sigma_X\cong \Sigma$. As a consequence, the homology and K-homology which occur for finite simplicial complexes also occur as conormal homology of manifolds with corners and as K-theory of their b-compact operators. In particular, these groups can contain torsion.
Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles. Our main theorem is that, for any manifold with corners $X$ of any codimension, there is a natural and explicit morphism $$K_*(\mathcal{K}_b(X)) \stackrel{T}{\longrightarrow} H^{pcn}_*(X,\mathbb{Q})$$ between the $K-$theory group of the algebra $\mathcal{K}_b(X)$ of $b$-compact operators for $X$ and the periodic conormal homology group with rational coeficients, and that $T$ is a rational isomorphism. As shown by the first two authors in a previous paper this computation implies that the rational groups $H^{pcn}_{ev}(X,\mathbb{Q})$ provide an obstruction to the Fredholm perturbation property for compact connected manifold with corners. The difference with respect to the previous article of the first two authors in which they solve this problem for low codimensions is that we overcome in the present article the problem of computing the higher spectral sequence K-theory differentials associated to the canonical filtration by codimension by introducing an explicit topological space whose singular cohomology is canonically isomorphic to the conormal homology and whose K-theory is naturally isomorphic to the $K-$theory groups of the algebra $\mathcal{K}_b(X)$.
We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal type for twisted equivariant K-Theory. Using a Universal coefficient Theorem, we prove a cocompletion Theorem for Twisted Borel K-Homology for discrete Groups.
In this paper we show a Kunneth formula for Bredon cohomology for actions of a pullback of groups. We show how this formula can be used to compute orbifold twisted K-theory for some discrete twistings. Using that result we compute orbifold K-theory for some 6-dimensional orbifolds introduced by Vafa and Witten. These examples also show the limitations of the method.
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 develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to compute Equivariant K-theory and K-Homology of the reduced group C*-algebra of a 6-dimensional crystallographic group $Γ$ introduced by Vafa and Witten. We also use positive results on the Farrell-Jones Conjecture to give a vanishing result for the negative algebraic K-theory of the integral group ring of $Γ$.
We compare twisted Equivariant K-theory of Sl3Z with untwisted equivariant K-Theory of its universal central extension, St3Z. Using universal coefficient theorems by the authors, the computations explained here give the domain of Baum-Connes assembly maps landing on the topological K-theory of twisted group C*-algebras related to Sl3Z, for which a version of Poincaré Duality studied previously by Echterhoff, Emerson and Kim is verified.
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 use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and we recover known results when the twisting comes from finite order elements in discrete torsion.
We study the relationship between the twisted Orbifold K-theories ${^α}K_{orb}(\textsl{X})$ and ${^{α'}}K_{orb}(\textsl{Y})$ for two different twists $α\in Z^3(G;S^1)$ and $α'\in Z^3(G';S^1)$ of the Orbifolds $\textsl{X}=[*/G]$ and $\textsl{Y}=[*/G']$ respectively, for $G$ and $G'$ finite groups. We prove that under suitable hypothesis over the twisting $α'$ and the group $G'$ we obtain an isomorphism between these twisted K-theories.