English
Related papers

Related papers: Higher K-theory of forms II. From exact categories…

200 papers

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

K-Theory and Homology · Mathematics 2011-08-09 Andrew J. Blumberg , Michael A. Mandell

We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…

Category Theory · Mathematics 2017-06-15 Gustavo Jasso

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence…

K-Theory and Homology · Mathematics 2025-06-23 Marco Schlichting

We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…

Category Theory · Mathematics 2016-01-06 Randall D. Helmstutler

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Algebraic Geometry · Mathematics 2023-09-15 Leovigildo Alonso , Ana Jeremias , Fernando Sancho

In this work we introduce the notion of higher $\mathbb{E}$-extension groups for an extriangulated category $\mathcal{C}$ and study the quotients $\mathcal{X}_{n+1}^{\vee}/[\mathcal{X}]$ and $\mathcal{X}_{n+1}^{\wedge}/[\mathcal{X}]$ when…

Representation Theory · Mathematics 2023-09-27 Mindy Y. Huerta , Octavio Mendoza , Corina Sáenz , Valente Santiago

We introduce a notion of quasi-weak equivalences associated with weak-equivalences in an exact category. It gives us a delooping for (idempotent complete) exact categories and a condition that the negative $K$-group of an exact category…

K-Theory and Homology · Mathematics 2010-09-24 Toshiro Hiranouchi , Satoshi Mochizuki

This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…

Category Theory · Mathematics 2025-12-09 Matthew Di Meglio , Chris Heunen

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

Category Theory · Mathematics 2023-10-20 Germán Stefanich

Proto-exact and parabelian categories serve as non-additive analogues of exact and quasi-abelian categories, respectively. They give rise to algebraic K-theory and Hall algebras similarly to the additive setting. We show that every…

Representation Theory · Mathematics 2025-03-11 Sergey Mozgovoy

We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove…

Buchweitz related the singularity category of a (strongly) Gorenstein ring and the stable category of maximal Cohen-Macaulay modules by a triangle equivalence. We phrase his result in a relative categorical setting based on N-complexes…

Category Theory · Mathematics 2024-11-01 Jonas Frank , Mathias Schulze

Let X be a noetherian scheme of finite Krull dimension, having 2 invertible in its ring of regular functions, an ample family of line bundles, and a global bound on the virtual mod-2 cohomological dimensions of its residue fields. We prove…

K-Theory and Homology · Mathematics 2015-02-20 A. J. Berrick , M. Karoubi , M. Schlichting , P. A. Østvær

We investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…

Category Theory · Mathematics 2026-02-20 El Mehdi Cherradi

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

Algebraic Topology · Mathematics 2020-01-13 Charles Rezk , Stefan Schwede , Brooke Shipley

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…

Category Theory · Mathematics 2015-12-10 Alan S. Cigoli , James R. A. Gray , Tim Van der Linden

We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we…

K-Theory and Homology · Mathematics 2017-05-31 Oliver Röndigs , Paul Arne Østvær

We prove a conjecture of Cautis and Sussan providing a categorification of the Boson-Fermion correspondence as formulated by Frenkel and Kac. We lift the Bernstein operators to infinite chain complexes in Khovanov's Heisenberg category H…

Representation Theory · Mathematics 2018-08-06 Nicolle Gonzalez

We use recent results proved by Berrick and the author (math.KT/0509404) to improve the periodicity theorem in hermitian K-theory. We define also a new filtration of the classical Witt ring W(A), built from non degenerate quadratic forms…

K-Theory and Homology · Mathematics 2007-05-23 Max Karoubi

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

Algebraic Topology · Mathematics 2024-07-24 Boris Chorny , David White