Source author record

Daisuke Sagaki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.QA math.RT math.CO

Catalog footprint

Research overview

16works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2016arXiv

Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials

In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$ , $x \in W_{\mathrm{af}}$ , of Demazure submodules $V_{x}^{+}(λ)$ , $x \in W_{\mathrm{af}}$ , of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$ , where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization is given in terms of the initial direction of a semi-infinite Lakshmibai-Seshadri path, and is established under a suitably normalized isomorphism between the crystal basis $\mathcal{B}(λ)$ of the level-zero extremal weight module $V(λ)$ and the crystal $\mathbb{B}^{\frac{\infty}{2}}(λ)$ of semi-infinite Lakshmibai-Seshadri paths of shape $λ$ , which is obtained in our previous work. As an application, we obtain a formula expressing the graded character of the Demazure submodule $V_{w_0}^{+}(λ)$ in terms of the specialization at $t=0$ of the symmetric Macdonald polynomial $P_λ(x\,;\,q,\,t)$ .

preprint2016arXiv

Specialization of nonsymmetric Macdonald polynomials at $t=\infty$ and Demazure submodules of level-zero extremal weight modules

In this paper, we give a representation-theoretic interpretation of the specialization $E_{w_{\circ} λ} (q,\infty)$ of the nonsymmetric Macdonald polynomial $E_{w_{\circ} λ}(q,t)$ at $t=\infty$ in terms of the Demazure submodule $V_{w_\circ}^{-} (λ)$ of the level-zero extremal weight module $V(λ)$ over a quantum affine algebra of an arbitrary untwisted type, here, $λ$ is a dominant integral weight, and $w_{\circ}$ denotes the longest element in the finite Weyl group $W$ . Also, for each $x \in W$ , we obtain a combinatorial formula for the specialization $E_{x λ} (q, \infty)$ at $t=\infty$ of the nonsymmetric Macdonald polynomial $E_{x λ} (q,t)$ , and also one for the graded character $\mathrm{gch} V_{x}^- (λ)$ of the Demazure submodule $V_{x}^- (λ)$ of $V(λ)$ , both of these formulas are described in terms of quantum Lakshmibai-Seshadri paths of shape $λ$ .

preprint2015arXiv

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

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.

preprint2014arXiv

Automorphisms of Niemeier lattices for Miyamoto's $\mathbb{Z}_3$ -orbifold construction

We classify, up to conjugation, all automorphisms of Niemeier lattices to which we can apply Miyamoto's orbifold construction. Using this classification, we prove that the VOAs obtained in [M] and [SS] are all of holomorphic non-lattice VOAs which we can obtain by applying the $\mathbb{Z}_3$ -orbifold construction to a Niemeier lattice and its automorphism.

preprint2013arXiv

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

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.

preprint2013arXiv

Application of a $\mathbb{Z}_{3}$ -orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices

By applying Miyamoto's $\mathbb{Z}_{3}$ -orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices and their automorphisms of order 3, we construct holomorphic vertex operator algebras of central charge 24 whose Lie algebras of the weight one spaces are of types $A_{2,3}^6$ , $E_{6,3}G_{2,1}^{3}$ , and $A_{5,3}D_{4,3}A_{1,1}^{3}$ , which correspond to No.6, No.17, and No.32 on Schellekens' list, respectively.

preprint2013arXiv

Posets, Tensor Products and Schur positivity

Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$ , where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset. Given an element of $P(λ, k)$ , consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order. We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.

preprint2012arXiv

A uniform model for Kirillov-Reshetikhin crystals. Extended 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 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.

preprint2012arXiv

Toward Berenstein-Zelevinsky data in affine type $A$ , part III: Proof of the connectedness

We prove the connectedness of the crystal, which we introduced in our previous works.

preprint2011arXiv

Toward Berenstein-Zelevinsky data in affine type $A$ , part II: Explicit description

In the present paper, we give an explicit description of the affine analogs of Berenstein-Zelevinsky data constructed in our previous paper: Toward Berenstein-Zelevinsky data in affine type $A$ , I: Construction of affine analogs (arXiv:1009.4526), in terms of certain collections of nonnegative integers, which we call Lusztig data of type $A_{l-1}^{(1)}$ .

preprint2010arXiv

Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$ , $C_{\infty}$ , and $D_{\infty}$

Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$ , $C_{\infty}$ , or $D_{\infty}$ . Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$ , $C_{\infty}$ , and $D_{\infty}$ , extend the corresponding results due to Kwon, in types $A_{+\infty}$ and $A_{\infty}$ ; our results above also include, as a special case, the corresponding results (concerning crystal bases) due to Lecouvey, in types $B_{\infty}$ , $C_{\infty}$ , and $D_{\infty}$ , where the extremal weights are of level zero.

preprint2010arXiv

Tensor products and Minkowski sums of Mirkovic-Vilonen polytopes

The purpose of this paper is to prove that the Mirkovic-Vilonen (MV for short) polytope corresponding to the tensor product of two arbitrary MV polytopes is contained in the Minkowski sum of these two MV polytopes. This generalizes the result in our previous paper [KNS], which was obtained under the assumption that the first tensor factor is an extremal MV polytope.

preprint2010arXiv

Toward Berenstein-Zelevinsky data in affine type $A$ , I: Construction of affine analogs

We give (conjectural) analogs of Berenstein-Zelevinsky data for affine type $A$ . Moreover, by using these affine analogs of Berenstein-Zelevinsky data, we realize the crystal basis of the negative part of the quantized universal enveloping algebra of the (Langlands dual) Lie algebra of affine type $A$ .

preprint2006arXiv

Lakshmibai-Seshadri paths of level-zero weight shape and one-dimensional sums associated to level-zero fundamental representations

We give interpretations of energy functions and (classically restricted) one-dimensional sums associated to tensor products of level-zero fundamental representations of quantum affine algebras in terms of Lakshmibai-Seshadri paths of level-zero weight shape.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Daisuke Sagaki

Research overview

Is this your work?

16 publications

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

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

Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials

Specialization of nonsymmetric Macdonald polynomials at $t=\infty$ and Demazure submodules of level-zero extremal weight modules

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

Automorphisms of Niemeier lattices for Miyamoto's $\mathbb{Z}_3$ -orbifold construction

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

Application of a $\mathbb{Z}_{3}$ -orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices

Posets, Tensor Products and Schur positivity

A uniform model for Kirillov-Reshetikhin crystals. Extended abstract

Toward Berenstein-Zelevinsky data in affine type $A$ , part III: Proof of the connectedness

Toward Berenstein-Zelevinsky data in affine type $A$ , part II: Explicit description

Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$ , $C_{\infty}$ , and $D_{\infty}$

Tensor products and Minkowski sums of Mirkovic-Vilonen polytopes

Toward Berenstein-Zelevinsky data in affine type $A$ , I: Construction of affine analogs

Lakshmibai-Seshadri paths of level-zero weight shape and one-dimensional sums associated to level-zero fundamental representations

See the researcher in context

Building this map preview

Daisuke Sagaki

Research overview

Is this your work?

16 publications

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

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

Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials

Specialization of nonsymmetric Macdonald polynomials at t=∞t=\inftyt=∞ and Demazure submodules of level-zero extremal weight modules

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

Automorphisms of Niemeier lattices for Miyamoto's Z3\mathbb{Z}_3Z3​-orbifold construction

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

Application of a Z3\mathbb{Z}_{3}Z3​-orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices

Posets, Tensor Products and Schur positivity

A uniform model for Kirillov-Reshetikhin crystals. Extended abstract

Toward Berenstein-Zelevinsky data in affine type AAA, part III: Proof of the connectedness

Toward Berenstein-Zelevinsky data in affine type AAA, part II: Explicit description

Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types B∞B_{\infty}B∞​, C∞C_{\infty}C∞​, and D∞D_{\infty}D∞​

Tensor products and Minkowski sums of Mirkovic-Vilonen polytopes

Toward Berenstein-Zelevinsky data in affine type AAA, I: Construction of affine analogs

Lakshmibai-Seshadri paths of level-zero weight shape and one-dimensional sums associated to level-zero fundamental representations

See the researcher in context

Building this map preview

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

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

Specialization of nonsymmetric Macdonald polynomials at $t=\infty$ and Demazure submodules of level-zero extremal weight modules

Automorphisms of Niemeier lattices for Miyamoto's $\mathbb{Z}_3$ -orbifold construction

Application of a $\mathbb{Z}_{3}$ -orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices

Toward Berenstein-Zelevinsky data in affine type $A$ , part III: Proof of the connectedness

Toward Berenstein-Zelevinsky data in affine type $A$ , part II: Explicit description

Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$ , $C_{\infty}$ , and $D_{\infty}$

Toward Berenstein-Zelevinsky data in affine type $A$ , I: Construction of affine analogs