Related papers: Harder-Narasimhan categories

Let $X$ be an elliptic curve over an algebraically closed field. We prove that some exact sub-categories of the category of vector bundles over $X$, defined using Harder-Narasimhan filtrations, have the same K-groups as the whole category.

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes…

We define torsion pairs for quasi-abelian categories and give several characterisations. We show that many of the torsion theoretic concepts translate from abelian categories to quasi-abelian categories. As an application, we generalise the…

The notion of Harder-Narasimhan filtration was firstly introduced by Harder and Narasimhan in the setting of vector bundles on a non-singular projective curve. Curiously, analogous constructions have been discovered in other branches of…

We define and study Harder-Narasimhan filtrations on Breuil-Kisin-Fargues modules and related objects relevant to p-adic Hodge theory.

We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these…

We establish in this article convergence results of normalized Harder-Narasimhan polygons both in geometric and in arithmetic frameworks by introducing the Harder-Narasimhan filtration indexed by $\mathbb R$ and the associated Borel…

In this article we study chains of torsion classes in an abelian category $\mathcal{A}$. We prove that each chain of torsion classes induce a Harder-Narasimhan filtration for every nonzero object $M$ in $\mathcal{A}$, generalising a…

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of…

We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a…

We compute the Harder-Narasimhan filtration of vector bundles $f_*\mathcal O_Y$ for certain finite morphisms $f\,:\,Y\,\longrightarrow\, X$ and in some other cases.

Unstable holomorphic bundles can be described algebraically by Harder-Narasimhan filtrations. In this note we show how such filtrations correspond to the existence of special metrics defined by Hermitian-Einstein inequalities.

Starting from our work on Harder-Narasimhan filtrations of finite flat group schemes over a $p$-adic field, we developp a theory of Harder-Narasimhan filtrations for $p$-divisible groups. We apply this to the study of the geometry of period…

Let $\mathcal{O}_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with perfect residue field. We prove the existence of the Hodge-Newton filtration for $p$-divisible groups over $\mathcal{O}_K$ with additional…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

We show certain standard constructions of the theory of Verdier triangulated categories to be valid in the Heller triangulated framework as well; viz. Karoubi hull, exactness of adjoints, localisation.

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…

We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…

The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…