In this paper, we show that for a Koszul $n$-homogeneous algebra $Λ$, the quadratic dual of certain twisted trivial extension is the $(n+1)$-preprojective algebra of its quadratic dual, that is, $ (Δ_νΛ)^{!,op} \simeqΠ( Λ^{ !, op })$. This is applied to the $τ$-slice algebras of stable $n$-translation algebras and gives a noncommutative version of Bernstein-Gelfand-Gelfand correspondence for such algebras.
We determine the structure of the center and the trace space of the centrally extended preprojective algebra of an ADE quiver, introduced by the first and the third authors in math/0503393. It turns out that this structure has a mysterious relationship to the structure of the maximal nilpotent subalgebra of the corresponding simple Lie algebra.
In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the r…
For any valued quiver, by using BGP-reflection functors, an injection from the set of preprojective objects in the cluster category to the set of cluster variables of the corresponding cluster algebra is given, the images are called preprojective cluster variables. It is proved that all preprojective cluster variables have denominators $u^{\underline{dim}M}$ in their irreducible fractions of integral polynomials, where $M$ is the corresponding preprojective module or preinjective module. If the quiver is of Dynkin type, we generalize the denominator theorem in [FZ2] to any seed, and also gener…
Let A be the central extension of the preprojective algebra of an ADE quiver introduced by P. Etingof and E. Rains in math/0503393. The paper math/0606403 computes the structure of the zeroth Hochschild (co)homology of A. We generalize the results of math/0606403 by calculating the additive structure of all the Hochschild homology and cohomology groups of A and the cyclic homology of A, and to describe the universal deformation of A. Namely, we show that the (co)homology is periodic with period 4, and compute the first four (co)homology groups in each case.
We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra). We calculate the Hilbert polynomial of the central extension, and show that it is a Frobenius algebra. As a corollary, we obtain the Hilbert series of the usual deformed preprojective algebra in which the deformation parameters are variables, and show that this algebra is Gorenstein (although it is not a flat module over the ring of parameters). The proofs ar…
The goal of this note two-fold. First, I draw attention to the way that semistability (in the sense of King) gives us a geometrical picture of (some of) the extension-closed abelian subcategories of a finite-dimensional algebra. Second, I describe Nathan Reading's shards of a hyperplane arrangement, and explain their relevance to understanding the semistability picture for finite-type preprojective algebras.
We construct a numeric algorithm for completing the proof of a conjecture asserting that all deformed preprojective algebras of generalized Dynkin type are periodic. In particular, we obtain an algorithmic procedure showing that non-trivial deformed preprojective algebras of Dynkin types $\mathbb{E}_7$ and $\mathbb{E}_8$ exist only in characteristic 2. As a consequence, we show that deformed preprojective algebras of Dynkin types $\mathbb{E}_6$, $\mathbb{E}_7$ and $\mathbb{E}_8$ are periodic and we obtain an algorithm for a classification of such algebras, up to algebra isomorphism. We do it b…
We give an interpretation of the $(q,t)$-deformed Cartan matrices of finite type and their inverses in terms of bigraded modules over the generalized preprojective algebras of Langlands dual type in the sense of Geiß-Leclerc-Schröer [Invent. math. 209 (2017)]. As an application, we compute the first extension groups between the generic kernels introduced by Hernandez-Leclerc [J. Eur. Math. Soc. 18 (2016)], and propose a conjecture that their dimensions coincide with the pole orders of the normalized $R$-matrices between the corresponding Kirillov-Reshetikhin modules.
We show that if H is a hereditary finite dimensional algebra, M is a finitely generated H-module and B is a semisimple subalgebra of the endomorphism algebra of M, then the representation dimension of the corresponding triangular matrix algebra is less or equal to 3 whenever one of the following conditions hold: i) H is of finite representation type; ii) H is tame and M is a direct sum of regular and preprojective modules; iii) M has no self-extensions
Lattice structure of Weyl groups via representation theory of preprojective algebras
Nagoya University（名古屋大学）；North Carolina State University（北卡罗来纳州立大学）；Norges teknisk-naturvitenskapelige universitet（挪威科技大学）；Université du Québec à Montréal（蒙特利尔大学）
We introduce and study a fermionization procedure for the cohomological Hall algebra $\mathcal{H}_{Π_Q}$ of representations of a preprojective algebra, that selectively switches the cohomological parity of the BPS Lie algebra from even to odd. We do so by determining the cohomological Donaldson--Thomas invariants of central extensions of preprojective algebras studied in the work of Etingof and Rains, via deformed dimensional reduction. Via the same techniques, we determine the Borel-Moore homology of the stack of representations of the $μ$-deformed preprojective algebra introduced by Crawley-…
For $(Q,W)$ a symmetric quiver with potential satisfying a Künneth-type condition, we construct (positive and negative) extensions of its K-theoretic Hall algebra which are bialgebras. In particular, there are bialgebra extensions of preprojective KHAs of a quiver $Q$ and one can construct their Drinfeld double algebra.
Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.
Rank $1$ modules are the building blocks of the category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra of affine type $A$. Jensen, King and Su showed in \cite{JKS16} that the category ${\rm CM}(B_{k,n})$ provides an additive categorification of the cluster algebra structure on the coordinate ring $\mathbb C[{\rm Gr}(k, n)]$ of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$. Rank $1$ modules are indecomposable, they are known to be in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has…
In this paper we give a characterisation of trivial extension algebras in terms of quivers with relations. This result is based on a explicit description of the ideal of relations of the trivial extension of an algebra, given by the first author in the appendix. We also give a new proof of Wakamatsu's theorem in terms of their quiver and relations, which determines when two given algebras have isomorphic trivial extensions.
We prove that a certain pair of bimodules over two artin algebras gives rise to a triangle equivalence between the singularity categories of the two corresponding trivial extension algebras. Some consequences and an example are given.
In this work we study the connection between iterated tilted algebras and m-cluster tilted algebras. We show that an iterated tilted algebra induces an m-cluster tilted algebra. This m-cluster tilted algebra can be seen as a trivial extension of another iterated tilted algebra which is derived equivalent to the original one. We give a procedure to find this new iterated tilted algebra. These m-cluster tilted algebras are quotients of higher relation extensions.
Given a finite dimensional algebra $C$ (over an algebraically closed field) of global dimension at most two, we define its relation-extension algebra to be the trivial extension $C\ltimes \Ext_C^2(DC,C)$ of $C$ by the $C$-$C$-bimodule $\Ext_C^2(DC,C)$. We give a construction for the quiver of the relation-extension algebra in case the quiver of $C$ has no oriented cycles. Our main result says that an algebra $\tilde C$ is cluster-tilted if and only if there exists a tilted algebra $C$ such that $\tilde C$ is isomorphic to the relation-extension of $C$.
In this paper, we initiate the study of higher-dimensional Auslander-Reiten theory of self-injective algebras. We give a systematic construction of (weakly) $d$-representation-finite self-injective algebras as orbit algebras of the repetitive categories of algebras of finite global dimension satisfying a certain finiteness condition for the Serre functor. The condition holds, in particular, for all fractionally Calabi-Yau algebras of global dimension at most $d$. This generalizes Riedtmann's classical construction of representation-finite self-injective algebras. Our method is based on an adap…
For a positively graded artin algebra $A=\oplus_{n\geq 0}A_n$ we introduce its Beilinson algebra $\mathrm{b}(A)$. We prove that if $A$ is well-graded self-injective, then the category of graded $A$-modules is equivalent to the category of graded modules over the trivial extension algebra $T(\mathrm{b}(A))$. Consequently, there is a full exact embedding from the bounded derived category of $\mathrm{b}(A)$ into the stable category of graded modules over $A$; it is an equivalence if and only if the 0-th component algebra $A_0$ has finite global dimension.
Let $A= Λ\oplus C$ be a trivial extension algebra. The aim of this paper is to establish formulas for the projective dimension and the injective dimension for a certain class of $A$-modules which is expressed by using the derived functors $- \otimes^{\mathbb{L}}_ΛC$ and $\mathbb{R}\text{Hom}_Λ(C, -)$. Consequently, we obtain formulas for the global dimension of $A$, which gives a modern expression of the classical formula for the global dimension by Palmer-Roos and Löfwall that is written in complicated classical derived functors. The main application of the formulas is to give a necessary and…
Given a finite--dimensional monomial algebra $A$ we consider the trivial extension $TA$ and provide formulae, depending on the characteristic of the field, for the dimensions of the summands $HH_1(A)$ and $\Alt(DA)$ of the first Hochschild cohomology group $HH^1(TA)$. From these a formula for the dimension of $HH^1(TA)$ can be derived.
In this paper we define almost gentle algebras. They are monomial special multiserial algebras generalizing gentle algebras. We show that the trivial extension of an almost gentle algebra by its minimal injective co-generator is a symmetric special multiserial algebra and hence a Brauer configuration algebra. Conversely, we show that any almost gentle algebra is an admissible cut of a unique Brauer configuration algebra and as a consequence, we obtain that every Brauer configuration algebra with multiplicity function identically one, is the trivial extension of an almost gentle algebra. We sho…
We show that two well-studied classes of tame algebras coincide: namely, the class of symmetric special biserial algebras coincides with the class of Brauer graph algebras. We then explore the connection between gentle algebras and symmetric special biserial algebras by explicitly determining the trivial extension of a gentle algebra by its minimal injective co-generator. This is a symmetric special biserial algebra and hence a Brauer graph algebra of which we explicitly give the Brauer graph. We further show that a Brauer graph algebra gives rise, via admissible cuts, to many gentle algebras …
We introduce the Hochschild extensions of dg algebras, which are $A_\infty$-algebras. We show that all exact Hochschild extensions are symmetric Hochschild extensions, more precisely, every exact Hochschild extension of a finite dimensional complete typical dg algebra is a symmetric $A_\infty$-algebra. Moreover, we prove that the Koszul dual of trivial extension is Calabi-Yau completion and the Koszul dual of exact Hochschild extension is deformed Calabi-Yau completion, more precisely, the Koszul dual of the trivial extension of a finite dimensional complete dg algebra is the Calabi-Yau comple…
Let $B$ be the split extension of a finite dimensional algebra $C$ by a $C$-$C$-bimodule $E$. We define a morphism of associative graded algebras $φ^*:\HH^*(B)\rightarrow \HH^*(C)$ from the Hochschild cohomology of $B$ to that of $C$, extending similar constructions for the first cohomology groups made and studied by Assem, Bustamante, Igusa, Redondo and Schiffler. In the case of a trivial extension $B=C\ltimes E$, we give necessary and sufficient conditions for each $φ^n$ to be surjective. We prove the surjectivity of $φ^1$ for a class of trivial extensions that includes relation extensions a…
We formulate the Gerstenhaber algebra structure of Hochschild cohomology of finite group extensions of some quantum complete intersections. When the group is trivial, this work characterizes the graded Lie brackets on Hochschild cohomology of these quantum complete intersections, previously only known for a few cases. As an example, we compute the algebra structure for two generator quantum complete intersections extended by select groups.
A conjecture going back to the eighties claims that there are no non-trivial self-extensions of irreducible modules over symmetric groups if the characteristic of the ground field is not equal to $2$. We obtain some partial positive results on this conjecture.
We study (support) $τ$-tilting modules over the trivial extensions of finite dimensional algebras. More precisely, we construct two classes of (support)$τ$-tilting modules in terms of the adjoint functors which extend and generalize the results on (support) $τ$-tilting modules over triangular matrix rings given by Gao-Huang.
The Brauer-Chen algebra is a generalization of the algebra of Brauer diagrams to arbitrary complex reflection groups, that admits a natural monodromic deformation. We determine the generic representation theory of the first non trivial quotient of this algebra. We also define natural extensions of this algebra and prove that they similarly admit natural monodromic deformations.
Given a finite dimensional algebra A of finite global dimension, we consider the trivial extension of A by the A-A-bimodule $\oplus_{i\ge 2} \Ext^2_A(DA,A)$, which we call the higher relation bimodule. We first give a recipe allowing to construct the quiver of this trivial extension in case A is a string algebra and then apply it to prove that, if A is gentle, then the tensor algebra of the higher relation bimodule is gentle.
By Auslander's algebraic McKay correspondence, the stable category of Cohen-Macaulay modules over a simple singularity is equivalent to the $1$-cluster category of the path algebra of a Dynkin quiver (i.e. the orbit category of the derived category by the action of the Auslander-Reiten translation). In this paper we give a systematic method to construct a similar type of triangle equivalence between the stable category of Cohen-Macaulay modules over a Gorenstein isolated singularity $R$ and the generalized (higher) cluster category of a finite dimensional algebra $Λ$. The key role is played by…
Given any representation of an arbitrary Lie algebra L over a field k of characteristic 0, we construct representations of L on bosonic and fermionic Fock space. The method gives an explicit formula for a (sometimes trivial) 2-cocycle in H^2(L;k). We illustrate these techniques with several concrete examples.
