arXiv subjects

Daniel Bravo

Publications and source records attributed to Daniel Bravo.

11 recordsLinked to original sources

arXiv2024

TTF classes generated by silting modules

We study the conditions under which a TTF class in a module category over a ring is silting. Using the correspondence between idempotent ideals over a ring and TTF classes in the module category, we focus on finding the necessary and sufficient conditions for $R/I$ to be a silting $R$-module, and hence for the TTF class $\mathbf{Gen}(R/I)$ to be silting, where $I$ is an idempotent two-sided ideal of $R$. In our main result, we show that $R/I$ is a silting module whenever $I$ is the trace of a projective $R$-module. Furthermore, we demonstrate that the converse holds for a broad class of rings, including semiperfect rings.

math.RA↗

arXiv2024

Combinatorial free chain complexes over quotient polynomial rings

We present a procedure that constructs, in a combinatorial manner, a chain complex of free modules over a polynomial ring in finitely many variables, modulo an ideal generated by quadratic monomials. Applying this procedure to two specific rings and one family of rings, we demonstrate that the resulting chain complex is indeed an exact chain complex and thus a free resolution. Utilizing this free resolution, we show that, for these rings, the injective dimension is infinite, as modules over itself. Finally, we propose the conjecture that this procedure always yields a free resolution.

math.AC↗

arXiv2022

Torsion and torsion-free classes from objects of finite type in Grothendieck categories

In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category.

math.CT↗

arXiv2019

Locally type $\text{FP}_n$ and $n$-coherent categories

We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the injective objects that are Ext-orthogonal to the class of objects of type $\text{FP}_n$, called $\text{FP}_n$-injective objects, which will be the right half of a complete cotorsion pair. As a generalization of the category of modules over an $n$-coherent ring, we present the concept of $n$-coherent categories, which also recovers the notions of locally noetherian and locally coherent categories for $n = 0, 1$. Such categories will provide a setting in which the $\text{FP}_n$-injective cotorsion pair is hereditary, and where it is possible to construct (pre)covers by $\text{FP}_n$-injective objects. Moreover, we see how $n$-coherent categories provide a suitable framework for a nice theory of Gorenstein homological algebra with respect to the class of $\text{FP}_n$-injective modules. We define Gorenstein $\text{FP}_n$-injective objects and construct two different model category structures (one abelian and the other one exact) in which these Gorenstein objects are the fibrant objects.

math.CT↗

arXiv2018

tCG Torsion Pairs

We investigate conditions for when the $t$-structure of Happel-Reiten-Smalø associated to a torsion pair is a compactly generated $t$-structure. The concept of a $t$CG torsion pair is introduced and for any ring $R$, we prove that $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a $t$CG torsion pair in $R\text{-Mod}$ if, and only if, there exists, $\{T_λ\}$ a set of finitely presented $R$-modules in $\mathcal{T}$, such that $\mathcal{F}=\bigcap \text{Ker}({\text{Hom}}_{R}(T_λ,?))$. We also show that every $t$CG torsion pair is of finite type, and show that the reciprocal is not true. Finally, we give a precise description of the $t$CG torsion pairs over Noetherian rings and von Neumman regular rings.

math.CT↗

arXiv2018

Torsion pairs over $n$-Hereditary rings

We study the notions of $n$-hereditary rings and its connection to the classes of finitely $n$-presented modules, FP$_n$-injective modules, FP$_n$-flat modules and $n$-coherent rings. We give characterizations of $n$-hereditary rings in terms of quotients of injective modules and submodules of flat modules, and a characterization of $n$-coherent using an injective cogenerator of the category of modules. We show two torsion pairs with respect to the FP$_n$-injective modules and the FP$_n$-flat modules over $n$-hereditary rings. We also provide an example of a Bézout ring which is 2-hereditary, but not 1-hereditary, such that the torsion pairs over this ring are not trivial.

math.RA↗

arXiv2017

$\rm{FP}_{n}$-injective and $\rm{FP}_{n}$-flat covers and preenvelopes, and Gorenstein AC-flat covers

We prove that, for any $n \geq 2$, the classes of $\rm{FP}_{n}$-injective modules and of $\rm{FP}_n$-flat modules are both covering and preenveloping over any ring $R$. This includes the case of $\rm{FP}_{\infty}$-injective and $\rm{FP}_{\infty}$-flat modules (i.e. absolutely clean and, respectively, level modules). Then we consider a generalization of the class of (strongly) Gorenstein flat modules - the (strongly) Gorenstein AC-flat modules (cycles of exact complexes of flat modules that remain exact when tensored with any absolutely clean module). We prove that some of the properties of Gorenstein flat modules extend to the class of Gorenstein AC-flat modules; for example we show that this class is precovering over any ring $R$. We also show that (as in the case of Gorenstein flat modules) every Gorenstein AC-flat module is a direct summand of a strongly Gorenstein AC-flat module. When $R$ is such that the class of Gorenstein AC-flat modules is closed under extensions, the converse is also true. We also prove that if the class of Gorenstein AC-flat modules is closed under extensions, then this class of modules is covering.

math.AC↗

arXiv2015

Finiteness conditions and cotorsion pairs

We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules with respect to ${\rm Ext}^1_R(F,-)$ and ${\rm Tor}_1^R(F,-)$. We also construct cotorsion pairs from these orthogonal complements, allowing us to provide further characterizations of $n$-coherent rings.

math.RA↗

arXiv2014

Absolutely Clean, Level, and Gorenstein AC-Injective Complexes

Absolutely clean and level $R$-modules were introduced in [BGH13] and used to show how Gorenstein homological algebra can be extended to an arbitrary ring $R$. This led to the notion of Gorenstein AC-injective and Gorenstein AC-projective $R$-modules. Here we study these concepts in the category of chain complexes of $R$-modules. We define, characterize and deduce properties of absolutely clean, level, Gorenstein AC-injective, and Gorenstein AC-projective chain complexes. We show that the category $\text{Ch}(R)$ of chain complexes has a cofibrantly generated model structure where every object is cofibrant and the fibrant objects are exactly the Gorenstein AC-injective chain complexes.

math.AT↗

arXiv2014

The stable module category of a general ring

For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we extend the perfect duality between injective left modules and flat right modules that holds over Noetherian rings to general rings by considering weaker notions of injectivity and flatness.

math.RA↗

arXiv2007

A recursion formula for k-Schur functions

The Bernstein operators allow to build recursively the Schur functions. We present a recursion formula for k-Schur functions at t=1 based on combinatorial operators that generalize the Bernstein operators. The recursion leads immediately to a combinatorial interpretation for the expansion coefficients of k-Schur functions at t=1 in terms of homogeneous symmetric functions.

math.CO↗