Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1307.1003

Segal's spectral sequence in twisted equivariant K-theory for proper and discrete actions

Noe Barcenas·Jesus Espinoza·Bernardo Uribe·Mario Velasquez
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.KTmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Noe Barcenas, Jesus Espinoza, Bernardo Uribe, Mario Velasquez. 2015-06-26. Segal's spectral sequence in twisted equivariant K-theory for proper and discrete actions. https://doi.org/10.1017/s0013091517000281

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT↗
arXiv2026

The Nil K-groups of finite groups

We show that for every finite group $G$ and every integer $n$, the Nil group $\mathrm{NK}_n(\mathbb{Z}[G])$ of the integral group ring of $G$ has finite exponent, and give a bound depending on n and the order $|G|$. This bound is explicit when every prime divisor of $|G|$ is at least $3+n/2$. More generally, our finite exponent result applies to $\mathrm{NK}_n(R[G])$ whenever $R$ is a regular, torsion-free, Noetherian commutative ring such that $R/p$ is regular for every prime $p$ that divides $|G|$. In the Appendix, M. Morrow provides an alternative approach and also shows that the Nil group $\mathrm{NK}_n(X)$ of an excellent Noetherian scheme $X$, with $X[1/p]$ regular, is annihilated by a finite power of $p$, provided $X$ admits a suitable resolution of singularities. By extending his argument to certain noncommutative rings, we also show that, for $R$ as above and $α$ any automorphism of $G$, the Farrell Nil groups $\mathrm{NK}_n(R[G],α)$ have finite exponent. As a consequence, for every virtually cyclic group $Γ$, the group $\mathrm{K}_n(\mathbb{Z}[Γ])$ is a direct sum of a finitely generated abelian group and an infinite countable direct sum of copies of a finite abelian group.

math.KT↗
arXiv2026

Quantum CW-complexes in a Waldhausen category for unital C*-algebras

Using the ring structure of the K-groups of finite CW-complexes, Atiyah and Todd unravelled the K-theory of complex projective spaces $CP^n$. Herein, in the realm of noncommutative topology, we develop a new framework of finite quantum CW-complexes using the language of Waldhausen categories, which allows us to enrich the class of standard morphisms between unital C*-algebras by adding inverses of *-homomorphisms that are isomorphisms in K-theory. Our concept of quantum CW-complexes subsumes earlier constructions and enjoys a plethora of examples. Moreover, the framework allows us to reduce problems concerning the multipushout quantum complex projective space $CP^n_H$ to the much more approachable setting of the Vaksman-Soibelman quantum complex projective space $CP^n_q$ enjoying the availability of graph-algebraic methods. In particular, these methods permit us to transport the ring structure from $K^0(CP^n)$ to $K^0(CP_q^n)$. Finally, we adapt the formalism of Waldhausen categories to determine a natural set of free generators of $K^0(CP_H^n)$ from a natural set of free generators of $K^0(CP_q^n)$, and to transport the ring structure from $K^0(CP_q^n)$ to $K^0(CP_H^n)$.

math.KT↗