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

What problem does this paper attempt to address?

Homotopy structures realizing algebraic kk-theory

Eugenia Ellis,Emanuel Rodríguez Cirone

2024-12-28

Abstract:Algebraic $kk$-theory, introduced by Cortiñas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor from $\mathrm{Alg}$ to $kk$ that is the universal excisive, homotopy invariant and matrix-stable homology theory. Moreover, one can recover Weibel's homotopy $K$-theory $\mathrm{KH}$ from $kk$ since we have $kk(\ell,A)=\mathrm{KH}(A)$ for any algebra $A$. We prove that $\mathrm{Alg}$ with the split surjections as fibrations and the $kk$-equivalences as weak equivalences is a stable category of fibrant objects, whose homotopy category is $kk$. As a consecuence of this, we prove that the Dwyer-Kan localization $kk_\infty$ of the $\infty$-category of algebras at the set of $kk$-equivalences is a stable infinity category whose homotopy category is $kk$.

K-Theory and Homology,Category Theory
Equivariant K-Homology and K-Theory for Some Discrete Planar Affine Groups

Ramon Flores,Sanaz Pooya,Alain Valette

DOI: https://doi.org/10.1093/imrn/rnad300

2024-01-08

International Mathematics Research Notices

Abstract: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 first and third groups, the computations in $K_{0}$ provide explicit generators that are matched by the Baum–Connes assembly map.

mathematics
Spanier-Whitehead K-Duality and Duality of Extensions of $C^*$-algebras

Ulrich Pennig,Taro Sogabe

2024-03-29

Abstract:KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the cohomological side of KK-theory. Any extension of a unital $C^*$-algebra by the compacts has two natural exact triangles associated to it (the extension sequence itself and a mapping cone sequence). We find a duality (based on Spanier-Whitehead K-duality) that interchanges the roles of these two triangles together with their six-term exact sequences. This allows us to give a categorical picture for the duality of Cuntz-Krieger-Toeplitz extensions discovered by K. Matsumoto.

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
Higher algebraic K-theories related to the global program of Langlands

Christian Pierre

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

2010-09-14

Abstract:The paper revisits concretely the algebraic K-theory in the light of the global program of Langlands by taking into account the new algebraic interpretation of homotopy viewed as deformation(s) of Galois representations given by compactified algebraic groups. More concretely, we introduce higher algebraic bilinear K-theories referring to homotopy and cohomotopy and related to the reducible bilinear global program of Langlands as well as mixed higher bilinear KK-theories related to dynamical geometric bilinear global program of Langlands.

General Mathematics
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.
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
Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

Takeshi Ikeda,Mark Shimozono,Kohei Yamaguchi

2024-08-20

Abstract:We study the torus equivariant K-homology ring of the affine Grassmannian $\mathrm{Gr}_G$ where $G$ is a connected reductive linear algebraic group. In type $A$, we introduce equivariantly deformed symmetric functions called the K-theoretic double $k$-Schur functions as the Schubert bases. The functions are constructed by Demazure operators acting on equivariant parameters. As an application, we provide a Ginzburg-Peterson type realization of the torus-equivariant K-homology ring of $\mathrm{Gr}_{{SL}_n}$ as the coordinate ring of a centralizer family for $PGL_n(\mathbb{C})$.

Representation Theory,Algebraic Geometry,Combinatorics,K-Theory and Homology
Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

Daniel Carmody

2024-01-06

Abstract:We provide a geometric model for the classifying space of automorphism groups of Hermitian vector bundles over a ring with involution $R$ such that $\frac{1}{2} \in R$; this generalizes a result of Schlichting-Tripathi \cite{SchTri}. We then prove a periodicity theorem for Hermitian $K$-theory and use it to construct an $E_\infty$ motivic ring spectrum $\mathbf{KR}^{\mathrm{alg}}$ representing homotopy Hermitian $K$-theory. From these results, we show that $\mathbf{KR}^{\mathrm{alg}}$ is stable under base change, and cdh descent for homotopy Hermitian $K$-theory of rings with involution is a formal consequence.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Kodaira vanishing theorems for Kahler Lie algebroids

Tengzhou Hu

2024-03-16

Abstract:A Lie algebroid is a generalization of Lie algebra that provides a general framework to describe the symmetries of a manifold. In this paper, we generalize the Kodaira vanishing theorem, which is a basic result in complex geometry, to Kahler Lie algebroids. The generalization of the Kodaira vanishing theorem states that the kernel of the Lie algebroid Laplace operator on Lie algebroid positive line bundle-valued (p,q)-forms vanishes when p+q is sufficiently large. The most difficult part of the proof of the generalized Kodaira vanishing theorem is the generalization of the Kahler identities to Lie algebroids. In this paper, we provide an approach by using local coordinate calculation.

Differential Geometry
Knot invariants arising from homological operations on Khovanov homology

Krzysztof K. Putyra,Alexander N. Shumakovitch

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

2016-01-05

Abstract:We construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras are infinite and present evidence in support of our conjectures. Finally, we list examples of knots that have the same even and odd Khovanov homology, but different actions of these homological operations. This confirms that the unified theory is a finer knot invariant than the even and odd Khovanov homology combined. The case of reduced Khovanov homology is also considered.

Algebraic Topology,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
Hamiltonian elements in algebraic K-theory

Yasha Savelyev

2024-07-31

Abstract:Recall that topological complex $K$-theory associates to an isomorphism class of a complex vector bundle $E$ over a space $X$ an element of the complex $K$-theory group of $X$. Or from algebraic $K$-theory perspective, one assigns a homotopy class $[X \to K (\mathcal{K})]$, where $\mathcal{K}$ is the ring of compact operators on the Hilbert space. We show that there is an analogous story for algebraic $K$-theory of a general commutative ring $k$, replacing complex vector bundles by certain Hamiltonian fiber bundles. The construction actually first assigns elements in a certain categorified algebraic $K$-theory, analogous to Toën's secondary $K$-theory of $k$. And there is a natural map from this categorified algebraic $K$-theory to the classical variant.

Algebraic Topology
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
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 for squares categories

Jonathan Campbell,Josefien Kuijper,Mona Merling,Inna Zakharevich

2023-10-04

Abstract:In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relation $[A]+[D]= [C] + [B]$ for a ``good'' square diagram with these corners. Examples that rely on this formalism are $K$-theory of smooth manifolds of a fixed dimension and $K$-theory of (smooth and) complete varieties. Another application we give of this theory is the construction of a derived motivic measure taking value in the $K$-theory of homotopy sheaves.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
On connective K-theory of elementary abelian 2-groups and local duality

Geoffrey Powell

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

2011-12-29

Abstract:The connective ku-(co)homology of elementary abelian 2-groups is determined as a functor of the elementary abelian 2-group. The argument requires only the calculation of the rank one case and the Atiyah-Segal theorem for KU-cohomology together with an analysis of the functorial structure of the integral group ring. The methods can also be applied to the odd primary case. These results are used to analyse the local cohomology spectral sequence calculating ku-homology, via a functorial version of local duality for Koszul complexes. This gives a conceptual explanation of results of Bruner and Greenlees.

Algebraic Topology
Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory

Ulrich Bunke,David Gepner

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

2016-02-08

Abstract:We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index conjecture about the equality of the Becker-Gottlieb transfer and the analytic transfer defined by Lott. In support of this conjecture, we derive some non-trivial consequences which are provable by independent means.

K-Theory and Homology,Algebraic Topology,Differential Geometry
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 kk-theory and the KH-isomorphism conjecture

Homotopy structures realizing algebraic kk-theory

Equivariant K-Homology and K-Theory for Some Discrete Planar Affine Groups

Spanier-Whitehead K-Duality and Duality of Extensions of $C^*$-algebras

Algebraic K-theory with coefficients of cyclic quotient singularities

Higher algebraic K-theories related to the global program of Langlands

Algebraic K-theory of Mapping Class Groups

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

Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

Kodaira vanishing theorems for Kahler Lie algebroids

Knot invariants arising from homological operations on Khovanov homology

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

Hamiltonian elements in algebraic K-theory

Algebraic K-theory of reductive p-adic groups

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

Algebraic $K$-theory for squares categories

On connective K-theory of elementary abelian 2-groups and local duality

Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory

Algebraic K-theory of completed Kac-Moody groups