arXiv subjects

Peter Tingley

Publications and source records attributed to Peter Tingley.

At least 19 recordsLinked to original sources

arXiv2025

Quiver varieties and root multiplicities in rank 3

Building on our previous work in rank two, we use quiver varieties to give a combinatorial upper bound on dimensions of certain imaginary root spaces for rank 3 symmetric Kac-Moody algebras. We describe an explicit method for extracting combinatorics when the Dynkin diagram is bipartite (i.e. two of the nodes are not connected). As in rank two we believe these bounds are quite tight and we give computational evidence to this effect, although there is more error in rank 3 than in rank 2.

math.RT↗

arXiv2023

Notes on Fock space

These notes are intended as a fairly self contained explanation of Fock space and various algebras that act on it, including a Clifford algebra, a Weyl algebra, an infinite rank matrix algebra, and an affine Kac-Moody algebra. We also discuss how the various algebras are related, and in particular describe the celebrated boson-fermion correspondence. We finish by briefly discussing a deformation of Fock space, which is a representation for the quantized universal enveloping algebra of affine sl(n).

math.RT↗

arXiv2021

A quiver variety approach to root multiplicities

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.

math.RT↗

arXiv2019

On category $\mathcal{O}$ for affine Grassmannian slices and categorified tensor products

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.

math.RT↗

arXiv2019

Peter-Weyl bases, preferred deformations, and Schur-Weyl duality

We discuss the deformed function algebra of a simply connected reductive Lie group G over the complex numbers using a basis consisting of matrix elements of finite dimensional representations. This leads to a preferred deformation, meaning one where the structure constants of comultiplication are unchanged. The structure constants of multiplication are controlled by quantum 3j symbols. We then discuss connections earlier work on preferred deformations that involved Schur-Weyl duality.

math.QA↗

arXiv2019

Highest weights for truncated shifted Yangians and product monomial crystals

Truncated shifted Yangians are a family of algebras which are natural quantizations of slices in the affine Grassmannian. We study the highest weight representations of these algebras. In particular, we conjecture that the possible highest weights for these algebras are described by product monomial crystals, certain natural subcrystals of Nakajima's monomials. We prove this conjecture in type A. We also place our results in the context of symplectic duality and prove a conjecture of Hikita in this situation.

math.RT↗

arXiv2017

PBW bases and marginally large tableaux in types B and C

We explicitly describe the isomorphism between two combinatorial realizations of Kashiwara's infinity crystal in types B and C. The first realization is in terms of marginally large tableaux and the other is in terms of Kostant partitions coming from PBW bases. We also discuss a stack notation for Kostant partitions which simplifies that realization.

math.CO↗

arXiv2017

Face Functors for KLR Algebras

Simple representations of KLR algebras can be used to realize the infinity crystal for the corresponding symmetrizable Kac-Moody algebra. It was recently shown that, in finite and affine types, certain sub-categories of cuspidal representations realize crystals for sub Kac-Moody algebras. Here we put that observation an a firmer categorical footing by exhibiting a functor between the category of representations of the KLR algebra for the sub Kac-Moody algebra and the category of cuspidal representations of the original KLR algebra.

math.RT↗

arXiv2017

Quiver varieties and crystals in symmetrizable type via modulated graphs

Kashiwara and Saito have a geometric construction of the infinity crystal for any symmetric Kac-Moody algebra. The underlying set consists of the irreducible components of Lusztig's quiver varieties, which are varieties of nilpotent representations of a pre-projective algebra. We generalize this to symmetrizable Kac-Moody algebras by replacing Lusztig's preprojective algebra with a more general one due to Dlab and Ringel. In non-symmetric types we are forced to work over non-algebraically-closed fields.

math.QA↗

arXiv2016

Affine PBW Bases and Affine MV polytopes

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.

math.RT↗

arXiv2016

PBW bases and marginally large tableaux in type D

We give an explicit description of the unique crystal isomorphism between two realizations of $B(\infty)$ in type $D$: that using marginally large tableaux and that using PBW monomials with respect to one particularly nice reduced expression of the longest word.

math.CO↗

arXiv2016

Elementary construction of Lusztig's canonical basis

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.

math.RT↗

arXiv2016

Combinatorial descriptions of the crystal structure on certain PBW bases

Using the theory of PBW bases, one can realize the crystal $B(\infty)$ for any semisimple Lie algebra over $\mathbf{C}$ using Kostant partitions as the underlying set. In fact there are many such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. Here we show that, for certain reduced expressions, the crystal operators can also be described by a much simpler bracketing rule. We give conditions describing these reduced expressions, and show that there is at least one example in every type except possibly $E_8$, $F_4$ and $G_2$. We then discuss some examples.

math.QA↗

arXiv2016

Combinatorial descriptions of the crystal structure on certain PBW bases (extended abstract)

Lusztig's theory of PBW bases gives a way to realize the infinity crystal for any simple complex Lie algebra where the underlying set consists of Kostant partitions. In fact, there are many different such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. For ADE types, we give conditions on the reduced expression which ensure that the corresponding crystal operators are given by simple combinatorial bracketing rules. We then give at least one reduced expression satisfying our conditions in every type except $E_8$, and discuss the resulting combinatorics. Finally, we describe the relationship with more standard tableaux combinatorics in types A and D.

math.CO↗

arXiv2015

A minus sign that used to annoy me but now I know why it is there

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.

math.GT↗

arXiv2015

Young tableaux, multi-segments, and PBW bases

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.

math.QA↗

arXiv2015

Mirkovic-Vilonen polytopes and Khovanov-Lauda-Rouquier algebras

We describe how Mirkovic-Vilonen polytopes arise naturally from the categorification of Lie algebras using Khovanov-Lauda-Rouquier algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of the KLR algebra and MV polytopes. MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense for finite dimensional semi-simple Lie algebras, but our construction actually gives a map from the infinity crystal to polytopes in all symmetrizable Kac-Moody algebras. However, to make the map injective and have well-defined crystal operators on the image, we must in general decorate our polytopes with some extra information. We suggest that the resulting KLR polytopes are the general-type analogues of MV polytopes. We give a combinatorial description of the resulting decorated polytopes in all affine cases, and show that this recovers the affine MV polytopes recently defined by Kamnitzer and Baumann and the first author in symmetric affine types. We also briefly discuss the situation beyond affine type.

math.RT↗

arXiv2014

Quiver grassmannians, quiver varieties and the preprojective algebra

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.

math.RT↗