-
TTF classes generated by silting modules
Authors:
Alejandro Argudin-Monroy,
Daniel Bravo,
Carlos E. Parra
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Combinatorial free chain complexes over quotient polynomial rings
Authors:
Daniel Bravo
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Some families of digraphs determined by the complementarity spectrum
Authors:
Diego Bravo,
Florencia Cubría,
Marcelo Fiori,
Gustavo Rama
Abstract:
We examine the capacity of the complementarity spectrum to distinguish non-isomorphic digraphs. We focus on the seven families with exactly three complementarity eigenvalues. Our findings reveal that in some, but not all families, any two non-isomorphic members have different complementarity spectrum. Complementarity eigenvalues outperform traditional eigenvalues in the task of identifying graphs.…
▽ More
We examine the capacity of the complementarity spectrum to distinguish non-isomorphic digraphs. We focus on the seven families with exactly three complementarity eigenvalues. Our findings reveal that in some, but not all families, any two non-isomorphic members have different complementarity spectrum. Complementarity eigenvalues outperform traditional eigenvalues in the task of identifying graphs. Indeed, the question of whether graphs are uniquely determined by their complementarity spectrum remains unresolved, highlighting the significance of this tool in graph theory. Moreover, since the complementarity spectrum of a digraph was characterized as the set of spectral radii of the induced strongly connected subdigraphs, the results of this study provides useful structural information for important families of digraphs.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Torsion and torsion-free classes from objects of finite type in Grothendieck categories
Authors:
Daniel Bravo,
Sinem Odabaşı,
Carlos E. Parra,
Marco A. Pérez
Abstract:
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 conditio…
▽ More
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.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Characterization of digraphs with three complementarity eigenvalues
Authors:
Diego Bravo,
Florencia Cubría,
Marcelo Fiori,
Vilmar Trevisan
Abstract:
Given a digraph D, the complementarity spectrum of the digraph is defined as the set of complementarity eigenvalues of its adjacency matrix. This complementarity spectrum has been shown to be useful in several fields, particularly in spectral graph theory. The differences between the properties of the complementarity spectrum for (undirected) graphs and for digraphs, makes the study of the latter…
▽ More
Given a digraph D, the complementarity spectrum of the digraph is defined as the set of complementarity eigenvalues of its adjacency matrix. This complementarity spectrum has been shown to be useful in several fields, particularly in spectral graph theory. The differences between the properties of the complementarity spectrum for (undirected) graphs and for digraphs, makes the study of the latter of particular interest, and characterizing strongly connected digraphs with a small number of complementarity eigenvalues is a non trivial problem. Recently, strongly connected digraphs with one and two complementarity eigenvalues have been completely characterized. In this paper we study strongly connected digraphs with exactly three elements in the complementarity spectrum, ending with a complete characterization. This leads to a structural characterization of general digraphs having three complementarity eigenvalues.
△ Less
Submitted 5 April, 2023; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Complementarity spectrum of digraphs
Authors:
Diego Bravo,
Florencia Cubría,
Marcelo Fiori,
Vilmar Trevisan
Abstract:
In this paper we study the complementarity spectrum of digraphs, with special attention to the problem of digraph characterization through this complementarity spectrum. That is, whether two non-isomorphic digraphs with the same number of vertices can have the same complementarity eigenvalues. The complementarity eigenvalues of matrices, also called Pareto eigenvalues, has led to the study of the…
▽ More
In this paper we study the complementarity spectrum of digraphs, with special attention to the problem of digraph characterization through this complementarity spectrum. That is, whether two non-isomorphic digraphs with the same number of vertices can have the same complementarity eigenvalues. The complementarity eigenvalues of matrices, also called Pareto eigenvalues, has led to the study of the complementarity spectrum of (undirected) graphs and, in particular, the characterization of undirected graphs through these eigenvalues is an open problem. We characterize the digraphs with one and two complementarity eigenvalues, and we give examples of non-isomorphic digraphs with the same complementarity spectrum.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
Generalised Igusa-Todorov functions and Lat-Igusa-Todorov algebras
Authors:
Diego Bravo,
Marcelo Lanzilotta,
Octavio Mendoza,
José Vivero
Abstract:
In this paper we study a generalisation of the Igusa-Todorov functions which gives rise to a vast class of algebras satisfying the finitistic dimension conjecture. This class of algebras is called Lat-Igusa-Todorov and includes, among others, the Igusa-Todorov algebras (defined by J. Wei) and the self-injective algebras which in general are not Igusa-Todorov algebras. Finally, some applications of…
▽ More
In this paper we study a generalisation of the Igusa-Todorov functions which gives rise to a vast class of algebras satisfying the finitistic dimension conjecture. This class of algebras is called Lat-Igusa-Todorov and includes, among others, the Igusa-Todorov algebras (defined by J. Wei) and the self-injective algebras which in general are not Igusa-Todorov algebras. Finally, some applications of the developed theory are given in order to relate the different homological dimensions which have been discussed through the paper.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
Locally type $\text{FP}_n$ and $n$-coherent categories
Authors:
Daniel Bravo,
James Gillespie,
Marco A. Pérez
Abstract:
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 inject…
▽ More
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.
△ Less
Submitted 28 August, 2019;
originally announced August 2019.
-
Idempotent reduction for the finitistic dimension conjecture
Authors:
Diego Bravo,
Charles Paquette
Abstract:
In this note, we prove that if $Λ$ is an Artin algebra with a simple module $S$ of finite projective dimension, then the finiteness of the finitistic dimension of $Λ$ implies that of $(1-e)Λ(1-e)$ where $e$ is the primitive idempotent supporting $S$. We derive some consequences of this. In particular, we recover a result of Green-Solberg-Psaroudakis: if $Λ$ is the quotient of a path algebra by an…
▽ More
In this note, we prove that if $Λ$ is an Artin algebra with a simple module $S$ of finite projective dimension, then the finiteness of the finitistic dimension of $Λ$ implies that of $(1-e)Λ(1-e)$ where $e$ is the primitive idempotent supporting $S$. We derive some consequences of this. In particular, we recover a result of Green-Solberg-Psaroudakis: if $Λ$ is the quotient of a path algebra by an admissible ideal $I$ whose defining relations do not involve a certain arrow $α$, then the finitistic dimension of $Λ$ is finite if and only if the finitistic dimension of $Λ/ΛαΛ$ is finite.
△ Less
Submitted 4 November, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Pullback diagrams, syzygy finite classes and Igusa-Todorov algebras
Authors:
Diego Bravo,
Marcelo Lanzilotta,
Octavio Mendoza
Abstract:
For an abelian category $\mathcal{A}$, we define the category PEx($\mathcal{A}$) of pullback diagrams of short exact sequences in $\mathcal{A}$, as a subcategory of the functor category Fun($Δ, \mathcal{A}$) for a fixed diagram category $Δ$. For any object $M$ in ${\rm PEx}(\mathcal{A}),$ we prove the existence of a short exact sequence $0 {\to} K {\to} P {\to} M {\to} 0$ of functors, where the ob…
▽ More
For an abelian category $\mathcal{A}$, we define the category PEx($\mathcal{A}$) of pullback diagrams of short exact sequences in $\mathcal{A}$, as a subcategory of the functor category Fun($Δ, \mathcal{A}$) for a fixed diagram category $Δ$. For any object $M$ in ${\rm PEx}(\mathcal{A}),$ we prove the existence of a short exact sequence $0 {\to} K {\to} P {\to} M {\to} 0$ of functors, where the objects are in PEx($\mathcal{A}$) and $P(i) \in {\rm Proj(\mathcal{A})}$ for any $i \in Δ$. As an application, we prove that if $(\mathcal{C}, \mathcal{D}, \mathcal{E})$ is a triple of syzygy finite classes of objects in $\mathrm{mod}\,Λ$ satisfying some special conditions, then $Λ$ is an Igusa-Todorov algebra. Finally, we study lower triangular matrix Artin algebras and determine in terms of their components, under reasonable hypothesis, when these algebras are syzygy finite or Igusa-Todorov.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
$\rm{FP}_{n}$-injective and $\rm{FP}_{n}$-flat covers and preenvelopes, and Gorenstein AC-flat covers
Authors:
Daniel Bravo,
Sergio Estrada,
Alina Iacob
Abstract:
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 modul…
▽ More
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.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
Torsion pairs over $n$-Hereditary rings
Authors:
Daniel Bravo,
Carlos E. Parra
Abstract:
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 mo…
▽ More
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.
△ Less
Submitted 10 August, 2018; v1 submitted 10 May, 2017;
originally announced May 2017.
-
tCG Torsion Pairs
Authors:
Daniel Bravo,
Carlos E. Parra
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 August, 2018; v1 submitted 20 October, 2016;
originally announced October 2016.
-
Finiteness conditions and cotorsion pairs
Authors:
Daniel Bravo,
Marco A. Pérez
Abstract:
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 w…
▽ More
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.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Absolutely Clean, Level, and Gorenstein AC-Injective Complexes
Authors:
Daniel Bravo,
James Gillespie
Abstract:
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, l…
▽ More
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.
△ Less
Submitted 29 August, 2014;
originally announced August 2014.
-
The stable module category of a general ring
Authors:
Daniel Bravo,
James Gillespie,
Mark Hovey
Abstract:
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.…
▽ More
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.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
A recursion formula for k-Schur functions
Authors:
Daniel Bravo,
Luc Lapointe
Abstract:
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.
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.
△ Less
Submitted 27 September, 2007;
originally announced September 2007.
