Algebraic K-theory of Mapping Class Groups

E Berkove,D Juan-Pineda,Q Lu

DOI: https://doi.org/10.1023/b:kthe.0000035022.89851.9b

2004-01-01

K-Theory

Abstract:We prove that the Fibered Isomorphism Conjecture of T. Farrell and L. Jones holds for various mapping class groups. In many cases, we explicitly calculate the lower algebraic K-groups, showing that they do not always vanish.

What problem does this paper attempt to address?

Algebraic K-theory of completed Kac-Moody groups

Arthur Bartels,Wolfgang Lueck,Stefan Witzel

2024-12-06

Abstract:We extend results for the K-theory of Hecke algebras of reductive $p$-adic groups to completed Kac-Moody groups.

K-Theory and Homology,Group Theory
Algebraic K-theory of reductive p-adic groups

Arthur Bartels,Wolfgang Lueck

2023-12-21

Abstract:Motivated by the Farrell-Jones Conjecture for group rings, we formulate the $\mathcal{C}$op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups G. In particular, the projective class group $K_0(\mathcal{H}(G))$ for a (closed subgroup) of a reductive p-adic group G can be computed as a colimit of projective class groups $K_0(\mathcal{H}(U))$ where U varies over the compact open subgroups of G. This implies that all finitely generated smooth complex representations of a reductive p-adic G admit finite projective resolutions by compactly induced representations. For SL$_n(F)$ we translate the colimit formula for $K_0(\mathcal{H}(G))$ to a more concrete cokernel description in terms of stabilizers for the action on the Bruhat-Tits building. For negative K-theory we obtain vanishing results, while we identify the higher K-groups $K_n(\mathcal{H}(G))$ with the value of G-homology theory on the extended Bruhat-Tits building. Our considerations apply to general Hecke algebras of the form $\mathcal{H}(G;R,\rho,\omega)$, where we allow a central character $\omega$ and a twist by an action $\rho$ of G on R. For the $\mathcal{C}$op-Farrell-Jones Conjecture we need to assume $\mathbb{Q} \subseteq R$ and a regularity assumption. As a key intermediate step we introduce the $\mathcal{C}vcy-Farrell-Jones conjecture. For the latter no regularity assumptions on R are needed.

K-Theory and Homology,Representation Theory
K-Theory of Solvable Groups

FT Farrell,PA Linnell

DOI: https://doi.org/10.1112/s0024611503014072

2003-01-01

Proceedings of the London Mathematical Society

Abstract:We first prove that the Whitehead group of a torsion-free virtually solvable linear group vanishes. Next we make a reduction of the fibered isomorphism conjecture from virtually solvable groups to a class of virtually solvable Q-linear groups. Finally we prove an L-theory analogue for elementary amenable groups.
Isomorphisms in K-theory from isomorphisms in groupoid homology theories

Alistair Miller

2024-10-10

Abstract:We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by developing the functoriality of the ABC spectral sequence.

K-Theory and Homology,Operator Algebras
Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

Toni Annala,Marc Hoyois,Ryomei Iwasa

DOI: https://doi.org/10.1090/jams/1045

2024-10-17

Journal of the American Mathematical Society

Abstract:Toni Annala, Marc Hoyois and Ryomei Iwasa J. Amer. Math. Soc. 38 (), 243-289. , references and article information

mathematics
Algebraic K-theory of the fraction field of topological K-theory

Christian Ausoni,John Rognes

DOI: https://doi.org/10.48550/arXiv.0911.4781

2009-11-25

Abstract:We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology. We use this to compute the homotopy cofiber of a transfer map K(L/p) --> K(L_p), which we interpret as the algebraic K-theory of the "fraction field" of the p-complete Adams summand of topological K-theory. The results suggest that there is an arithmetic duality theorem for this fraction field, much like Tate--Poitou duality for p-adic fields.

K-Theory and Homology,Algebraic Topology
Algebraic K-theory of endomorphism rings

Hongxing Chen,Changchang Xi

DOI: https://doi.org/10.1007/s10468-016-9621-8

2012-08-08

Abstract:We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism of objects in ${\mathcal C}$. Then $K_n\big(_{\mathcal C}(X\oplus Y)\big)\simeq K_n\big(_{{\mathcal C},Y}(X)\big)\oplus K_n\big(_{\mathcal C}(Y)\big)$ for all $1\le n\in \mathbb{N}$, where $_{{\mathcal C},Y}(X)$ is the quotient ring of the endomorphism ring $_{\mathcal C}(X)$ of $X$ modulo the ideal generated by all those endomorphisms of $X$ which factorize through $Y$. Moreover, let $R$ be a ring with identity, and let $e$ be an idempotent element in $R$. If $J:=ReR$ is homological and $_RJ$ has a finite projective resolution by finitely generated projective $R$-modules, then $K_n(R)\simeq K_n(R/J)\oplus K_n(eRe)$ for all $n\in \mathbb{N}$. This reduces calculations of the higher algebraic $K$-groups of $R$ to those of the quotient ring $R/J$ and the corner ring $eRe$, and can be applied to a large variety of rings: Standardly stratified rings, hereditary orders, affine cellular algebras and extended affine Hecke algebras of type $\tilde{A}$.

K-Theory and Homology,Rings and Algebras,Representation Theory
Mapping Class Groups of Simply Connected Kähler Manifolds

Richard Hain

2024-01-12

Abstract:This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to stimulate future work. Apart from reviewing general background, the paper focuses on the case of hypersurfaces in projective space. We explain how older results of Carlson--Toledo <a class="link-https" data-arxiv-id="alg-geom/9708002" href="https://arxiv.org/abs/alg-geom/9708002">arXiv:alg-geom/9708002</a> and recent results of Kreck--Su <a class="link-https" data-arxiv-id="2009.08054" href="https://arxiv.org/abs/2009.08054">arXiv:2009.08054</a> imply that the homomorphism from the fundamental group of the moduli space of hypersurfaces in P^4 to the mapping class group of the underlying manifold has a very large kernel (contains a free group of rank 2) and has image of infinite index. This is in contrast to the case of curves, where the homomorphism is an isomorphism.

Algebraic Geometry,Geometric Topology
Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Toni Annala,Marc Hoyois,Ryomei Iwasa

2024-02-14

Abstract:We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[\beta^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
Algebraic kk-theory and the KH-isomorphism conjecture

Eugenia Ellis,Emanuel Rodríguez Cirone

2024-01-27

Abstract:We relate the Davis-Lück homology with coefficients in Weibel's homotopy K-theory to the equivariant algebraic kk-theory using homotopy theory and adjointness theorems. We express the left hand side of the assembly map for the KH-isomorphism conjecture in terms of equivariant algebraic kk-groups.

K-Theory and Homology,Algebraic Topology
Groupoid homology and K-theory for algebraic actions from number theory

Chris Bruce,Yosuke Kubota,Takuya Takeishi

2024-07-02

Abstract:We compute the groupoid homology for the ample groupoids associated with algebraic actions from rings of algebraic integers and integral dynamics. We derive results for the homology of the topological full groups associated with rings of algebraic integers, and we use our groupoid homology calculation to compute the K-theory for ring C*-algebras of rings of algebraic integers, recovering the results of Cuntz and Li and of Li and Lück without using Cuntz--Li duality. Moreover, we compute the K-theory for C*-algebras attached to integral dynamics, resolving the conjecture by Barlak, Omland, and Stammeier in full generality.

Operator Algebras,Algebraic Topology,Dynamical Systems,K-Theory and Homology,Number Theory
The K-theory of the conjugation action

Jeffrey D. Carlson

DOI: https://doi.org/10.5802/crmath.235

2023-11-28

Abstract:In 1999, Brylinski and Zhang computed the complex equivariant K-theory of the conjugation self-action of a compact, connected Lie group with torsion-free fundamental group. In this note we show it is possible to do so in under a page.

K-Theory and Homology,Algebraic Topology
Topological K-Theory of Complex Projective Spaces

Virgil Chan

DOI: https://doi.org/10.48550/arXiv.1303.3959

2013-03-16

Abstract:We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

K-Theory and Homology
Algebraic K-theory with coefficients of cyclic quotient singularities

Goncalo Tabuada

DOI: https://doi.org/10.48550/arXiv.1512.01205

2015-12-04

Abstract:In this short note, by combining the work of Amiot-Iyama-Reiten and Thanhoffer de Volcsey-Van den Bergh on Cohen-Macaulay modules with the previous work of the author on orbit categories, we compute the (nonconnective) algebraic K-theory with coefficients of cyclic quotient singularities.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology,Rings and Algebras,Representation Theory
The Vanishing of Connecting Maps in Algebraic K-Theory

Xiaosheng Zhu

DOI: https://doi.org/10.1080/00927870601052547

2007-01-01

Communications in Algebra

Abstract:In this article, we mainly consider the problem of the vanishing of connecting maps in K-theory. We obtain some conditions under which the connecting map vanishes. Moreover, we give some applications of our results to the field of C*-algebras.
The Bounded Isomorphism Conjecture for Box Spaces of Residually Finite Groups

Markus Zeggel

DOI: https://doi.org/10.48550/arXiv.2103.16967

2021-03-31

Abstract:In this article we study a coarse version of the $K$-theoretic Farrell--Jones conjecture we call coarse or bounded isomorphism conjecture. Using controlled category theory we are able to translate this conjecture for asymptotically faithful covers into a more familiar form. This allows us to prove the conjecture for box spaces of residually finite groups whose Farrell--Jones assembly map with coefficients is an isomorphism.

K-Theory and Homology
On passage to over-groups of finite indices of the Farrell-Jones conjecture

Kun Wang

DOI: https://doi.org/10.48550/arXiv.1512.01704

2015-12-06

Abstract:We use the controlled algebra approach to study the problem that whether the Farrell-Jones conjecture is closed under passage to over-groups of finite indices. Our study shows that this problem is closely related to a general problem in algebraic $K$- and $L$-theories. We use induction theory to study this general problem. This requires an extension of the classical induction theorem for $K$- and $L$- theories of finite groups with coefficients in rings to with twisted coefficients in additive categories. This extension is well-known to experts, but a detailed proof does not exist in the literature. We carry out a detailed proof. This extended induction theorem enables us to make some reductions for the general problem, and therefore for the finite index problem of the Farrell-Jones conjecture.

K-Theory and Homology
Equivariant K-homology and K-theory for some discrete planar affine groups

Ramon Flores,Sanaz Pooya,Alain Valette

2023-11-27

Abstract:We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimes\Gamma(2)$ (where $\Gamma(2)$ is the congruence subgroup of level 2). For each of them, we compute both sides of the Baum-Connes conjecture, namely the equivariant $K$-homology of the classifying space $\underline{E}G$ for proper actions on the left-hand side, and the analytical K-theory of the reduced group $C^*$-algebra on the right-hand side. The computation of the LHS is made possible by the existence of a 3-dimensional model for $\underline{E}G$, which allows to replace equivariant K-homology by Bredon homology. We pay due attention to the presence of torsion in $G$, leading to an extensive study of the wallpaper groups associated with finite subgroups. For the second and third groups, the computations in $K_0$ provide explicit generators that are matched by the Baum-Connes assembly map.

Operator Algebras,Algebraic Topology,Group Theory,K-Theory and Homology
The Farrell-Jones Conjecture for hyperbolic-by-cyclic groups

Mladen Bestvina,Koji Fujiwara,Derrick Wigglesworth

DOI: https://doi.org/10.48550/arXiv.2105.13291

2021-05-28

Abstract:We prove the Farrell-Jones Conjecture for mapping tori of automorphisms of virtually torsion-free hyperbolic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture by Bartels-Lück-Reich, as well as the structure theory of mapping tori by Dahmani-Krishna.

Geometric Topology,K-Theory and Homology
Virtual algebraic fibrations of surface-by-surface groups and orbits of the mapping class group

Robert Kropholler,Stefano Vidussi,Genevieve Walsh

2024-04-08

Abstract:We show that a conjecture of Putman--Wieland, which posits the nonexistence of finite orbits for higher Prym representations of the mapping class group, is equivalent to the existence of surface-by-surface and surface-by-free groups which do not virtually algebraically fiber. While the question about the existence of such groups remains open, we will show that there exist free-by-free and free-by-surface groups which do not algebraically fiber (hence fail to be virtually RFRS).

Geometric Topology,Group Theory

Algebraic K-theory of Mapping Class Groups

Algebraic K-theory of completed Kac-Moody groups

Algebraic K-theory of reductive p-adic groups

K-Theory of Solvable Groups

Isomorphisms in K-theory from isomorphisms in groupoid homology theories

Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

Algebraic K-theory of the fraction field of topological K-theory

Algebraic K-theory of endomorphism rings

Mapping Class Groups of Simply Connected Kähler Manifolds

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Algebraic kk-theory and the KH-isomorphism conjecture

Groupoid homology and K-theory for algebraic actions from number theory

The K-theory of the conjugation action

Topological K-Theory of Complex Projective Spaces

Algebraic K-theory with coefficients of cyclic quotient singularities

The Vanishing of Connecting Maps in Algebraic K-Theory

The Bounded Isomorphism Conjecture for Box Spaces of Residually Finite Groups

On passage to over-groups of finite indices of the Farrell-Jones conjecture

Equivariant K-homology and K-theory for some discrete planar affine groups

The Farrell-Jones Conjecture for hyperbolic-by-cyclic groups

Virtual algebraic fibrations of surface-by-surface groups and orbits of the mapping class group