Monomial realization of crystal graphs for Uq(An(1))

We give a new realization of crystal graphs for irreducible highest weight modules over U_q(A_n⁽¹⁾) in terms of the monomials introduced by H. Nakajima. We also discuss the natural connection between the monomial realization and other known realizations, path realization and Young wall realization.This research was supported by KOSEF Grant # 98-0701-01-5-L and BK21 Mathematical Sciences Division, Seoul National University.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Rational representations of Yangians associated with skew Young diagrams

Consider the general linear group GL_M over the complex field. The irreducible rational representations of the group GL_M can be labeled by the pairs of partitions and such that the total number of non-zero parts of and does not exceed M. Let EQ4 be the irreducible representation corresponding to such a pair. Regard the direct product as a subgroup of GL_N+M . Take any irreducible rational representation of GL_N+M. The vector space comes with a natural action of the group GL_N. Put n=. For any pair of standard Young tableaux of skew shapes respectively, we give a realization of as a subspace in the tensor product of n copies of defining representation of GL_N, and of ñ copies of the contragredient representation ()^*. This subspace is determined as the image of a certain linear operator on W_nñn. We introduce this operator by an explicit multiplicative formula. When M=0 and is an irreducible representation of GL_N, we recover the known realization of as a certain subspace in the space of all traceless tensors in . Then the operator may be regarded as the rational analogue of the Young symmetrizer, corresponding to the tableau of shape . Even when M=0, our formula for is new. Our results are applications of the representation theory of the Yangian of the Lie algebra . In particular, is an intertwining operator between certain representations of the algebra on . We also introduce the notion of a rational representation of the Yangian . As a representation of , the image of is rational and irreducible.Mathematics Subject Classification (2000): 17B37, 20C30, 22E46, 81R50in final form: 10 July 2003     

Projective Representations of Quivers #

In the first part of this article, we describe the projective representations in the category of representations by modules of a quiver which does not contain any cycles and the quiver A _∞ as a subquiver, that is, the so-called rooted quivers. As a consequence of this, we show when the category of representations by modules of a quiver admits projective covers. In the second part, we develop a technique involving matrix computations for the quiver A _∞, which will allow us to characterize the projective representations of A _∞. This will improve some previous results and make more accurate the statement made in Benson (1991 Benson , D. J. ( 1991 ). Representations and Cohomology I . Cambridge Studies in Advanced Mathematics , Vol. 30 . Cambridge : Cambridge University Press . [Google Scholar]). We think this technique can be applied in many other general situations to provide information about the decomposition of a projective module.     

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.     

The K-Theory of C *-Algebras with Finite Dimensional Irreducible Representations

We study the K-theory of unital C^*-algebras A satisfying the condition that all irreducible representations are finite and of some bounded dimension. We construct computational tools, but show that K-theory is far from being able to distinguish between various interesting examples. For example, when the algebra A is n-homogeneous, i.e., all irreducible representations are exactly of dimension n, then K_*(A) is the topological K-theory of a related compact Hausdorff space, this generalises the classical Gelfand-Naimark theorem, but there are many inequivalent homogeneous algebras with the same related topological space. For general A we give a spectral sequence computing K_*(A) from a sequence of topological K-theories of related spaces. For A generated by two idempotents, this becomes a 6-term long exact sequence.     

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.     

无限箭图的同调群

对任意箭图Q,我们研究路代数A=kQ的Hochschild同调群H_n(A)和同调群Tor_n^Ae(A,A),其中A^e是代数A的包络代数。在本文中,我们具体地给出了各次同调群和Hochschild同调群。     

Crystal Bases and Monomials for U q (G 2)-Modules

In this article, we give a new realization of crystal bases for irreducible highest weight modules over U _q (G ₂) in terms of monomials. We also discuss the natural connection between the monomial realization and tableau realization.

Communicated by K. Misra     

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

Hall–Littlewood polynomials, alcove walks, and fillings of Young diagrams

A recent breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of a pair of statistics on fillings of Young diagrams. The inversion statistic, which is the more intricate one, suffices for specializing a closely related formula to one for the type A Hall–Littlewood Q-polynomials (spherical functions on p-adic groups). An apparently unrelated development, at the level of arbitrary finite root systems, led to Schwer’s formula (rephrased and rederived by Ram) for the Hall–Littlewood P-polynomials of arbitrary type. The latter formula is in terms of so-called alcove walks, which originate in the work of Gaussent–Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. In this paper, we relate the above developments, by deriving a Haglund–Haiman–Loehr type formula for the Hall–Littlewood P-polynomials of type A from Ram’s version of Schwer’s formula via a “compression” procedure.     

About Operator Weighted Shift

Abstract Let H be a complex seperable Hilbert space and ~（Jt~） denote the collection of bounded linear operators on H. For an operator in L（H）, rad{A}＇ denotes the Jacobson radical of the commutant of A. This paper characterizes the similarity of strongly irreducible operator weighted shift in terms of {A}＇/rad{A}＇. Moreover, we suggest some ways to determine when an operator weighted shift is strongly irreducible and when its commutant is commutative.     

Geometry of Periodic Modules over Tame Concealed and Tubular Algebras

Let A be a tame concealed or tubular algebra and d the dimension-vector of a periodic module with respect to the action of the Auslander–Reiten translation. We prove that the affine variety mod _A (d) of all A-modules of dimension-vector d is a normal complete intersection. Moreover, we show that a module M in mod _A (d) is nonsingular if and only if Ext _A ²(M,M)=0.     

Crystal bases of modified quantized enveloping algebras and a double RSK correspondence

We give a new combinatorial realization of the crystal base of the modified quantized enveloping algebras of type A+∞ or A_∞. It is obtained by describing the decomposition of the tensor product of a highest weight crystal and a lowest weight crystal into extremal weight crystals, and taking its limit using a tableaux model of extremal weight crystals. This realization induces in a purely combinatorial way a bicrystal structure of the crystal base of the modified quantized enveloping algebras and hence its Peter-Weyl type decomposition generalizing the classical RSK correspondence.