Multiplicative preprojective algebras of Dynkin quivers

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, we show that the additive and multiplicative preprojective algebras differ in zeroth Hochschild homology, and hence are not isomorphic. In fact, one only needs the vanishing of certain classes in zeroth Hochschild homology of the multiplicative preprojective algebra, utilizing a rigidification argument for isomorphisms that may be of independent interest.In the setting of Ginzburg dg-algebras, our obstructions are new in type E and give a more elementary proof of the negative result of Etgü–Lekili [5, Theorem 13] in type D. Moreover, the zeroth Hochschild homology of the multiplicative preprojective algebra, computed in Section 4, can be interpreted as the space of unobstructed deformations of the multiplicative Ginzburg dg-algebra by Van den Bergh duality. Finally, we observe that the multiplicative preprojective algebra is not symmetric Frobenius if $Q\ne A_1$, a departure from the additive preprojective algebra in characteristic 2 for $Q=D_{2n}$, $n\ge 2$ and $Q=E_7$, $E_8$.     

Deformed preprojective algebras and symplectic reflection algebras for wreath products

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.     

Tilted algebras and configurations of self-injective algebras of Dynkin type

We give an easier way to calculate a bijection from the set of isoclasses of tilted algebras of Dynkin type Δ to the set of configurations on the translation quiver ?Δ.     

Minimal algebras of infinite representation type with preprojective component

Let A be a finite dimensional, basic and connected algebra (associative, with 1) over an algebraically closed field k. Denote by e₁,...,e_n a complete set of primitive orthogonal idempotents in A and by A_i= A/Ae_iA. A is called a minimal algebra of infinite representation type provided A is itself of infinite representation type,whereas all A_i, 1≤i≤n,are of finite representation type. The main result gives the classification of the minimal algebras having a preprojective component in their Auslander-Reiten quiver. The classification is obtained by realizing that these algebras are essentially given by preprojective tilting modules over tame hereditary algebras.     

On deformed preprojective 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 preprojective algebras for extended Dynkin quivers.     

Rigid modules over preprojective algebras

Let Λ be a preprojective algebra of simply laced Dynkin type Δ. We study maximal rigid Λ-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 ℂ[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 ℂ[N] belong to the dual semicanonical basis. Mathematics Subject Classification (2000) 14M99, 16D70, 16E20, 16G20, 16G70, 17B37, 20G42     

Semicanonical bases and preprojective algebras

We study the multiplicative properties of the dual of Lusztig's semicanonical basis. The elements of this basis are naturally indexed by the irreducible components of Lusztig's nilpotent varieties, which can be interpreted as varieties of modules over preprojective algebras. We prove that the product of two dual semicanonical basis vectors ρZ^′ and ρZ^″ is again a dual semicanonical basis vector provided the closure of the direct sum of the corresponding two irreducible components Z^′ and Z^″ is again an irreducible component. It follows that the semicanonical basis and the canonical basis coincide if and only if we are in Dynkin type An with n?4. Finally, we provide a detailed study of the varieties of modules over the preprojective algebra of type A₅. We show that in this case the multiplicative properties of the dual semicanonical basis are controlled by the Ringel form of a certain tubular algebra of type (6,3,2) and by the corresponding elliptic root system of type .     

Stable categories of higher preprojective algebras

We introduce (n+1)$(n+1)$-preprojective algebras of algebras of global dimension n$n$. We show that if an algebra is n$n$-representation-finite then its (n+1)$(n+1)$-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)$(n+1)$-preprojective algebra is (n+1)$(n+1)$-Calabi–Yau, and, more precisely, it is the (n+1)$(n+1)$-Amiot cluster category of the stable n$n$-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)$(n+1)$-cluster tilting object. We show that even if the (n+1)$(n+1)$-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n∈{1,2}$n\in \{1,2\}$) the results above still hold for the stable category of Cohen–Macaulay modules.     

Artin algebras with only preprojective or preinjective modules are of finite type

This work was done while the second author visited Toru. This research was partially supported by the Polish Scientific Grant KBN No. 1222/2/91     

Quasitilted algebras admit a preprojective component

Quasitilted algebras are generalizations of tilted algebras. As a main result we show here that the Auslander-Reiten quiver of such an algebra has a preprojective component

     

From submodule categories to preprojective algebras

Let \(S(n)\) be the category of invariant subspaces of nilpotent operators with nilpotency index at most \(n\) . Such submodule categories have been studied already in 1934 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra \(\Pi _n\) of type \(\mathbb {A}_n\) ; the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schröer). We are going to discuss the connection between the submodule category \(\mathcal {S}(n)\) and the module category \(\hbox {mod}\;\Pi _{n-1}\) of the preprojective algebra \(\Pi _{n-1}\) . Dense functors \(\mathcal {S}(n) \rightarrow \hbox {mod}\;\Pi _{n-1}\) are known to exist: one has been constructed quite a long time ago by Auslander and Reiten, recently another one by Li and Zhang. We will show that these two functors are full, dense, objective functors with index \(2n\) , thus \(\hbox {mod}\;\Pi _{n-1}\) is obtained from \(\mathcal {S}(n)\) by factoring out an ideal which is generated by \(2n\) indecomposable objects. As a byproduct we also obtain new examples of ideals in triangulated categories, namely ideals \(\mathcal {I}\) in a triangulated category \(\mathcal {T}\) which are generated by an idempotent such that the factor category \(\mathcal {T}/\mathcal {I}\) is an abelian category.     

The structure of separable Dynkin algebras

Abstract Dynkin algebras are studied. Such algebras form a useful instrument for discussing probabilities in a rather natural context. Abstractness means the absence of a set-theoretic structure of elements in such algebras. A large useful class of abstract algebras, separable Dynkin algebras, is introduced, and the simplest example of a nonseparable algebra is given. Separability allows us to define appropriate variants of Boolean versions of the intersection and union operations on elements. In general, such operations are defined only partially. Some properties of separable algebras are proved and used to obtain the standard intersection and union properties, including associativity and distributivity, in the case where the corresponding operations are applicable. The established facts make it possible to define Boolean subalgebras in a separable Dynkin algebra and check the coincidence of the introduced version of the definition with the usual one. Finally, the main result about the structure of separable Dynkin algebras is formulated and proved: such algebras are represented as set-theoretic unions of maximal Boolean subalgebras. After preliminary preparation, the proof reduces to the application of Zorn’s lemma by the standard scheme.     

Tilting modules over path algebras of Dynkin type and complete slice modules

Let T be a tilting A-module over a path algebra of Dynkin type.We prove thatif the indecomposable direct summands of T are in the different (?)-orbits of the AR-quiverof A,then T is a complete slice module.     

Representations of deformed preprojective algebras and quantum groups

Let (Γ,I) be the bound quiver of a cyclic quiver whose vertices correspond to the Abelian group Zd. In this paper, we list all indecomposable representations of (Γ,I) and give the conditions that those representations of them can be extended to representations of deformed preprojective algebra Πλ(Γ,I). It is shown that those representations given by extending indecomposable representations of (Γ,I) are all simple representations of Πλ(Γ,I). Therefore, it is concluded that all simple representa-tions of rest...     

Infinite-dimensional Lie algebras of generalized Block type

This paper investigates a class of infinite-dimensional Lie algebras over a field of characteristic which are called here Lie algebras of generalized Block type, and which genereralize a class of Lie algebras originally defined by Richard Block. Under certain natural restrictions, this class of Lie algebras is shown to break into five subclasses. One of these subclasses contains all generalized Cartan type Lie algebras and some Lie algebras of generalized Cartan type , and a second one is the class of Lie algebras of type , which were previously defined and studied elsewhere by the authors. The other three types are hybrids of the first two types, and are new.

     

Logarithmic derivatives and generalized Dynkin operators

Motivated by a recent surge of interest for Dynkin operators in mathematical physics and by problems in the combinatorial theory of dynamical systems, we propose here a systematic study of logarithmic derivatives in various contexts. In particular, we introduce and investigate generalizations of the Dynkin operator for which we obtain Magnus-type formulas.