arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2512.01923

Gersten conjecture for K-theory on Henselian schemes and $ϕ$-motivic localisation

Andrei E Druzhinin
View original source ↗Read source document ↗Export metadata ↓

Abstract

A key triviality result for support extension maps for motivic $\mathbb{A}^1$-homotopies of cellular motivic spaces $S$ over a DVR spectrum $B$ is proven. Combining with earlier known results on Gersten complex and the K-theory motivic spectrum we achieve a proof of the Gersten Conjecture for K-theory on essentially smooth local Henselian $B$-schemes. Additionally, we outline generalisations for Cousin complexes associated to motivic $\mathbb{A}^1$- and $\square$-homotopies of cellular $B$-spectra. The proof is based on two ingredients: (1) A new ``motivic localisation'' over $B$, called \emph{$ϕ$-motivic}, % localisation giving rise to the $ϕ$-motivic homotopy category such that the triviality of the support extension maps and the acyclicity of Cousin complexes hold for all objects $S$, not necessarily cellular. (2) An interpretation of some classes in the motivic $\mathbb{A}^1$-homotopies with support defined with respect to the Morel-Voevodsky motivic homotopy category of smooth $B$-schemes in terms of the construction of $ϕ$-motivic homotopy category mentioned in Point (1).

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrei E Druzhinin. 2025-12-01. Gersten conjecture for K-theory on Henselian schemes and $ϕ$-motivic localisation. https://arxiv.org/abs/2512.01923

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↗