Recollements and homological dimensions

Yongyun Qin

DOI: https://doi.org/10.48550/arXiv.1606.06551

2016-06-21

Abstract:We investigate the behavior of the homological dimensions under recollements of derived categories of algebras. In particular, we establish a series of new bounds among the selfinjective dimension or $\phi$-dimension of the algebras linked by recollements of derived module categories.

Representation Theory

What problem does this paper attempt to address?

Gorenstein Global Dimension of Recollements of Abelian Categories

Houjun Zhang,Xiaosheng Zhu

DOI: https://doi.org/10.1080/00927872.2019.1648650

2020-01-01

Communications in Algebra

Abstract:In this article, we investigate the Gorenstein global dimension with respect to the recollements of abelian categories. With the invariants spli and silp of the categories, we give some upper bounds of Gorenstein global dimensions of the categories involved in a recollement of abelian categories. We apply our results to some rings and artin algebras, especially to the triangular matrix artin algebras.
Resolving Resolution Dimension of Recollements of Abelian Categories

Houjun Zhang,Xiaosheng Zhu

DOI: https://doi.org/10.1142/s0219498821501796

2020-01-01

Journal of Algebra and Its Applications

Abstract:In this paper, we investigate the resolving resolution dimension with respect to the recollements of abelian categories. Let [Formula: see text] be a recollement of abelian categories such that [Formula: see text] and [Formula: see text] have enough projective objects and let [Formula: see text], [Formula: see text], [Formula: see text] be resolving subcategories of [Formula: see text], [Formula: see text] and [Formula: see text], respectively. We establish some upper and lower bounds of [Formula: see text]-resolution dimension of [Formula: see text] in terms of the [Formula: see text]-resolution dimension of [Formula: see text] and [Formula: see text]-resolution dimension of [Formula: see text]. Based on these upper and lower bounds, we study the Gorensteinness of abelian categories involved in [Formula: see text]. Under some suitable assumptions, we show that if [Formula: see text] and [Formula: see text] are Gorenstein, then [Formula: see text] is Gorenstein. As applications, we apply our results to ring theory and the triangular matrix artin algebras, we study the quasi-Frobenius and Gorenstein hereditary properties of the ring [Formula: see text] and [Formula: see text], where [Formula: see text] is an idempotent element of [Formula: see text]. We also investigate Gorensteinness of the triangular matrix artin algebras, some known results are obtained as corollaries. At the end of this paper, we give two examples to illustrate our results.
A recollement approach to Han's conjecture

Ren Wang,Xiaoxiao Xu,Jinbi Zhang,Guodong Zhou

2024-09-02

Abstract:A conjecture due to Y. Han asks whether that Hochschild homology groups of a finite dimensional algebra vanish for sufficiently large degrees would imply that the algebra is of finite global dimension. We investigate this conjecture from the viewpoint of recollements of derived categories. It is shown that for a recollement of unbounded derived categories of rings which extends downwards (or upwards) one step, Han's conjecture holds for the ring in the middle if and only if it holds for the two rings on the two sides and hence Han's conjecture is reduced to derived $2$-simple rings. Furthermore, this reduction result is applied to Han's conjecture for Morita contexts rings and exact contexts. Finally it is proved that Han's conjecture holds for skew-gentle algebras, category algebras of finite EI categories and Geiss-Leclerc-Schröer algebras associated to Cartan triples.

Representation Theory,K-Theory and Homology,Rings and Algebras
Homological dimensions of gentle algebras via geometric models

Yu-Zhe Liu,Hanpeng Gao,Zhaoyong Huang

DOI: https://doi.org/10.1007/s11425-022-2120-8

2024-02-01

Science China Mathematics

Abstract:Let A = kQ/I be a finite-dimensional basic algebra over an algebraically closed field k which is a gentle algebra with the marked ribbon surface . It is known that can be divided into some elementary polygons {Δ i ∣ 1 ⩽ i ⩽ d } by Γ A which has exactly one side in the boundary of . Let C(Δ i ) be the number of sides of Δ i belonging to Γ A if the unmarked boundary component of is not a side of Δ i ; otherwise, C(Δ i ) = ∞, and let f-Δ be the set of all the non-∞-elementary polygons and (resp. ) be the set of all the forbidden threads (resp. of finite length). Then we have the global dimension of A is , where l ( Π ) is the length of Π the left and right self-injective dimensions of A are As a consequence, we get that the finiteness of the global dimension of gentle algebras is invariant under Avella-Geiss (AG)-equivalence. In addition, we get that the number of indecomposable non-projective Gorenstein projective modules over gentle algebras is also invariant under AG-equivalence.

mathematics, applied
Derived Equivalence, Recollements under $ H $-Galois Extensions

Jinlei Dong,Fang Li,Longgang Sun

DOI: https://doi.org/10.3934/math.2023165

2022-01-01

AIMS Mathematics

Abstract:In this paper, assume that $ H $ is a Hopf algebra and $ A/B $ is an $ H $-Galois extension. Firstly, by introducing the concept of an $ H $-stable tilting complex $ T_{\bullet} $ over $ B $, we show that $ T_{\bullet}\otimes_BA $ is a tilting complex over $ A $ and a derived equivalence between two $ H $-module algebras can be extended to smash product algebras under some conditions. Then we observe that $ 0\rightarrow {\rm End}_{\mathcal{D}^b(B)}(T_{\bullet})\rightarrow {\rm End}_{\mathcal{D}^b(A)}(T_{\bullet}\otimes_BA) $ is an $ H $-Galois Frobenius extension if $ A/B $ is an $ H $-Galois Frobenius extension. Finally, for any perfect recollement of derived categories of $ H $-module algebras, we apply the above results to construct a perfect recollement of derived categories of their smash product algebras and generalize it to $ n $-recollements.
Dimensions and cotorsion pairs in recollements of extriangulated categories

Xin Ma,Panyue Zhou

DOI: https://doi.org/10.1080/00927872.2024.2374436

2024-08-18

Communications in Algebra

Abstract:Let (A,B,C) be a recollement of extriangulated categories. In this paper, we provide bounds on the coresolution dimensions of the subcategories involved in A, B , and C . We show that a hereditary cotorsion pair in B can induce hereditary cotorsion pairs in A and C under certain conditions. Besides, we construct recollements of abelian categories from a recollement of extriangulated categories with respect to the hearts of cotorsion pairs.

mathematics
Cohomological dimension of braided Hopf algebras

Julien Bichon,Thi Hoa Emilie Nguyen

2024-10-22

Abstract:We show that for a braided Hopf algebra in the category of comodules over a cosemisimple coquasitriangular Hopf algebra, the Hochschild cohomological dimension, the left and right global dimensions and the projective dimensions of the trivial left and right module all coincide. We also provide convenient criteria for smoothness and the twisted Calabi-Yau property for such braided Hopf algebras (without the cosemisimplicity assumption on $H$), in terms of properties of the trivial <a class="link-external link-http" href="http://module.These" rel="external noopener nofollow">this http URL</a> generalize a well-known result in the case of ordinary Hopf algebras. As an illustration, we study the case of the coordinate algebra on the two-parameter braided quantum group $\textrm{SL}_{2}$.

K-Theory and Homology,Quantum Algebra,Rings and Algebras
Cohomological Hall algebras, semicanonical bases and Donaldson-Thomas invariants for $2$-dimensional Calabi-Yau categories (with an appendix by Ben Davison)

Jie Ren,Yan Soibelman

DOI: https://doi.org/10.48550/arXiv.1508.06068

2016-07-15

Abstract:We discuss semicanonical bases from the point of view of Cohomological Hall algebras via the "dimensional reduction" from 3-dimensional Calabi-Yau categories to 2-dimensional ones. Also, we discuss the notion of motivic Donaldson-Thomas invariants (as defined by M. Kontsevich and Y. Soibelman) in the framework of 2-dimensional Calabi-Yau categories. In particular we propose a conjecture which allows one to define Kac polynomials for a 2-dimensional Calabi-Yau category (this is a theorem of S. Mozgovoy in the case of preprojective algebras).

Quantum Algebra,High Energy Physics - Theory,Algebraic Geometry,Representation Theory
Homological Invariants For Connected Dg Algebras

X.-F. Mao,Q.-S. Wu

DOI: https://doi.org/10.1080/00927870802110870

2008-01-01

Communications in Algebra

Abstract:In this article, we study various homological invariants of differential graded (DG for short) modules over a connected DG algebra following Frankild-Jorgensen. Two different versions of homological dimensions (resolutional and functorial) are defined. In some cases, they are proved to be simply the bound of the cohomology of the DG module. Some homological identities, such as Auslander-Buchsbaum formula and Bass formula, are proved for compact DG modules over a connected DG algebra.
Symmetry of Derived Delooping Level

Ruoyu Guo

2024-06-01

Abstract:The finitistic dimension conjecture is closely connected to the symmetry of the finitistic dimension. Recent work indicates that such connection extends to one of its upper bounds, the delooping level. In this paper, we show that the same holds for the derived delooping level, which is an improvement of the delooping level. This reduces the finitistic dimension conjecture to considering algebras whose opposite algebra has (derived) delooping level zero. We thereby demonstrate ways to utilize the new concept of derived delooping level to obtain new results and present additional work involving tensor product of algebras.

Representation Theory
Dimension theory of noncommutative curves

Anirban Bhaduri,Isaac Goldberg,Antonios-Alexandros Robotis

2024-10-24

Abstract:We compute several types of dimension for the bounded derived categories of coherent sheaves of orbifold curves. This completes the calculation of these dimensions for derived categories of noncommutative curves in the sense of Reiten-van den Bergh. Along the way we construct stability conditions for orbifold curves. We also obtain a characterisation of orbifold curves with hereditary tilting bundle in terms of diagonal dimension.

Algebraic Geometry
Higher Dimensional Homology Algebra V:Injective Resolutions and Derived 2-Functors in (-2-Mod)

Fang Huang,Shao-Han Chen,Wei Chen,Zhu-Jun Zheng

2010-01-01

Abstract:In this paper, we will construct the injective resolution of any -2-module, define the right derived 2-functor, and give some related properties of the derived 2-functor in (-2-Mod).
Finite homological dimension of Hom and vanishing of Ext

Souvik Dey,Dipankar Ghosh

2024-07-01

Abstract:For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and finiteness of certain homological dimension of $\textrm{Hom}_R(M,N)$. Some of our results provide partial progress towards answering a question of Ghosh-Takahashi and also generalize their main results in many ways, for instance, by reducing the number of vanishing. Certain special cases of our results allow us to address the Auslander-Reiten conjecture for modules whose (self) dual has finite projective dimension. Along the way, we also provide a negative answer to a question of Gheibi-Takahashi on characteristic modules. Among other things, the notion of residually faithful modules and certain generalizations of it play a crucial role in our study. As some applications of our results, we provide affirmative answers to two questions raised by Tony Se on $n$-semidualizing modules. Namely, we show that over a local ring of depth $t$, every $(t-1)$-semidualizing module of finite G-dimension is free. Moreover, we establish that for normal domains which satisfy Serre's condition $(S_3)$ and are locally Gorenstein in codimension two, the class of $1$-semidualizing modules form a subgroup of the divisor class group. These two groups coincide when, in addition, the ring is locally regular in codimension two.

Commutative Algebra
Projective Modules and Cohomology for Integral Basic Algebras

David J. Benson,Kay Jin Lim

2024-07-08

Abstract:Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at good enough prime. In this paper, we initiate the study of this topic by imposing increasingly strong hypotheses on basic algebras. When the algebras satisfy the right hypotheses, we have equalities of the dimensions of their cohomology groups between simple modules and equalities of graded Cartan numbers. The examples include the Solomon descent algebras of finite Coxeter groups at large enough primes, nil-Coxeter algebra, and certain finite semigroup algebras at an arbitrary prime.

Representation Theory
Homological dimensions, the Gorenstein property, and special cases of some conjectures

Souvik Dey,Rafael Holanda,Cleto B. Miranda-Neto

2024-05-01

Abstract:Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we investigate the impact of the finiteness of certain homological dimensions of $M$ if $R$ is local, mainly when $R$ is Cohen-Macaulay and with a partial focus on duals. Along the way, we produce various freeness criteria for modules. Finally, we give applications, including characterizations of when $R$ is Gorenstein (and other ring-theoretic properties as well, sometimes in the prime characteristic setting), particularly by means of its anticanonical module, and in addition we address special cases of some long-standing conjectures; for instance, we confirm the 1985 conjecture of Vasconcelos on normal modules in case the module of differentials is almost Cohen-Macaulay.

Commutative Algebra
On split quasi-hereditary covers and Ringel duality

Tiago Cruz

2024-04-28

Abstract:In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. These are used to establish precise connections between Ringel duality, split quasi-hereditary covers and double centraliser properties. These homological invariants are studied over Noetherian algebras which are finitely generated and projective as a module over the ground ring and they are shown to behave nicely under change of rings techniques. It turns out that relative codominant dimension with respect to a summand of a characteristic tilting module is a useful tool to construct quasi-hereditary covers of Noetherian algebras and measure their quality. In particular, this homological invariant is used to construct split quasi-hereditary covers of quotients of Iwahori-Hecke algebras using Ringel duality of $q$-Schur algebras. Combining techniques of cover theory with relative dominant dimension theory we obtain a new proof for Ringel self-duality of the blocks of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$.

Representation Theory,Rings and Algebras
Cohomological amplitude for constructible sheaves on moduli spaces of curves

eduard looijenga

2012-01-01

Abstract: We give bounds for the cohomology of constructible sheaves on the moduli stacks M_{g,n} over the complex field. This enables us recover Harer's bound for the virtual cohomological dimension of the associated mapping class groups as well the theorem of Diaz on complete subvarieties of M_g. We also obtain such bounds for any open subset of the Deligne-Mumford compactification of M_{g,n} that is a union of strata. Our proof yields a template for obtaining similar bounds for the cohomological dimension for quasicoherent sheaves on M_{g,n}.
Homologically finite-dimensional objects in triangulated categories

Alexander Kuznetsov,Evgeny Shinder

2024-11-29

Abstract:In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for triangulated categories, and discuss crepant categorical contractions. We illustrate the introduced notions on examples of categories of geometric and algebraic origin and provide geometric applications. In particular, we apply our results to prove a bijection between semiorthogonal decompositions of the derived category of a singular variety and the derived category of its smoothing with support on the central fiber.

Algebraic Geometry,K-Theory and Homology
Quotient Triangulated Categories Arising in Representations of Algebras

Xiao‐Wu Chen,Pu Zhang

2006-01-01

Abstract:Several kinds of quotient triangulated categories arising naturally in representations of algebras are studied; their relations with the stable categories of Frobenius exact categories are investigated; the derived categories of Gorenstein algebras are explicitly computed inside the stable categories of the graded module categories of the corresponding trivial extension algebras; new descriptions of the singularity categories of Gorenstein algebras are obtained.
The Frobenius endomorphism and homological dimensions

Claudia Miller

DOI: https://doi.org/10.48550/arXiv.math/0301208

2003-02-22

Abstract:This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin with Kunz's surprising result in 1969 that the regularity of a Noetherian local ring is equivalent to the flatness of its Frobenius endomorphism, as well as the subsequent generalizations to the module setting by Peskine and Szpiro and continue up through the recent flurry of results in the last five years. An attempt is made to include proofs whenever feasible.

Commutative Algebra

Recollements and homological dimensions

Gorenstein Global Dimension of Recollements of Abelian Categories

Resolving Resolution Dimension of Recollements of Abelian Categories

A recollement approach to Han's conjecture

Homological dimensions of gentle algebras via geometric models

Derived Equivalence, Recollements under $ H $-Galois Extensions

Dimensions and cotorsion pairs in recollements of extriangulated categories

Cohomological dimension of braided Hopf algebras

Cohomological Hall algebras, semicanonical bases and Donaldson-Thomas invariants for $2$-dimensional Calabi-Yau categories (with an appendix by Ben Davison)

Homological Invariants For Connected Dg Algebras

Symmetry of Derived Delooping Level

Dimension theory of noncommutative curves

Higher Dimensional Homology Algebra V:Injective Resolutions and Derived 2-Functors in (-2-Mod)

Finite homological dimension of Hom and vanishing of Ext

Projective Modules and Cohomology for Integral Basic Algebras

Homological dimensions, the Gorenstein property, and special cases of some conjectures

On split quasi-hereditary covers and Ringel duality

Cohomological amplitude for constructible sheaves on moduli spaces of curves

Homologically finite-dimensional objects in triangulated categories

Quotient Triangulated Categories Arising in Representations of Algebras

The Frobenius endomorphism and homological dimensions