In this paper, we introduce the notion of excellent extension of rings. Let $Γ$ be an excellent extension of an artin algebra $Λ$, we prove that $Λ$ satisfies the Gorenstein symmetry conjecture (resp. finitistic dimension conjecture, Auslander-Gorenstein conjecture, Nakayama conjecture) if and only if so does $Γ$. As a special case of excellent extensions, if $G$ is a finite group whose order is invertible in $Λ$ acting on $Λ$ and $Λ$ is $G$-stable, we prove that if the skew group algebras $ΛG$ satisfies strong Nakayama conjecture (resp. generalized Nakayama conjecture), then so does $Λ$.
n-recollements of triangulated categories and n-derived-simple algebras are introduced. The relations between the n-recollements of derived categories of algebras and the Cartan determinants, homological smoothness and Gorensteinness of algebras respectively are clarified. As applications, the Cartan determinant conjecture is reduced to 1-derived-simple algebras, and the Gorenstein symmetry conjecture is reduced to 2-derived-simple algebras.
Inspired by recent works on rings satisfying Auslander's conjecture, we study invariants, which we call Auslander bounds, and prove that they have strong relations to some homological conjectures.
In this paper we give a sufficient condition of the existence of ${\rm \mathbb{W}}^{t}$-approximation presentations. We also introduce property (W$^{k}$). As an application of the existence of ${\rm \mathbb{W}}^{t}$-approximation presentations we give a connection between the finitistic dimension conjecture, the Auslander-Reiten conjecture and property (W$^{k}$).
We prove that a certain eventually homological isomorphism between module categories induces a triangle equivalence between their singularity categories, Gorenstein defect categories and the stable categories of Gorenstein projective modules. Further, we show that Auslander-Reiten conjecture and Gorenstein symmetry conjecture can be reduced by eventually homological isomorphisms. Applying the results to arrow removal and vertex removal, we describe the Gorenstein projective modules over some non-monomial algebras, and we verify the Auslander-Reiten conjecture for certain algebras.
Geometry of buildings is used to prove some homological properties of the category of smooth representations of a reductive p-adic group (Kazhdan's "pairing conjecture", Bernstein's description of homological duality in terms of Deligne-Lusztig duality). A different proof had been obtained a little earlier by Schneider and Stuhler.
We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a minimal projective resolution for a translated simple module, confirming a conjecture by Johan Kåhrström. We also derive some inequalities, in terms of Lusztig's $\mathbf{a}$-function, for possible degrees in which the top (or socle) of a translated simple module can live. Finally, we relate Kostant's problem with decomposability and isomorphism of translated …
Singular equivalences of $n$-adjoint type and standard eventually homological isomorphisms
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
We show that recollements of module categories give rise to homomorphisms between the associated Hochschild cohomology algebras which preserve the strict Gerstenhaber structure, i.e., the cup product, the graded Lie bracket and the squaring map. We review various long exact sequences in Hochschild cohomology and apply our results in order to realise that the occurring maps preserve the strict Gerstenhaber structure as well. As a byproduct, we generalise a known long exact cohomology sequence of Koenig-Nagase to arbitrary surjective homological epimorphisms. We use our observations to motivate …
Let $\cQ$ be a quiver and $K$ a field. We study the interrelationship of homological properties of algebras associated to convex subquivers of $\cQ$ and quotients of the path algebra $K\cQ$. We introduce the homological heart of $\cQ$ which is a particularly nice convex subquiver of $\cQ$. For any algebra of the form $K\cQ/I$, the algebra associated to $K\cQ/I$ and the homological heart have similar homological properties. We give an application showing that the finitistic dimension conjecture need only be proved for algebras with path connected quivers.
For a fixed finite dimensional algebra $A$, we study representation embeddings of the form $mod(B)\rightarrow mod(A)$. Such an embedding is called homological, if it induces an isomorphism on all Ext-groups and weakly homological, if only Ext$^1$ is preserved. In case $A$ is a preprojective algebra of Dynkin type, we give an explicit classification of all weakly homological and homological embeddings. Furthermore, we show that for self-injective algebras a classification of homological embeddings becomes accessible once these algebras fulfil the Tachikawa conjecture.
We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick category $\mathcal{O}$ and the associated categories of Harish-Chandra bimodules, but disprove it for singular blocks.
In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an explicit conjecture relating the result to Lusztig's $\mathbf{a}$-function is formulated (and proved for type $A$). The second part deals with the extension algebra of Verma modules. It is shown that this algebra is in a natural way $\mathbb{Z}^2$-graded and that it has two $\mathbb{Z}$-graded Koszul subalgebras. The dimension of the space $\mathrm{Ext}^1$ int…
K. Igusa and G. Todorov introduced two functions $ϕ$ and $ψ,$ which are natural and important homological measures generalising the notion of the projective dimension. These Igusa-Todorov functions have become into a powerful tool to understand better the finitistic dimension conjecture. In this paper, for an artin $R$-algebra $A$ and the Igusa-Todorov function $ϕ,$ we characterise the $ϕ$-dimension of $A$ in terms either of the bi-functors $\mathrm{Ext}^{i}_{A}(-, -)$ or Tor's bi-functors $\mathrm{Tor}^{A}_{i}(-,-).$ Furthermore, by using the first characterisation of the $ϕ$-dimension, we sh…
We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of Bøgvad, showing that if a finite-dimensiona…
A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms of extensions and of Hochschild cohomology, and finiteness in general is derived from homological conjectures. Then invariance under stable equivalences is shown to hold, with some exceptions when there are nodes in case of additive equivalences, and without exceptions in case of triangulated equivalences. Stable equivalences of Morita type and derived equiva…
We begin the study of simple finite-dimensional prime representations of quantum affine algebras from a homological perspective. Namely, we explore the relation between self extensions of simple representations and the property of being prime. We show that every nontrivial simple module has a nontrivial self extension. Conversely, if a simple representation has a unique nontrivial self extension up to isomorphism, then its Drinfeld polynomial is a power of the Drinfeld polynomial of a prime representation. It turns out that, in the sl(2) case, a simple module is prime if and only if it has a u…
Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades. In this report we review the basic theory of Gorenstein homological algebra of artin algebras. It is hoped that such a theory will help to understand the famous Gorenstein symmetric conjecture of artin algebras. With only few exceptions all the results in this report are contained in the existing literature. We have tried to keep the exposition as self-contained as possible. This report can be viewed as a preparation for learning the newly developed th…
We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an $n$-dimensional affine hypersurface of degree $n + 2$ and the double cover of the $n$-dimensional affine space br…
Given a finite dimensional algebra $Λ$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(Λ\rm{-mod})$ of all finitely generated (left) $Λ$-modules of finite projective dimension, namely contravariant finiteness of ${\cal P}^{\infty}(Λ\rm{-mod})$ in $Λ\rm{-mod}$, forces arbitrary modules of finite projective dimension to be direct limits of objects in ${\cal P}^{\infty}(Λ\rm{-mod})$. Among numerous applications, this yields an encompassing sufficient condition for the validity of the first finitistic dimension conjecture, that is, for the little finit…
We prove that the Tate conjecture is invariant under Homological Projective Duality (=HPD). As an application, we prove the Tate conjecture in the new cases of linear sections of determinantal varieties, and also in the cases of complete intersections of two quadrics. Furthermore, we extend the Tate conjecture from schemes to stacks and prove it for certain global orbifolds
We construct a faithful categorical action of the type $B$ braid group on the bounded homotopy category of finitely generated projective modules over a finite dimensional algebra which we call the type $B$ zigzag algebra. This categorical action is closely related to the action of the type $B$ braid group on curves on the disc. Thus, our exposition can be seen as a type $B$ analogue of the work of Khovanov-Seidel in arXiv:math/0006056. Moreover, we relate our topological (respectively categorical) action of the type $B$ Artin braid group to their topological (respectively categorical) action o…
