Source author record

Manuel Saorín

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.RA math.CT math.KT

Catalog footprint

Research overview

11works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Locally finitely presented and coherent hearts

Starting with a Grothendieck category $\mathcal{G}$ and a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal G$ , we study the local finite presentability and local coherence of the heart $\mathcal{H}_{\mathbf{t}}$ of the associated Happel-Reiten-Smalø $t$ -structure in the derived category $\mathrm{Der} (\mathcal{G})$ . We start by showing that, in this general setting, the torsion pair $\mathbf t$ is of finite type, if and only if it is quasi-cotilting, if and only if it is cosilting. We then proceed to study those $\mathbf t$ for which $\mathcal{H}_{\mathbf{t}}$ is locally finitely presented, obtaining a complete answer under some additional assumptions on the ground category $\mathcal{G}$ , which are general enough to include all locally coherent categories, all categories of modules and several categories of quasi-coherent sheaves over schemes. The third problem that we tackle is that of local coherence. In this direction we characterize those torsion pairs $\mathbf t=(\mathcal T,\mathcal F)$ in a locally finitely presented $\mathcal G$ for which $\mathcal{H}_{\mathbf{t}}$ is locally coherent in two cases: when the tilted t-structure in $\mathcal{H}_{\mathbf{t}}$ is assumed to restrict to finitely presented objects, and when $\mathcal F$ is cogenerating. In the last part of the paper we concentrate on the case when $\mathcal G$ is a category of modules over a small preadditive category, giving several examples and obtaining very neat (new) characterizations even in this more classical setting, also underlying connections with the notion of an elementary cogenerator.

preprint2020arXiv

The HRS tilting process and Grothendieck hearts of t-structures

In this paper we revisit the problem of determining when the heart of a t-structure is a Grothendieck category, with special attention to the case of the Happel-Reiten-Smalø (HSR) t-structure in the derived category of a Grothendieck category associated to a torsion pair in the latter. We revisit the HRS tilting process deriving from it a lot of information on the HRS t-structures which have a projective generator or an injective cogenerator, and obtain several bijections between classes of pairs $(\mathcal{A},\mathbf{t})$ consisting of an abelian category and a torsion pair in it. We use these bijections to re-prove, by different methods, a recent result of Tilting Theory and the fact that if $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a torsion pair in a Grothendieck category $\mathcal{G}$ , then the heart of the associated HRS t-structure is itself a Grothendieck category if, and only if, $\mathbf{t}$ is of finite type. We survey this last problem and recent results after its solution.

preprint2016arXiv

Derived equivalences induced by nonclassical tilting objects

Suppose that $\mathcal{A}$ is an abelian category whose derived category $\mathcal{D}(\mathcal{A})$ has $Hom$ sets and arbitrary (small) coproducts, let $T$ be a (not necessarily classical) ( $n$ -)tilting object of $\mathcal{A}$ and let $\mathcal{H}$ be the heart of the associated t-structure on $\mathcal{D}(\mathcal{A})$ . We show that the inclusion functor $\mathcal{H}\hookrightarrow\mathcal{D}(\mathcal{A})$ extends to a triangulated equivalence of unbounded derived categories $\mathcal{D}(\mathcal{H})\stackrel{\cong}{\longrightarrow}\mathcal{D}(\mathcal{A})$ . The result admits a straightforward dualization to cotilting objects in abelian categories whose derived category has $Hom$ sets and arbitrary products.

preprint2016arXiv

Symmetry of the Definition of Degeneration in Triangulated Categories

Module structures of an algebra on a fixed finite dimensional vector space form an algebraic variety. Isomorphism classes correspond to orbits of the action of an algebraic group on this variety and a module is a degeneration of another if it belongs to the Zariski closure of the orbit. Riedtmann and Zwara gave an algebraic characterisation of this concept in terms of the existence of short exact sequences. Jensen, Su and Zimmermann, as well as independently Yoshino, studied the natural generalisation of the Riedtmann-Zwara degeneration to triangulated categories. The definition has an intrinsic non-symmetry. Suppose that we have a triangulated category in which idempotents split and either for which the endomorphism rings of all objects are artinian, or which is the category of compact objects in an algebraic compactly generated triangulated K-category. Then we show that the non-symmetry in the algebraic definition of the degeneration is inessential in the sense that the two possible choices which can be made in the definition lead to the same concept.

preprint2015arXiv

Addendum to 'Direct limits in the heart of a t-structure: The case of a torsion pair'

Let $\mathcal{G}$ be a Grothendieck category, let $\mathbf{t}=(\mathcal{T},\mathcal{F})$ be a torsion pair in $\mathcal{G}$ and let $(\mathcal{U}_\mathbf{t},\mathcal{W}_\mathbf{t})$ be the associated Happel-Reiten-Smal $ø$ t-structure in the derived category $\mathcal{D}(\mathcal{G})$ . We prove that the heart of this t-structure is a Grothendieck category if, and only if, the torsionfree class $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$ .

preprint2015arXiv

Hearts of t-structures in the derived category of a commutative Noetherian ring

Let $R$ be a commutative Noetherian ring and let $\mathcal D(R)$ be its (unbounded) derived category. We show that all compactly generated t-structures in $\mathcal D(R)$ associated to a left bounded filtration by supports of Spec $(R)$ have a heart which is a Grothendieck category. Moreover, we identify all compactly generated t-structures in $\mathcal D(R)$ whose heart is a module category. As geometric consequences for a compactly generated t-structure $(\mathcal{U},\mathcal{U}^\perp [1])$ in the derived category $\mathcal{D}(\mathbb{X})$ of a Noetherian scheme $\mathbb{X}$ , we get the following: 1) If the sequence $(\mathcal{U}[-n]\cap\mathcal{D}^{\leq 0}(\mathbb{X}))_{n\in\mathbb{N}}$ is stationnary, then the heart $\mathcal{H}$ is a Grothendieck category; 2) If $\mathcal{H}$ is a module category, then $\mathcal{H}$ is always equivalent to $\text{Qcoh}(\mathbb{Y})$ , for some affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$ ; 3) If $\mathbb{X}$ is connected, then: a) when $\bigcap_{k\in\mathbb{Z}}\mathcal{U}[k]=0$ , the heart $\mathcal{H}$ is a module category if, and only if, the given t-structure is a translation of the canonical t-estructure in $\mathcal{D}(\mathbb{X})$ ; b) when $\mathbb{X}$ is irreducible, the heart $\mathcal{H}$ is a module category if, and only if, there are an affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$ and an integer $m$ such that $\mathcal{U}$ consists of the complexes $U\in\mathcal{D}(\mathbb{X})$ such that the support of $H^j(U)$ is in $\mathbb{X}\setminus\mathbb{Y}$ , for all $j>m$ .

preprint2015arXiv

On hearts which are module categories

Given a torsion pair $\mathbf{t} = (\mathcal{T} ;\mathcal{F})$ in a module category $R$ -Mod we give necessary and sufficient conditions for the associated Happel-Reiten-Smalø $\text{ }$ t-structure in $\mathcal{D}(R)$ to have a heart $\mathcal{H}_{\mathbf{t}}$ which is a module category. We also study when such a pair is given by a 2-term complex of projective modules in the way described by Hoshino-Kato-Miyachi ([HKM]). Among other consequences, we completely identify the hereditary torsion pairs $\mathbf{t}$ for which $\mathcal{H}_{\mathbf{t}}$ is a module category in the following cases: i) when $\mathbf{t}$ is the left constituent of a TTF triple, showing that $\mathbf{t}$ need not be HKM; ii) when $\mathbf{t}$ is faithful; iii) when $\mathbf{t}$ is arbitrary and the ring $R$ is either commutative, semi-hereditary, local, perfect or Artinian. We also give a systematic way of constructing non-tilting torsion pairs for which the heart is a module category generated by a stalk complex at zero

preprint2014arXiv

Direct limits in the heart of a t-structure: the case of a torsion pair

We study the behavior of direct limits in the heart of a t-structure. We prove that, for any compactly generated t-structure in a triangulated category with exact coproducts, countable direct limits are exact in its heart. Then, for a given Grothendieck category G and a torsion pair t = (T ;F) in G, we show that if the heart of the associated t-structure in the derived category D(G) is AB5, then F is closed under taking direct limits. The reverse implication is true, even implying that the heart is a Grothendieck category, for a wide class of torsion pairs which include the hereditary ones, those for which T is a cogenerating class and those for which F is a generating class. The results allow to extend well-known results by Buan-Krause, Bazzoni and Colpi-Gregorio to the general context of Grothendieck categories and to improve some results of (co)tlting theory of modules.

preprint2014arXiv

Direct products of modules and the pure semisimplicity conjecture. Part II

We prove that the module categories of Noether algebras (i.e., algebras module finite over a noetherian center) and affine noetherian PI algebras over a field enjoy the following product property: Whenever a direct product $\prod_{n \in \Bbb N} M_n$ of finitely generated indecomposable modules $M_n$ is a direct sum of finitely generated objects, there are repeats among the isomorphism types of the $M_n$ . The rings with this property satisfy the pure semisimplicity conjecture which stipulates that vanishing one-sided pure global dimension entails finite representation type.

preprint2014arXiv

Direct sums of representations as modules over their endomorphism rings

This paper is devoted to the study of the endo-structure of infinite direct sums $\bigoplus_{i \in I} M_i$ of indecomposable modules $M_i$ over a ring $R$ . It is centered on the following question: If $S = \text{End}_R \bigl( \bigoplus_{i \in I} M_i \bigr)$ , how much pressure, in terms of the $S$ -structure of $\bigoplus_{i \in I} M_i$ , is required to force the $M_i$ into finitely many isomorphism classes? In case the $M_i$ are endofinite (i.e., of finite length over their endomorphism rings), the number of isomorphism classes among the $M_i$ is finite if and only if $\bigoplus_{i \in I} M_i$ is endo-noetherian and the $M_i$ form a right $T$ -nilpotent class. This is a corollary of a more general theorem in the paper which features the weaker conditions of (right or left) semi- $T$ -nilpotence as well as the endosocle of a module. This result is sharpened in the case of Artin algebras, by showing that then, if the $M_i$ are finitely generated, the direct sum $\bigoplus_{i \in I} M_i$ is endo-Artinian if and only if it is $Σ$ -algebraically compact.

preprint2014arXiv

Pseudo-Frobenius graded algebras with enough idempotents

We introduce and study the notion of pseudo-Frobenius graded algebra with enough idempotents, showing that it follows the pattern of the classical concept of pseudo-Frobenius (PF) and Quasi-Frobenius (QF) rings, in particular finite dimensional self-injective algebras, as studied by Nakayama, Morita, Faith, Tachikawa, etc. We show that such an algebra is characterized by the existence of a graded Nakayama form. Moreover, we prove that the pseudo-Frobenius property is preserved and reflected by covering functors, a fact that makes the concept useful in Representation Theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Manuel Saorín

Research overview

Is this your work?

11 publications

Locally finitely presented and coherent hearts

The HRS tilting process and Grothendieck hearts of t-structures

Derived equivalences induced by nonclassical tilting objects

Symmetry of the Definition of Degeneration in Triangulated Categories

Addendum to 'Direct limits in the heart of a t-structure: The case of a torsion pair'

Hearts of t-structures in the derived category of a commutative Noetherian ring

On hearts which are module categories

Direct limits in the heart of a t-structure: the case of a torsion pair

Direct products of modules and the pure semisimplicity conjecture. Part II

Direct sums of representations as modules over their endomorphism rings

Pseudo-Frobenius graded algebras with enough idempotents

See the researcher in context

Building this map preview