[论文解读] Virtual crystals and fermionic formulas of type $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, and $C_n^{(1)}$

Masato Okado, Anne Schilling+1 more|ArXiv.org|May 2, 2001

Algebraic structures and combinatorial models参考文献 25被引用 3

一句话总结

本文通过将经典晶体嵌入到类型 $A_{2n-1}$ 中，扩展了对仿射类型 $D_{n+1}^{(2)}$、$A_{2n}^{(2)}$ 和 $C_n^{(1)}$ 的虚拟晶体的构造，推测其实现了有限维 $U_q'(rak{g})$-模的晶体基。通过使用 rigged configurations 和对偶性，证明了特定情况下一维配置和的费米子公式，建立了虚拟晶体与已知费米子表达式之间的联系。

ABSTRACT

We introduce ``virtual'' crystals of the affine types $g=D_{n+1}^{(2)}$, $A_{2n}^{(2)}$ and $C_n^{(1)}$ by naturally extending embeddings of crystals of types $B_n$ and $C_n$ into crystals of type $A_{2n-1}$. Conjecturally, these virtual crystals are the crystal bases of finite dimensional $U_q'(g)$-modules associated with multiples of fundamental weights. We provide evidence and in some cases proofs of this conjecture. Recently, fermionic formulas for the one dimensional configuration sums associated with tensor products of the finite dimensional $U_q'(g)$-modules were conjectured by Hatayama et al. We provide proofs of these conjectures in specific cases by exploiting duality properties of crystals and rigged configuration techniques. For type $A_{2n}^{(2)}$ we also conjecture a new fermionic formula coming from a different labeling of the Dynkin diagram.

研究动机与目标

• 通过将经典晶体嵌入到类型 $A_{2n-1}$ 中，扩展至有限仿射晶体，构造仿射类型 $D_{n+1}^{(2)}$、$A_{2n}^{(2)}$ 和 $C_n^{(1)}$ 的虚拟晶体。
• 推测这些虚拟晶体实现了与基本权倍数相关的有限维 $U_q'(\frak{g})$-模的晶体基。
• 通过 rigged configuration 技术和对偶性，证明特定情况下虚拟晶体的一维配置和的费米子公式。
• 通过验证虚拟晶体的经典分解和结构性质，为该猜想提供证据。

提出的方法

• 将已知的 $B_n$ 和 $C_n$ 晶体嵌入到 $A_{2n-1}$ 晶体中的方法扩展至有限仿射晶体，定义虚拟晶体 $V^{r,s}$。
• 使用 rigged configuration 理论分析虚拟晶体的一维配置和。
• 应用对偶性（contragredient duality）将虚拟晶体中的元素与其对偶关联，确保与费米子公式的一致性。
• 在 rigged configurations 上使用逆算法重构张量积分量，并验证表格条件。
• 利用 $j_{r,1}^{-1} \circ \cdots$ 和 $i_{r,1}^{-1} \circ \cdots$ 的作用移除奇异字符串，并约化至基情形。
• 验证所得虚拟晶体满足作为 rigged configuration 双射像的必要条件。

实验结果

研究问题

• RQ1 对于类型 $D_{n+1}^{(2)}$、$A_{2n}^{(2)}$ 和 $C_n^{(1)}$，虚拟晶体 $V^{r,s}$ 是否实现了有限维 $U_q'(\frak{g})$-模的晶体基？
• RQ2 虚拟晶体的一维配置和是否可表示为费米子公式？
• RQ3 虚拟晶体 $V^{r,s}$ 的经典分解是否与预期的不可约 $A_{2n-1}$-晶体分解一致？
• RQ4 与虚拟晶体相关的 rigged configurations 是否满足对偶性？
• RQ5 虚拟晶体 $V^{r,1}$ 是否可显式刻画，以实现与费米子公式的比较？

主要发现

• 对于类型 $A_{2n}^{(2)}$、$A_{2n}^{(2)lat}$ 和 $C_n^{(1)}$，已证明虚拟晶体 $V^{r,s}$ 在 $s=1$ 时同构于猜想中的晶体 $B^{r,s}$。
• 对于类型 $D_{n+1}^{(2)}$，证明了对所有 $s \geq 1$，虚拟晶体 $V^{r,s}$ 至少包含预期的经典分量。
• 在 $A_{2n}^{(2)}$ 情况下，$V^{r,1}$ 的一维配置和与 Hatayama 等人提出的费米子公式一致。
• 证明了映射 $\overline{\phi} \circ \Psi_R$ 是虚拟晶体像上的满射，确认了与费米子表达式的兼容性。
• 由于对偶性及导出的不等式 $u_{a+i-c} \leq n-c$，条件 $(uv)|_{[n]}$ 为表格的性质得以满足，从而避免非表格配置。
• 证明了 $|u|_{[n]} - |v|_{[n]}| = n - r$，确认了虚拟晶体分量的正确权条件。