A triangular decomposition for the crystal lattice of quantized function algebras

TL;DR

This paper establishes a triangular decomposition for the crystal lattice of quantized function algebras associated with certain Lie groups, confirming conjectures and extending results about their algebraic and quantum semigroup structures.

Contribution

It proves a triangular decomposition theorem for the crystal lattice of quantized function algebras for classical and exceptional Lie types, confirming conjectures and clarifying algebraic structures.

Findings

Proves the inclusion $ ext{O}_t^{A_0}(G) ext{ in } ext{O}_t^{A_0}(K)$ for specified Lie types.

Shows the crystallized algebra $C(K_0)$ forms a compact quantum semigroup.

Establishes the equivalence of different notions of crystallized quantized function algebras in type $A_n$.

Abstract

We prove a triangular decomposition theorem for the lower crystal lattice $\mathcal{O}_{t}^{A_{0}}(G)$ of the quantized function algebra $\mathcal{O}_{t}(G)$, where $G$ is a connected simply connected complex Lie group with Lie algebra $\mathfrak {g}$ of type $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, $E_{6}$ or $E_{7}$. As a consequence, we prove the inclusion $\mathcal{O}_{t}^{A_{0}}(G)\subseteq\mathcal{O}_{t}^{A_{0}}(K)$ conjectured by Matassa \& Yuncken in these cases. We also give a precise definition of the specialization map used by Matassa \& Yuncken, which helps simplify their description of the crystallized algebra. This allows us to prove that the crystallized algebra $C(K_{0})$ is a compact quantum semigroup for the above mentioned cases, thus extending an earlier result for type $A_{n}$ compact quantum groups. As another consequence of the triangular decomposition, we prove that the notions of crystallized quantized function algebra given by Matassa \& Yuncken coincide with that of Giri \& Pal in the type $A_{n}$ case.