SearcharxivSearch

arXiv subjects

Daisuke Sagaki

Publications and source records attributed to Daisuke Sagaki.

At least 19 recordsLinked to original sources

Explicit description of certain 3-point K-theoretic Gromov-Witten invariants for flag manifolds

We give an explicit description, in terms of the quantum Bruhat graph, of the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants $\langle \mathcal{O}(- \lambda), \mathcal{O}^{w}, \mathcal{O}_{u} \rangle_{d}$ for the (full) flag manifold $X = G/B$, where $\mathcal{O}(- \lambda)$ denotes the class in the (torus-equivariant) $K$-theory ring $K_{T}(X)$ of $X$ of the line bundle $\mathcal{O}_{X}(- \lambda) = G \times_{B} \mathbb{C}_{\lambda}$ over $X = G/B$ associated to a weight $\lambda \in W \varpi_i$ lying in the Weyl group orbit of a minuscule fundamental weight $\varpi_i$, and $\mathcal{O}_{u}$, $\mathcal{O}^{w}$ are the Schubert and opposite Schubert classes in $K_{T}(X)$ for $u, w \in W$. This result can be thought of as a partial generalization of the quantum $K$-theoretic divisor axiom, which we obtained in our previous work; our proof utilizes a generalization of the Chevalley formula in the (torus-equivariant) quantum $K$-theory ring $QK_{T}(X)$ of $X$, which computes the quantum product with the line bundle class $\mathcal{O}(- \lambda)$ associated to the weight $\lambda$ above.

math.QA

Quantum $K$-theoretic divisor axiom for flag manifolds

We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of flag manifolds $G/P$, which can be thought of as a replacement for the ``divisor axiom'' in their (torus-equivariant) quantum $K$-theory. This identity enables us to compute these invariants when two insertions are Schubert classes and the other a Schubert divisor class. Our type-independent proof utilizes the Chevalley formula for the (torus-equivariant) quantum $K$-theory ring of flag manifolds, which computes multiplications by Schubert divisor classes in terms of the quantum Bruhat graph.

math.QA

Pieri-type multiplication formula for quantum Grothendieck polynomials

The purpose of this paper is to prove a Pieri-type multiplication formula for quantum Grothendieck polynomials, which was conjectured by Lenart-Maeno. This formula would enable us to compute explicitly the quantum product of two arbitrary (opposite) Schubert classes in the (small) quantum $K$-theory ring $QK(Fl_{n})$ of the (full) flag manifold $Fl_{n}$ of type $A_{n-1}$ on the basis of the fact that quantum Grothendieck polynomials represent (opposite) Schubert classes in $QK(Fl_{n})$.

math.QA

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

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.

math.CO

A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal

We give a presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, as a quotient of a polynomial ring by an explicit ideal. This is the torus-equivariant version of our previous result, which gives a presentation of the non-equivariant quantum $K$-theory ring of flag manifolds of type $A$. However, the method of proof for the torus-equivariant one is completely different from that for the non-equivariant one; our proof is based on the result in the $Q = 0$ limit, and uses Nakayama-type arguments to upgrade it to the quantum situation. Also, in contrast to the non-equivariant case in which we used the Chevalley formula, we make use of the inverse Chevalley formula for the torus-equivariant $K$-group of semi-infinite flag manifolds to obtain a relation which yields our presentation.

math.QA

Quantum K-theory Chevalley formulas in the parabolic case

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.

math.CO

A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part II: quantum double Grothendieck polynomials

In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant $K$-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb{C})$.

math.QA

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

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.

math.QA

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

We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply-laced type and equivariant scalars $e^λ$, where $λ$ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply-laced type, except for type $E_8$. The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. As such, our formula also provides an explicit determination of all nonsymmetric $q$-Toda operators for minuscule weights in ADE type.

math.RT

Chevalley formula for anti-dominant minuscule fundamental weights in the equivariant quantum $K$-group of partial flag manifolds

In this paper, we give an explicit formula of Chevalley type, in terms of the Bruhat graph, for the quantum multiplication with the class of the line bundle associated to the anti-dominant minuscule fundamental weight $- \varpi_{k}$ in the torus-equivariant quantum $K$-group of the partial flag manifold $G/P_{J}$ (where $J = I \setminus \{k\}$) corresponding to the maximal (standard) parabolic subgroup $P_{J}$ of minuscule type in type $A$, $D$, $E$, or $B$. This result is obtained by proving a similar formula in a torus-equivariant $K$-group of the semi-infinite partial flag manifold $\mathbf{Q}_{J}$ of minuscule type, and then by making use of the isomorphism between the torus-equivariant quantum $K$-group of $G/P_{J}$ and the torus-equivariant $K$-group of $\mathbf{Q}_{J}$, recently established by Kato.

math.QA

Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds

We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.

math.QA

A Chevalley formula for semi-infinite flag manifolds and quantum K-theory (Extended 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 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.

math.CO

Level-zero van der Kallen modules and specialization of nonsymmetric Macdonald polynomials at $t = \infty$

Let $λ\in P^{+}$ be a level-zero dominant integral weight, and $w$ an arbitrary coset representative of minimal length for the cosets in $W/W_λ$, where $W_λ$ is the stabilizer of $λ$ in a finite Weyl group $W$. In this paper, we give a module $\mathbb{K}_{w}(λ)$ over the negative part of a quantum affine algebra whose graded character is identical to the specialization at $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q,\,t)$ multiplied by a certain explicit finite product of rational functions of $q$ of the form $(1 - q^{-r})^{-1}$ for a positive integer $r$. This module $\mathbb{K}_{w}(λ)$ (called a level-zero van der Kallen module) is defined to be the quotient module of the level-zero Demazure module $V_{w}^{-}(λ)$ by the sum of the submodules $V_{z}^{-}(λ)$ for all those coset representatives $z$ of minimal length for the cosets in $W/W_λ$ such that $z > w$ in the Bruhat order $<$ on $W$.

math.QA

Path model for an extremal weight module over the quantized hyperbolic Kac-Moody algebra of rank 2

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank 2, and set $λ=Λ_{1} - Λ_{2}$, where $Λ_{1}$, $Λ_{2}$ are the fundamental weights. Denote by $V(λ)$ the extremal weight module of extremal weight $λ$ with $v_λ$ the extremal weight vector, and by $\mathcal{B}(λ)$ the crystal basis of $V(λ)$ with $u_λ$ the element corresponding to $v_λ$. We prove that (i) $\mathcal{B}(λ)$ is connected, (ii) the subset $\mathcal{B}(λ)_μ$ of elements of weight $μ$ in $\mathcal{B}(λ)$ is a finite set for every integral weight $μ$, and $\mathcal{B}(λ)_λ = \{u_λ\}$, (iii) every extremal element in $\mathcal{B}(λ)$ is contained in the Weyl group orbit of $u_λ$, (iv) $V(λ)$ is irreducible. Finally, we prove that the crystal basis $\mathcal{B}(λ)$ is isomorphic, as a crystal, to the crystal $\mathbb{B}(λ)$ of Lakshmibai-Seshadri paths of shape $λ$.

math.QA

Tensor product decomposition theorem for quantum Lakshmibai-Seshadri paths and standard monomial theory for semi-infinite Lakshmibai-Seshadri paths

Let $λ$ be a (level-zero) dominant integral weight for an untwisted affine Lie algebra, and let $\mathrm{QLS}(λ)$ denote the quantum Lakshmibai-Seshadri (QLS) paths of shape $λ$. For an element $w$ of a finite Weyl group $W$, the specializations at $t = 0$ and $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q, t)$ are explicitly described in terms of QLS paths of shape $λ$ and the degree function defined on them. Also, for (level-zero) dominant integral weights $λ$, $μ$, we have an isomorphism $Θ: \mathrm{QLS}(λ+ μ) \rightarrow \mathrm{QLS}(λ) \otimes \mathrm{QLS}(μ)$ of crystals. In this paper, we study the behavior of the degree function under the isomorphism $Θ$ of crystals through the relationship between semi-infinite Lakshmibai-Seshadri (LS) paths and QLS paths. As an application, we give a crystal-theoretic proof of a recursion formula for the graded characters of generalized Weyl modules.

math.QA

Equivariant $K$-theory of semi-infinite flag manifolds and Pieri-Chevalley formula

We propose a definition of equivariant (with respect to an Iwahori subgroup) $K$-theory of the formal power series model $\mathbf{Q}_{G}$ of semi-infinite flag manifold and prove the Pieri-Chevalley formula, which describes the product, in the $K$-theory of $\mathbf{Q}_{G}$, of the structure sheaf of a semi-infinite Schubert variety with a line bundle (associated to a dominant integral weight) over $\mathbf{Q}_{G}$. In order to achieve this, we provide a number of fundamental results on $\mathbf{Q}_{G}$ and its Schubert subvarieties including the Borel-Weil-Bott theory, whose special case is conjectured in [A. Braverman and M. Finkelberg, Weyl modules and $q$-Whittaker functions, Math. Ann. 359 (2014), 45--59]. One more ingredient of this paper besides the geometric results above is (a combinatorial version of) standard monomial theory for level-zero extremal weight modules over quantum affine algebras, which is described in terms of semi-infinite Lakshmibai-Seshadri paths. In fact, in our Pieri-Chevalley formula, the positivity of structure coefficients is proved by giving an explicit representation-theoretic meaning through semi-infinite Lakshmibai-Seshadri paths.

math.QA