Algebraic K-theory, A^1-homotopy and Riemann-Roch theorems

Joël Riou

DOI: https://doi.org/10.1112/jtopol/jtq005

2009-09-09

Abstract:In this article, we show that the combination of the constructions done in SGA 6 and the A^1-homotopy theory naturally leads to results on higher algebraic K-theory. This applies to the operations on algebraic K-theory, Chern characters and Riemann-Roch theorems.

K-Theory and Homology,Algebraic Geometry

What problem does this paper attempt to address?

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
Algebraic models for classifying spaces of fibrations

Alexander Berglund,Tomáš Zeman

2024-10-25

Abstract:We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$ and show that their rational cohomology groups are algebraic representations of the associated transformation groups. For the universal cover, this yields an extension of the Sullivan--Wilkerson theorem to higher homotopy and cohomology groups. For the cover corresponding to the kernel of the homology representation, this proves algebraicity of the cohomology of the homotopy Torelli space. For the cover that classifies what we call normal unipotent fibrations, we then prove the stronger result that there exists a nilpotent dg Lie algebra $\mathfrak g(X)$ in algebraic representations that models its equivariant rational homotopy type. This leads to an algebraic model for the space $B\operatorname{aut}(X)$ and to a description of its rational cohomology ring as the cohomology of a certain arithmetic group $\Gamma(X)$ with coefficients in the Chevalley-Eilenberg cohomology of $\mathfrak g(X)$. This has strong structural consequences for the cohomology ring and, in certain cases, allows it to be completely determined using invariant theory and calculations with modular forms. We illustrate these points with concrete examples. As another application, we significantly improve on certain results on self-homotopy equivalences of highly connected even-dimensional manifolds due to Berglund--Madsen, and we prove parallel new results in odd dimensions.

Algebraic Topology
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
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 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
A1-Algebraic Topology over a Field

Fabien Morel

DOI: https://doi.org/10.1007/978-3-642-29514-0

2012-01-01

Lecture notes in mathematics

Abstract:This text deals with A1-homotopy theory over a base field, i.e., with the natural homotopy theory associated to the category of smooth varieties over a field in which the affine line is imposed to be contractible. It is a natural sequel to the foundational paper on A1-homotopy theory written together with V. Voevodsky. Inspired by classical results in algebraic topology, we present new techniques, new results and applications related to the properties and computations of A1-homotopy sheaves, A1-homology sheaves, and sheaves with generalized transfers, as well as to algebraic vector bundles over affine smooth varieties.

mathematics
Homological algebra in bivariant K-theory and other triangulated categories

Ralf Meyer,Ryszard Nest

DOI: https://doi.org/10.1017/CBO9781139107075.006

2008-08-11

Abstract:Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, projective resolutions, and derived functors. We introduce these notions and apply them to examples from bivariant K-theory. An important observation of Beligiannis is that we can approximate our category by an Abelian category in a canonical way, such that our homological concepts reduce to the corresponding ones in this Abelian category. We compute this Abelian approximation in several interesting examples, where it turns out to be very concrete and tractable. The derived functors comprise the second tableau of a spectral sequence that, in favourable cases, converges towards Kasparov groups and other interesting objects. This mechanism is the common basis for many different spectral sequences. Here we only discuss the very simple 1-dimensional case, where the spectral sequences reduce to short exact sequences.

K-Theory and Homology
Algebraic K-functors for $Γ$-rings

Hvedri Inassaridze

2023-03-01

Abstract:This is an attempt to extend to algebraic K-theory our approach to group actions in homological algebra that could be called an introduction to $\Gamma$-algebraic K-theory. For $\Gamma$-rings the Milnor algebraic K-theory and Swan's algebraic K-functors are introduced and investigated. Particularly the Matsumoto conjecture related to the symbol group, and the Milnor conjectures related to Witt and Chow groups are extended and proven.

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
K-theory of admissible Zariski-Riemann spaces

Christian Dahlhausen

DOI: https://doi.org/10.2140/akt.2023.8.1

2024-03-04

Abstract:We study relative algebraic K-theory of admissible Zariski-Riemann spaces and prove that it is equivalent to G-theory and satisfies homotopy invariance. Moreover, we provide an example of a non-noetherian abelian category whose negative K-theory vanishes.

K-Theory and Homology,Algebraic Geometry
Curves are algebraic K(π,1) : Theoretical and practical aspects

Christophe Levrat

DOI: https://doi.org/10.1112/blms.13153

IF: 1.036

2024-09-27

Bulletin of the London Mathematical Society

Abstract:We prove that any geometrically connected curve X over a field k is an algebraic K(π,1) , as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible étale sheaf of Z/nZ ‐modules, with n invertible in k , is canonically isomorphic to the cohomology of its corresponding π1(X) ‐module. To this end, we explicitly construct some Galois coverings of X corresponding to Galois coverings of the normalisation of its irreducible components. When k is finite or algebraically closed, we precisely describe finite quotients of π1(X) that allow to compute the cohomology groups of the sheaf, and give explicit descriptions of the cup products H1×H1→H2 and H1×H2→H3 in étale cohomology in terms of finite group cohomology.

mathematics
Algebraic Kasparov K-theory. II

Grigory Garkusha

DOI: https://doi.org/10.2140/akt.2016.1.275

2015-08-27

Abstract:A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable universal bivariant theories are recovered. These are shown to be embedded by means of contravariant equivalences as full triangulated subcategories of compact generators of some compactly generated triangulated categories. Another application is the introduction and study of the symmetric monoidal compactly generated triangulated category of $K$-motives. It is established that the triangulated category $kk$ of Cortiñas--Thom can be identified with the $K$-motives of algebras. It is proved that the triangulated category of $K$-motives is a localization of the triangulated category of $(S^1,\mathbb G)$-bispectra. Also, explicit fibrant $(S^1,\mathbb G)$-bispectra representing stable algebraic Kasparov $K$-theory and algebraic homotopy $K$-theory are constructed.

K-Theory and Homology,Algebraic Topology,Operator Algebras
Structure algebras, Hopf algebroids and oriented cohomology of a group

Martina Lanini,Rui Xiong,Kirill Zainoulline

2023-03-04

Abstract:We prove that the structure algebra of a Bruhat moment graph of a finite real root system is a Hopf algebroid with respect to the Hecke and the Weyl actions. We introduce new techniques (reconstruction and push-forward formula of a product, twisted coproduct, double quotients of bimodules) and apply them together with our main result to linear algebraic groups, to generalized Schubert calculus, to combinatorics of Coxeter groups and finite real root systems. As for groups, it implies that the natural Hopf-algebra structure on the algebraic oriented cohomology $h(G)$ of Levine-Morel of a split semi-simple linear algebraic group $G$ can be lifted to a `bi-Hopf' structure on the $T$-equivariant algebraic oriented cohomology of the complete flag variety. As for the Schubert calculus, we prove several new identities involving (double) generalized equivariant Schubert classes. As for finite real root systems, we compute the Hopf-algebra structure of `virtual cohomology' of dihedral groups $I_2(p)$, where $p$ is an odd prime.

Algebraic Geometry,Representation Theory
Regular Algebraic $K$-Theory for groups -- Part II

Ulrich Haag

2024-09-26

Abstract:The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from) ordinary group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to the ring $R$ the (perfect) commutator subgroup $E ( R )$ of the infinitedimensional general linear group over $R$.

K-Theory and Homology
Higher Algebraic K-theory of Ring Epimorphisms

Hongxing Chen,Changchang Xi

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

2016-06-09

Algebras and Representation Theory

Abstract:Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group Kn(R) of R splits as the direct sum of the algebraic K-group Kn(S) of S and the algebraic K-group Kn(R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.
Pro-algebraic homotopy types

J. P. Pridham

DOI: https://doi.org/10.1112/plms/pdn004

2008-01-14

Abstract:The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features include an explicit description of homotopy groups using the Maurer-Cartan equations, convergent spectral sequences comparing schematic homotopy groups with cohomology of the universal semisimple local system, and a generalisation of the Baues-Lemaire conjecture. For compact Kaehler manifolds, the schematic homotopy groups can be described explicitly in terms of this cohomology ring, giving canonical weight decompositions. There are also notions of minimal models, unpointed homotopy types and algebraic automorphism groups. For a space with algebraically good fundamental group and higher homotopy groups of finite rank, the schematic homotopy groups are shown to be \pi_n(X)\otimes k.

Algebraic Topology,Algebraic Geometry
Algebraic homotopy classes

Juliusz Banecki

2024-02-08

Abstract:We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic to a regular one. Furthermore we prove that algebraic homotopy classes of spheres form a subgroup of the homotopy group, and that a similar result holds also for cohomotopy groups of arbitrary varieties.

Algebraic Geometry
Homotopy theory of schemes and $R$-equivalence

Denis-Charles Cisinski,Bruno Kahn

2023-11-01

Abstract:We prove that, for any smooth and projective scheme $X$ over a field $k$ of char. $0$, the set of maps from Spec $k$ to $X$ in the $\mathbf{A}^1$-homotopy category of schemes $\mathcal{H}_{\mathbf{A}^1}(k)$ is in bijection with the quotient of $X(k)$ by $R$-equivalence, and is a birational invariant of $X$. This is achieved by establishing a precise relation between the localization of the category of smooth $k$-schemes by birational maps and the category $\mathcal{H}_{\mathbf{A}^1}(k)$, and by applying results of the second named author and R. Sujatha on birational invariants. This gives a new proof of results obtained by A. Asok and F. Morel.

Algebraic Geometry,Algebraic Topology
Curves are algebraic $K(π,1)$: theoretical and practical aspects

Christophe Levrat

2024-09-24

Abstract:We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible étale sheaf of $\mathbb{Z}/n\mathbb{Z}$-modules, with $n$ invertible in $k$, is canonically isomorphic to the cohomology of its corresponding $\pi_1(X)$-module. To this end, we explicitly construct some Galois coverings of $X$ corresponding to Galois coverings of the normalisation of its irreducible components. When $k$ is finite or separably closed, we explicitly describe finite quotients of $\pi_1(X)$ that allow to compute the cohomology groups of the sheaf, and give explicit descriptions of the cup products $H^1\times H^1\to H^2$ and $H^1\times H^2\to H^3$ in terms of finite group cohomology.

Algebraic Geometry,Number Theory
An algebraic geometric realization of the Chern character

Ralph L. Cohen,Paulo Lima-Filho

DOI: https://doi.org/10.48550/arXiv.math/9912152

1999-12-18

Algebraic Topology

Abstract:Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern character map from the "holomorphic K-theory of X to its morphic cohomology (introduced by Friedlander and Lawson). The holomorphic K-theory of $X$, introduced by Lawson, Lima-Filho and Michelsohn and also by Friedlander and Walker, is defined in terms a group-completion of the space of algebraic morphisms from X into BU. It has been further studied by the authors in a companion paper. Holomorphic K-theory sits between algebraic K-theory and topological K-theory in the same way that morphic cohomology sits between motivic cohomology and ordinary cohomology. Our constructions provide a bridge between these two worlds. We also realize Chern classes in the case where X is smooth, and establish a universal relation between the Chern character and the Chern classes. We use classical constructions with algebraic cycles and infinite symmetric products of projective spaces. The latter can be seen as the classifying space for motivic cohomology, and under this perspective our constructions are essentially motivic.

Algebraic K-theory, A^1-homotopy and Riemann-Roch theorems

Algebraic K-theory of endomorphism rings

Algebraic models for classifying spaces of fibrations

Isomorphisms in K-theory from isomorphisms in groupoid homology theories

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

Algebraic K-theory with coefficients of cyclic quotient singularities

A1-Algebraic Topology over a Field

Homological algebra in bivariant K-theory and other triangulated categories

Algebraic K-functors for $Γ$-rings

Algebraic kk-theory and the KH-isomorphism conjecture

K-theory of admissible Zariski-Riemann spaces

Curves are algebraic K(π,1) : Theoretical and practical aspects

Algebraic Kasparov K-theory. II

Structure algebras, Hopf algebroids and oriented cohomology of a group

Regular Algebraic $K$-Theory for groups -- Part II

Higher Algebraic K-theory of Ring Epimorphisms

Pro-algebraic homotopy types

Algebraic homotopy classes

Homotopy theory of schemes and $R$-equivalence

Curves are algebraic $K(π,1)$: theoretical and practical aspects

An algebraic geometric realization of the Chern character