BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mark Shimozono appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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-Jing 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$.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 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.
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 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 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.
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.
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.