We construct an action of a braid group associated to a complete graph on the derived category of a certain symmetric Nakayama algebra which is also a Brauer star algebra with no exceptional vertex. We connect this action with the affine braid group action on Brauer star algebras defined by Schaps and Zakay-Illouz. We show that for Brauer star algebras with no exceptional vertex, the action is faithful.
Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$, and answer positively an open question of Nagpal on representation stability theory.
Let $A$ be a Nakayama algebra. We give a description of the singularity category of $A$ inside its stable module category. We prove that there is a duality between the singularity category of $A$ and the singularity category of its opposite algebra. As a consequence, the resolution quiver of $A$ and the resolution quiver of its opposite algebra have the same number of cycles and the same number of cyclic vertices.
The stable module category has been realized as a subcategory of the unbounded homotopy category of projective modules by Kato. We construct the triangulated hull of this subcategory inside the homotopy category. This can also be used to characterize self-injective algebras. Moreover, we extend this construction to a subcategory closed under an induced Nakayama functor. Both of these categories are shown to be preserved by stable equivalences of Morita type. As an application, we study the Grothendieck group of this triangulated hull and compare it with the stable Grothendieck group.
This present paper is devoted to the study of a class of Nakayama algebras $N_n(r)$ given by the path algebra of the equioriented quiver $\mathbb{A}_n$ subject to the nilpotency degree $r$ for each sequence of $r$ consecutive arrows. We show that the Nakayama algebras $N_n(r)$ for certain pairs $(n,r)$ can be realized as endomorphism algebras of tilting objects in the bounded derived category of coherent sheaves over a weighted projective line, or in its stable category of vector bundles. Moreover, we classify all the Nakayama algebras $N_n(r)$ of Fuchsian type, that is, derived equivalent to …
We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra.
In this paper we study the category of finitely generated modules over a right $3$-Nakayama artin algebra. First we give a characterization of right $3$-Nakayama artin algebras and then we give a complete list of non-isomorphic finitely generated indecomposable modules over any right $3$-Nakayama artin algebra. Also we compute all almost split sequences for the class of right $3$-Nakayama artin algebras. Finally, we classify finite dimensional right $3$-Nakayama algebras in terms of their quivers with relations.
$n\mathbb{Z}$-cluster tilting subcategories are an ideal setting for higher dimensional Auslander-Reiten theory. We give a complete classification of $n\mathbb{Z}$-cluster tilting subcategories of module categories of Nakayama algebras. In particular, we show that there are three kinds of Nakayama algebras that admit $n\mathbb{Z}$-cluster tilting subcategories: finite global dimension, selfinjective and non-Iwanaga-Gorenstein. Only the selfinjective ones can admit more than one $n\mathbb{Z}$-cluster tilting subcategory. It has been shown by the second author, that each such $n\mathbb{Z}$-clust…
The aim of this note is to outline the structure of the category of the Gorenstein projective modules for a Nakayama algebra. We are going to introduce the resolution quiver of such an algebra. It provides a fast algorithm in order to obtain the Gorenstein projective modules and to decide whether the algebra is a Gorenstein algebra or not, and whether it is CM-free or not.
We associate to a localizable module a left retraction of algebras; it is a homological ring epimorphism that preserves singularity categories. We study the behavior of left retractions with respect to Gorenstein homological properties (for example, being Gorenstein algebras or CM-free). We apply the results to Nakayama algebras. It turns out that for a connected Nakayama algebra $A$, there exists a connected self-injective Nakayama algebra $A'$ such that there is a sequence of left retractions linking $A$ to $A'$; in particular, the singularity category of $A$ is triangle equivalent to the st…
If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$, then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$-modules is a finite abelian category. We give an explicit formula of the Nakayama functor of $\mathbf{T}\mbox{-mod}$ under the assumption that the underlying functor of the monad $\mathbf{T}$ has a double left adjoint and a double right adjoint. As applications, we deduce formulas of the Nakayama functor of the center of a finite bimodule category and the dual of a finite tensor category. Some examples from the Hopf algebra the…
We describe the combinatorics of the cell structure of the tensor category of bimodules over a radical square zero Nakayama algebra. This accounts to an explicit description of left, right, and two-sided cells.
We determine the derived representation type of Nakayama algebras and prove that a derived tame Nakayama algebra without simple projective module is gentle or derived equivalent to some skewed-gentle algebra, and as a consequence, we determine its singularity category.
We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor $Σ$ on a finite abelian category $\mathcal{M}$, we introduce the notion of a $Σ$-twisted trace on the class $\mathrm{Proj}(\mathcal{M})$ of projective objects of $\mathcal{M}$. In our framework, there is a one-to-one correspondence between the set of $Σ$-twisted traces on $\mathrm{Proj}(\mathcal{M})$ and the set of natural transformations from $Σ$ to the Nakayama functor of $\mathcal{M}$. Non-degeneracy and compatibility with the module structure (when $\mat…
In this paper we introduce a generalization of the Nakayama functor for finite-dimensional algebras. This is obtained by abstracting its interaction with the forgetful functor to vector spaces. In particular, we characterize the Nakayama functor in terms of an ambidextrous adjunction of monads and comonads. In the second part we develop a theory of Gorenstein homological algebra for such Nakayama functor. We obtain analogues of several classical results for Iwanaga-Gorenstein algebras. One of our main examples is the module category $Λ\text{-}\operatorname{Mod}$ of a $k$-algebra $Λ$, where $k$…
Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an explicit construction of simple-minded systems over self-injective Nakayama algebras.
We construct two functors from the submodule category of a self-injective representation-finite algebra $Λ$ to the module category of the stable Auslander algebra of $Λ$. These functors factor through the module category of the Auslander algebra of $Λ$. Moreover they induce equivalences from the quotient categories of the submodule category modulo their respective kernels and said kernels have finitely many indecomposable objects up to isomorphism. Their construction uses a recollement of the module category of the Auslander algebra induced by an idempotent and this recollement determines a ch…
Enomoto showed for finite dimensional algebras that the classification of exact structures on the category of finitely generated projective modules can be reduced to the classification of 2-regular simple modules. In this article, we give a combinatorial classification of 2-regular simple modules for Nakayama algebras and we use this classification to answer several natural questions such as when there is a unique exact structure on the category of finitely generated projective modules for Nakayama algebras. We also classify 1-regular simple modules, quasi-hereditary Nakayama algebras and Naka…
We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher Auslander--Reiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$-cluster-tilting $A^{(d)}$-module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes.
We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal category. We construct representations of this monoidal category on category O of a complex semi-simple Lie algebra and on constructible sheaves over flag varieties. We also consider general constructions of self-equivalences as reflections around another category.
We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a Frobenius, respectively separable, algebra in the category of bimodules over $R$. In the case when $R$ is separable we show that the extension is separable if and only if $S$ is a separable algebra. Similarly, in the case when $R$ is Frobenius and separable in a sovereign monoidal category we show that the extension is Frobenius if and only if $S$ is a Frobeniu…
This is the eighth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VIII), we construct the braided tensor category structure, using the previously developed results.
Bicomplexes of vector spaces frequently appear throughout algebra and geometry. In Section 2 we explain how to think about the arrows in the spectral sequence of a bicomplex via its indecomposable summands. Polycomplexes seem to be much more rare. In Section 3 of this paper we rethink a well-known faithful categorical braid group action via an action on the stable category of tricomplexes.
For any cyclic Nakayama algebra $Λ$, we construct \emph{syzygy filtered algebra} $\bm\varepsilon(Λ)$ which corresponds to various syzygy modules as the name suggests. We prove that the category of modules over the syzygy filtered algebra $\bm\varepsilon(Λ)$ is equivalent to the wide subcategory cogenerated by projective-injective modules of the original algebra $Λ$ along with other categorical equivalences. In terms of this new algebra, we interpret the following homological invariants of $Λ$: left and right finitistic dimension, left and right $φ$-dimension, Gorenstein dimension, dominant dim…
Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the notions of extension (i.e., enlargement) of $V$ and of commutative associative algebra, with uniqueness of unit and with trivial twist, in the braided tensor category of $V$-modules are equivalent.
Here a loop braid representation is a monoidal functor $\mathsf{F}$ from the loop braid category $\mathsf{L}$ to a suitable target category, and is $N$-charge-conserving if that target is the category $\mathsf{Match}^N$ of charge-conserving matrices (specifically $\mathsf{Match}^N$ is the same rank-$N$ charge-conserving monoidal subcategory of the monoidal category $\mathsf{Mat}$ used to classify braid representations in arXiv:2112.04533) with $\mathsf{F}$ strict, and surjective on $\mathbb{N}$, the object monoid. We classify and construct all such representations. In particular we prove that …
A braid representation is a monoidal functor from the braid category $\mathsf{B}$, for example given by a solution to the constant Yang-Baxter equation. Given a monoidal category $\mathsf{C}$ with $ob(\mathsf{C})=\mathbb{N}$, a rank-$N$ charge-conserving representation (or spin-chain representation) is a strict monoidal functor $F$ from $\mathsf{C}$ to the category $\mathrm{Match}^N$ of rank-$N$ charge-conserving matrices that is natural in the sense that $F(1)=1$}. In this work we construct all spin-chain braid representations, and classify up to suitable notions of isomorphism.
Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum Grothendieck ring $K_t(\mathfrak{g})$ of Hernandez-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors $\{\mathscr{S}_i\}_{i\in \mathbb{Z}}$ on a localization $T_N$ of the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. Under an isomorphism bet…
In this expository paper, we discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the cactus group. We focus on the categories of representations of quantum groups and crystals and explain how while the former is a braided monoidal category, this structure does not pass to the crystal limit. However, the categories of representations of quantum groups of finite type also possess the structure of a coboundary category which does behave well in…
We deduce a necessary condition for Auslander-Reiten components of the bounded derived category of a finite dimensional algebra to have Euclidean tree class by classifying certain types of irreducible maps in the category of complexes. This result shows that there are only finitely many Auslander-Reiten components with Euclidean tree class up to shift. Also the Auslander-Reiten quiver of certain classes of Nakayama are computed directly and it is shown that they are piecewise hereditary. Finally we state a condition for $\Z[A_{\infty}]$-components to appear in the Auslander-Reiten quiver gener…
Let ${\mathfrak g}$ be a finite dimensional complex semisimple Lie algebra. The finite dimensional representations of the quantized enveloping algebra $U_q({\mathfrak g})$ form a braided monoidal category $O_{int}$. We show that the category of finite dimensional representations of a quantum symmetric pair coideal subalgebra $B_{c,s}$ of $U_q({\mathfrak g})$ is a braided module category over an equivariantization of $O_{int}$. The braiding for $B_{c,s}$ is realized by a universal K-matrix which lies in a completion of $B_{c,s}\otimes U_q({\mathfrak g})$. We apply these results to describe a di…
Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.
We introduce and study symmetric and exterior algebras in braided monoidal categories such as the category O for quantum groups. We relate our braided symmetric algebras and braided exterior algebas with their classical counterparts.
We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi-Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi-Yau category is simply connected in the sequel.
Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question. In particular we prove that the associator is fixed by the oplax tensor functors, and we show that a distinguished role is played by the coalgebra structure on the image of theses tensor functors. Our setup constrains the form of quasi bialgebras appearing in the logarithmic Kazhdan-Lusztig conjecture and it applies in particular to the representation categ…
Path algebras are a convenient way of describing decompositions of tensor powers of an object in a tensor category. If the category is braided, one obtains representations of the braid groups $B_n$ for all $n\in \N$. We say that such representations are rigid if they are determined by the path algebra and the representations of $B_2$. We show that besides the known classical cases also the braid representations for the path algebra for the 7-dimensional representation of $G_2$ satisfies the rigidity condition, provided $B_3$ generates $\End(V^{\otimes 3})$. We obtain a complete classification …
