Showing 1–49 of 49 results for author: Nakashima, T

Products of Kirillov-Reshetikhin modules and maximal green sequences

Authors: Yuki Kanakubo, Gleb Koshevoy, Toshiki Nakashima

Abstract: We show that a $q$-character of a Kirillov-Reshetikhin module (KR modules) for untwisted quantum affine algebras of simply laced types $A_n^{(1)}$, $D_n^{(1)}$, $E_6^{(1)}$, $E_7^{(1)}$, $E_8^{(1)}$ might be obtained from a specific cluster variable of a seed obtained by applying a maximal green sequence to the initial (infinite) quiver of the Hernandez-Leclerc cluster algebra. For a collection of… ▽ More We show that a $q$-character of a Kirillov-Reshetikhin module (KR modules) for untwisted quantum affine algebras of simply laced types $A_n^{(1)}$, $D_n^{(1)}$, $E_6^{(1)}$, $E_7^{(1)}$, $E_8^{(1)}$ might be obtained from a specific cluster variable of a seed obtained by applying a maximal green sequence to the initial (infinite) quiver of the Hernandez-Leclerc cluster algebra. For a collection of KR-modules with nested supports, we show an explicit construction of a cluster seed, which has cluster variables corresponding to the $q$-characters of KR-modules of such a collection. We prove that the product of KR-modules of such a collection is a simple module. We also construct cluster seeds with cluster variables corresponding to $q$-characters of KR-modules of some non-nested collections. We make a conjecture that tensor products of KR-modules for such non-nested collections are simple. We show that the cluster Donaldson-Thomas transformations for double Bruhat cells for $ADE$ types can be computed using $q$-characters of KR-modules. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Comments: 41 pages, 7 figures

Crystal Structure of Localized Quantum Unipotent Coordinate Category

Authors: Masaki Kashiwara, Toshiki Nakashima

Abstract: A localized quantum unipotent coordinate category $\widetilde{\mathscr{C}_w}$ associated with a Weyl group element $w$ is a rigid monoidal category which is obtained by applying the localization process to a subcategory of the category of finite-dimensional graded modules of a quiver Hecke algebra. We shall show that the family of the isomorphism classes (up to grading shifts) of simple objects in… ▽ More A localized quantum unipotent coordinate category $\widetilde{\mathscr{C}_w}$ associated with a Weyl group element $w$ is a rigid monoidal category which is obtained by applying the localization process to a subcategory of the category of finite-dimensional graded modules of a quiver Hecke algebra. We shall show that the family of the isomorphism classes (up to grading shifts) of simple objects in $\widetilde{\mathscr{C}_w}$ possesses a crystal structure and it is isomorphic to the cellular crystal associated with $w$. As an application of this result, we shall show the connectedness of the crystal graph of an arbitrary cellular crystal. △ Less

Submitted 29 April, 2025; v1 submitted 20 February, 2025; originally announced February 2025.

Comments: Proposition 6.8 is false. There is a counterexample: $\mathfrak{g}=A_3$, $i=2$, $w=s_1s_3s_2s_1s_3$. Since the paper heavily depends on this proposition, we withdraw the paper. We do not know if Theorem 6.12 is true or not

MSC Class: 05E10; 18M05; 18M15; 16D90; 16T20; 17B37; 81R10

Nearly Gorenstein local rings defined by maximal minors of a $2 \times n$ matrix

Authors: Shinya Kumashiro, Naoyuki Matsuoka, Taiga Nakashima

Abstract: We investigate the nearly Gorenstein property of a local ring defined by the maximal minors of a specific $2 \times n$ matrix with entries in the formal power series ring $k[[X_1, X_2, \ldots , X_n]]$ over a field $k$. Our findings allow us to present numerous concrete examples, such as nearly Gorenstein rings that are not almost Gorenstein and vice versa. We investigate the nearly Gorenstein property of a local ring defined by the maximal minors of a specific $2 \times n$ matrix with entries in the formal power series ring $k[[X_1, X_2, \ldots , X_n]]$ over a field $k$. Our findings allow us to present numerous concrete examples, such as nearly Gorenstein rings that are not almost Gorenstein and vice versa. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Categorified Crystal Structure on Localized Quantum Coordinate Rings

Authors: Toshiki Nakashima

Abstract: For the quiver Hecke algebra $R$ associated with a simple Lie algebra, let $R$-gmod be the category of finite-dimensional graded $R$-modules. It is well-known that it categorifies the unipotent quantum coordinate ring. The localization of $R$-gmod has been defined in [12]. Its Grothendieck ring defines the localized (unipotent) quantum coordinate ring. We shall give a certain crystal structure on… ▽ More For the quiver Hecke algebra $R$ associated with a simple Lie algebra, let $R$-gmod be the category of finite-dimensional graded $R$-modules. It is well-known that it categorifies the unipotent quantum coordinate ring. The localization of $R$-gmod has been defined in [12]. Its Grothendieck ring defines the localized (unipotent) quantum coordinate ring. We shall give a certain crystal structure on the localized quantum coordinate ring by regarding the set of self-dual simple objects in localized $R$-gmod. We also give the isomorphism of crystals to the cellular crystal for an arbitrary reduced word of the longest Weyl group element. This result can be seen as a localized version of the categorification for the crystal of the nilpotent half of quantum algebra by Lauda and Vazirani. △ Less

Submitted 18 December, 2022; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: 30pages, added the proof of Proposition 3.8. and corrected some typos

MSC Class: 18D10; 16T20; 6D90; 81R10

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

Authors: Yuki Kanakubo, Gleb Koshevoy, Toshiki Nakashima

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

Submitted 16 July, 2022; originally announced July 2022.

Comments: 41 pages

An algorithm for Berenstein-Kazhdan decoration functions and trails for minuscule representations

Authors: Yuki Kanakubo, Gleb Koshevoy, Toshiki Nakashima

Abstract: For a simply connected connected simple algebraic group $G$, a cell $B_{w_0}^-=B^-\cap U\overline{w_0}U$ is a geometric crystal with a positive structure $θ_{\textbf{i}}^-:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$. Applying the tropicalization functor to a rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ called the half decoration on $B_{w_0}^-$, one can realize the crystal… ▽ More For a simply connected connected simple algebraic group $G$, a cell $B_{w_0}^-=B^-\cap U\overline{w_0}U$ is a geometric crystal with a positive structure $θ_{\textbf{i}}^-:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$. Applying the tropicalization functor to a rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ called the half decoration on $B_{w_0}^-$, one can realize the crystal $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. By computing $Φ^h_{BK}$, we get an explicit form of $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. In this paper, we give an algorithm to compute $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-$ explicitly for $i\in I$ such that $V(Λ_i)$ is a minuscule representation of $\mathfrak{g}={\rm Lie}(G)$. In particular, the algorithm works for all $i\in I$ if $\mathfrak{g}$ is of type ${\rm A}_n$. The algorithm computes a directed graph $DG$, called a decoration graph, whose vertices are labelled by all monomials in $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-(t_1,\cdots,t_{l(w_0)})$. The decoration graph has some properties similar to crystal graphs of minuscule representations. We also verify that the algorithm works in some other cases, for example, the case $\mathfrak{g}$ is of type ${\rm G}_2$ though $V(Λ_i)$ is non-minuscule. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Adapted Sequences and Polyhedral Realizations of Crystal Bases for highest weight modules

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody… ▽ More The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities. In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$. △ Less

Submitted 26 October, 2021; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: 38 pages. arXiv admin note: text overlap with arXiv:1904.10919

Journal ref: Journal of Algebra, Volume 574 (2021)

Geometric properties near singular points of surfaces given by certain representation formulae

Authors: Yoshiki Matsushita, Takuya Nakashima, Keisuke Teramoto

Abstract: We investigate geometric properties of surfaces given by certain formulae. In particular, we calculate the singular curvature and the limiting normal curvature of such surfaces along the set of singular points consisting of singular points of the first kind. Moreover, we study fold singular points of smooth maps. We investigate geometric properties of surfaces given by certain formulae. In particular, we calculate the singular curvature and the limiting normal curvature of such surfaces along the set of singular points consisting of singular points of the first kind. Moreover, we study fold singular points of smooth maps. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 18 pages, 3 figures

MSC Class: 53A05; 53A55; 57R45

Half Potential on Geometric Crystals and Connectedness of Cellular Crystals

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: 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(=$B^-_{w_0}:=B^-\cap U\bar w_0 U$) is isomorphic to the crystal $B(\infty)$ of the nilpotent subalgebra of q… ▽ More 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(=$B^-_{w_0}:=B^-\cap U\bar w_0 U$) is isomorphic to the crystal $B(\infty)$ of the nilpotent subalgebra of quantum group $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. △ Less

Submitted 14 July, 2022; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: The gap in the proof has been filled. Some theorem was added

Adapted Sequence for Polyhedral Realization of Crystal Bases

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: 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(\infty)$ as a polyhedral convex cone in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the si… ▽ More 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(\infty)$ as a polyhedral convex cone in the infinite $\mathbb{Z}$-lattice $\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(\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. △ Less

Submitted 19 January, 2021; v1 submitted 24 April, 2019; originally announced April 2019.

Journal ref: Communications in Algebra, Volume 48, (2020), no. 11

Geometric crystals and Cluster ensembles in Kac-Moody setting

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: For a Kac-Moody group $G$, double Bruhat cells $G^{u,e}$ ($u$ is a Weyl group element) have positive geometric crystal structures. In arXiv:1210.2533, it is shown that there exist birational maps between `cluster tori' $\mathcal{X}_Σ$ (resp. $\mathcal{A}_Σ$) and $G_{\rm Ad}^{u,e}$ (resp. $G^{u,e}$), and they are extended to regular maps from cluster $\mathcal{X}$ (resp. $\mathcal{A}$) -varieties t… ▽ More For a Kac-Moody group $G$, double Bruhat cells $G^{u,e}$ ($u$ is a Weyl group element) have positive geometric crystal structures. In arXiv:1210.2533, it is shown that there exist birational maps between `cluster tori' $\mathcal{X}_Σ$ (resp. $\mathcal{A}_Σ$) and $G_{\rm Ad}^{u,e}$ (resp. $G^{u,e}$), and they are extended to regular maps from cluster $\mathcal{X}$ (resp. $\mathcal{A}$) -varieties to $G_{\rm Ad}^{u,e}$ (resp. $G^{u,e}$). The aim of this article is to construct certain positive geometric crystal structures on the cluster tori $\mathcal{X}_Σ$ and $\mathcal{A}_Σ$ by presenting their explicit formulae. In particular, the geometric crystal structures on the tori $\mathcal{A}_Σ$ are obtained by applying the twist map. As a corollary, we see the sets of $\mathbb{Z}^T$-valued points of the cluster varieties have plural structures of crystals. △ Less

Submitted 31 July, 2018; originally announced July 2018.

Decomposition Theorem for Product of Fundamental Crystals in Monomial Realization

Authors: Manal Alshuqayr, Toshiki Nakashima

Abstract: We consider a product of fundamental crystals in monomial realization of type A. Then we shall show that the product holds crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition for tensor product of the fundamental crystals. We consider a product of fundamental crystals in monomial realization of type A. Then we shall show that the product holds crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition for tensor product of the fundamental crystals. △ Less

Submitted 13 August, 2018; v1 submitted 29 July, 2018; originally announced July 2018.

Comments: 17 pages. Added some comments in the introduction

Cluster algebras of finite type via a Coxeter element and Demazure Crystals of type A

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be its two opposite Borel subgroups. For two elements $u$, $v$ of the Weyl group $W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to a cluster algebra $\mathcal{A}(\textbf{i})_{\mathbb C}$ [arXiv:math/0305434, arXiv:1602.00498]. In… ▽ More Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be its two opposite Borel subgroups. For two elements $u$, $v$ of the Weyl group $W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to a cluster algebra $\mathcal{A}(\textbf{i})_{\mathbb C}$ [arXiv:math/0305434, arXiv:1602.00498]. In the case $u=e$, $v=c^2$ ($c$ is a Coxeter element), the algebra ${\mathbb C}[G^{e,c^2}]$ has only finitely many cluster variables. In this article, for $G={\rm SL}_{r+1}(\mathbb{C})$, we obtain explicit forms of all the cluster variables in $\mathbb{C}[G^{e,c^2}]$ by considering its additive categorification via preprojective algebras, and describe them in terms of monomial realizations of Demazure crystals. △ Less

Submitted 11 April, 2017; v1 submitted 24 March, 2017; originally announced March 2017.

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

Authors: Kailash C. Misra, Toshiki Nakashima

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

Submitted 22 August, 2016; originally announced August 2016.

Comments: 42 pages. arXiv admin note: text overlap with arXiv:1209.4565

MSC Class: 17B37; 17B67; 22E65; 14M14

Cluster Variables on Double Bruhat Cells $G^{u,e}$ of Classical Groups and Monomial Realizations of Demazure Crystals

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ its two opposite Borel subgroups, and $W$ the associated Weyl group. It is shown that the coordinate ring ${\mathbb C}[G^{u,v}]$ ($u$, $v\in W$) of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to the cluster algebra ${\mathcal{A}}(\textbf{i})_{\mathbb C}$ and the initial cluster variables of… ▽ More Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ its two opposite Borel subgroups, and $W$ the associated Weyl group. It is shown that the coordinate ring ${\mathbb C}[G^{u,v}]$ ($u$, $v\in W$) of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to the cluster algebra ${\mathcal{A}}(\textbf{i})_{\mathbb C}$ and the initial cluster variables of ${\mathbb C}[G^{u,v}]$ are the generalized minors $Δ(k;\textbf{i})$ by Berenstein, Fomin, Zelevinsky, Goodearl and Yakimov. In the case that a classical group $G$ is of type ${\rm B}_r$, ${\rm C}_r$ or ${\rm D}_r$, we shall describe the non-trivial last $r$ initial cluster variables $\{Δ(k;\textbf{i})\}_{(m-2)r<k\leq (m-1)r}$ ($m$ is some positive integer) of the cluster algebra $\mathbb{C}[L^{u,e}]$ in terms of monomial realization of Demazure crystals, where $L^{u,e}$ is the reduced double Bruhat cell of type $(u,e)$. The relation between $Δ(k;\textbf{i})$ on $G^{u,e}$ and on $L^{u,e}$ is described as well. We also present the corresponding results for type ${\rm A}_r$ though the results for all initial cluster variables have been obtained by ourselves. △ Less

Submitted 17 January, 2017; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1602.08587

A representation theorem on a filtering model with first-passage-type stopping time

Authors: Takenobu Nakashima

Abstract: We present a representation theorem for a filtering model with first-passage-type stopping time. The model is constructed from two unobservable processes and one observable process that is under the influence of two unobservable processes.A filter is constructed using Brownian motion in the observable process and a first-passage-type stopping time in an unobservable process.Though our theorems are… ▽ More We present a representation theorem for a filtering model with first-passage-type stopping time. The model is constructed from two unobservable processes and one observable process that is under the influence of two unobservable processes.A filter is constructed using Brownian motion in the observable process and a first-passage-type stopping time in an unobservable process.Though our theorems are similar to those of Nakagawa\cite{Nakagawa}, we do not use pinned Brownian motion measure, which is difficult to deal with. In addition, we describe a representation theorem for another filtration that was not discussed by Nakagawa △ Less

Submitted 8 September, 2015; originally announced September 2015.

Explicit Forms of Cluster Variables on Double Bruhat Cells G^{u,e} of type C

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: Let $G=Sp_{2r}({\mathbb C})$ be a simply connected simple algebraic group over $\mathbb{C}$ of type $C_r$, $B$ and $B_-$ be its two opposite Borel subgroups, and $W$ be the associated Weyl group. For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to an upper cluster algebra… ▽ More Let $G=Sp_{2r}({\mathbb C})$ be a simply connected simple algebraic group over $\mathbb{C}$ of type $C_r$, $B$ and $B_-$ be its two opposite Borel subgroups, and $W$ be the associated Weyl group. For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to an upper cluster algebra $\overline{\mathcal{A}}(\textbf{i})_{\mathbb C}$ and the generalized minors $Δ(k;\textbf{i})$ are the cluster variables of ${\mathbb C}[G^{u,v}]$[Berenstein A., Fomin S., Zelevinsky A., Duke Math. J. 126 (2005), 1-52, math.RT/0305434]. In the case $v=e$, we shall describe the generalized minor $Δ(k;\textbf{i})$ explicitly. △ Less

Submitted 11 April, 2017; v1 submitted 29 April, 2015; originally announced April 2015.

Comments: arXiv admin note: text overlap with arXiv:1409.8622. text overlap with arXiv:1409.8622

Journal ref: Tokyo Journal of Mathematics, Volume 39, Number 3 (2017)

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

Authors: Yuki Kanakubo, Toshiki Nakashima

Abstract: Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be two opposite Borel subgroups in $G$ and $W$ be the Weyl group. For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to an upper cluster algebra $\bar{\mathcal A}({\bf i})_{\mathbb C}$ and the generalized minors… ▽ More Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be two opposite Borel subgroups in $G$ and $W$ be the Weyl group. For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to an upper cluster algebra $\bar{\mathcal A}({\bf i})_{\mathbb C}$ and the generalized minors $\{Δ(k;{\bf i})\}$ are the cluster variables belonging to a given initial seed in ${\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={\rm SL}_{r+1}({\mathbb C})$, $v=e$ and some special $u\in W$, we shall describe the generalized minors $\{Δ(k;{\bf i})\}$ as summations of monomial realizations of certain Demazure crystals. △ Less

Submitted 23 April, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: 17B37; 17B67

Journal ref: SIGMA 11 (2015), 033, 32 pages

Decorated Geometric Crystals and Polyhedral Realizations of type D_n

Authors: Toshiki Nakashima

Abstract: This is a continuation of [15, 16]. We shall show that for type D_n the realization of crystal bases obtained from the decorated geometric crystals in [2] coincides with the polyhedral realizations of crystal bases. This is a continuation of [15, 16]. We shall show that for type D_n the realization of crystal bases obtained from the decorated geometric crystals in [2] coincides with the polyhedral realizations of crystal bases. △ Less

Submitted 5 August, 2013; originally announced August 2013.

Comments: 14 pages, to appear in Contemporary Mathematics. arXiv admin note: substantial text overlap with arXiv:1203.2112

MSC Class: 17B37; 17B67

Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

Authors: Toshiki Nakashima

Abstract: We shall describe explicitly the decoration functions for certain decorated geometric crystals of classical groups and we shall show that they are represented in terms of monomial realizations of crystal bases. We shall describe explicitly the decoration functions for certain decorated geometric crystals of classical groups and we shall show that they are represented in terms of monomial realizations of crystal bases. △ Less

Submitted 30 January, 2013; originally announced January 2013.

Comments: 53 pages

MSC Class: 17B37; 17B67; 81R50; 22E46; 14M15

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

Authors: Kailash C. Misra, Toshiki Nakashima

Abstract: Let $g$ be an affine Lie algebra with index set $I = \{0, 1, 2,..., n\}$ and $g^L$ be its Langlands dual. It is conjectured that for each $i \in I \setminus \{0\}$ the affine Lie algebra $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 this conjecture for $i=2$ and $g = A_n^{(1)}$. Let $g$ be an affine Lie algebra with index set $I = \{0, 1, 2,..., n\}$ and $g^L$ be its Langlands dual. It is conjectured that for each $i \in I \setminus \{0\}$ the affine Lie algebra $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 this conjecture for $i=2$ and $g = A_n^{(1)}$. △ Less

Submitted 20 September, 2012; originally announced September 2012.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1003.1242, arXiv:0712.3894, arXiv:math/0612858, arXiv:0911.3556

MSC Class: 17B37; 17B67; 22E65; 14M15

Decorated Geometric Crystals, Polyhedral and Monomial Realizations of Crystal Bases

Authors: Toshiki Nakashima

Abstract: We shall show that for type $A_n$ the realization of crystal bases obtained from the decorated geometric crystals intorduced by Berenstein and Kazhdan coincides with our polyhedral realizations of crystal bases. We also observe certain relations of decorations and monomial realizations of crystal bases. We shall show that for type $A_n$ the realization of crystal bases obtained from the decorated geometric crystals intorduced by Berenstein and Kazhdan coincides with our polyhedral realizations of crystal bases. We also observe certain relations of decorations and monomial realizations of crystal bases. △ Less

Submitted 9 March, 2012; originally announced March 2012.

Comments: 18 pages

RSK type correspondence of Pictures and Littlewood-Richardson Crystals

Authors: Toshiki Nakashima, Miki Shimojo

Abstract: We present a Robinson-Schensted-Knuth type one-to-one correspondence between the set of pictures and the set of pairs of Littlewood-Richardson crystals. We present a Robinson-Schensted-Knuth type one-to-one correspondence between the set of pictures and the set of pairs of Littlewood-Richardson crystals. △ Less

Submitted 31 May, 2010; originally announced May 2010.

Comments: Latex, 13pages

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

Authors: Mana Igarashi, Kailash C. Misra, Toshiki Nakashima

Abstract: 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… ▽ More 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. △ Less

Submitted 5 March, 2010; originally announced March 2010.

MSC Class: 17B37; 17B67

Geometric Crystals on Flag Varieties and Unipotent Subgroups of Classical Groups

Authors: Mana Igarashi, Toshiki Nakashima

Abstract: For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$. For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$. △ Less

Submitted 3 March, 2010; originally announced March 2010.

Comments: Latex, 21pages

MSC Class: 17B37; 17B67; 46E25

Epsilon Systems on Geometric Crystals of Type $A_n$

Authors: Toshiki Nakashima

Abstract: We introduce an epsilon system on a geometric crystal of type $A_n$, which is a certain set of rational functions with some nice properties. We shall show that it is equipped with a product structure and that it is invariant under the action of tropical R maps. We introduce an epsilon system on a geometric crystal of type $A_n$, which is a certain set of rational functions with some nice properties. We shall show that it is equipped with a product structure and that it is invariant under the action of tropical R maps. △ Less

Submitted 19 March, 2010; v1 submitted 18 November, 2009; originally announced November 2009.

MSC Class: 17B37; 17B67

Journal ref: SIGMA 6 (2010), 023, 14 pages

Affine Geometric Crystal of type $D_4^{(3)}$

Authors: Mana Igarashi, Toshiki Nakashima

Abstract: We shall realize certain affine geometric crystal of type $D_4^{(3)}$ associated with the fundamental representation $W(π_1)$ explicitly . By its explicit form, we see that it has a positive structure. We shall realize certain affine geometric crystal of type $D_4^{(3)}$ associated with the fundamental representation $W(π_1)$ explicitly . By its explicit form, we see that it has a positive structure. △ Less

Submitted 18 November, 2009; originally announced November 2009.

Comments: 12 pages

MSC Class: 17B37; 17B67

Admissible Pictures and Littlewood-Richardson Crystals

Authors: Toshiki Nakashima, Miki Shimojo

Abstract: We present a one-to-one correspondence between the set of admissible pictures and the Littlewood-Richardson crystals. As a simple consequence, we shall show that the set of pictures does not depend on the choice of admissible orders. We present a one-to-one correspondence between the set of admissible pictures and the Littlewood-Richardson crystals. As a simple consequence, we shall show that the set of pictures does not depend on the choice of admissible orders. △ Less

Submitted 17 August, 2009; originally announced August 2009.

MSC Class: 05E10; 17B20; 17B37

Pictures and Littlewood-Richardson crystals

Authors: Toshiki Nakashima, Miki Shimojo

Abstract: We shall describe the one-to-one correspondence between the set of pictures and the set of Littlewood-Richardson crystals. We shall describe the one-to-one correspondence between the set of pictures and the set of Littlewood-Richardson crystals. △ Less

Submitted 19 May, 2009; v1 submitted 10 April, 2009; originally announced April 2009.

Comments: 11pages, add some references and rewrite the last section

MSC Class: 05E10; 17B20; 17B37

Tropical R maps and Affine Geometric Crystals

Authors: Masaki Kashiwara, Toshiki Nakashima, Masato Okado

Abstract: By modifying the method in [KNO], certain affine geometric crystals are realized in affinization of the fundamental representation $W(\varpi_1)_l$ and the tropical R maps for the affine geometric crystals are described explicitly. We also define prehomogeneous geometric crystals and show that for a positive geometric crystal, the connectedness of the corresponding ultra-discretized crystal is th… ▽ More By modifying the method in [KNO], certain affine geometric crystals are realized in affinization of the fundamental representation $W(\varpi_1)_l$ and the tropical R maps for the affine geometric crystals are described explicitly. We also define prehomogeneous geometric crystals and show that for a positive geometric crystal, the connectedness of the corresponding ultra-discretized crystal is the sufficient condition for prehomogeneity of the positive geometric crystal. Moreover, the uniqueness of tropical R maps is discussed. △ Less

Submitted 18 August, 2008; originally announced August 2008.

Comments: 53 pages

MSC Class: 17B37; 17B67

Ultra-discretization of the G^(1)_2-Geometric Crystals to the D^(3)_4-Perfect Crystals

Authors: Toshiki Nakashima

Abstract: We obtain the affirmative answer to the conjecture in [15]. More precisely, let X be the affine geometric crystal of type G^(1)_2 in [15] and UD(X,T,θ) a ultra-discretization of X with respect to a certain positive structure θ. Then we show that UD(X,T,θ) is isomorphic to the limit of coherent family of perfect crystals of type D^(3)_4 in [7]. We obtain the affirmative answer to the conjecture in [15]. More precisely, let X be the affine geometric crystal of type G^(1)_2 in [15] and UD(X,T,θ) a ultra-discretization of X with respect to a certain positive structure θ. Then we show that UD(X,T,θ) is isomorphic to the limit of coherent family of perfect crystals of type D^(3)_4 in [7]. △ Less

Submitted 22 December, 2007; originally announced December 2007.

Comments: 19 pages

MSC Class: 17B37; 17B67

Affine Geometric Crystal of type $G^{(1)}_2$

Authors: Toshiki Nakashima

Abstract: We shall realize certain affine geometric crystal of type $G^{(1)}_2$ explicitly in the fundamental representation $W(\varpi_1)$. Its explicit form is rather complicated but still keeps a positive structure. We shall realize certain affine geometric crystal of type $G^{(1)}_2$ explicitly in the fundamental representation $W(\varpi_1)$. Its explicit form is rather complicated but still keeps a positive structure. △ Less

Submitted 29 December, 2006; originally announced December 2006.

Comments: 14 pages

MSC Class: 17B37;17B67

Evaluation representations of quantum affine algebras at roots of unity

Authors: Yuuki Abe, Toshiki Nakashima

Abstract: The purpose of this paper is to compute the Drinfel'd polynomials for two types of evaluation representations of quantum affine algebras at roots of unity and construct those representations as the submodules of evaluation Schnizer modules. Moreover, we obtain the necessary and sufficient condition for that the two types of evaluation representations are isomorphic to each other. The purpose of this paper is to compute the Drinfel'd polynomials for two types of evaluation representations of quantum affine algebras at roots of unity and construct those representations as the submodules of evaluation Schnizer modules. Moreover, we obtain the necessary and sufficient condition for that the two types of evaluation representations are isomorphic to each other. △ Less

Submitted 3 January, 2006; originally announced January 2006.

Affine Geometric Crystals and Limit of Perfect Crystals

Authors: Masaki Kashiwara, Toshiki Nakashima, Masato Okado

Abstract: For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect crystals of the Langlands dual affine Lie algebra. For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect crystals of the Langlands dual affine Lie algebra. △ Less

Submitted 30 December, 2005; originally announced December 2005.

Comments: 46 pages

Nilpotent representations of classical quantum groups at roots of unity

Authors: Yuuki Abe, Toshiki Nakashima

Abstract: Properly specializing the parameters in ``Schnizer modules'', for type A,B,C and D, we get its unique primitive vector. Then we show that the module generated by the primitive vector is an irreducible highest weight module of finite dimensional classical quantum groups at roots of unity. Properly specializing the parameters in ``Schnizer modules'', for type A,B,C and D, we get its unique primitive vector. Then we show that the module generated by the primitive vector is an irreducible highest weight module of finite dimensional classical quantum groups at roots of unity. △ Less

Submitted 21 December, 2004; v1 submitted 18 November, 2004; originally announced November 2004.

Comments: 29 pages, new section added and some proof revised

MSC Class: 17B37; 17B67

Geometric Crystals on Unipotent Groups and Generalized Young Tableaux

Authors: Toshiki Nakashima

Abstract: We define geometric/unipotent crystal structure on unipotent subgroups of semi-simple algebraic groups. We shall show that in $A_n$-case, their ultra-discretizations coincide with crystals obtained by generalizing Young tableaux. We define geometric/unipotent crystal structure on unipotent subgroups of semi-simple algebraic groups. We shall show that in $A_n$-case, their ultra-discretizations coincide with crystals obtained by generalizing Young tableaux. △ Less

Submitted 15 March, 2004; originally announced March 2004.

Comments: LaTeX 17 pages

Polyhedral Realizations of Crystal Bases for Modified Quantum Algebras of Type A

Authors: Ayumu Hoshino, Toshiki Nakashima

Abstract: We describe the crystal bases of modified quantum algebras and its connected component containing ``zero vector''by the polyhedral realization method for the types A_n and A^(1)_1. We also present the explicit form of the unique highest weight vector in the connected component. We describe the crystal bases of modified quantum algebras and its connected component containing ``zero vector''by the polyhedral realization method for the types A_n and A^(1)_1. We also present the explicit form of the unique highest weight vector in the connected component. △ Less

Submitted 9 January, 2004; originally announced January 2004.

Comments: 22 pages, LaTeX

Geometric Crystals on Schubert Varieties

Authors: Toshiki Nakashima

Abstract: We define geometric crystals and unipotent crystals for arbitrary Kac-Moody groups and describe geometric and unipotent crystal structures on the Schubert varieties. We define geometric crystals and unipotent crystals for arbitrary Kac-Moody groups and describe geometric and unipotent crystal structures on the Schubert varieties. △ Less

Submitted 7 March, 2003; originally announced March 2003.

Comments: 25 pages

Extremal Projectors of q-Boson Algebras

Authors: Toshiki Nakashima

Abstract: We define the extremal projector of the $q$-boson Kashiwara algebra $B_q(\ge)$ and study their basic properties. Applying their proerties to the representation theory of the category ${\cal O}(B_q(\ge))$, whose objects are ''upper bounded '' $B_q(\ge)$-modules, we obtain its semi-simplicity and the classification of simple modules. We define the extremal projector of the $q$-boson Kashiwara algebra $B_q(\ge)$ and study their basic properties. Applying their proerties to the representation theory of the category ${\cal O}(B_q(\ge))$, whose objects are ''upper bounded '' $B_q(\ge)$-modules, we obtain its semi-simplicity and the classification of simple modules. △ Less

Submitted 24 June, 2002; originally announced June 2002.

Comments: LaTeX, 12 pages

On certain maximal cyclic modules for the quantized special linear algebra at a root of unity

Authors: Masaharu Kaneda, Toshiki Nakashima

Abstract: By properly specializing the parameters irreducible modules of maximal dimension for the De Concini-Kac version of the Drinfeld-Jimbo quantum algebra in type $A$ may be transformed into modules over Lusztig's infinitesimal quantum algeba. Thus obtained modules have a simple socle and a simple head, and share the same dimension as the infinitesimal Verma modules. Despite these common features we… ▽ More By properly specializing the parameters irreducible modules of maximal dimension for the De Concini-Kac version of the Drinfeld-Jimbo quantum algebra in type $A$ may be transformed into modules over Lusztig's infinitesimal quantum algeba. Thus obtained modules have a simple socle and a simple head, and share the same dimension as the infinitesimal Verma modules. Despite these common features we find that they are never isomorphic to infinitesimal Verma modules unless they are irreducible. The same carry over to the modular setup for the special linear groups in positive characteristic. △ Less

Submitted 24 June, 2002; originally announced June 2002.

Comments: LaTeX, 9 pages

Irreducible Modules of Finite Dimensional Quantum Algebras of type A at Roots of Unity

Authors: Toshiki Nakashima

Abstract: Specializing properly the parameters contained in the maximal cyclic representation of the non-restricted A-type quantum algebra at roots of unity, we find the unique primitive vector in it. We show that the submodule generated by the primitive vector can be identified with an irreducble highest weight module of the finite dimensional A-type quantum algebra which is defined as the subalgebra of… ▽ More Specializing properly the parameters contained in the maximal cyclic representation of the non-restricted A-type quantum algebra at roots of unity, we find the unique primitive vector in it. We show that the submodule generated by the primitive vector can be identified with an irreducble highest weight module of the finite dimensional A-type quantum algebra which is defined as the subalgebra of the restricted quantum algebra at roots of unity. △ Less

Submitted 5 March, 2001; originally announced March 2001.

Comments: LaTeX(2e), 17 pages

Polytopes for Crystallized Demazure Modules and Exremal Vectors

Authors: Toshiki Nakashima

Abstract: We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations. We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations. △ Less

Submitted 2 February, 2000; originally announced February 2000.

Comments: LaTeX(2e), 14 pages

Polyhedral Realizations of Crystal Bases and Braid-type Isomorphisms

Authors: Toshiki Nakashima

Abstract: We review the polyhedral realizations of crystal bases in the former half and in the latter half, we introduce braid-type isomorphisms for some rank 2 finite type crystals. Using this isomorphisms, for semi-simple Lie algebra we can show that polyhedral realizations can be obtained in the lattice of finite rank which coincides with the length of the longest element in the associated Weyl group. We review the polyhedral realizations of crystal bases in the former half and in the latter half, we introduce braid-type isomorphisms for some rank 2 finite type crystals. Using this isomorphisms, for semi-simple Lie algebra we can show that polyhedral realizations can be obtained in the lattice of finite rank which coincides with the length of the longest element in the associated Weyl group. △ Less

Submitted 15 June, 1999; originally announced June 1999.

Comments: LaTeX(2e), 19 pages

Polyhedral Realizations of Crystal Bases for Integrable Highest Weight Modules

Authors: Toshiki Nakashima

Abstract: We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case. We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case. △ Less

Submitted 1 July, 1998; v1 submitted 16 June, 1998; originally announced June 1998.

Comments: LaTeX, 27 pages, some reference is added

Polyhedral Realizations of Crystal Bases for Quantized Kac-Moody Algebras

Authors: Toshiki Nakashima, Andrei Zelevinsky

Abstract: Let B(\infty) be the crystal corresponding to the nilpotent part of a quantized Kac-Moody algebra. We suggest a general way to represent B(\infty) as the set of integer solutions of a system of linear inequalities. As an application, we treat in a unified manner all Kac-Moody algebras of rank 2 (sharpening the result by Kashiwara), as well as the algebras of types A_n and A_{n-1}^{(1)}. Let B(\infty) be the crystal corresponding to the nilpotent part of a quantized Kac-Moody algebra. We suggest a general way to represent B(\infty) as the set of integer solutions of a system of linear inequalities. As an application, we treat in a unified manner all Kac-Moody algebras of rank 2 (sharpening the result by Kashiwara), as well as the algebras of types A_n and A_{n-1}^{(1)}. △ Less

Submitted 27 March, 1997; originally announced March 1997.

Comments: 24 pages, LaTeX

Space of conformal blocks in 4D WZW theory

Authors: Tohru Nakashima, Yuichiro Takeda

Abstract: We propose an algebro-geometric definition of the space of conformal blocks in the four dimensional Wess-Zumino-Witten theory introduced by Losev.et al.. We propose an algebro-geometric definition of the space of conformal blocks in the four dimensional Wess-Zumino-Witten theory introduced by Losev.et al.. △ Less

Submitted 17 January, 1996; originally announced January 1996.

Comments: 4 pages, AMSTeX

Journal ref: J.Geom.Phys. 22 (1997) 255-258

Crystallized Peter-Weyl type decomposition for level 0 part of modified quantum algebra $\widetilde U_q(\widehat{sl_2})_0$

Authors: Toshiki Nakashima

Abstract: We shall give some criteria for the existence of the Peter-Weyl type decomposition for modified quantum algebra, which is motivated by the fact that modified quantum algebra has commutative two crystal structures. We shall apply the criteria to the crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ and give more precise description of Peter… ▽ More We shall give some criteria for the existence of the Peter-Weyl type decomposition for modified quantum algebra, which is motivated by the fact that modified quantum algebra has commutative two crystal structures. We shall apply the criteria to the crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ and give more precise description of Peter-Weyl type decomposition. △ Less

Submitted 22 November, 1995; v1 submitted 4 October, 1995; originally announced October 1995.

Comments: 32 pages, LaTex. Some parts in section 4 and 5 are corrected or improved

Crystallized structure for level 0 part of modified quantum affine algebra

Authors: Toshiki Nakashima

Abstract: Crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ is given by path. Weyl group actions, extremal vectors and crystal structure of all irreducible components are described explicitly. Crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ is given by path. Weyl group actions, extremal vectors and crystal structure of all irreducible components are described explicitly. △ Less

Submitted 26 June, 1995; originally announced June 1995.

Comments: 39 pages, LaTex

Quantum R-matrix and Intertwiners for the Kashiwara Algebra

Authors: Toshiki Nakashima

Abstract: We study the algebra $B_q(\ge)$ presented by Kashiwara and introduce intertwiners similar to $q$-vertex operators. We show that a matrix determined by 2-point functions of the intertwiners coincides with a quantum R-matrix (up to a diagonal matrix) and give the commutation relations of the intertwiners. We also introduce an analogue of the universal R-matrix for the Kashiwara algebra. We study the algebra $B_q(\ge)$ presented by Kashiwara and introduce intertwiners similar to $q$-vertex operators. We show that a matrix determined by 2-point functions of the intertwiners coincides with a quantum R-matrix (up to a diagonal matrix) and give the commutation relations of the intertwiners. We also introduce an analogue of the universal R-matrix for the Kashiwara algebra. △ Less

Submitted 20 July, 1993; originally announced July 1993.

Comments: 21 pages

Report number: Osaka Univ. Math. Sci. No.3(1993)

Journal ref: Commun.Math.Phys. 164 (1994) 239-258