Search arXivSearch

arXiv · 2209.04029

Module structure of the $K$-theory of polynomial-like rings

Abstract

Suppose $Γ$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $Γ$-grading on the monoid algebra $R[Γ]$ to prove structural results about the relative $K$-theory $K(R[Γ], R)$. When $R$ contains a field, we prove a decomposition indexed by the rays in $Γ$, and a compatible action by the Witt vectors of $R$ for each $\mathbf N$-grading of $Γ$. In characteristic zero, there is additionally an action by Witt vectors for the truncation set $Γ$. Finally, we apply this to get a ray-like description of $K_*(R[x_1,...,x_n])$ proposed by J.\,Davis.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Haesemayer, Charles Weibel. 2023-01-30. Module structure of the $K$-theory of polynomial-like rings. https://arxiv.org/abs/2209.04029

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

KEEP EXPLORING

Related papers

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The unit group $R^\times$ is finitely presented, and we describe an explicit finite presentation. The homology calculation uses leaf coordinates, simultaneous extensions of ordered frames, and finite-field actions on stabilizers. The Steinberg argument lifts relations from a simply connected frame complex and refines coordinates. We also state separate criteria for the two arguments over rings of characteristic two.

math.KT

Around Segal conjecture in p-adic geometry

This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic cyclic homology of commutative rings with weakly finitely generated absolute cotangent complex. When the ring in question is in addition F-smooth, we show that Segal conjecture holds for its topological Hochschild homology. We also identify our de-completed topological periodic cyclic homology with Manam's Frobenius untwisted topological periodic cyclic homology for quasiregular semiperfectoid rings. We find a crystalline degeneration of Segal conjecture which corresponds to such a statement for F-smoothness. On the other hand, inspired by constructions for topological Hochschild homology, the theory of cyclotomic synthetic spectra allows us to produce a relative conjugate filtration on Hodge--Tate cohomology and its variants, and in the same time, a relative conjugate filtration on topological Hochschild homology and its variants. As a consequence, we deduce transitivity of weak and strong F-smoothness.

math.KT

Solvability of isotropic $ \mathrm{K}_1 $-functor over semilocal rings

We show that the $ \mathrm{K}_1 $-functor modeled on simple reductive groups over semilocal rings is solvable if the isotropic rank is at least $ 2 $ and that the Tits index is neither $ {}^{2} \mathsf{E}_{6, 2}^{16'} $ nor $ \mathsf{E}_{8, 2}^{78} $. For these two Tits indices the result is already known, but assuming that the base ring contains a field. Our result implies that the elementary subgroup (or its derived subgroup) is the maximal perfect subgroup of the reductive group.

math.KT