Showing 1–50 of 53 results for author: Lenart, C

Elliptic classes via the periodic Hecke module and its Langlands dual

Authors: Cristian Lenart, Gufang Zhao, Changlong Zhong

Abstract: This paper explores a construction of the elliptic classes of the Springer resolution using the periodic Hecke module. The module is established by employing the Poincaré line bundle over the product of the abelian variety of elliptic cohomology and its dual. Additionally, we introduce the elliptic twisted group algebra, which acts on the periodic module. The construction of the elliptic twisted g… ▽ More This paper explores a construction of the elliptic classes of the Springer resolution using the periodic Hecke module. The module is established by employing the Poincaré line bundle over the product of the abelian variety of elliptic cohomology and its dual. Additionally, we introduce the elliptic twisted group algebra, which acts on the periodic module. The construction of the elliptic twisted group algebra is such that the Demazure-Lusztig (DL) operators with dynamical parameters are rational sections. We define elliptic classes as rational sections of the periodic module, and give explicit formulas of the restriction to fixed points. Our main result shows that a natural assembly of the DL operators defines a rational isomorphism between the periodic module and the one associated to the Langlands dual root system. This isomorphism intertwines the (opposite) elliptic classes with the fixed point basis in the dual system. △ Less

Submitted 8 December, 2023; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 39 pages. Comments are welcome! V2: some structural changes. The indices of the elliptic classes are changed

MSC Class: 14M15; 14C17; 19L47; 55N34

E-TEST prototype design report

Authors: A. Sider, L. Amez-Droz, A. Amorosi, F. Badaracco, P. Baer, G. Bruno, A. Bertolini, C. Collette, P. Cebeci, C. Di Fronzo, J. Ebert, B. Erben, R. Esteves, E. Ferreira, A. Gatti, M. Giesberts, T. Hebbeker, J. S. Hennig, M. Hennig, S. Hild, M. Hoefer, H. D. Hoffmann, L. Jacques, R. Jamshidi, R. Joppe , et al. (16 additional authors not shown)

Abstract: E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to… ▽ More E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to develop an eco-friendly and non-invasive imaging of the geological conditions as well as the development of an observatory of the underground in the EMR region. Secondly, to develop technologies necessary for 3rd generation gravitational wave detectors. In particular, it is proposed to develop a prototype of large suspended cryogenic silicon mirror, isolated from seismic vibrations at low frequency. The total budget of the project is equally spread over the two activities. The first activity is not discussed at all in this report. The E-TEST prototype will have some key unique features: a silicon mirror of 100 kg, a radiative cooling strategy (non contact), a low-frequency hybrid isolation stage, cryogenic sensors and electronics, a laser and optics at 2 microns, a low thermal noise coating. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Symmetric and Nonsymmetric Macdonald Polynomials via a Path Model with a Pseudo-crystal Structure

Authors: Cristian Lenart, Satoshi Naito, Fumihiko Nomoto, Daisuke Sagaki

Abstract: In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yi… ▽ More In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II: arbitrary weights in ADE type

Authors: Cristian Lenart, Satoshi Naito, Daniel Orr, Daisuke Sagaki

Abstract: We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$). We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$). △ Less

Submitted 31 October, 2021; originally announced November 2021.

Towards a Combinatorial Model for $q$-weight Multiplicities of Simple Lie Algebras (Extended Abstract)

Authors: Cédric Lecouvey, Cristian Lenart, Adam Schultze

Abstract: Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charg… ▽ More Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charge statistic beyond type $A$ has been a long-standing problem. Here, we take a completely new approach based on the definition of Kostka-Foulkes polynomials as an alternating sum over Kostant partitions, which can be thought of as formal sums of positive roots. We use a sign-reversing involution to obtain a positive expansion, in which the relevant statistic is simply the number of parts in the Kostant partitions. The hope is that the simplicity of this new crystal-like model will naturally extend to other classical types. △ Less

Submitted 15 February, 2022; v1 submitted 28 October, 2021; originally announced October 2021.

Relating three combinatorial formulas for type $A$ Whittaker functions

Authors: Cristian Lenart, James Sidoli

Abstract: In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas… ▽ More In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions. △ Less

Submitted 27 September, 2021; originally announced September 2021.

Comments: 30 pages, 6 figures

MSC Class: 05E05 (Primary) 33D52; 20F55 (Secondary)

On Combinatorial Models for Affine Crystals

Authors: Carly Briggs, Cristian Lenart, Adam Schultze

Abstract: The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as: keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products o… ▽ More The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as: keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products of KR crystals), and the combinatorial R-matrix (an affine crystal isomorphism permuting factors in a tensor product of KR crystals). It has been shown that these calculations are much simpler with the added structure in the quantum alcove model for KR crystals. In this paper, we give an explicit description of the crystal isomorphism between the mentioned realizations of KR crystals in all classical Lie types. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 33 pages

MSC Class: Primary 05E10; Secondary 20G42

Quantum K-theory Chevalley formulas in the parabolic case

Authors: Takafumi Kouno, Cristian Lenart, Satoshi Naito, Daisuke Sagaki, with an Appendix by Takafumi Kouno, Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Weihong Xu

Abstract: We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley formula in the T-equivariant quantum K-theory of arbitrary flag manifolds G/B, which was derived earlier in terms of the quantum alcove model, by the last thre… ▽ More We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley formula in the T-equivariant quantum K-theory of arbitrary flag manifolds G/B, which was derived earlier in terms of the quantum alcove model, by the last three authors. △ Less

Submitted 29 September, 2023; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: We added the proof of the positivity property for the Chevalley structure constants for full flag manifolds of arbitrary types, two-step flag manifolds of type A, and Grassmannians of type C. We also added Appendix A (a new proof of the existence of a multiplicative surjection due to Kato) and Appendix B (on the connection with a conjecture of Weihong Xu, who is a co-author of this Appendix)

MSC Class: 14N15; 14M15; 05E10

New structure on the quantum alcove model with applications to representation theory and Schubert calculus

Authors: Takafumi Kouno, Cristian Lenart, Satoshi Naito

Abstract: The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from… ▽ More The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed. △ Less

Submitted 17 June, 2021; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 49 pages, the title of this article has been changed; the previous version (v1) was titled "Generalization of quantum Yang-Baxter moves"

MSC Class: Primary 05E10; Secondary 14N15; 14M15

A general Chevalley formula for semi-infinite flag manifolds and quantum K-theory

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki

Abstract: We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstandin… ▽ More We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstanding conjecture about the multiplicative structure of $QK_{T}(G/B)$. In type $A_{n-1}$, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum $K$-theory $QK(SL_{n}/B)$; we also obtain very explicit information about the coefficients in the respective Chevalley formula. △ Less

Submitted 22 February, 2024; v1 submitted 9 October, 2020; originally announced October 2020.

Comments: arXiv admin note: text overlap with arXiv:1911.12773

MSC Class: Primary 14M15; 14N15; Secondary 14N10; 05E14; 17B37; 81R10

Geometric properties of the Kazhdan-Lusztig Schubert basis

Authors: Cristian Lenart, Changjian Su, Kirill Zainoulline, Changlong Zhong

Abstract: We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology,… ▽ More We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 24 pages, 4 figures. Comments are welcome

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Journal ref: Alg. Number Th. 17 (2023) 169-198

A Chevalley formula for semi-infinite flag manifolds and quantum K-theory (Extended abstract)

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki

Abstract: We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about… ▽ More We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about the multiplicative structure of the mentioned quantum K-theory. Moreover, in type A, we prove that the so-called quantum Grothendieck polynomials indeed represent Schubert classes in the (non-equivariant) quantum K-theory of the corresponding flag manifold. △ Less

Submitted 28 November, 2019; originally announced November 2019.

MSC Class: 14N15; 14M15; 05E10

On Combinatorial Models for Affine Crystals

Authors: Cristian Lenart, Adam Schultze

Abstract: We biject two combinatorial models for tensor products of (single-column) Kirillov-Reshetikhin crystals of any classical type $A-D$: the quantum alcove model and the tableau model. This allows us to translate calculations in the former model (of the energy function, the combinatorial $R$-matrix, etc.) to the latter, which is simpler. We biject two combinatorial models for tensor products of (single-column) Kirillov-Reshetikhin crystals of any classical type $A-D$: the quantum alcove model and the tableau model. This allows us to translate calculations in the former model (of the energy function, the combinatorial $R$-matrix, etc.) to the latter, which is simpler. △ Less

Submitted 25 November, 2019; originally announced November 2019.

On higher level Kirillov--Reshetikhin crystals, Demazure crystals, and related uniform models

Authors: Cristian Lenart, Travis Scrimshaw

Abstract: We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the… ▽ More We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR crystals, which allows us to use the uniform models available in the literature in the latter case. We also use our results to give a combinatorial interpretation of the Q-system relations. Our results are conjectured to extend to the exceptional types. △ Less

Submitted 26 August, 2019; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: 15 pages, 1 figure; v2, incorporated changes from referee

MSC Class: 17B37; 05E10

Journal ref: J. Algebra 539:285-304, 2019

Atomic decomposition of characters and crystals

Authors: Cedric Lecouvey, Cristian Lenart

Abstract: Lascoux stated that the type A Kostka-Foulkes polynomials K_{lambda,mu}(t) expand positively in terms of so-called atomic polynomials. For any semisimple Lie algebra, the former polynomial is a t-analogue of the multiplicity of the dominant weight mu in the irreducible representation of highest weight lambda. We formulate the atomic decomposition in arbitrary type, and view it as a strengthening o… ▽ More Lascoux stated that the type A Kostka-Foulkes polynomials K_{lambda,mu}(t) expand positively in terms of so-called atomic polynomials. For any semisimple Lie algebra, the former polynomial is a t-analogue of the multiplicity of the dominant weight mu in the irreducible representation of highest weight lambda. We formulate the atomic decomposition in arbitrary type, and view it as a strengthening of the monotonicity of K_{lambda,mu}(t). We also define a combinatorial version of the atomic decomposition, as a decomposition of a modified crystal graph. We prove that this stronger version holds in type A (which provides a new, conceptual approach to Lascoux's statement), in types B, C, and D in a stable range for t=1, as well as in some other cases, while we conjecture that it holds more generally. Another conjecture stemming from our work leads to an efficient computation of K_{lambda,mu}(t). We also give a geometric interpretation. △ Less

Submitted 29 July, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: 38 pages, 4 figures. Updates to the first version: the main result was extended to type B, so now all classical types are covered; Theorems 5.3 and 5.5 were slightly rephrased; the proof of Lemma 5.4 (1) was rewritten; section 7.3 was added, on the atomic decomposition of stable one-dimensional sums

MSC Class: 05E10; 17B10

Combinatorics of generalized exponents

Authors: Cedric Lecouvey, Cristian Lenart

Abstract: We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of… ▽ More We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types. △ Less

Submitted 31 December, 2017; v1 submitted 11 July, 2017; originally announced July 2017.

Comments: 34 pages; added sections 7.3 and 7.4 on a new application of our formula for the type C generalized exponents (computing the minimum power of t)

MSC Class: 05E10; 17B10

Parabolic Kazhdan-Lusztig basis, Schubert classes, and equivariant oriented cohomology

Authors: Cristian Lenart, Kirill Zainoulline, Changlong Zhong

Abstract: We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson,… ▽ More We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar's construction of the parabolic Kazhdan-Lusztig basis. Based on it, we define the parabolic Kazhdan-Lusztig (KL) Schubert classes independently of a reduced word. We make a positivity conjecture, and a conjecture about the relationship of such classes with smoothness of Schubert varieties. We then prove several special cases. △ Less

Submitted 23 August, 2016; originally announced August 2016.

Comments: 33 pp

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Whittaker functions and Demazure characters

Authors: Kyu-Hwan Lee, Cristian Lenart, Dongwen Liu, Dinakar Muthiah, Anna Puskás

Abstract: In this paper, we consider how to express an Iwahori--Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman--Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation o… ▽ More In this paper, we consider how to express an Iwahori--Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman--Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a p-adic group; this generalizes a result of Bump--Nakasuji. △ Less

Submitted 17 March, 2016; v1 submitted 20 February, 2016; originally announced February 2016.

A uniform model for Kirillov-Reshetikhin crystals III: Nonsymmetric Macdonald polynomials at $t=0$ and Demazure characters

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We establish the equality of the specialization $E_{wλ}(x;q,0)$ of the nonsymmetric Macdonald polynomial $E_{wλ}(x;q,t)$ at $t=0$ with the graded character $\mathop{\rm gch} U_{w}^{+}(λ)$ of a certain Demazure-type submodule $U_{w}^{+}(λ)$ of a tensor product of "single-column" Kirillov--Reshetikhin modules for an untwisted affine Lie algebra, where $λ$ is a dominant integral weight and $w$ is a (… ▽ More We establish the equality of the specialization $E_{wλ}(x;q,0)$ of the nonsymmetric Macdonald polynomial $E_{wλ}(x;q,t)$ at $t=0$ with the graded character $\mathop{\rm gch} U_{w}^{+}(λ)$ of a certain Demazure-type submodule $U_{w}^{+}(λ)$ of a tensor product of "single-column" Kirillov--Reshetikhin modules for an untwisted affine Lie algebra, where $λ$ is a dominant integral weight and $w$ is a (finite) Weyl group element, this generalizes our previous result, that is, the equality between the specialization $P_λ(x;q,0)$ of the symmetric Macdonald polynomial $P_λ(x;q,t)$ at $t=0$ and the graded character of a tensor product of single-column Kirillov--Reshetikhin modules. We also give two combinatorial formulas for the mentioned specialization of a nonsymmetric Macdonald polynomial: one in terms of quantum Lakshmibai-Seshadri paths and the other in terms of the quantum alcove model. △ Less

Submitted 9 September, 2016; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: updated references

Journal ref: Transformation Groups (2017) doi:10.1007/s00031-017-9421-1

From the weak Bruhat order to crystal posets

Authors: Patricia Hersh, Cristian Lenart

Abstract: We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxet… ▽ More We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals. New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it. △ Less

Submitted 18 October, 2016; v1 submitted 19 October, 2015; originally announced October 2015.

Comments: 30 pages, 2 figures. Some results in the first version are extended from finite type to arbitrary symmetrizable Kac-Moody type. Section 8 was added, discussing the relationship between the topology and the Stembridge relations

MSC Class: 05E10; 06A06; 20F55; 20G42; 57N60

A Schubert basis in equivariant elliptic cohomology

Authors: Cristian Lenart, Kirill Zainoulline

Abstract: We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We p… ▽ More We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We prove some special cases of these conjectures. △ Less

Submitted 6 February, 2016; v1 submitted 13 August, 2015; originally announced August 2015.

Comments: arXiv admin note: text overlap with arXiv:1408.5952

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Explicit description of the degree function in terms of quantum Lakshmibai-Seshadri paths

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We give an explicit and computable description, in terms of the parabolic quantum Bruhat graph, of the degree function defined for quantum Lakshmibai-Seshadri paths, or equivalently, for "projected" (affine) level-zero Lakshmibai-Seshadri paths. This, in turn, gives an explicit and computable description of the global energy function on tensor products of Kirillov-Reshetikhin crystals of one-colum… ▽ More We give an explicit and computable description, in terms of the parabolic quantum Bruhat graph, of the degree function defined for quantum Lakshmibai-Seshadri paths, or equivalently, for "projected" (affine) level-zero Lakshmibai-Seshadri paths. This, in turn, gives an explicit and computable description of the global energy function on tensor products of Kirillov-Reshetikhin crystals of one-column type, and also of (classically restricted) one-dimensional sums. △ Less

Submitted 2 September, 2015; v1 submitted 18 April, 2015; originally announced April 2015.

Comments: arXiv admin note: text overlap with arXiv:1308.3529

Journal ref: Toyama Math. Journal 37 (2015) 107-130

The many faces of modern combinatorics

Authors: Cristian Lenart

Abstract: This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including algebraic geometry), topology, probability theory, and theoretical computer science. This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including algebraic geometry), topology, probability theory, and theoretical computer science. △ Less

Submitted 13 March, 2015; originally announced March 2015.

MSC Class: 05-02

A uniform realization of the combinatorial $R$-matrix

Authors: Cristian Lenart, Arthur Lubovsky

Abstract: Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the… ▽ More Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it. △ Less

Submitted 5 March, 2015; originally announced March 2015.

Comments: arXiv admin note: text overlap with arXiv:1112.2216

Towards generalized cohomology Schubert calculus via formal root polynomials

Authors: Cristian Lenart, Kirill Zainoulline

Abstract: An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal… ▽ More An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed. △ Less

Submitted 15 January, 2015; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 20pp, several minor typos and mistakes were corrected; references updated; the analogue of the Billey-Graham-Willems formula and the respective duality result for connective K-theory was added

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Journal ref: Math. Research Letters 24, No. 3, (2017), 839--877

Combinatorial representation theory of Lie algebras. Richard Stanley's work and the way it was continued

Authors: Cristian Lenart

Abstract: Richard Stanley played a crucial role, through his work and his students, in the development of the relatively new area known as combinatorial representation theory. In the early stages, he has the merit to have pointed out to combinatorialists the potential that representation theory has for applications of combinatorial methods. Throughout his distinguished career, he wrote significant articles… ▽ More Richard Stanley played a crucial role, through his work and his students, in the development of the relatively new area known as combinatorial representation theory. In the early stages, he has the merit to have pointed out to combinatorialists the potential that representation theory has for applications of combinatorial methods. Throughout his distinguished career, he wrote significant articles which touch upon various combinatorial aspects related to representation theory (of Lie algebras, the symmetric group, etc.). I describe some of Richard's contributions involving Lie algebras, as well as recent developments inspired by them (including some open problems), which attest the lasting impact of his work. △ Less

Submitted 2 June, 2014; originally announced June 2014.

Comments: 11 pages

A uniform model for Kirillov-Reshetikhin crystals II. Alcove model, path model, and P=X

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We establish the equality of the specialization $P_λ(x;q,0)$ of the Macdonald polynomial at $t=0$ with the graded character $X_λ(x;q)$ of a tensor product of "single-column" Kirillov-Reshetikhin (KR) modules for untwisted affine Lie algebras. This is achieved by constructing two uniform combinatorial models for the crystals associated with the mentioned tensor products: the quantum alcove model (w… ▽ More We establish the equality of the specialization $P_λ(x;q,0)$ of the Macdonald polynomial at $t=0$ with the graded character $X_λ(x;q)$ of a tensor product of "single-column" Kirillov-Reshetikhin (KR) modules for untwisted affine Lie algebras. This is achieved by constructing two uniform combinatorial models for the crystals associated with the mentioned tensor products: the quantum alcove model (which is naturally associated to Macdonald polynomials), and the quantum Lakshmibai-Seshadri path model. We provide an explicit affine crystal isomorphism between the two models, and realize the energy function in both models. In particular, this gives the first proof of the positivity of the $t = 0$ limit of the symmetric Macdonald polynomial in the untwisted and non-simply-laced cases, when it is expressed as a linear combination of the irreducible characters for a finite-dimensional simple Lie subalgebra, as well as a representation-theoretic meaning of the coefficients in this expression in terms of degree functions. △ Less

Submitted 9 September, 2016; v1 submitted 10 February, 2014; originally announced February 2014.

Comments: 43 pages, 1 figure; slight reorganization of the material, additional details added

MSC Class: 05E05; 33D52; 20G42

Journal ref: Int Math Res Notices (2017) 2017 (14): 4259-4319

Quantum Lakshmibai-Seshadri paths and root operators

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We give an explicit description of the image of a quantum LS path, regarded as a rational path, under the action of root operators, and show that the set of quantum LS paths is stable under the action of the root operators. As a by-product, we obtain a new proof of the fact that a projected level-zero LS path is just a quantum LS path. We give an explicit description of the image of a quantum LS path, regarded as a rational path, under the action of root operators, and show that the set of quantum LS paths is stable under the action of the root operators. As a by-product, we obtain a new proof of the fact that a projected level-zero LS path is just a quantum LS path. △ Less

Submitted 24 February, 2014; v1 submitted 15 August, 2013; originally announced August 2013.

Journal ref: Advanced Studies in Pure Mathematics (Mathematical Society of Japan, Tokyo) 71 (2016), Schubert Calculus - Osaka 2012, pp. 267-294

A uniform model for Kirillov-Reshetikhin crystals. Extended abstract

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quan… ▽ More We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Comments: 10 pages, 1 figure

MSC Class: 20G42; 05E05; 33D52

Journal ref: DMCTS proc AS (2013) 25-36

A uniform model for Kirillov-Reshetikhin crystals I: Lifting the parabolic quantum Bruhat graph

Authors: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, Mark Shimozono

Abstract: We lift the parabolic quantum Bruhat graph into the Bruhat order on the affine Weyl group and into Littelmann's poset on level-zero weights. We establish a quantum analogue of Deodhar's Bruhat-minimum lift from a parabolic quotient of the Weyl group. This result asserts a remarkable compatibility of the quantum Bruhat graph on the Weyl group, with the cosets for every parabolic subgroup. Also, we… ▽ More We lift the parabolic quantum Bruhat graph into the Bruhat order on the affine Weyl group and into Littelmann's poset on level-zero weights. We establish a quantum analogue of Deodhar's Bruhat-minimum lift from a parabolic quotient of the Weyl group. This result asserts a remarkable compatibility of the quantum Bruhat graph on the Weyl group, with the cosets for every parabolic subgroup. Also, we generalize Postnikov's lemma from the quantum Bruhat graph to the parabolic one; this lemma compares paths between two vertices in the former graph. The results in this paper will be applied in a second paper to establish a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals, and the equality, for untwisted affine root systems, between the Macdonald polynomial with t set to zero and the graded character of tensor products of one-column KR modules. △ Less

Submitted 5 December, 2013; v1 submitted 8 November, 2012; originally announced November 2012.

Comments: 36 pages; 3 figures; Section 8 added; version to appear in IMRN

MSC Class: 05E05 (Primary) 33D52; 20G42 (Secondary)

Journal ref: International Mathematics Research Notices (2014) rnt263, 54 pages

Equivariant K-Chevalley Rules for Kac-Moody Flag Manifolds

Authors: Cristian Lenart, Mark Shimozono

Abstract: Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the alcove model of the first author and Postnikov. For Lakshm… ▽ More Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the alcove model of the first author and Postnikov. For Lakshmibai-Seshadri paths, our formulas are the Kac-Moody generalizations of results of Griffeth-Ram and Pittie-Ram for finite dimensional flag manifolds. A gap in the proofs of the mentioned results is addressed. △ Less

Submitted 14 March, 2012; originally announced March 2012.

A generalization of the alcove model and its applications

Authors: Cristian Lenart, Arthur Lubovsky

Abstract: The alcove model of the first author and A. Postnikov uniformly describes highest weight crystals of semisimple Lie algebras. We construct a generalization, called the quantum alcove model. In joint work of the first author with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono, this was shown to uniformly describe tensor products of column shape Kirillov-Reshetikhin crystals in all untwisted af… ▽ More The alcove model of the first author and A. Postnikov uniformly describes highest weight crystals of semisimple Lie algebras. We construct a generalization, called the quantum alcove model. In joint work of the first author with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono, this was shown to uniformly describe tensor products of column shape Kirillov-Reshetikhin crystals in all untwisted affine types; moreover, an efficient formula for the corresponding energy function is available. In the second part of this paper, we specialize the quantum alcove model to types $A$ and $C$. We give explicit affine crystal isomorphisms from the specialized quantum alcove model to the corresponding tensor products of column shape Kirillov-Reshetikhin crystals, which are realized in terms of Kashiwara-Nakashima columns. △ Less

Submitted 20 December, 2013; v1 submitted 9 December, 2011; originally announced December 2011.

Comments: Ver2: Replaced extended abstract with full paper Ver3: Introduction and abstract expanded and made sharper. Signature rule in types A and C had small inaccuracies. Proposition 2.9, more on perfect crystals. Expanded the main Theorem 3.8 (and its proof). Expanded the "Main applications" section. Some changes in the proofs of Prop. 4.14-4.16

MSC Class: 05E10 (Primary); 20G42 (Secondary)

Crystal energy functions via the charge in types A and C

Authors: Cristian Lenart, Anne Schilling

Abstract: The Ram-Yip formula for Macdonald polynomials (at t=0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara-Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than… ▽ More The Ram-Yip formula for Macdonald polynomials (at t=0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara-Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix. △ Less

Submitted 30 January, 2012; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: 25 pages; 1 figure

MSC Class: 05E05; 33D52; 20G42

Journal ref: Mathematische Zeitschrift 273(1) (2013) 401-426

From Macdonald Polynomials to a Charge Statistic beyond Type A

Authors: Cristian Lenart

Abstract: The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for add… ▽ More The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic). △ Less

Submitted 16 June, 2011; originally announced June 2011.

Comments: 32 pages, 6 figures

MSC Class: Primary 05E05. Secondary 33D52; 20G42

Haglund-Haiman-Loehr Type Formulas for Hall-Littlewood Polynomials of Type B and C

Authors: Cristian Lenart

Abstract: In previous work we showed that two apparently unrelated formulas for the Hall-Littlewood polynomials of type A are, in fact, closely related. The first is the tableau formula obtained by specializing q=0 in the Haglund-Haiman-Loehr formula for Macdonald polynomials. The second is the type $A$ instance of Schwer's formula (rephrased and rederived by Ram) for Hall-Littlewood polynomials of arbitr… ▽ More In previous work we showed that two apparently unrelated formulas for the Hall-Littlewood polynomials of type A are, in fact, closely related. The first is the tableau formula obtained by specializing q=0 in the Haglund-Haiman-Loehr formula for Macdonald polynomials. The second is the type $A$ instance of Schwer's formula (rephrased and rederived by Ram) for Hall-Littlewood polynomials of arbitrary finite type; Schwer's 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. We showed that the tableau formula follows by "compressing" Ram's version of Schwer's formula. In this paper, we derive tableau formulas for the Hall-Littlewood polynomials of type B and C by compressing the corresponding instances of Schwer's formula. △ Less

Submitted 16 April, 2009; originally announced April 2009.

MSC Class: 05E05; 33D52

Growth Diagrams for the Schubert Multiplication

Authors: Cristian Lenart

Abstract: We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chai… ▽ More We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams. △ Less

Submitted 27 January, 2009; v1 submitted 26 January, 2009; originally announced January 2009.

MSC Class: 05E05; 14M15

Combinatorial Formulas for Macdonald and Hall-Littlewood Polynomials of Types A and C. Extended Abstract

Authors: Cristian Lenart

Abstract: A 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 fillings of Young diagrams. Recently, Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of the corresponding affine Weyl group. In this paper, we show that a Haglund-Haiman-Loehr type formula… ▽ More A 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 fillings of Young diagrams. Recently, Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of the corresponding affine Weyl group. In this paper, we show that a Haglund-Haiman-Loehr type formula follows naturally from the more general Ram-Yip formula, via compression. Then we extend this approach to the Hall-Littlewood polynomials of type C, which are specializations of the corresponding Macdonald polynomials at q=0. We note that no analog of the Haglund-Haiman-Loehr formula exists beyond type A, so our work is a first step towards finding such a formula. △ Less

Submitted 25 November, 2008; originally announced November 2008.

MSC Class: Primary 05E05. Secondary 33D52.

Combinatorial Constructions of Weight Bases: The Gelfand-Tsetlin Basis

Authors: Patricia Hersh, Cristian Lenart

Abstract: This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinator… ▽ More This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux. △ Less

Submitted 19 May, 2008; v1 submitted 29 April, 2008; originally announced April 2008.

MSC Class: 05E05; 17B10

On Combinatorial Formulas for Macdonald Polynomials

Authors: Cristian Lenart

Abstract: 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. Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of so-called alcove walks; these originate in the work of Gaussent-Littelmann and o… ▽ More 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. Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of so-called alcove walks; these 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 explaining how the Ram-Yip formula compresses to a new formula, which is similar to the Haglund-Haiman-Loehr one but contains considerably fewer terms. △ Less

Submitted 30 April, 2008; originally announced April 2008.

MSC Class: 05E05; 33D52

Hall-Littlewood Polynomials, Alcove Walks, and Fillings of Young Diagrams

Authors: Cristian Lenart

Abstract: 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 (spheri… ▽ More 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. △ Less

Submitted 28 May, 2010; v1 submitted 29 April, 2008; originally announced April 2008.

Comments: Added Appendix (with Arthur Lubovsky) covering the case of Hall-Littlewood polynomials indexed by partitions with repeated parts

MSC Class: 05E05; 33D52

On q-analogs of weight multiplicities for the Lie superalgebras gl(n,m) and spo(2n,M)

Authors: Cedric Lecouvey, Cristian Lenart

Abstract: The paper is devoted to the generalization of Lusztig's q-analog of weight multiplicities to the Lie superalgebras gl(n,m) and spo(2n,M). We define such q-analogs K_{lambda,mu}(q) for the typical modules and for the irreducible covariant tensor gl(n,m)-modules of highest weight lambda. For gl(n,m), the defined polynomials have nonnegative integer coefficients if the weight mu is dominant. For sp… ▽ More The paper is devoted to the generalization of Lusztig's q-analog of weight multiplicities to the Lie superalgebras gl(n,m) and spo(2n,M). We define such q-analogs K_{lambda,mu}(q) for the typical modules and for the irreducible covariant tensor gl(n,m)-modules of highest weight lambda. For gl(n,m), the defined polynomials have nonnegative integer coefficients if the weight mu is dominant. For spo(2n,M), we show that the positivity property holds when mu is dominant and sufficiently far from a specific wall of the fundamental chamber. We also establish that the q-analog associated to an irreducible covariant tensor gl(n,m)-module of highest weight lambda and a dominant weight mu is the generating series of a simple statistic on the set of semistandard hook-tableaux of shape lambda and weight mu. This statistic can be regarded as a super analog of the charge statistic defined by Lascoux and Schutzenberger. △ Less

Submitted 23 June, 2008; v1 submitted 21 November, 2007; originally announced November 2007.

Comments: 16 pages, 1 figure

MSC Class: 17B10

On the Combinatorics of Crystal Graphs, II. The Crystal Commutator

Authors: Cristian Lenart

Abstract: We present an explicit combinatorial realization of the commutor in the category of crystals which was first studied by Henriques and Kamnitzer. Our realization is based on certain local moves defined by van Leeuwen. We present an explicit combinatorial realization of the commutor in the category of crystals which was first studied by Henriques and Kamnitzer. Our realization is based on certain local moves defined by van Leeuwen. △ Less

Submitted 4 June, 2007; v1 submitted 14 November, 2006; originally announced November 2006.

Comments: 10 pages, 1 figure

MSC Class: Primary 17B10; Secondary 22E46; 20G42

Quantum Grothendieck Polynomials

Authors: C. Lenart, T. Maeno

Abstract: Quantum K-theory is a K-theoretic version of quantum cohomology, which was recently defined by Y.-P. Lee. Based on a presentation for the quantum K-theory of the classical flag variety Fl_n, we define and study quantum Grothendieck polynomials. We conjecture that they represent Schubert classes (i.e., the natural basis elements) in the quantum K-theory of Fl_n, and present strong evidence for th… ▽ More Quantum K-theory is a K-theoretic version of quantum cohomology, which was recently defined by Y.-P. Lee. Based on a presentation for the quantum K-theory of the classical flag variety Fl_n, we define and study quantum Grothendieck polynomials. We conjecture that they represent Schubert classes (i.e., the natural basis elements) in the quantum K-theory of Fl_n, and present strong evidence for this conjecture. We describe an efficient algorithm which, if the conjecture is true, computes the quantum K-invariants of Gromov-Witten type for Fl_n. Two explicit constructions for quantum Grothendieck polynomials are presented. The natural generalizations of several properties of Grothendieck polynomials and of the quantum Schubert polynomials due to Fomin, Gelfand, and Postnikov are proved for our quantum Grothendieck polynomials. For instance, we use a quantization map satisfying a factorization property similar to the cohomology quantization map, and we derive a Monk-type multiplication formula. We also define quantum double Grothendieck polynomials and derive a Cauchy identity. Our constructions are considerably more complex than those for quantum Schubert polynomials. In particular, a crucial ingredient in our work is the Pieri formula for Grothendieck polynomials due to the first author and Sottile. △ Less

Submitted 9 August, 2006; originally announced August 2006.

Comments: 33 pages

MSC Class: Primary 05E99; ; Secondary 14N15; 14N35

Alcove path and Nichols-Woronowicz model of the equivariant $K$-theory of generalized flag varieties

Authors: Cristian Lenart, Toshiaki Maeno

Abstract: Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a… ▽ More Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the $T$-equivariant $K$-theory of a generalized flag variety $K_T(G/B)$ in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-type multiplication formula for $K_T(G/B)$ due to the first author and Postnikov; this formula is stated using certain operators defined in terms of so-called alcove paths (and the corresponding affine Weyl group). Our model is derived using a type-independent and concise approach. △ Less

Submitted 16 August, 2006; v1 submitted 5 July, 2006; originally announced July 2006.

On the Combinatorics of Crystal Graphs, I. Lusztig's Involution

Authors: Cristian Lenart

Abstract: In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatoric… ▽ More In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A). △ Less

Submitted 20 August, 2006; v1 submitted 8 September, 2005; originally announced September 2005.

Comments: 31 pages, 7 figures. to appear in Adv. Math

A Combinatorial Model for Crystals of Kac-Moody Algebras

Authors: Cristian Lenart, Alexander Postnikov

Abstract: We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the… ▽ More We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions. △ Less

Submitted 1 September, 2006; v1 submitted 7 February, 2005; originally announced February 2005.

Comments: 28 pages, 2 figures

MSC Class: 17B67; 22E46; 20G42

A Pieri-type formula for the K-theory of a flag manifold

Authors: Cristian Lenart, Frank Sottile

Abstract: We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projecti… ▽ More We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projection. Our formulas are in terms of certain labeled chains in the k-Bruhat order on the symmetric group and are combinatorial in that they involve no cancellations. We also show that the multiplicities in the Pieri formula are naturally certain binomial coefficients. △ Less

Submitted 31 March, 2005; v1 submitted 23 July, 2004; originally announced July 2004.

Comments: 25 pages, Fixed proof in Lemma 2.17

MSC Class: 14M15; 05E99; 19L64

Journal ref: Trans. Amer. Math. Soc. 359 (2007), 2317--2342.

Grothendieck polynomials via permutation patterns and chains in the Bruhat order

Authors: Cristian Lenart, Shawn Robinson, Frank Sottile

Abstract: We give new formulas for Grothendieck polynomials of two types. One type expresses any specialization of a Grothendieck polynomial in at least two sets of variables as a linear combination of products Grothendieck polynomials in each set of variables, with coefficients Schubert structure constants for Grothendieck polynomials. The other type is in terms of chains in the Bruhat order. We compare… ▽ More We give new formulas for Grothendieck polynomials of two types. One type expresses any specialization of a Grothendieck polynomial in at least two sets of variables as a linear combination of products Grothendieck polynomials in each set of variables, with coefficients Schubert structure constants for Grothendieck polynomials. The other type is in terms of chains in the Bruhat order. We compare this second type to other constructions of Grothendieck polynomials within the more general context of double Grothendieck polynomials and the closely related H-polynomials. Our methods are based upon the geometry of permutation patterns. △ Less

Submitted 15 November, 2005; v1 submitted 27 May, 2004; originally announced May 2004.

Comments: 35 pages. Revised from the original

Journal ref: American Journal of Mathematics, 128, No. 4, (2006), 805--848.

A Unified Approach to Combinatorial Formulas for Schubert Polynomials

Authors: Cristian Lenart

Abstract: Schubert polynomials were introduced in the context of the geometry of flag varieties. This paper investigates some of the connections not yet understood between several combinatorial structures for the construction of Schubert polynomials; we also present simplifications in some of the existing approaches to this area. We designate certain line diagrams known as rc-graphs as the main structure.… ▽ More Schubert polynomials were introduced in the context of the geometry of flag varieties. This paper investigates some of the connections not yet understood between several combinatorial structures for the construction of Schubert polynomials; we also present simplifications in some of the existing approaches to this area. We designate certain line diagrams known as rc-graphs as the main structure. The other structures in the literature we study include: semistandard Young tableaux, Kohnert diagrams, and balanced labelings of the diagram of a permutation. The main tools in our investigation are certain operations on rc-graphs, which correspond to the coplactic operations on tableaux, and thus define a crystal graph structure on rc-graphs; a new definition of these operations is presented. One application of these operations is a straightforward, purely combinatorial proof of a recent formula (due to Buch, Kresch, Tamvakis, and Yong), which expresses Schubert polynomials in terms of products of Schur polynomials. In spite of the fact that it refers to many objects and results related to them, the paper is mostly self-contained. △ Less

Submitted 26 February, 2004; v1 submitted 24 February, 2004; originally announced February 2004.

MSC Class: 05E99; 14M15

The K-theory of the Flag Variety and the Fomin-Kirillov Quadratic Algebra

Authors: Cristian Lenart

Abstract: We propose a new approach to the multiplication of Schubert classes in the K-theory of the flag variety. This extends the work of Fomin and Kirillov in the cohomology case, and is based on the quadratic algebra defined by them. More precisely, we define K-theoretic versions of the Dunkl elements considered by Fomin and Kirillov, show that they commute, and use them to describe the structure cons… ▽ More We propose a new approach to the multiplication of Schubert classes in the K-theory of the flag variety. This extends the work of Fomin and Kirillov in the cohomology case, and is based on the quadratic algebra defined by them. More precisely, we define K-theoretic versions of the Dunkl elements considered by Fomin and Kirillov, show that they commute, and use them to describe the structure constants of the K-theory of the flag variety with respect to its basis of Schubert classes. △ Less

Submitted 22 November, 2004; v1 submitted 16 February, 2004; originally announced February 2004.

MSC Class: 05E99; 14M15; 19L64