Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

Kac–Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let Λ be the associated preprojective algebra, let g be the associated Kac–Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory Cw of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cw is a Frobenius category and that its stable category is a Calabi–Yau category of dimension two. We show that Cw yields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N₋w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify C[N(w)] with a subalgebra of , the graded dual of the universal enveloping algebra U(n) of n. Let S^? be the dual of Lusztig?s semicanonical basis S of U(n). We show that all cluster monomials of C[N(w)] belong to S^?, and that S^?∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nw of the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.     

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     

Representation dimension of extensions of hereditary algebras

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 End_H(M)^op, then the representation dimension of is less than or equal to 3 whenever one of the following conditions holds: (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.     

Generic variables in acyclic cluster algebras

Let Q be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra A(Q). We prove that the set G(Q) of generic variables contains naturally the set M(Q) of cluster monomials in A(Q) and that these two sets coincide if and only if Q is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig’s dual semicanonical basis. This allows to compute explicitly the generic variables when Q is a quiver of affine type. When Q is the Kronecker quiver, the set G(Q) is a Z-basis of A(Q) and this basis is compared to Sherman-Zelevinsky and Caldero-Zelevinsky bases.     

Preprojective Cluster Variables of Acyclic Cluster Algebras

It is proved that any cluster-tilted algebra defined in the cluster category 𝒞(H) has the same representation type as the initial hereditary algebra H. For any valued quiver (Γ, Ω), an injection from the subset 𝒫?(Ω) of the cluster category 𝒞(Ω) consisting of indecomposable preprojective objects, preinjective objects, and the first shifts of indecomposable projective modules 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 other than u_i have denominators u ^dim M in their irreducible fractions of integral polynomials, where M is the corresponding preprojective module or preinjective module. In case the valued quiver (Γ, Ω) is of finite type, the denominator theorem holds with respect to any cluster. Namely, let x = (x₁,…, x_n) be a cluster of the cluster algebra 𝒜_Ω, and V the cluster tilting object in 𝒞(Ω) corresponding to x, whose endomorphism algebra is denoted by Λ. Then the denominator of any cluster variable y other than x_i is x ^dim M, where M is the indecomposable Λ-module corresponding to y. This result is a generalization of the corresponding result of Caldero–Chapoton–Schiffler to the non-simply-laced case.     

Bases of the quantum cluster algebra of the Kronecker quiver

We construct bar-invariant Z[q ±1/2 ]-bases of the quantum cluster algebra of Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the corresponding cluster algebra. As a byproduct, we prove positivity of the elements in these bases.     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

Coding of the dimension group

We study an aspect of dimension group theory, linked to coding. The dimension group that we consider is built on a given square primitive integer matrix M satisfying the conditions that |detM|?2 and that the characteristic polynomial of M is irreducible. The coding is based on iteration of what could be seen as a generalization to Zd of the Euclidean algorithm induced by the matrix M and in a natural way we define a binary operation of addition in the coding group.The set B of symbols is a subset of Zd, and if we denote by ρ the Perron-Frobenius eigenvalue of M and by v a left eigenvector associated to ρ, we define a function Zd×BN^*→R which assigns to the element (p,b₁,b₂,…) the series

     

Quantum Schur superalgebras and Kazhdan-Lusztig combinatorics

We introduce the notion of quantum Schur (or q-Schur) superalgebras. These algebras share certain nice properties with q-Schur algebras such as the base change property, the existence of canonical Z[v,v⁻¹]-bases, the duality relation with Manin’s quantum matrix superalgebra A(m|n), and the bridging role between quantum enveloping superalgebras of gl(m|n) and the Hecke algebras of type A. We also construct a cellular -basis and determine its associated cells, called supercells, in terms of a Robinson-Schensted-Knuth supercorrespondence. In this way, we classify all irreducible representations over via supercell modules.     

The asymptotic lift of a completely positive map

Starting with a unit-preserving normal completely positive map acting on a von Neumann algebra—or more generally a dual operator system—we show that there is a unique reversible system (i.e., a complete order automorphism α of a dual operator system N) that captures all of the asymptotic behavior of L, called the asymptotic lift of L. This provides a noncommutative generalization of the Frobenius theorems that describe the asymptotic behavior of the sequence of powers of a stochastic n×n matrix. In cases where M is a von Neumann algebra, the asymptotic lift is shown to be a W^∗-dynamical system (N,Z), and we identify (N,Z) as the tail flow of the minimal dilation of L. We are also able to identify the Poisson boundary of L as the fixed algebra Nα. In general, we show the action of the asymptotic lift is trivial iff L is slowly oscillating in the sense that

     

The quiver of projectives in hereditary categories with Serre duality

Let k be an algebraically closed field and A a k-linear hereditary category satisfying Serre duality with no infinite radicals between the preprojective objects. If A is generated by the preprojective objects, then we show that A is derived equivalent to for a so-called strongly locally finite quiver Q. To this end, we introduce light cone distances and round trip distances on quivers which will be used to investigate sections in stable translation quivers of the form ZQ.     

Composite of irreducible morphisms in the bounded derived category

We study necessary and sufficient conditions for the existence of n irreducible morphisms in the bounded derived category of an Artin algebra, with non-zero composite in the n+1-power of the radical. In the case of , the bounded derived category of an Ext-finite hereditary k-category with tilting object, such irreducible morphisms exist if and only if H is derived equivalent to a wild hereditary algebra or to a wild canonical algebra. We also characterize the cluster tilted algebras having such irreducible morphisms.     

On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory

We describe the irreducible components of Springer fibers for hook and two-row nilpotent elements of as iterated bundles of flag manifolds and Grassmannians. We then relate the topology (in particular, the intersection homology Poincaré polynomials) of the pairwise intersections of these components with the inner products of the Kazhdan-Lusztig basis elements of irreducible representations of the rational Iwahori-Hecke algebra of type A corresponding to the hook and two-row Young shapes.     

RESTRICTED LIE ALGEBRAS WITH MAXIMAL 0-PIM

In this paper it is shown that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one dimensional trivial module of a maximal torus. As a consequence, the number of the isomorphism classes of irreducible modules with a fixed p-character for a finite-dimensional solvable restricted Lie algebra L is bounded above by p ^MT(L), where MT(L) denotes the maximal dimension of a torus in L. Finally, it is proved that in characteristic p > 3 the projective cover of the trivial irreducible L-module is induced from the one-dimensional trivial module of a torus of maximal dimension, only if L is solvable.     

Weyl modules, Demazure modules, KR-modules, crystals, fusion products and limit constructions

We study finite-dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type ADE, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module.For the current algebra Cg of an arbitrary simple Lie algebra, the fusion product of Demazure modules of the same level turns out to be again a Demazure module. As an application we construct the Cg-module structure of the Kac-Moody algebra -module V(?Λ₀) as a semi-infinite fusion product of finite-dimensional Cg-modules.     

Vertex operator algebras associated to modified regular representations of affine Lie algebras

Let G be a simply-connected complex Lie group with simple Lie algebra g and let be its affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of N-graded vertex operator algebras (VOAs) associated to g. These vertex operator algebras contain the algebra of regular functions on G as the conformal weight 0 subspaces and are -modules of dual levels in the sense that , where h^∨ is the dual Coxeter number of g. This family of VOAs was previously studied by Arkhipov-Gaitsgory and Gorbounov-Malikov-Schechtman from different points of view. We show that when k is irrational, the vertex envelope of the vertex algebroid associated to G and the level k is isomorphic to the vertex operator algebra we constructed above. The case of rational levels is also discussed.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

Multilinear maps on products of operator algebras

Let A₁,A₂,…,A_r be C∗-algebras with second duals A₁″,A₂″,…,A_r″, and let X be an arbitrary Banach space. Let be a bounded r-linear map, and denote by the Johnson-Kadison-Ringrose extension (i.e., the separately to continuous r-linear extension) of Γ. The problem of characterising those Γ for which Γ″ takes its values in X was solved by Villanueva when the algebras are all commutative. Because the Dunford-Pettis property fails for noncommutative C∗-algebras, the ‘obvious’ extension of Villanueva's characterisation does not give the correct condition. In this paper we solve this problem for general C∗-algebras. This result is then applied to obtaining a multilinear generalisation of the normal-singular decomposition of a bounded linear operator on a von Neumann algebra.     

Toric complexes and Artin kernels

A simplicial complex L on n vertices determines a subcomplex TL of the n-torus, with fundamental group the right-angled Artin group GL. Given an epimorphism χ:GL→Z, let be the corresponding cover, with fundamental group the Artin kernel Nχ. We compute the cohomology jumping loci of the toric complex TL, as well as the homology groups of with coefficients in a field k, viewed as modules over the group algebra kZ. We give combinatorial conditions for to have trivial Z-action, allowing us to compute the truncated cohomology ring, . We also determine several Lie algebras associated to Artin kernels, under certain triviality assumptions on the monodromy Z-action, and establish the 1-formality of these (not necessarily finitely presentable) groups.