SearcharxivSearch

arXiv subjects

Sergio Pavon

Publications and source records attributed to Sergio Pavon.

7 recordsLinked to original sources

Proxy smallness meets $t$-structures

We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new characterization of schemes that are locally complete intersections in terms of $t$-structures, as well as a topological classification of preaisles on the bounded derived category of coherent sheaves.

math.AG

Detecting derived equivalences with the CHZ criterion

In 2018, Chen, Han and Zhou introduced a criterion to determine whether the HRS-tilt at a given torsion pair induces derived equivalence. We showcase four applications of this criterion: to stable torsion pairs in arbitrary abelian categories (which we prove to always induce derived equivalence), to abelian categories of global dimension at most two, to (co)hereditary torsion pairs over artin algebras (for which we give a purely combinatorial criterion for derived equivalence), and to study whether irreducible silting mutation acts transitively on two-term tilting complexes over a finite dimensional algebra.

math.RT

Mutation and the Gabriel spectrum

Mutations occur in multiple algebraic contexts, often enjoying good combinatorial properties. In this paper we study mutations of pure-injective cosilting objects in compactly generated triangulated categories from a topological point of view. We consider the topologies studied by Gabriel, Burke and Prest on the set of indecomposable injective objects in a Grothendieck abelian category, transfer them to associated cosilting subcategories, and show that, in that context, right mutation induces a homeomorphism on two complementary subspaces. We then improve this result in the context of the derived category of a commutative noetherian ring, showing that right mutation is an open bijection. We end the paper with a detailed analysis of a range of cosilting subcategories over commutative noetherian rings for which the topology is completely known. As a byproduct of this analysis, we obtain that the category of modules over a commutative noetherian ring is the unique locally noetherian Grothendieck category in its derived-equivalence class.

math.RT

Torsion-simple objects in abelian categories

We introduce the notion of torsion-simple objects in an abelian category: these are the objects which are always either torsion or torsion-free with respect to any torsion pair. We present some general results concerning their properties, and then proceed to investigate the notion in various contexts, such as the category of modules over an artin algebra or a commutative noetherian ring, and the category of quasi-coherent sheaves over the projective line.

math.RT

Singular equivalences to locally coherent hearts of commutative noetherian rings

We show that Krause's recollement exists for any locally coherent Grothendieck category such that its derived category is compactly generated. As a source of such categories, we consider the hearts of intermediate and restrictable $t$-structures in the derived category of a commutative noetherian ring. We show that the induced tilting object over such a heart gives rise to an equivalence between the two Krause's recollements, and in particular, to a singular equivalence.

math.AC

Hearts for commutative noetherian rings: torsion pairs and derived equivalences

Over a commutative noetherian ring $R$, the prime spectrum controls, via the assignment of support, the structure of both $\mathsf{Mod}(R)$ and $\mathsf{D}(R)$. We show that, just like in $\mathsf{Mod}(R)$, the assignment of support classifies hereditary torsion pairs in the heart of any nondegenerate compactly generated $t$-structure of $\mathsf{D}(R)$. Moreover, we investigate whether these $t$-structures induce derived equivalences, obtaining a new source of Grothendieck categories which are derived equivalent to $\mathsf{Mod}(R)$.

math.RT