Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2602.14112

One Decomposition of $K_2$-Group for Certain Quotients over $\mathbb{Z}[G]$ with $G$ a Finite Abelian $p$-Group

Yakun Zhang
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper investigates the structure of $K_2$-groups for certain quotient rings of the integral group ring $\mathbb{Z}[G]$. Let $G$ be a finite abelian $p$-group with $p$-rank $r$, let $Γ$ be the maximal $\mathbb{Z}$-order of $\mathbb{Q}[G]$, and let $\widetilde{G}$ denote the sum of all elements of $G$ in the group ring. By employing the framework of Kähler differentials, we first determine that the relative $K$-group $K_2(\mathbb{F}_p[G], (\widetilde{G}))$ is an elementary abelian $p$-group of rank $r$ when $|G|>2$. Building upon this result, we establish an explicit isomorphism for $r > 1$: $$ K_2(\mathbb{Z}[G]/(|G|Γ\cap p\mathbb{Z}[G])) \cong K_2(\mathbb{Z}[G]/|G|Γ) \oplus K_2(\mathbb{F}_p[G], (\widetilde{G})). $$

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yakun Zhang. 2026-02-25. One Decomposition of $K_2$-Group for Certain Quotients over $\mathbb{Z}[G]$ with $G$ a Finite Abelian $p$-Group. https://arxiv.org/abs/2602.14112

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

Gerstenhaber algebra structure on the Hochschild cohomology ring of the Xu--Snashall algebra

Let $A$ be a finite dimensional algebra and let $\rmHH^*(A)$ be its Hochschild cohomology ring, which is a Gerstenhaber algebra. Denote by $\calN$ (resp. $G$, $\calG$) the ideal (resp. weak Gerstenhaber ideal, Gerstenhaber ideal) generated by all homogeneous nilpotent elements. Motivated by their work on support varieties via Hochschild cohomology, Snashall and Solberg conjectured that $\rmHH^*(A)/\calN$ is a finitely generated algebra. Xu constructed a counterexample to the Snashall-Solberg conjecture over a base field of characteristic two, and Snashall generalized this example to arbitrary characteristic. Hermann further asked whether $\rmHH^*(A)/G$ is a finitely generated algebra and suggested considering first the Xu--Snashall algebra. In this paper, we answer this question for the Xu--Snashall algebra. In fact, by explicitly computing the Gerstenhaber algebra structure on the Hochschild cohomology ring, we show that $G=\calN$; hence $\rmHH^*(A)/G=\rmHH^*(A)/\calN$ is not a finitely generated algebra. Furthermore, we show that $\rmHH^*(A)/\calG\cong K$. Therefore, one may ask whether, for a finite dimensional algebra $A$, $\rmHH^*(A)/\calG$ is always a finitely generated algebra. Our main tools are two-sided Anick resolutions and weak self-homotopies.

math.KT↗