arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.06300

Perfect Forms and Torsion Bounds in Algebraic $K$-Theory over Totally Real and CM Fields

Alejandro de la Torre Durán
View original source ↗Read source document ↗Export metadata ↓

Abstract

We extend the method of Van Woerden \cite{woerden} to totally real and CM number fields to obtain an upper bound for the number of $\GLo-$equivalence classes of perfect forms. Moreover, by considering appropriate barycentric subdivisions of the Voronoi tessellation, we extend these estimates to the number of $\GLo$-orbits of $k$-dimensional faces of the Voronoi tessellation. As a consequence, we improve the asymptotic order of the bounds for the torsion part of $K_m(\rint)$ obtained by Soulé \cite{soule_hermitian_bounds} and Houriet \cite{Juliet_PHD}. We emphasise the improvement of the general bound for $F=\mathbb Q$, unchanged since Soulé's work, and the independence of the discriminant exponent from the field degree for totally real and CM fields.

Explore related subjects

math.KTmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alejandro de la Torre Durán. 2026-11-04. Perfect Forms and Torsion Bounds in Algebraic $K$-Theory over Totally Real and CM Fields. https://arxiv.org/abs/2611.06300

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

KEEP EXPLORING

Related papers

arXiv2026

A secondary index map on relative K-homology

We introduce a secondary index map from relative K-homology to the K-theory of a relative structure algebra. We prove an algebraic Mayer-Vietoris sequence for the relative structure algebra, and prove compatibility of the secondary index map with the Mayer-Vietoris boundary map. As an application, we compute the secondary index of the Dirac operator on an even-dimensional spin manifold with collared metric having uniformly positive scalar curvature on the boundary. This computation leads to a refinement of the delocalized APS-index theorem.

math.KT↗
arXiv2026

Higher Noncommutative Motives and Higher K-theory

We construct higher additive noncommutative motives of stable $(\infty,n)$-categories, extending the additive motives of Blumberg, Gepner, and Tabuada and the secondary theory of Mazel-Gee and Stern. We formulate a notion of exact sequences and establish the universal property of the resulting additive motives. We give two equivalent constructions: a localization of enriched presheaves and a weighted Waldhausen $S$-construction on complete exact flags. We then compute their Hom objects, obtaining ordinary K-theory at the first level and lower additive motives recursively at higher levels. Our results recover the classical and secondary theories, provide coherent multiplicative structures, and yield an endofunctor on the category of Stefanich rings. In short, higher motives are higher K-theory.

math.KT↗
arXiv2026

Morphisms of $A_\infty$-algebras and modules

$A_\infty$-algebra is a chain complex equipped with a coherent multiplicative structure, i.e. a multiplication which is commutative up to (higher) chain homotopy. Similarly $A_\infty$-module over such algebra is equipped with its coherent action. These notions are used to represent cohomological information contained in topological multiplicative structures. One of the key tools of the theory are minimal models, which are useful in cohomological computations. In this thesis author presents certain sufficient conditions for a morphism of $A_\infty$-modules to induce a morphism of their minimal models.

math.KT↗