Affine PBW bases and MV polytopes in rank 2

Mirkovi?–Vilonen (MV) polytopes have proven to be a useful tool in understanding and unifying many constructions of crystals for finite-type Kac-Moody algebras. These polytopes arise naturally in many places, including the affine Grassmannian, pre-projective algebras, PBW bases, and KLR algebras. There has recently been progress in extending this theory to the affine Kac-Moody algebras. A definition of MV polytopes in symmetric affine cases has been proposed using pre-projective algebras. In the rank-2 affine cases, a combinatorial definition has also been proposed. Additionally, the theory of PBW bases has been extended to affine cases, and, at least in rank-2, we show that this can also be used to define MV polytopes. The main result of this paper is that these three notions of MV polytope all agree in the relevant rank-2 cases. Our main tool is a new characterization of rank-2 affine MV polytopes.     

Affine threefolds whose log canonical bundles are not numerically effective

Let X?(T,D) be a compactification of an affine 3-fold X into a smooth projective 3-fold T such that the (reduced) boundary divisor D is SNC. In this paper, as an affine counterpart to the work due to S. Mori (cf. [S. Mori, Threefolds whose canonical bundles are not numerically effective, Ann. of Math. 116 (1982) 133-176]), we shall classify (K+D)-negative extremal rays on T. In particular, if such an extremal ray R=R₊[C] intersects K non-negatively, we shall describe the log flips and divisorial contractions appearing explicitly.     

An LLT-type algorithm for computing higher-level canonical bases

We give a fast algorithm for computing the canonical basis of an irreducible highest-weight module for , generalising the LLT algorithm.     

Representation theory of p-adic groups and canonical bases

In this paper, we interpret the Gindikin–Karpelevich formula and the Casselman–Shalika formula as sums over Kashiwara–Lusztig?s canonical bases, generalizing the results of Bump and Nakasuji (2010) [7] to arbitrary split reductive groups. We also rewrite formulas for spherical vectors and zonal spherical functions in terms of canonical bases. In a subsequent paper Kim and Lee (preprint) [14], we will generalize these formulas to p-adic affine Kac–Moody groups.     

GIT-cones and quivers

In this work, we improve results of (Ressayre in Geometric invariant theory and generalized eigenvalue problem II, pp 1–25 2008; Ressayre in Ann. Inst. Fourier. 180:389–441 2010) on GIT-cones associated to the action of a reductive group G on a projective variety X. These results are applied to give a short proof of the Derksen–Weyman theorem that parametrizes bijectively the faces of a rational cone associated to any quiver without oriented cycles. An important example of such a cone is the Horn cone.     

The quantum general linear supergroup,canonical bases and Kazhdan-Lusztig polynomials

Canonical bases of the tensor powers of the natural -module V are constructed by adapting the work of Frenkel, Khovanov and Kirrilov to the quantum supergroup setting. This result is generalized in several directions. We first construct the canonical bases of the ℤ₂-graded symmetric algebra of V and tensor powers of this superalgebra; then construct canonical bases for the superalgebra O _q (M _m|n ) of a quantum (m,n) × (m,n)-supermatrix; and finally deduce from the latter result the canonical basis of every irreducible tensor module for by applying a quantum analogue of the Borel-Weil construction. This work was supported by National Natural Science Foundation of China (Grant No. 10471070)     

Qurves and quivers

In this paper we associate to a -qurve A (formerly known as a quasi-free algebra [J. Cuntz, D. Quillen, Algebra extensions and nonsingularity, J. Amer. Math. Soc. 8 (1995) 251–289] or formally smooth algebra [M. Kontsevich, A. Rosenberg, Noncommutative smooth spaces, math.AG/9812158, 1998]) the one-quiver Q₁(A) and dimension vector α₁(A). This pair contains enough information to reconstruct for all the GL_n-étale local structure of the representation scheme rep_nA. In an appendix we indicate how one might extend this to qurves over non-algebraically closed fields. Further, we classify all finitely generated groups G such that the group algebra kG is a k-qurve. If char(k)=0 these are exactly the virtually free groups. We determine the one-quiver setting in this case and indicate how it can be used to study the finite-dimensional representations of virtually free groups. As this approach also applies to fundamental algebras of graphs of separable k-algebras, we state the results in this more general setting.     

Gorenstein quivers

In this paper we characterize when the path ring associated to a quiver is Gorenstein (in the sense of Iwanaga [9]). Then, by using the notion of a Gorenstein category (cf. [2]), we extend the classes of quivers whose corresponding category of representations has finite Gorenstein global dimension. This extension includes non-noetherian quivers. E. E., S.E., and J.R.G.R., partially supported by the DGI MTM2005-03227. Estrada’s work was supported by a MEC/Fulbright grant from the Spanish Secretaría de Estado de Universidades e Investigación del Ministerio de Educación y Ciencia. Received: 28 February 2006     

Admissible quivers

We describe admissible quivers in the class of weighted quivers.     

On rigid quivers

We consider quivers that appear in the theory of tiled orders, in particular, rigid quivers. We prove that a quiver having a loop at each vertex is not rigid, and the quiver associated with a finite partially ordered set having one minimal element is rigid. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 8, pp. 105–120, 2006.     

On the dual canonical and Kazhdan-Lusztig bases and 3412-, 4231-avoiding permutations

Using Du’s characterization of the dual canonical basis of the coordinate ring O(GL(n,C)), we express all elements of this basis in terms of immanants. We then give a new factorization of permutations w avoiding the patterns 3412 and 4231, which in turn yields a factorization of the corresponding Kazhdan-Lusztig basis elements of the Hecke algebra H_n(q). Using the immanant and factorization results, we show that for every totally nonnegative immanant and its expansion with respect to the basis of Kazhdan-Lusztig immanants, the coefficient d_w must be nonnegative when w avoids the patterns 3412 and 4231.     

Affine Surfaces which are Both Affine Harmonic and Affine Maximal

We study affine surfaces which are both affine maximal and affine harmonic. We prove that an indefinite surface satisfying both conditions is affine equivalent to an open part $(u,{1\over 2}u^2,P_1(u)+\upsilon,P_2(u)+{1\over 2}\upsilon^2)$ , where P₁ and P₂ are arbitrary functions of one variable.