相关论文: Geometric and unipotent crystals II: From unipoten…
In this paper we introduce geometric crystals and unipotent crystals which are algebro-geometric analogues of Kashiwara's crystal bases. Given a reductive group G, let I be the set of vertices of the Dynkin diagram of G and T be the maximal…
Let $G$ be a connected reductive group over $\CC$ and let $G^{\vee}$ be the Langlands dual group. Crystals for $G^{\vee}$ were introduced by Kashiwara as certain ``combinatorial skeletons'' of finite-dimensional representations of…
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…
We develop a theory of bicrystalline ideals, synthesizing Gr\"obner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and…
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…
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^-$.
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…
The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure…
Following Kashiwara's algebraic approach in one-parameter case, we construct crystal bases for two-parameter quantum algebras and for their integrable modules. We also show that the global crystal basis coincides with the canonical basis…
We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(\lambda)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its…
Let $U_{q}^{-}(\mathfrak g)$ be the negative half of a quantum Borcherds-Bozec algebra $U_{q}(\mathfrak g)$ and $V(\lambda)$ be the irreducible highest weight module with $\lambda \in P^{+}$. In this paper, we investigate the structures,…
Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ of type $B_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…
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 crystals and unipotent crystals for arbitrary Kac-Moody groups and describe geometric and unipotent crystal structures on the Schubert varieties.
In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one…
The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely…
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'…
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…
Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and…
Let $G$ be a complex reductive group and let $G^\vee$ be its Langlands dual. Let us choose a triangular decomposition $\mathfrak g^\vee=\mathfrak n^\vee_-\oplus\mathfrak h^\vee\oplus\mathfrak n^\vee_+$ of the Lie algebra $G^\vee$.…