Coxeter Transformation and Quasiquivers

Mathematical Notes -     

Geometric and Combinatorial Realizations of Crystal Graphs

For irreducible integrable highest weight modules of the finite and affine Lie algebras of type A and D, we define an isomorphism between the geometric realization of the crystal graphs in terms of irreducible components of Nakajima quiver varieties and the combinatorial realizations in terms of Young tableaux and Young walls. For type A_n⁽¹⁾, we extend the Young wall construction to arbitrary level, describing a combinatorial realization of the crystals in terms of new objects which we call Young pyramids. Presented by P. Littleman Mathematics Subject Classifications (2000) Primary 16G10, 17B37. Alistair Savage: This research was supported in part by the Natural Sciences and Engineering Research Council (NSERC) of Canada and was partially conducted by the author for the Clay Mathematics Institute.     

On Ringel–Hall Algebras of Tame Hereditary Algebras

In this paper, the double Ringel–Hall algebras of tame hereditary algebras are decomposed as the quantized enveloping algebras of the infinite-dimensional Lie algebras, which are the central extensions of the affine loop algebras and the infinite-dimensional Heisenberg algebras. The numbers of the generators of the Heisenberg algebras are explicitly given at each dimensional level.     

Quantum Groups and Double Quiver Algebras

For a finite dimensional semisimple Lie algebra and a root q of unity in a field k, we associate to these data a double quiver . It is shown that a restricted version of the quantized enveloping algebras is a quotient of the double quiver algebra .*The author is partially supported by the National Science Foundation of China (Grant. 10271014) and Natural Science Foundation of Beijing City (grant. 1042001)     

Bounds for computing the tame kernel

The tame kernel of the of a number field  is the kernel of some explicit map , where the product runs over all finite primes  of  and is the residue class field at . When is a set of primes of , containing the infinite ones, we can consider the -unit group  of . Then has a natural image in . The tame kernel is contained in this image if  contains all finite primes of  up to some bound. This is a theorem due to Bass and Tate. An explicit bound for imaginary quadratic fields was given by Browkin. In this article we give a bound, valid for any number field, that is smaller than Browkin's bound in the imaginary quadratic case and has better asymptotics. A simplified version of this bound says that we only have to include in  all primes with norm up to  , where  is the discriminant of . Using this bound, one can find explicit generators for the tame kernel, and a ``long enough' search would also yield all relations. Unfortunately, we have no explicit formula to describe what ``long enough' means. However, using theorems from Keune, we can show that the tame kernel is computable.

     

Tame and Wild Coordinates of

Let be a field of characteristic zero. We characterize coordinates and tame coordinates in , i.e. the images of respectively under all automorphisms and under the tame automorphisms of . We also construct a new large class of wild automorphisms of which maps to a concrete family of nice looking polynomials. We show that a subclass of this class is stably tame, i.e. becomes tame when we extend its automorphisms to automorphisms of .

     

Derived Picard Groups of Finite-Dimensional Hereditary Algebras

Let A be a finite-dimensional algebra over a field k. The derived Picard group DPic _k (A) is the group of triangle auto-equivalences of D> ^b( mod A) induced by two-sided tilting complexes. We study the group DPic _k (A) when A is hereditary and k is algebraically closed. We obtain general results on the structure of DPic _k , as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic _k (A) on a certain infinite quiver ^irr. This representation is faithful when the quiver of A is a tree, and then DPic _k (A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic _k (A). When A is hereditary, DPic _k (A) coincides with the full group of k-linear triangle auto-equivalences of D^b( mod A). Hence, we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b( mod A. These include the derived categories of piecewise hereditary algebras, and of certain noncommutative spaces introduced by Kontsevich and Rosenberg.     

Counting the number of indecomposable representations and a q-analogue of the Weyl-Kac denominator identity of type _n

By using Frobenius maps and F-stable representations,we count the number of isomor- phism classes of indecomposable representations with the fixed dimension vector of a species of type _n over a finite field,first,and then,as an application,give a q-analogue of the Weyl-Kac denominator identity of type _n.     

McKay箭图与覆盖空间

本文研究在自然扩张和嵌入下特殊线性群和一般线性群的有限子群的McKay 箭图间的关系. 我们证明在特定条件下, 一般线性群GL(m;C) 的有限子群G的McKay 箭图是其正规子群G∩SL(m;C)的McKay 箭图的正则覆盖, 而当把G 嵌入SL(m+1;C) 时, 新的McKay 箭图由在原来的McKay 箭图的每一顶点加上一个由其Nakayama 平移到其自身的箭向得到. 作为例子, 我们指出如何用这些方法得到一些有趣的McKay 箭图.