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 generalize the corresponding results in [CCS1] [CCS2] [CK1] to non-simply-laced case. Given a finite quiver (with trivial valuations) without oriented cycles, fixed a tilting seed $(V, B_V)$, it is proved that the existence and uniqueness of a bijection (abstractly, not in explicit form, compare [CK2]) from the set of exceptional indecomposable objects in the cluster categories to the set of cluster variables associated to $B_V$ which sends $ V_i[1]$ to $u_i$ and sends cluster tilting objects to clusters.
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…
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 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.
Deformed preprojective algebras are generalizations of the usual preprojective algebras introduced by Crawley-Boevey and Holland, which have applications to Kleinian singularities, the Deligne-Simpson problem, integrable systems and noncommutative geometry. In this paper we offer three contributions to the study of such algebras: (1) the 2-Calabi-Yau property; (2) the unification of the reflection functors of Crawley-Boevey and Holland with reflection functors for the usual preprojective algebras; and (3) the classification of tilting ideals in 2-Calabi-Yau algebras, and especially in deformed…
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.
We study tilting complexes over preprojective algebras of Dynkin type. We classify all tilting complexes by giving a bijection between tilting complexes and the braid group of the corresponding folded graph. In particular, we determine the derived equivalence class of the algebra. For the results, we develop the theory of silting-discrete triangulated categories and give a criterion of silting-discreteness.
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.
For a commutative ring $R$ and an ADE Dynkin quiver $Q$, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as $R$-algebras if and only if the bad primes for $Q$ (2 in type D, 2 and 3 for $Q = E_{6}$, $E_{7}$ and 2, 3 and 5 for $Q= E_{8}$) are invertible in $R$. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2, 1/3]$ for $Q = E_{6}$, $E_{7}$ and over $\mathbb{Z}[1/2, 1/3, 1/5]$ for $Q=E_{8}$. Conversely, if some bad prime is not invertible in $R…
Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between…
The goal of this paper is to prove that if Q is a connected non-Dynkin quiver then the preprojective algebra of Q over any field k is Koszul, and has Hilbert series 1/(1-Ct+t^2), where C is the adjacency matrix of the double of Q. (This result, in somewhat less general formulations, was previously obtained by Martinez-Villa and Malkin-Ostrik-Vybornov). We also prove a similar result for the partial preprojective algebra of any connected quiver Q, associated to a subset J of the set I of vertices of Q (by definition, this is the quotient of the path algebra of the double by the preprojective al…
Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an application we obtain that all cluster monomials of $\C[N]$ belong to the dual semicanonical basis.
Let $Q$ be a finite quiver of Dynkin type and $Λ=Λ_Q$ be the preprojective algebra of $Q$ over an algebraically closed field $k$. Let $\mathcal {T}_Λ$ be the mutation graph of maximal rigid $Λ$ modules. Geiss, Leclerc and Schr$\ddot{\rm o}$er conjectured that $\mathcal {T}_Λ$ is connected, see [C.Geiss, B.Leclerc, J.Schröer, Rigid modules over preprojective algebras, Invent.Math., 165(2006), 589-632]. In this paper, we prove that this conjecture is true when $Λ$ is of representation finite type or tame type. Moreover, we also prove that $\mathcal {T}_Λ$ is isomorphic to the tilting graph of ${…
Let $Q$ be a finite type quiver i.e. ADE Dynkin quiver. Denote by $Λ$ its preprojective algebra. It is known that there are finitely many indecomposable $Λ$-modules if and only if $Q$ is of type $A_1,A_2,A_3,A_4$. In this paper, extending Lusztig's construction of $U\frak{n}_+$, we study an algebra generated by these indecomposable submodules. It turns out that it forms the universal enveloping algebra of some nilpotent Lie algebra inside the function algebra on Lusztig's nilpotent scheme. The defining relations of the corresponding nilpotent Lie algebra for type $A_1, A_2,A_3,A_4$ are given h…
For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.
We determine the PBW deformations of the wreath product of a symmetric group with a deformed preprojective algebra of an affine Dynkin quiver. In particular, we show that there is precisely one parameter which does not come from deformation of the preprojective algebra. We prove that the PBW deformation is Morita equivalent to a corresponding symplectic reflection algebra for wreath product.
Certain results on representations of quivers have analogs in the structure theory of general Coxeter groups. A fixed Coxeter element turns the Coxeter graph into an acyclic quiver, allowing for the definition of a preprojective root. A positive root is an analog of an indecomposable representation of the quiver. The Coxeter group is finite if and only if every positive root is preprojective, which is analogous to the well-known result that a quiver is of finite representation type if and only if every indecomposable representation is preprojective. Combinatorics of orientation-admissible word…
Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $λ$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded derived category of $\mathbf{k} Q$ that satisfy what we call the $λ$-relations. When $λ=1$, the relations are known as mesh relations. When $λ=-1$, they are known as commutativity relations. Using this technique together with the results given by Baer-Geigle-Lenzing, Crawley-Boevey, Ringel, and others, we show that for any tree-type quiver, several descriptions of its p…
We prove that every deformed preprojective algebra of Dynkin type $\mathbb{E}_6$ is isomorphic to the preprojective algebra of Dynkin type $\mathbb{E}_6$.
Following the article of C. M. Ringel we introduce preprojective algebras of a Dynkin quiver $Q$ starting from three definitions which, despite concerning completely different algebraic structures, turn out to be equivalent. Our main result is a new version of Ringel's proofs that applies a theorem by Happel and exploits the techniques of homological algebra. Moreover we show that the definition of the preprojective algebra given with the usual notion of commutator is equivalent to the definition with the "generalised" commutator.
We provide a complete classification of finite-dimensional self-injective algebras which are socle equivalent to preprojective algebras of generalized Dynkin type. In particular, we conclude that these algebras are deformed preprojective algebras of generalized Dynkin type (in the sense of [5, 12]), and hence are periodic algebras.
In this paper, we give sufficient properties for a finite dimensional graded algebra to be a higher preprojective algebra. These properties are of homological nature, they use Gorensteiness and bimodule isomorphisms in the stable category of Cohen-Macaulay modules. We prove that these properties are also necessary for $3$-preprojective algebras using \cite{Kel11} and for preprojective algebras of higher representation finite algebras using \cite{Dugas}.
The properties of the preprojective algebra are very di fferent whether the associated quiver is of Dynkin type or not. However in both cases, one can construct from it a triangulated category of Calabi-Yau dimension 2. In this note we explain the generalizations of this fact in the context of higher preprojective algebra, and we give some homological properties that characterize preprojective algebras.
We give a class of finite subgroups $G<SL(n, k)$ for which the skew-group algebra $k[x_1,\ldots, x_n]\#G$ does not admit the grading structure of a higher preprojective algebra. Namely, we prove that if a finite group $G<SL(n, k)$ is conjugate to a finite subgroup of $SL(n_1, k)\times SL(n_2, k)$, for some $n_1, n_2\geq 1$, then the skew-group algebra $k[x_1,\ldots,x_n]\#G$ is not Morita equivalent to a higher preprojective algebra. This is related to the preprojective algebra structure on the tensor product of two Koszul bimodule Calabi-Yau algebras. We prove that such an algebra cannot be en…
We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions …
We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra.
Preprojective algebras and generalisations: A short survey
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Graduate School of Mathematical Sciences, University of Tokyo（东京大学大学院数理科学研究科）；Mathematical Institute of the University of Bonn（波恩大学数学研究所）
We compute the Hochschild Cohomology of a finite-dimensional preprojective algebra of generalized Dynkin type Ln over a field of characteristic different from 2 . In particular, we describe the ring structure of the Hochschild Cohomology ring under the Yoneda product by giving an explicit presentation by generators and relations.
In this paper, we study a preprojective algebra for quivers decorated with $k$-algebras and bimodules, which generalizes work of Gabriel for ordinary quivers, work of Dlab and Ringel for $k$-species, and recent work of de Thanhoffer de Völcsey and Presotto, which has recently appeared from a different perspective in work of Külshammer. As for undecorated quivers, we show that its moduli space of representations recovers the Hamiltonian reduction of the cotangent bundle over the space of representations of the decorated quiver. These algebras yield degenerations of ordinary preprojective algebr…
We compute explicitly up to Morita-equivalence the skew group algebra of a finite group acting on the path algebra of a quiver and the skew group algebra of a finite group acting on a preprojective algebra. These results generalize previous results of Reiten and Riedtmann for a cyclic group acting on the path algebra of a quiver and of Reiten and Van den Bergh for a finite subgroup of $\SL(\C X \oplus \C Y)$ acting on $\C[X, Y]$.
In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.
The work of the first author on the moment map for representations of quivers included a classification of the possible dimension vectors of simple modules for deformed preprojective algebras. That classification was later used to solve an additive analogue of the Deligne-Simpson problem. The last step in the proof of the classification involved some general position arguments; here we give a new approach which avoids such arguments.
The purpose of this paper is to apply the theory of MV polytopes to the study of components of Lusztig's nilpotent varieties. Along the way, we introduce reflection functors for modules over the non-deformed preprojective algebra of a quiver.
Quivers play an important role in the representation theory of algebras, with a key ingredient being the path algebra and the preprojective algebra. Quiver grassmannians are varieties of submodules of a fixed module of the path or preprojective algebra. In the current paper, we study these objects in detail. We show that the quiver grassmannians corresponding to submodules of certain injective modules are homeomorphic to the lagrangian quiver varieties of Nakajima which have been well studied in the context of geometric representation theory. We then refine this result by finding quiver grassm…
In this article we study the properties of preprojective algebras of representation finite species. To understand the structure of a preprojective algebra, one often studies its Nakayama automorphism. A complete description of the Nakayama automorphism is given by Brenner, Butler and King when the algebra is given by a path algebra. We generalize this result to the species case. We show that the preprojective algebra of a representation finite species is an almost Koszul algebra. With this we know that almost Koszul complexes exist. It turns out that the almost Koszul complex for a representat…
The aim of this paper is to study the space of stability conditions on the bounded derived category of nilpotent modules over the preprojective algebra associated with a quiver without loops. We describe this space as a covering space of some open set determined by the root system of the Kac-Moody Lie algebra associated with the quiver.
Let $Q$ be an acyclic quiver, it is classical that certain truncations of the translation quiver $\mathbb Z Q$ appear in the Auslander-Reiten quiver of the path algebra $kQ$. The stable $n$-translation quiver $\mathbb Z|_{n-1} Q$ is introduced as a generalization of the $\mathbb Z Q$ construction in studying higher representation theory of algebras for an acyclic bound quiver $Q$. In this paper, we find conditions for a Hom-finite Krull-Schmidt $k$-category to be realized as the bound path category of a convex full subquiver of an stable $n$-translation quiver.We show that for $n$-slice algebr…
Maximal green sequences were introduced as combinatorical counterpart for Donaldson-Thomas invariants for 2-acyclic quivers with potential by B. Keller. We take the categorical notion and introduce maximal green sequences for hearts of bounded t-structures of triangulated categories that can be tilted indefinitely. We study the case where the heart is the category of modules over the preprojective algebra of a quiver without loops. The combinatorical counterpart of maximal green sequences for Dynkin quivers are maximal chains in the Hasse quiver of basic support τ-tilting modules. We show that…
We calculate the additive and multiplicative structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types T. We also compute the calculus structure which is formed by the Hochschild homology/cohomology pair.
We generalize to the non simply-laced case results of Geiß, Leclerc and Schröer about the cluster structure of the coordinate ring of the maximal unipotent subgroups of simple Lie groups. In this way, cluster structures in the non simply-laced case can be seen as projections of cluster structures in the simply-laced case. This allows us to prove that cluster monomials are linearly independent in the non simply-laced case.
Let $Q$ be an acyclic quiver and $Λ$ be the complete preprojective algebra of $Q$ over an algebraically closed field $k$. To any element $w$ in the Coxeter group of $Q$, Buan, Iyama, Reiten and Scott have introduced and studied in \cite{Bua2} a finite dimensional algebra $Λ_w=Λ/I_w$. In this paper we look at filtrations of $Λ_w$ associated to any reduced expression $\mathbf{w}$ of $w$. We are especially interested in the case where the word $\mathbf{w}$ is $c$-sortable, where $c$ is a Coxeter element. In this situation, the consecutive quotients of this filtration can be related to tilting $kQ…
We introduce for each quiver $Q$ and each algebraic oriented cohomology theory $A$, the cohomological Hall algebra (CoHA) of $Q$, as the $A$-homology of the moduli of representations of the preprojective algebra of $Q$. This generalizes the $K$-theoretic Hall algebra of commuting varieties defined by Schiffmann-Vasserot. When $A$ is the Morava $K$-theory, we show evidence that this algebra is a candidate for Lusztig's reformulated conjecture on modular representations of algebraic groups. We construct an action of the preprojective CoHA on the $A$-homology of Nakajima quiver varieties. We comp…
For any given symmetrizable Cartan matrix $C$ with a symmetrizer $D$, Geiß~ et al. (2016) introduced a generalized preprojective algebra $Π(C, D)$. We study tilting modules and support $τ$-tilting modules for the generalized preprojective algebra $Π(C, D)$ and show that there is a bijection between the set of all cofinite tilting ideals of $Π(C,D)$ and the corresponding Weyl group $W(C)$ provided that $C$ has no component of Dynkin type. When $C$ is of Dynkin type, we also establish a bijection between the set of all basic support $τ$-tilting $Π(C,D)$-modules and the corresponding Weyl group $…
Suppose that $Q$ is a finite quiver and $G\subseteq \Aut(Q)$ is a finite group, $k$ is an algebraic closed field whose characteristic does not divide the order of $G$. For any algebra $Λ=kQ/{\mathcal {I}}$, $\mathcal {I}$ is an arbitrary ideal of path algebra $kQ$, we give all the indecomposable $ΛG$-modules from indecomposable $Λ$-modules when $G$ is abelian. In particular, we apply this result to the deformed preprojective algebra $Π_{Q}^λ$, and get a reflection functor for the module category of $Π_{Q}^λG$. Furthermore, we construct a new quiver $Q_{G}$ and prove that $Π_{Q}^λG$ is Morita e…
In this paper, we study two-sided tilting complexes of preprojective algebras of Dynkin type. We construct the most fundamental class of two-sided tilting complexes, which has a group structure by derived tensor products and induces a group of auto-equivalences of the derived category. We show that the group structure of the two-sided tilting complexes is isomorphic to the braid group of the corresponding folded graph. Moreover we show that these two-sided tilting complexes induce tilting mutation and any tilting complex is given as the derived tensor products of them. Using these results, we …
Bialkowski, Erdmann and Skowronski classified those indecomposable self-injective algebras for which the Nakayama shift of every (non-projective) simple module is isomorphic to its third syzygy. It turned out that these are precisely the deformations, in a suitable sense, of preprojective algebras associated to the simply laced ADE Dynkin diagrams and of another graph L_n, which also occurs in the Happel-Preiser-Ringel classification of subadditive but not additive functions. In this paper we study these deformed preprojective algebras of type L via their Kuelshammer spaces, for which we give …
