Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1901.04254

Two Formulae for Exterior power operations on higher $K$-groups

Tom Harris·Bernhard Köck
View original source ↗Read source document ↗Export metadata ↓

Abstract

Exterior power operations on the higher $K$-groups of a quasi-compact scheme have recently been constructed by Taelman and the authors by purely algebraic means. In this paper, we prove two formulae that help to compute these operations. The first is a formula for exterior powers of external products. The second is a formula for exterior powers of $n$-cubes, i.e., of acyclic binary multi-complexes supported on $[0,1]^n$. These formulae provide evidence for the expectation that our exterior power operations agree with those defined by Hiller.

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tom Harris, Bernhard Köck. 2019-02-04. Two Formulae for Exterior power operations on higher $K$-groups. https://arxiv.org/abs/1901.04254

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

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↗