Showing 1–50 of 60 results for author: Shimozono, M

Wreath Macdonald polynomials, a survey

Authors: Daniel Orr, Mark Shimozono

Abstract: Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conje… ▽ More Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject. A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Wreath Macdonald operators

Authors: Daniel Orr, Mark Shimozono, Joshua Jeishing Wen

Abstract: We construct a novel family of difference-permutation operators and prove that they are diagonalized by the wreath Macdonald $P$-polynomials; the eigenvalues are written in terms of elementary symmetric polynomials of arbitrary degree. Our operators arise from integral formulas for the action of the horizontal Heisenberg subalgebra in the vertex representation of the corresponding quantum toroidal… ▽ More We construct a novel family of difference-permutation operators and prove that they are diagonalized by the wreath Macdonald $P$-polynomials; the eigenvalues are written in terms of elementary symmetric polynomials of arbitrary degree. Our operators arise from integral formulas for the action of the horizontal Heisenberg subalgebra in the vertex representation of the corresponding quantum toroidal algebra △ Less

Submitted 14 April, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: v2, 47pp. Fixed some typos. Submitted

A row analogue of Hecke column insertion

Authors: Daoji Huang, Mark Shimozono, Tianyi Yu

Abstract: We introduce a new row insertion algorithm on decreasing tableaux and increasing tableaux, generalizing Edelman-Greene (EG) row insertion. Our row insertion algorithm is a nontrivial variation of Hecke column insertion which generalizes EG column insertion. Similar to Hecke column insertion, our row insertion is bijective and respects Hecke equivalence, and therefore recovers the expansions of sta… ▽ More We introduce a new row insertion algorithm on decreasing tableaux and increasing tableaux, generalizing Edelman-Greene (EG) row insertion. Our row insertion algorithm is a nontrivial variation of Hecke column insertion which generalizes EG column insertion. Similar to Hecke column insertion, our row insertion is bijective and respects Hecke equivalence, and therefore recovers the expansions of stable Grothendieck functions into Grassmannian stable Grothendieck functions. △ Less

Submitted 28 May, 2024; v1 submitted 5 November, 2022; originally announced November 2022.

Comments: 21 pages. Improved introduction. Accepted at Combinatorial Theory

MSC Class: 05E05

Difference operators for wreath Macdonald polynomials

Authors: Daniel Orr, Mark Shimozono

Abstract: We give explicit $q$-difference operators acting diagonally on wreath Macdonald $P$-polynomials in finitely many variables. We give explicit $q$-difference operators acting diagonally on wreath Macdonald $P$-polynomials in finitely many variables. △ Less

Submitted 9 November, 2022; v1 submitted 17 October, 2021; originally announced October 2021.

Back stable K-theory Schubert calculus

Authors: Thomas Lam, Seung ** Lee, Mark Shimozono

Abstract: We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stabl… ▽ More We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials, and divided difference operators in $K$-homology. △ Less

Submitted 23 August, 2021; originally announced August 2021.

MSC Class: 14M15; 05E05

The Möbius function on Affine Grassmannian elements

Authors: Michael Lugo, Mark Shimozono

Abstract: To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzer… ▽ More To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties. △ Less

Submitted 23 July, 2021; originally announced July 2021.

MSC Class: 05E14

Grothendieck to Lascoux expansions

Authors: Mark Shimozono, Tianyi Yu

Abstract: We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian st… ▽ More We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials. △ Less

Submitted 25 June, 2021; originally announced June 2021.

MSC Class: 05E14 14N15

On the coproduct in affine Schubert calculus

Authors: Thomas Lam, Seung ** Lee, Mark Shimozono

Abstract: The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomial… ▽ More The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author. △ Less

Submitted 20 September, 2020; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 25 pages

On cyclic quiver parabolic Kostka-Shoji polynomials

Authors: Daniel Orr, Mark Shimozono

Abstract: We obtain an explicit combinatorial formula for certain parabolic Kostka-Shoji polynomials associated with the cyclic quiver, generalizing results of Shoji and of Liu and Shoji. We obtain an explicit combinatorial formula for certain parabolic Kostka-Shoji polynomials associated with the cyclic quiver, generalizing results of Shoji and of Liu and Shoji. △ Less

Submitted 16 June, 2019; originally announced June 2019.

Back stable Schubert calculus

Authors: Thomas Lam, Seung ** Lee, Mark Shimozono

Abstract: We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Gr… ▽ More We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian. △ Less

Submitted 22 March, 2021; v1 submitted 28 June, 2018; originally announced June 2018.

Comments: 63 pages. v2: minor reorganization

Journal ref: Compositio Math. 157 (2021) 883-962

Hall-Littlewood expansions of Schur delta operators at $t = 0$

Authors: James Haglund, Brendon Rhoades, Mark Shimozono

Abstract: For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomi… ▽ More For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space. △ Less

Submitted 24 January, 2018; originally announced January 2018.

Comments: 18 pages

A conjectural Peterson isomorphism in K-theory

Authors: Thomas Lam, Changzheng Li, Leonardo C. Mihalcea, Mark Shimozono

Abstract: We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and structure constants. This generalizes Peterson's isomorphism in (co)homology. We prove a formula for the Pontryagin structure constants in the K-homology ring, and… ▽ More We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and structure constants. This generalizes Peterson's isomorphism in (co)homology. We prove a formula for the Pontryagin structure constants in the K-homology ring, and we use it to check our conjecture in few situations. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 15 pages

Quiver Hall-Littlewood functions and Kostka-Shoji polynomials

Authors: Daniel Orr, Mark Shimozono

Abstract: For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-**g creation operators in the theory of Hall-Littlewood symmetric functions. For a triple… ▽ More For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-**g creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases. We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux. We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$. △ Less

Submitted 14 June, 2018; v1 submitted 17 April, 2017; originally announced April 2017.

Journal ref: Pacific J. Math. 319 (2022) 397-437

Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture

Authors: James Haglund, Brendon Rhoades, Mark Shimozono

Abstract: The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has r… ▽ More The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$. △ Less

Submitted 3 April, 2019; v1 submitted 24 September, 2016; originally announced September 2016.

Comments: 45 pages

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

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

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

Specializations of nonsymmetric Macdonald-Koornwinder polynomials

Authors: Daniel Orr, Mark Shimozono

Abstract: This work records the details of the Ram-Yip formula for nonsymmetric Macdonald-Koornwinder polynomials for the double affine Hecke algebras of not-necessarily-reduced affine root systems. It is shown that the t=0 equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the… ▽ More This work records the details of the Ram-Yip formula for nonsymmetric Macdonald-Koornwinder polynomials for the double affine Hecke algebras of not-necessarily-reduced affine root systems. It is shown that the t=0 equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the untwisted case. In particular our formula yields a definition of quantum Bruhat graph for all affine root systems. For mixed type the proof requires the Ram-Yip formula for the nonsymmetric Koornwinder polynomials. A quantum alcove path formula is also given for the limit at t equal to infinity. As a consequence we establish the positivity of the coefficients of nonsymmetric Macdonald polynomials under this limit, as conjectured by Cherednik and the first author. Finally, an explicit formula is given at q equal to infinity, which yields the p-adic Iwahori-Whittaker functions of Brubaker, Bump, and Licata. △ Less

Submitted 29 October, 2013; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: 31 pages, 3 figures

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

$k$-Schur functions and affine Schubert calculus

Authors: Thomas Lam, Luc Lapointe, Jennifer Morse, Anne Schilling, Mark Shimozono, Mike Zabrocki

Abstract: This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions a… ▽ More This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus △ Less

Submitted 24 October, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 213 pages; conference website: http://www.fields.utoronto.ca/programs/scientific/10-11/schubert/, updates and corrections since v1. This material is based upon work supported by the National Science Foundation under Grant No. DMS-0652641

MSC Class: 05E05; 14N15

Journal ref: Fields Institute Monographs 33 (2014) (Springer), ISBN 978-1-4939-0682-6 (eBook)

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.

From double quantum Schubert polynomials to k-double Schur functions via the Toda lattice

Authors: Thomas Lam, Mark Shimozono

Abstract: We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes. We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes. △ Less

Submitted 10 September, 2011; originally announced September 2011.

Comments: 16 pages

MSC Class: 14N35

Quantum double Schubert polynomials represent Schubert classes

Authors: Thomas Lam, Mark Shimozono

Abstract: The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag va… ▽ More The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 14 pages

MSC Class: 14N35

Equivariant Pieri Rule for the homology of the affine Grassmannian

Authors: Thomas Lam, Mark Shimozono

Abstract: An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_… ▽ More An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_{2n} and SO_{2n+1}. For SL_n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL_n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions. △ Less

Submitted 25 May, 2011; originally announced May 2011.

Comments: 20 pages

k-Double Schur functions and equivariant (co)homology of the affine Grassmannian

Authors: Thomas Lam, Mark Shimozono

Abstract: The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions. The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions. △ Less

Submitted 11 May, 2011; originally announced May 2011.

Comments: 24 pages

MSC Class: 05E05; 14N15

X = K under review

Authors: Cedric Lecouvey, Masato Okado, Mark Shimozono

Abstract: We review the X = K conjecture and important ingredients for the proof. We also attach notes on the rank estimate for the X = K theorem to hold and on the strange relation that was found to be valid without the assumption that the rank is sufficiently large. Using the latter one obtains an algorithm to calculate the image of the combinatorial R-matrix and the value of the coenergy function. We review the X = K conjecture and important ingredients for the proof. We also attach notes on the rank estimate for the X = K theorem to hold and on the strange relation that was found to be valid without the assumption that the rank is sufficiently large. Using the latter one obtains an algorithm to calculate the image of the combinatorial R-matrix and the value of the coenergy function. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 10 pages

MSC Class: 17B37; 05E15; 81R10

From quantum Schubert polynomials to k-Schur functions via the Toda lattice

Authors: Thomas Lam, Mark Shimozono

Abstract: We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus. We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus. △ Less

Submitted 26 October, 2010; v1 submitted 19 October, 2010; originally announced October 2010.

Comments: 11 pages, minor changes, acknowledgments added

k-shape poset and branching of k-Schur functions

Authors: Thomas Lam, Luc Lapointe, Jennifer Morse, Mark Shimozono

Abstract: We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Sch… ▽ More We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function. △ Less

Submitted 29 July, 2010; originally announced July 2010.

Comments: 85 pages

MSC Class: 05E05

Affine crystals, one-dimensional sums and parabolic Lusztig q-analogues

Authors: Cedric Lecouvey, Masato Okado, Mark Shimozono

Abstract: This paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of the root system considered is sufficiently large. As a consequence, any one-dimensional sum associated to a classical affine root system with sufficiently larg… ▽ More This paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of the root system considered is sufficiently large. As a consequence, any one-dimensional sum associated to a classical affine root system with sufficiently large rank can be regarded as a parabolic Lusztig q-analogue. △ Less

Submitted 9 May, 2011; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: 37 pages; proof of Theorem 8.1 simplified; revised in several places and typos corrected

MSC Class: 17B37; 05E15; 81R10

K-theory Schubert calculus of the affine Grassmannian

Authors: Thomas Lam, Anne Schilling, Mark Shimozono

Abstract: We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmet… ▽ More We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations using Kashiwara's thick affine flag manifold. △ Less

Submitted 31 August, 2009; v1 submitted 12 January, 2009; originally announced January 2009.

Comments: 38 pages

MSC Class: 05E05; 14N15

Journal ref: Compositio Math. 146 (2010) 811-852

Schubert Polynomials for the affine Grassmannian of the symplectic group

Authors: Thomas Lam, Anne Schilling, Mark Shimozono

Abstract: We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type… ▽ More We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one. △ Less

Submitted 4 February, 2009; v1 submitted 15 October, 2007; originally announced October 2007.

Comments: 45 pages

MSC Class: 05E05; 14N15

Journal ref: Mathematische Zeitschrift 264(4) (2010) 765-811

Quantum cohomology of G/P and homology of affine Grassmannian

Authors: Thomas Lam, Mark Shimozono

Abstract: Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are id… ▽ More Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi. For the case G = B, we use the Mihalcea's equivariant quantum Chevalley formula for QH^*(G/B), together with relationships between the quantum Bruhat graph of Brenti, Fomin and Postnikov and the Bruhat order on the affine Weyl group. As byproducts we obtain formulae for affine Schubert homology classes in terms of quantum Schubert polynomials. We give some applications in quantum cohomology. Our main results extend to the torus-equivariant setting. △ Less

Submitted 9 May, 2007; originally announced May 2007.

Comments: 29 pages

MSC Class: 14N35; 57T15

Dual graded graphs for Kac-Moody algebras

Authors: Thomas Lam, Mark Shimozono

Abstract: Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Mo… ▽ More Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets. △ Less

Submitted 30 September, 2007; v1 submitted 4 February, 2007; originally announced February 2007.

Comments: 36 pages

MSC Class: 05E10; 57T15; 17B67

Affine insertion and Pieri rules for the affine Grassmannian

Authors: Thomas Lam, Luc Lapointe, Jennifer Morse, Mark Shimozono

Abstract: We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert… ▽ More We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures. △ Less

Submitted 23 November, 2008; v1 submitted 4 September, 2006; originally announced September 2006.

Comments: 98 pages

MSC Class: 05E05;14N15

Kempf collapsing and quiver loci

Authors: Allen Knutson, Mark Shimozono

Abstract: Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by… ▽ More Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree. Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ Ωis the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly). Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobiński-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new). △ Less

Submitted 13 August, 2006; originally announced August 2006.

Comments: 21 pages

MSC Class: 16G20; 16G70; 55N91; 19L47

Demazure structure inside Kirillov-Reshetikhin crystals

Authors: Ghislain Fourier, Anne Schilling, Mark Shimozono

Abstract: The conjecturally perfect Kirillov-Reshetikhin (KR) crystals are known to be isomorphic as classical crystals to certain Demazure subcrystals of crystal graphs of irreducible highest weight modules over affine algebras. Under some assumptions we show that the classical isomorphism from the Demazure crystal to the KR crystal, sends zero arrows to zero arrows. This implies that the affine crystal… ▽ More The conjecturally perfect Kirillov-Reshetikhin (KR) crystals are known to be isomorphic as classical crystals to certain Demazure subcrystals of crystal graphs of irreducible highest weight modules over affine algebras. Under some assumptions we show that the classical isomorphism from the Demazure crystal to the KR crystal, sends zero arrows to zero arrows. This implies that the affine crystal structure on these KR crystals is unique. △ Less

Submitted 16 May, 2006; originally announced May 2006.

Comments: 17 pages

MSC Class: 17B37; 81R50; 22E65

Journal ref: J.Algebra309:386-404,2007

Equivariant K-theory of affine flag manifolds and affine Grothendieck polynomials

Authors: Masaki Kashiwara, Mark Shimozono

Abstract: We study the equivariant K-group of the affine flag manifold with respect to the Borel group action. We prove that the structure sheaf of the (infinite-dimensional) Schubert variety in the K-group is represented by a unique polynomial, which we call the affine Grothendieck polynomial. We study the equivariant K-group of the affine flag manifold with respect to the Borel group action. We prove that the structure sheaf of the (infinite-dimensional) Schubert variety in the K-group is represented by a unique polynomial, which we call the affine Grothendieck polynomial. △ Less

Submitted 23 January, 2006; v1 submitted 23 January, 2006; originally announced January 2006.

Comments: 28 pages

MSC Class: 19L47; 14M17; 17B67; 22E65

Journal ref: Duke Math. J. 148, no. 3 (2009), 501-538

Stable Grothendieck polynomials and K-theoretic factor sequences

Authors: Anders S. Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis, Alexander Yong

Abstract: We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Litt… ▽ More We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials. △ Less

Submitted 20 January, 2006; originally announced January 2006.

Comments: 21 pages

MSC Class: 05E15 (Primary) 14M15; 19E08; 05E05 (Secondary)

Journal ref: Math. Ann. 340 (2008), no. 2, 359--382.

A Little bijection for affine Stanley symmetric functions

Authors: Thomas Lam, Mark Shimozono

Abstract: David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Schützenberger tree. We generalize this algorithm to affine Stanley symmetric functions. David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Schützenberger tree. We generalize this algorithm to affine Stanley symmetric functions. △ Less

Submitted 19 January, 2006; originally announced January 2006.

Comments: 10 pages

MSC Class: 05E05

Lusztig's q-analogue of weight multiplicity and one-dimensional sums for affine root systems

Authors: Cedric Lecouvey, Mark Shimozono

Abstract: In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We c… ▽ More In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We consider a subfamily of Lusztig's q-analogues of weight multiplicity which we call stable KL polynomials and denote by KL. We give a type-independent proof that K=KL. This proves that X=KL: the family of stable one-dimensional sums coincides with family of stable KL polynomials. Our result generalizes the theorem of Nakayashiki and Yamada which establishes the above equality in the case of one-dimensional sums of affine type A and the Lusztig q-analogue of type A, where both are Kostka-Foulkes polynomials. △ Less

Submitted 15 October, 2008; v1 submitted 25 August, 2005; originally announced August 2005.

Comments: 28 pages; incorrect section 3.4 replaced

MSC Class: 17B37; 05E15; 81R10

Journal ref: Adv. Math. 208 (2007) 438-466

On the X=M=K Conjecture

Authors: Mark Shimozono

Abstract: In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka polynomials. This is called the X=M=K conjecture. It is proved for tensor products of the symmetric power Kirillov-Reshetikhin modules for all nonexceptional aff… ▽ More In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka polynomials. This is called the X=M=K conjecture. It is proved for tensor products of the symmetric power Kirillov-Reshetikhin modules for all nonexceptional affine algebras except those whose Dynkin diagrams are isomorphic to that of untwisted affine type D near the zero node. Combined with results of Lecouvey, this realizes the above one-dimensional sums of affine type C, as affine Kazhdan-Lusztig polynomials (and conjecturally for type D). △ Less

Submitted 21 January, 2005; originally announced January 2005.

Comments: requires the provided style file rcyoungtab.sty

MSC Class: 17B37; 81R10; 81R50; 82B23; 05A30

X=M for symmetric powers

Authors: Anne Schilling, Mark Shimozono

Abstract: The X=M conjecture of Hatayama et al. asserts the equality between the one-dimensional configuration sum X expressed as the generating function of crystal paths with energy statistics and the fermionic formula M for all affine Kac--Moody algebra. In this paper we prove the X=M conjecture for tensor products of Kirillov--Reshetikhin crystals B^{1,s} associated to symmetric powers for all nonexcep… ▽ More The X=M conjecture of Hatayama et al. asserts the equality between the one-dimensional configuration sum X expressed as the generating function of crystal paths with energy statistics and the fermionic formula M for all affine Kac--Moody algebra. In this paper we prove the X=M conjecture for tensor products of Kirillov--Reshetikhin crystals B^{1,s} associated to symmetric powers for all nonexceptional affine algebras. △ Less

Submitted 20 April, 2005; v1 submitted 18 December, 2004; originally announced December 2004.

Comments: 40 pages; to appear in J. Algebra

MSC Class: 17B37; 81R10; 81R50; 82B23; 05A30

Journal ref: J. Algebra 295 (2006) 562-610

Deformed universal characters for classical and affine algebras

Authors: Mark Shimozono, Mike Zabrocki

Abstract: Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coef… ▽ More Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality. △ Less

Submitted 16 April, 2004; originally announced April 2004.

Comments: 29 pages

MSC Class: 81R10; 05E10

Four positive formulae for type A quiver polynomials

Authors: Allen Knutson, Ezra Miller, Mark Shimozono

Abstract: We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that… ▽ More We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1, and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula was conjectured for by Buch and Fulton in terms of factor sequences of Young tableaux; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in ``doubled'' versions, two for `double quiver polynomials', and the other two for their stable versions, the `double quiver functions', where setting half the variables equal to the other half specializes to the ordinary case. △ Less

Submitted 2 September, 2003; v1 submitted 14 August, 2003; originally announced August 2003.

Comments: 75 pages, about 25 LaTeX-drawn figure-like objects; submitted. v2: references added, Corollary 1.16 corrected, Remark 6.25 added, Sections 7 and 8 reorganized around a direct proof that quiver constants are instances of Stanley coefficients. Introduction edited to accomodate these alterations

MSC Class: 14C17; 05E05; 05E15; 14M12

Virtual crystals and Kleber's algorithm

Authors: Masato Okado, Anne Schilling, Mark Shimozono

Abstract: Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it… ▽ More Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type. △ Less

Submitted 9 April, 2014; v1 submitted 8 September, 2002; originally announced September 2002.

Comments: 23 pages; style file youngtab.sty required, package pstricks required; fixed typo in Eq. (5.2)

MSC Class: 81R50; 17B37; 05A19; 05A30; 82B23

Journal ref: Commun.Math.Phys. 238 (2003) 187-209

A crystal to rigged configuration bijection for nonexceptional affine algebras

Authors: Masato Okado, Anne Schilling, Mark Shimozono

Abstract: Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Ta… ▽ More Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author. △ Less

Submitted 15 March, 2002; originally announced March 2002.

Comments: 34 pages; axodraw.sty file required

MSC Class: 17B37; 82B23; 05A19; 81R50; 05E15

Journal ref: "Algebraic Combinatorics and Quantum Groups", Edited by N. **g, World Scientific (2003), 85-124

A Tensor Product Theorem Related To Perfect Crystals

Authors: Masato Okado, Anne Schilling, Mark Shimozono

Abstract: Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfec… ▽ More Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by Kang, Kashiwara and Misra, and the coherent family of crystals $\{B^{k,l}\}_{l\ge 1}$ of type $A_n^{(1)}$. △ Less

Submitted 18 December, 2002; v1 submitted 27 November, 2001; originally announced November 2001.

Comments: 27 pages; error corrected

MSC Class: 17B67

Journal ref: Journal of Algebra 267 (2003) 212-245

Virtual crystals and fermionic formulas of type $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, and $C_n^{(1)}$

Authors: Masato Okado, Anne Schilling, Mark Shimozono

Abstract: We introduce ``virtual'' crystals of the affine types $g=D_{n+1}^{(2)}$, $A_{2n}^{(2)}$ and $C_n^{(1)}$ by naturally extending embeddings of crystals of types $B_n$ and $C_n$ into crystals of type $A_{2n-1}$. Conjecturally, these virtual crystals are the crystal bases of finite dimensional $U_q'(g)$-modules associated with multiples of fundamental weights. We provide evidence and in some cases p… ▽ More We introduce ``virtual'' crystals of the affine types $g=D_{n+1}^{(2)}$, $A_{2n}^{(2)}$ and $C_n^{(1)}$ by naturally extending embeddings of crystals of types $B_n$ and $C_n$ into crystals of type $A_{2n-1}$. Conjecturally, these virtual crystals are the crystal bases of finite dimensional $U_q'(g)$-modules associated with multiples of fundamental weights. We provide evidence and in some cases proofs of this conjecture. Recently, fermionic formulas for the one dimensional configuration sums associated with tensor products of the finite dimensional $U_q'(g)$-modules were conjectured by Hatayama et al. We provide proofs of these conjectures in specific cases by exploiting duality properties of crystals and rigged configuration techniques. For type $A_{2n}^{(2)}$ we also conjecture a new fermionic formula coming from a different labeling of the Dynkin diagram. △ Less

Submitted 2 May, 2001; originally announced May 2001.

Comments: 63 pages, style file axodraw.sty required

Report number: UC Davis Math 2001-8 MSC Class: 81R50; 81R10; 17B37; 05A30; 82B23

Journal ref: Represent. Theory 7 (2003) 101-163