Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1403.4882

Joint torsion equals the determinant invariant

Joseph Migler
View original source ↗Read source document ↗Export metadata ↓

Abstract

A determinant in algebraic $K$-theory is associated to any two almost commuting Fredholm operators. On the other hand, one can calculate a homologically defined invariant known as joint torsion. We answer in the affirmative a conjecture of Richard Carey and Joel Pincus, namely that these two invariants agree. In particular, this implies that joint torsion is norm continuous, depends only on the images of the operators modulo trace class, and satisfies the expected Steinberg relations. Moreover, we show that the determinant invariant of two commuting operators can be computed simply as a determinant on a finite dimensional vector space.

Explore related subjects

math.KTmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joseph Migler. 2014-03-19. Joint torsion equals the determinant invariant. https://arxiv.org/abs/1403.4882

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↗