BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Peter Tingley appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We present combinatorial upper bounds on dimensions of certain imaginary root spaces for symmetric Kac-Moody algebras. These come from the realization of the corresponding infinity-crystal using quiver varieties. The framework is general, but we only work out specifics in rank two. In that case we give explicit bounds. These turn out to be quite accurate, and in many cases exact, even for some fairly large roots.
Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a precise description of category $\mathcal{O}$ for arbitrary parameters using a new algebra which we call the parity KLRW algebra. In particular, we confirm the conjecture of the authors that the highest weights of category $\mathcal{O}$ are in canonical bijection with a product monomial crystal depending on the choice of parameters. This work also has interesting applications to classical representation theory. In particular, it allows us to give a classification of simple Gelfand-Tsetlin modules of $U(\mathfrak{gl}_n)$ and its associated W-algebras.
We show how affine PBW bases can be used to construct affine MV polytopes, and that the resulting objects agree with the affine MV polytopes recently constructed using either preprojective algebras or KLR algebras. To do this we first generalize work of Beck-Chari-Pressley and Beck-Nakajima to define affine PBW bases for arbitrary convex orders on positive roots. Our results describe how affine PBW bases for different convex orders are related, answering a question posed by Beck and Nakajima.
In this largely expository article we present an elementary construction of Lusztig's canonical basis in type ADE. The method, which is essentially Lusztig's original approach, is to use the braid group to reduce to rank two calculations. Some of the wonderful properties of the canonical basis are already visible; that it descends to a basis for every highest weight integrable representation, and that it is a crystal basis.
We consider two well known constructions of link invariants. One uses skein theory: you resolve each crossing of the link as a linear combination of things that don't cross, until you eventually get a linear combination of links with no crossings, which you turn into a polynomial. The other uses quantum groups: you construct a functor from a topological category to some category of representations in such a way that (directed framed) links get sent to endomorphisms of the trivial representation, which are just rational functions. Certain instances of these two constructions give rise to essentially the same invariants, but when one carefully matches them there is a minus sign that seems out of place. We discuss exactly how the constructions match up in the case of the Jones polynomial, and where the minus sign comes from. On the quantum group side, one is led to use a non-standard ribbon element, which then allows one to consider a larger topological category.
The crystals for finite dimensional representations of sl(n+1) can be realized using Young tableaux. The infinity crystal on the other hand is naturally realized using multisegments, and there is a simple description of the embedding of each finite crystal into the infinity crystal in terms of these realizations. The infinity crystal is also parameterized by Lusztig's PBW basis with respect to any reduced expression for the longest word in the Weyl group. We give an explicit description of the unique crystal isomorphism from PBW bases to multisegments for one standard choice of reduced expression, thus obtaining simple formulas for the actions of all crystal operators on this PBW basis. Our proofs use the fact that the twists of the crystal operators by Kashiwara's involution also have simple descriptions in terms of multisegments, and a characterization of the infinity crystal due to Kashiwara and Saito. These results are to varying extents known to experts, but we do not think there is a self-contained exposition of this material in the literature, and our proof of the relationship between multi-segments and PBW bases seems to be new.
Quivers play an important role in the representation theory of algebras, with a key ingredient being the path algebra and the preprojective algebra. Quiver grassmannians are varieties of submodules of a fixed module of the path or preprojective algebra. In the current paper, we study these objects in detail. We show that the quiver grassmannians corresponding to submodules of certain injective modules are homeomorphic to the lagrangian quiver varieties of Nakajima which have been well studied in the context of geometric representation theory. We then refine this result by finding quiver grassmannians which are homeomorphic to the Demazure quiver varieties introduced by the first author, and others which are homeomorphic to the graded/cyclic quiver varieties defined by Nakajima. The Demazure quiver grassmannians allow us to describe injective objects in the category of locally nilpotent modules of the preprojective algebra. We conclude by relating our construction to a similar one of Lusztig using projectives in place of injectives.
Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root δ. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(-\infty) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra Λ of the same type as g. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott's tilting theory for the category Λ-mod. The partitions we need come from studying the category of semistable Λ-modules of dimension-vector a multiple of δ.
Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be realized by elementary combinatorial methods. Here we propose a framework for extracting combinatorial realizations from the geometric picture: We construct certain torus actions on the quiver varieties and use Morse theory to index the irreducible components by connected components of the subvariety of torus fixed points. We then discuss the case of affine sl(n). There the fixed point components are just points, and are naturally indexed by multi-partitions. There is some choice in our construction, leading to a family of combinatorial models for each highest weight crystal. Applying this construction to the crystal of the fundamental representation recovers a family of combinatorial realizations recently constructed by Fayers. This gives a more conceptual proof of Fayers' result as well as a generalization to higher level. We also discuss a relationship with Nakajima's monomial crystal.
Mirkovic-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.
It has previously been shown that, at least for non-exceptional Kac-Moody Lie algebras, there is a close connection between Demazure crystals and tensor products of Kirillov-Reshetikhin crystals. In particular, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov-Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to Macdonald polynomials and q-deformed Whittaker functions.
We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.
Random skew plane partitions of large size distributed according to an appropriately scaled Schur process develop limit shapes. In the present work we consider the limit of large random skew plane partitions where the inner boundary approaches a piecewise linear curve with non-lattice slopes, describing the limit shape and the local fluctuations in various regions. This analysis is fairly similar to that in [OR2], but we do find some new behavior. For instance, the boundary of the limit shape is now a single smooth (not algebraic) curve, whereas the boundary in [OR2] is singular. We also observe the bead process introduced in [B] appearing in the asymptotics at the top of the limit shape.
The Misra-Miwa $v$-deformed Fock space is a representation of the quantized affine algebra of type A. It has a standard basis indexed by partitions and the non-zero matrix entries of the action of the Chevalley generators with respect to this basis are powers of $v$. Partitions also index the polynomial Weyl modules for the quantum group $U_q(gl_N)$ as $N$ tends to infinity. We explain how the powers of $v$ which appear in the Misra-Miwa Fock space also appear naturally in the context of Weyl modules. The main tool we use is the Shapovalov determinant for a universal Verma module
We give a formula for the universal R-matrix of the quantized universal enveloping algebra $U_q(\g).$ This is similar to a previous formula due to Kirillov-Reshetikhin and Levendorskii-Soibelman, except that where they use the action of the braid group element $T_{w_0}$ on each representation, we show that one can instead use a system of weight preserving endomorphisms. One advantage of our construction is that it is well defined for all symmetrizable Kac-Moody algebras. However we have only established that the result in equal to the universal R-matrix in finite type.
Recently Fayers introduced a large family of combinatorial realizations of the fundamental crystal for affine sl(n), where the vertices are indexed by certain partitions. He showed that special cases of this construction agree with the Misra-Miwa realization and with Berg's ladder crystal. Here we show that another special case is naturally isomorphic to a realization using Nakajima's monomial crystal.
We introduce the notion of a half-ribbon Hopf algebra, which is a ribbon Hopf algebra along with a distinguished element $t$ corresponding to twisting a ribbon by 180 degrees (the half-twist). We show that U_q(g) is a (topological) half-ribbon Hopf algebra, but only if one uses a modified ribbon element. We then discuss some consequences of using this modified ribbon element.
We define three combinatorial models for \hat{sl(n)} crystals, parametrized by partitions, configurations of beads on an `abacus', and cylindric plane partitions, respectively. These are reducible, but we can identify an irreducible subcrystal corresponding to any dominant integral highest weight. Cylindric plane partitions actually parametrize a basis for the tensor product of an irreducible representation with the space spanned by all partitions. We use this to calculate the partition function for a system of random cylindric plane partitions. We also observe a form of rank level duality. Finally, we use an explicit bijection to relate our work to the Kyoto path model.