Source author record

Toshiki Nakashima

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
5topics
4close collaborators

Published work

14 publications

preprint2022arXiv

An algorithm for Berenstein-Kazhdan decoration functions and trails for classical Lie algebras

For a simply connected connected simple algebraic group GG, it is known that a variety Bw0−:=B−∩Uw0‾UB_{w_0}^-:=B^-\cap U\overline{w_0}U has a geometric crystal structure with a positive structure θi−:(C×)l(w0)→Bw0−θ^-_{\mathbf{i}}:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^- for each reduced word i\mathbf{i} of the longest element w0w_0 of Weyl group. A rational function ΦBKh=∑i∈IΔw0Λi,siΛiΦ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i} on Bw0−B_{w_0}^- is called a half-potential, where Δw0Λi,siΛiΔ_{w_0Λ_i,s_iΛ_i} is a generalized minor. Computing ΦBKh∘θi−Φ^h_{BK}\circ θ^-_{\mathbf{i}} explicitly, we get an explicit form of string cone or polyhedral realization of B(∞)B(\infty) for the finite dimensional simple Lie algebra g=Lie(G)\mathfrak{g}={\rm Lie}(G). In this paper, for an arbitrary reduced word i\mathbf{i}, we give an algorithm to compute the summand Δw0Λi,siΛi∘θi−Δ_{w_0Λ_i,s_iΛ_i}\circ θ^-_{\mathbf{i}} of ΦBKh∘θi−Φ^h_{BK}\circ θ^-_{\mathbf{i}} in the case i∈Ii\in I satisfies that for any weight μμ of V(−w0Λi)V(-w_0Λ_i) and t∈It\in I, it holds ⟨ht,μ⟩∈{2,1,0,−1,−2}\langle h_t,μ\rangle\in\{2,1,0,-1,-2\}. In particular, if g\mathfrak{g} is of type An{\rm A}_n, Bn{\rm B}_n, Cn{\rm C}_n or Dn{\rm D}_n then all i∈Ii\in I satisfy this condition so that one can completely calculate ΦBKh∘θi−Φ^h_{BK}\circ θ^-_{\mathbf{i}}. We will also prove that our algorithm works in the case g\mathfrak{g} is of type G2{\rm G}_2.

preprint2022arXiv

Half Potential on Geometric Crystals and Connectedness of Cellular Crystals

For any simple complex algebraic group, we define upper/lower half-decorated geometric crystals and show that their tropicalization will be upper/lower normal Kashiwara's crystals. In particular, we show that the tropicalization of the half-decorated geometric crystal on the big Bruhat cell(=Bw0−:=B−∩Uwˉ0UB^-_{w_0}:=B^-\cap U\bar w_0 U) is isomorphic to the crystal B(∞)B(\infty) of the nilpotent subalgebra of quantum group Uq−(g)U_q^-(\mathfrak g). As an application, we shall show that any cellular crystal associated with a reduced word is connected in the sense of a crystal graph.

preprint2021arXiv

Adapted Sequence for Polyhedral Realization of Crystal Bases

The polyhedral realization of crystal base has been introduced by A.Zelevinsky and the second author([T.Nakashima, A.Zelevinsky, Adv. Math. 131, no. 1 (1997)]), which describe the crystal base B(∞)B(\infty) as a polyhedral convex cone in the infinite Z\mathbb{Z}-lattice Z∞\mathbb{Z}^{\infty}. To construct the polyhedral realization, we need to fix an infinite sequence ιι from the indices of the simple roots. According to this ιι, one has certain set of linear functions defining a polyhedral convex cone and under the `positivity condition' on ιι, it has been shown that the polyhedral convex cone is isomorphic to the crystal base B(∞)B(\infty). To confirm the positivity condition for a given ιι, we need to obtain the whole feature of the set of linear functions, which requires, in general, a bunch of explicit calculations. In this article, we introduce the notion of the adapted sequence and show that if ιι is an adapted sequence then the positivity condition holds for classical Lie algebras. Furthermore, we reveal the explicit forms of the polyhedral realizations associated with arbitrary adapted sequences ιι in terms of column tableaux.

preprint2016arXiv

Affine Geometric Crystal of An(1)A^{(1)}_n and Limit of Kirillov-Reshetikhin Perfect Crystals

Let g\mathfrak g be an affine Lie algebra with index set I={0,1,2,⋯ ,n}I = \{0, 1, 2, \cdots , n\} and gL{\mathfrak g}^L be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each k∈I∖{0}k \in I \setminus \{0\} the affine Lie algebra g\mathfrak g has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for gL{\mathfrak g}^L. Motivated by this conjecture we construct a positive geometric crystal for the affine Lie algebra g=An(1){\mathfrak g}= A^{(1)}_n for each Dynkin index k∈I∖{0}k\in I\setminus\{0\} and show that its ultra-discretization is isomorphic to the limit of a coherent family of perfect crystals for An(1)A^{(1)}_n given by Okado et al.([29]). In the process we develop and use some lattice-path combinatorics.

preprint2015arXiv

Cluster Variables on Certain Double Bruhat Cells of Type (u,e)(u,e) and Monomial Realizations of Crystal Bases of Type A

Let GG be a simply connected simple algebraic group over C\mathbb{C}, BB and B−B_- be two opposite Borel subgroups in GG and WW be the Weyl group. For uu, v∈Wv\in W, it is known that the coordinate ring C[Gu,v]{\mathbb C}[G^{u,v}] of the double Bruhat cell Gu,v=BuB∩B−vB−G^{u,v}=BuB\cap B_-vB_- is isomorphic to an upper cluster algebra Aˉ(i)C\bar{\mathcal A}({\bf i})_{\mathbb C} and the generalized minors {Δ(k;i)}\{Δ(k;{\bf i})\} are the cluster variables belonging to a given initial seed in C[Gu,v]{\mathbb C}[G^{u,v}] [Berenstein A., Fomin S., Zelevinsky A., Duke Math. J. 126 (2005), 1-52, math.RT/0305434]. In the case G=SLr+1(C)G={\rm SL}_{r+1}({\mathbb C}), v=ev=e and some special u∈Wu\in W, we shall describe the generalized minors {Δ(k;i)}\{Δ(k;{\bf i})\} as summations of monomial realizations of certain Demazure crystals.

preprint2012arXiv

An(1)A_n^{(1)}-Geometric Crystal corresponding to Dynkin index i=2i=2 and its ultra-discretization

Let gg be an affine Lie algebra with index set I={0,1,2,...,n}I = \{0, 1, 2,..., n\} and gLg^L be its Langlands dual. It is conjectured that for each i∈I∖{0}i \in I \setminus \{0\} the affine Lie algebra gg has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for gLg^L. We prove this conjecture for i=2i=2 and g=An(1)g = A_n^{(1)}.

preprint2010arXiv

Ultra-discretization of the D_4^3-Geometric Crystals to the G_2^1-Perfect Crystals

Let g be an affine Lie algebra and g^L be its Langlands dual. It is conjectured that g has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for g^L. We prove that the ultra-discretization of the positive geometric crystal for g = D_4^3 given by Igarashi and Nakashima is isomorphic to the limit of the coherent family of perfect crystals for g^L= G_2^1 constructed recently by Misra, Mohamad and Okado.

preprint1992arXiv

Quantum affine symmetry in vertex models

We study the higher spin anologs of the six vertex model on the basis of its symmetry under the quantum affine algebra $U_q(\slth)$. Using the method developed recently for the XXZ spin chain, we formulate the space of states, transfer matrix, vacuum, creation/annihilation operators of particles, and local operators, purely in the language of representation theory. We find that, regardless of the level of the representation involved, the particles have spin 1/21/2, and that the nn-particle space has an RSOS-type structure rather than a simple tensor product of the 11-particle space. This agrees with the picture proposed earlier by Reshetikhin.

Research graph

See the researcher in context

Open full explorer

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.