2025-11-10T03:16:02.678091

Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator

Futorny, Grantcharov, Ramirez et al.
We provide an explicit combinatorial realization of all simple and injective (hence, and projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined via a natural tableaux correspondence between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$. In particular, we show that, in contrast with the $A$-type case, the generic and bounded $\mathfrak{sp}(2n)$-modules admit an analog of the Gelfand-Graev continuation from finite-dimensional representations.
academic

Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator

基本信息

  • 论文ID: 2406.15929
  • 标题: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
  • 作者: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
  • 分类: math.RT (Representation Theory)
  • 发表时间: 2024年6月 (arXiv v2: 2025年1月2日)
  • 论文链接: https://arxiv.org/abs/2406.15929

摘要

本文提供了有界 sp(2n)\mathfrak{sp}(2n)-模范畴中所有单纯模和内射模(因此也是投射模)的显式组合实现。这种实现通过 so(2n)\mathfrak{so}(2n) 的旋量型模与 sp(2n)\mathfrak{sp}(2n) 的振子型模之间的自然表格对应来定义。特别地，作者证明了与 AA-型情况相反，一般的和有界的 sp(2n)\mathfrak{sp}(2n)-模承认来自有限维表示的Gelfand-Graev延拓的类似物。

研究背景与动机

问题背景

  1. Gelfand-Tsetlin模理论的发展: 近年来，Gelfand-Tsetlin模理论因其与图解KLRW代数和Coulomb分支的联系而受到广泛关注。在 gl(n)\mathfrak{gl}(n) 情况下，已经建立了所有单纯Gelfand-Tsetlin模的完整参数化。
  2. 辛情况的复杂性: 对于辛李代数 sp(2n)\mathfrak{sp}(2n)，情况更加复杂，因为 U(sp(2k))U(\mathfrak{sp}(2k)) 的中心的并集不构成最大子代数，需要添加"中间"元素来定义Gelfand-Tsetlin型子代数。
  3. 显式公式的缺失: 虽然已知 GT(sp(2n))GT(\mathfrak{sp}(2n)) 在任何单纯有限维 sp(2n)\mathfrak{sp}(2n)-模上的作用是可对角化的且具有简单谱，但生成元在表格基上的显式作用公式仍然未知。

研究动机

  1. 建立辛情况的Gelfand-Tsetlin理论: 作为第一步，研究具有Gelfand-Tsetlin表格实现的 sp(2n)\mathfrak{sp}(2n)-模。
  2. 探索旋量-振子对应: 阐明 so(2n)\mathfrak{so}(2n) 的旋量型模与 sp(2n)\mathfrak{sp}(2n) 的振子型模之间的神秘联系。
  3. Gelfand-Graev延拓原理: 寻找满足Gelfand-Graev延拓原理的模，即具有表格基的模，其上生成元的作用由经典Gelfand-Tsetlin公式表达。

核心贡献

  1. 显式表格实现: 提供了有界 sp(2n)\mathfrak{sp}(2n)-模范畴中所有单纯模和不可分解内射(投射)模的显式表格实现。
  2. 旋量-振子对应: 建立了 so(2n)\mathfrak{so}(2n) 的半整数(旋量型)有限维模与 sp(2n)\mathfrak{sp}(2n) 的无穷维有界(振子型)模之间的透明对应。
  3. Gelfand-Graev延拓: 证明了与 AA-型情况相反，一般的和有界的 sp(2n)\mathfrak{sp}(2n)-模承认Gelfand-Graev延拓。
  4. 完整分类: 给出了所有无穷维单纯有界 sp(2n)\mathfrak{sp}(2n)-模的完整分类和显式描述。

方法详解

表格定义和标准性条件

C-型表格 (Definition 2.6)

C-型Gelfand-Tsetlin表格是由 n2+nn^2 + n 个复数组成的数组：

\ell_{n1} & \ell_{n2} & \cdots & \ell_{nn} \\ \ell'_{n1} & \ell'_{n2} & \cdots & \ell'_{nn} \\ \ell_{n-1,1} & \ell_{n-1,2} & \cdots & \ell_{n-1,n-1} \\ \ell'_{n-1,1} & \ell'_{n-1,2} & \cdots & \ell'_{n-1,n-1} \\ \vdots & \vdots & \ddots & \vdots \\ \ell_{11} \\ \ell'_{11} \end{matrix}$$ #### C-标准表格 (Definition 2.7) C-型表格 $T(L)$ 称为C-标准的，如果其元素满足： - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k1} > \ell'_{k2} \geq \ell_{k2} > \cdots > \ell'_{kk} \geq \ell_{kk}$ - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k-1,1} > \ell'_{k2} \geq \ell_{k-1,2} > \cdots > \ell'_{kk}$ ### 有界表格模 $V(\mu,\lambda)$ #### 定义 (Definition 4.8) 给定 $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ 和 $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$，定义： 1. $\ell := \lambda + \rho_D + \frac{1}{2}$，即 $\ell_i := \lambda_i - i + \frac{3}{2}$ 2. C-型表格集合： $$B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ and } T_D(W) \in D^{\lambda}_{st}\}$$ 3. C-向量空间 $V(\mu,\lambda)$ 以 $B(\mu,\lambda)$ 为基 #### 关键性质 - **正则性** (Proposition 4.10): $B(\mu,\lambda)$ 是C-正则表格集当且仅当 $\mu_i \notin \mathbb{Z}$ 且 $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ - **权重公式** (Definition 4.12): 表格 $T(L)$ 的C-权重为 $$\omega_k(L) := 2\sum_{i=1}^k \ell'_{ki} - \sum_{i=1}^k \ell_{ki} - \sum_{i=1}^{k-1} \ell_{k-1,i} + k - \frac{1}{2}$$ ### 模结构定理 #### 主要结构定理 (Theorem 4.11) 空间 $V(\mu,\lambda)$ 具有 $\mathfrak{sp}(2n)$-模结构，生成元的作用由公式 (7-17) 给出，且任何 $z \in Z(U(\mathfrak{sp}(2n)))$ 的作用由乘以 $p_z(\lambda+1)$ 给出。 #### 支撑和权重重数 (Theorem 4.21) 对于任何 $\gamma \in \text{Supp}(V(\mu,\lambda))$，有： $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## 实验结果与理论验证 ### 支撑描述 (Proposition 4.20) $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ 其中 $Q_C$ 是根格。 ### 子商的分类 #### 子模构造 (Definition 4.30) 对于 $\Sigma \subseteq \text{Int}(2\mu)$ 的适当非空子集，定义： $$V(\mu,\lambda,\Sigma) = \left(\bigcap_{i \in \Sigma} V^+_i(\mu,\lambda)\right) \bigg/ \sum_{j \in \text{Int}(2\mu)\backslash\Sigma} \left(\bigcap_{k \in \Sigma \cup \{j\}} V^+_k(\mu,\lambda)\right)$$ #### 单纯性和分类 (Theorem 4.33) 1. 每个无穷维单纯有界 $\mathfrak{sp}(2n)$-模同构于某个 $V(\mu,\lambda,\Sigma)$ 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ 当且仅当 $\Sigma = \Sigma'$ 且满足特定条件 ### 内射包络 (Corollary 4.35) $V(\mu,\lambda)$ 是 $V(\mu,\lambda,\text{Int}(2\mu))$ 在有界 $\mathfrak{sp}(2n)$-模范畴中的内射包络。 ## 相关工作 ### Gelfand-Tsetlin模理论 - **A-型情况**: 在 $\mathfrak{gl}(n)$ 情况下，已建立完整的参数化理论 - **C-型挑战**: Molev的工作建立了有限维情况的表格实现，但缺乏显式公式 ### 有界模理论 - **分类结果**: Mathieu对单纯有界模的分类，Grantcharov-Serganova对内射模的描述 - **度数1模**: Britten-Lemire对度数1有界模的完整描述 ### 旋量-振子对应 - **经典情况**: 在权重重数为1的情况下，旋量表示与Shale-Weil表示的对应已被理解 - **一般情况**: 本文将此对应推广到一般的有界模情况 ## 结论与讨论 ### 主要结论 1. **完整实现**: 首次给出了所有有界 $\mathfrak{sp}(2n)$-模的显式表格实现 2. **深刻对应**: 揭示了 $\mathfrak{so}(2n)$ 旋量模与 $\mathfrak{sp}(2n)$ 振子模的深层联系 3. **延拓原理**: 证明了Gelfand-Graev延拓在辛情况下的适用性 ### 理论意义 本工作为辛李代数的表示理论提供了新的工具和视角，特别是： - 建立了辛情况下的Gelfand-Tsetlin理论基础 - 提供了计算有界模的具体方法 - 为理解不同李代数类型间的联系开辟了新途径 ### 未来方向 1. **推广到其他类型**: 将方法推广到其他经典李代数 2. **顶点代数应用**: 在顶点代数理论中的应用 3. **几何实现**: 寻找这些模的几何实现 ## 深度评价 ### 优点 1. **理论完备性**: 提供了有界 $\mathfrak{sp}(2n)$-模的完整分类和显式构造 2. **方法创新**: 通过旋量-振子对应建立了新的构造方法 3. **技术精湛**: 证明技巧精妙，特别是正则性条件和权重计算 4. **应用价值**: 为相关领域提供了具体可用的工具 ### 技术贡献 1. **表格对应**: 建立了C-型和D-型表格间的精确对应 2. **权重公式**: 给出了权重空间的明确描述和维数公式 3. **子商构造**: 提供了所有单纯子商的统一构造 ### 影响力 这项工作预期将对以下领域产生重要影响： - 李代数表示理论 - Gelfand-Tsetlin模理论 - 顶点代数理论 - 数学物理中的无穷维表示 ### 适用场景 该理论特别适用于： - 辛李代数的无穷维表示研究 - 有界权重模的具体计算 - 相关物理模型的数学描述 ## 参考文献 本文引用了该领域的重要文献，包括： - Molev关于辛和正交李代数表格实现的基础工作 - Mathieu和Grantcharov-Serganova关于有界模的分类理论 - Futorny等人关于Gelfand-Tsetlin模的最新进展 --- 这篇论文在辛李代数表示理论方面做出了重要贡献，不仅解决了长期存在的技术问题，还为理解不同类型李代数间的深层联系提供了新的视角。其方法和结果对于推进无穷维表示理论的发展具有重要意义。