Derived dynkin extensions

The finite dimensional tame hereditary algebras are associated with the extended Dynkin diagrams. An indecomposable module over such an algebra is either preprojective or preinjective or lies in a family of tubes whose tubular type is the corresponding Dynkin diagram. The study of one-point extensions by simple regular modules in such tubes was initiated in [Ri].

We generalise this approach by starting out with algebras which are derived equivalent to a tame hereditary algebra and considering one-point extensions by modules which are simple regular in tubes in the derived category. If the obtained tubular type is again a Dynkin diagram these algebras are called derived Dynkin extensions.

Our main theorem says that a representation infinite algebra is derived equivalent to a tame hereditary algebra iff it is an iterated derived Dynkin extension of a tame concealed algebra. As application we get a new proof of a theorem in [AS] about domestic tubular branch enlargements which uses the derived category instead of combinatorial arguments.     

Enhanced Dynkin diagrams and Weyl orbits

The root system Σ of a complex semisimple Lie algebra is uniquely determined by its basis (also called a simple root system). It is natural to ask whether all homomorphisms of root systems come from homomorphisms of their bases. Since the Dynkin diagram of Σ is, in general, not large enough to contain the diagrams of all subsystems of Σ, the answer to this question is negative. In this paper we introduce a canonical enlargement of a basis (called an enhanced basis) for which the stated question has a positive answer. We use the name an enhanced Dynkin diagram for a diagram representing an enhanced basis. These diagrams in combination with other new tools (mosets, core groups) allow us to obtain a transparent picture of the natural partial order between Weyl orbits of subsystems in Σ. In this paper we consider only ADE root systems (i.e., systems represented by simply laced Dynkin diagrams). The general case will be the subject of the next publication.     

Le rang du systeme lineaire des racines d'une algebre de lie rigide resoluble complexe

Adams and Conway have stated without proof a result which says, roughly speaking, that the representation ring R(G) of a compact, connected Lie group G is generated as a λ-ring by elements in 1-to-1 correspondence with the branches of the Dynkin diagram. In this note we present an elementary proof of this.     

Orthoscalar quiver representations corresponding to extended Dynkin graphs in the category of Hilbert spaces

It is known that finitely representable quivers correspond to Dynkin graphs and tame quivers correspond to extended Dynkin graphs. In an earlier paper, the authors generalized some of these results to locally scalar (later renamed to orthoscalar) quiver representations in Hilbert spaces; in particular, an analog of the Gabriel theorem was proved. In this paper, we study the relationships between indecomposable representations in the category of orthoscalar representations and indecomposable representations in the category of all quiver representations. For the quivers corresponding to extended Dynkin graphs, the indecomposable orthoscalar representations are classified up to unitary equivalence.     

BGP-reflection functors and cluster combinatorics

We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the “truncated simple reflections” on the set of almost positive roots Φ_≥−1 associated with a finite dimensional semi-simple Lie algebra. Combining this with the tilting theory in cluster categories developed in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054], we give a unified interpretation via quiver representations for the generalized associahedra associated with the root systems of all Dynkin types (simply laced or non-simply laced). This confirms the Conjecture 9.1 in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054] for all Dynkin types.     

On the uniqueness of promotion operators on tensor products of type <Emphasis Type="Italic">A</Emphasis> crystals

The affine Dynkin diagram of type A _n ⁽¹⁾ has a cyclic symmetry. The analogue of this Dynkin diagram automorphism on the level of crystals is called a promotion operator. In this paper we show that the only irreducible type A _n crystals which admit a promotion operator are the highest weight crystals indexed by rectangles. In addition we prove that on the tensor product of two type A _n crystals labeled by rectangles, there is a single connected promotion operator. We conjecture this to be true for an arbitrary number of tensor factors. Our results are in agreement with Kashiwara’s conjecture that all ‘good’ affine crystals are tensor products of Kirillov-Reshetikhin crystals.     

A poset connected to Artin monoids of simply laced type

Let W be a Weyl group whose type is a simply laced Dynkin diagram. On several W-orbits of sets of mutually commuting reflections, a poset is described which plays a role in linear representations of the corresponding Artin group A. The poset generalizes many properties of the usual order on positive roots of W given by height. In this paper, a linear representation of the positive monoid of A is defined by use of the poset.     

A combinatorial construction for simply-laced Lie algebras

This paper shows how to uniformly associate Lie algebras to the simply-laced Dynkin diagrams excluding E₈ by constructing explicit combinatorial models of minuscule representations using only graph-theoretic ideas. This involves defining raising and lowering operators in a space of ideals of certain distributive lattices associated to sequences of vertices of the Dynkin diagram.     

On Generic Extensions of Representations of a Dynkin Quiver of Type D

The notion of generic extensions of representations of a Dynkin quiver plays a big role in the study of the structure of the corresponding quantum group. In this paper, we describe the generic extensions of a simple representation by any representation and that of any representation by a simple representation of a Dynkin quiver Q of type D.     

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.     

On spherical twisted conjugacy classes

Let G be a simple algebraic group over an algebraically closed field of good odd characteristic, and let ?? be an automorphism of G arising from an involution of its Dynkin diagram. We show that the spherical ??-twisted conjugacy classes are precisely those intersecting only Bruhat cells corresponding to twisted involutions in the Weyl group. We show how the analogue of this statement fails in the triality case. As a byproduct, we obtain a dimension formula for spherical twisted conjugacy classes that was originally obtained by J.-H. Lu in characteristic zero.     

Counting the Number of τ-Exceptional Sequences over Nakayama Algebras

The notion of a τ-exceptional sequence was introduced by Buan and Marsh in (2018) as a generalisation of an exceptional sequence for finite dimensional algebras. We calculate the number of complete τ-exceptional sequences over certain classes of Nakayama algebras. In some cases, we obtain closed formulas which also count other well known combinatorial objects, and exceptional sequences of path algebras of Dynkin quivers.

     

The Lappo-Danilevskii method and trivial intersections of radicals in lower central series terms for certain fundamental groups

In this paper, it is proved that the intersection of the radicals of nilpotent residues for the generalized pure braid group corresponding to an irreducible finite Coxeter group or an irreducible imprimitive finite complex reflection group is always trivial. The proof uses the solvability of the Riemann—Hilbert problem for analytic families of faithful linear representations by the Lappo-Danilevskii method. Generalized Burau representations are defined for the generalized braid groups corresponding to finite complex reflection groups whose Dynkin—Cohen graphs are trees. The Fuchsian connections for which the monodromy representations are equivalent to the restrictions of generalized Burau representations to pure braid groups are described. The question about the faithfulness of generalized Burau representations and their restrictions to pure braid groups is posed.     

Group C-Rings and Weak Group Algebra Galois Coextensions

Abstract

We use the classification of finite order automorphisms by Kac to characterize all maximal subalgebras, regular, semisimple, reductive or not of a simple complex Lie algebra (up to conjugacy) that we can determine from its Dynkin diagram. Using Barnea et al. [Barnea, Y., Shalev, A., Zelmanov, E. I. (1998). Graded subalgebras of affine Kac–Moody algebras. Israel J. Math. 104:321–334] we extend our results to the case of affine Kac–Moody algebras. We also point out some inaccuracies in the Dynkin paper [Dynkin, E. B. (1957a). Semisimple subalgebras of semisimple Lie algebras. Amer. Math. Soc. Transl t. 6:111–244].     

Mutation of Torsion Pairs in Cluster Categories of Dynkin Type D

In cluster categories, mutation of torsion pairs provides a generalisation for the mutation of cluster tilting subcategories, which models the combinatorial structure of cluster algebras. In this paper we present a geometric model for mutation of torsion pairs in the cluster category \(\mathcal {C}_{D_{n}}\) of Dynkin type D _n . Using a combinatorial model introduced by Fomin and Zelevinsky in [7], subcategories in \(\mathcal {C}_{D_{n}}\) correspond to rotationally invariant collections of arcs in a regular 2n-gon, called diagrams of Dynkin type D _n . Torsion pairs in \(\mathcal {C}_{D_{n}}\) have been classified by Holm, Jørgensen and Rubey in [10] and correspond to diagrams of Dynkin type D _n satisfying a certain combinatorial condition, called Ptolemy diagrams of Dynkin type D _n . We define mutation of a diagram \(\mathcal {X}\) of Dynkin type D _n with respect to a compatible diagram \(\mathcal {D}\) of Dynkin type D _n consisting of pairwise non-crossing arcs. Such a diagram \(\mathcal {D}\) partitions the regular 2n-gon into cells and mutation of \(\mathcal {X}\) with respect to \(\mathcal {D}\) can be thought of as a rotation of each of these cells. We show that mutation of Ptolemy diagrams of Dynkin type D _n corresponds to mutation of the corresponding torsion pairs in the cluster category of Dynkin type D _n .     

Some subalgebras of indefinite type Kac-Moody Lie algebras

We show that every Kac-Moody Lie algebra of indefinite type contains a subalgebra with a Dynkin diagram having two adjacent vertices whose edge labels multiply to a number greater than or equal to five. Consequently, every Kac-Moody algebra of indefinite type contains a subalgebra of strictly hyperbolic type, and a free Lie algebra of rank two.