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

辛リー代数の有界加群の明示的実現：スピノル対振子

基本情報

論文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（表現論）
発表時期: 2024年6月（arXiv v2: 2025年1月2日）
論文リンク: https://arxiv.org/abs/2406.15929

要約

本論文は、有界 $\mathfrak{sp}(2n)$ -加群の圏における全ての既約加群と単射加群（したがって射影加群も）の明示的な組合論的実現を提供する。この実現は、 $\mathfrak{so}(2n)$ のスピノル型加群と $\mathfrak{sp}(2n)$ の振子型加群の間の自然な表格対応によって定義される。特に、著者らはA型の場合と異なり、一般的および有界の $\mathfrak{sp}(2n)$ -加群が有限次元表現から生じるGelfand-Graev拡張の類似物を認めることを証明した。

研究背景と動機

問題背景

Gelfand-Tsetlin加群理論の発展: 近年、Gelfand-Tsetlin加群理論は図解KLRW代数とCoulomb分枝との関連性により広く注目されている。 $\mathfrak{gl}(n)$ の場合、全ての既約Gelfand-Tsetlin加群の完全なパラメータ化が確立されている。
辛の場合の複雑性: 辛リー代数 $\mathfrak{sp}(2n)$ に対しては、 $U(\mathfrak{sp}(2k))$ の中心の和集合が最大部分代数を構成しないため、Gelfand-Tsetlin型部分代数を定義するために「中間」元を追加する必要があり、状況がより複雑である。
明示的公式の欠落: $GT(\mathfrak{sp}(2n))$ が任意の既約有限次元 $\mathfrak{sp}(2n)$ -加群上で対角化可能であり単純スペクトルを持つことは既知であるが、生成元の表格基上での明示的作用公式は依然として未知である。

研究動機

辛の場合のGelfand-Tsetlin理論の確立: 第一段階として、Gelfand-Tsetlin表格実現を持つ $\mathfrak{sp}(2n)$ -加群を研究する。
スピノル-振子対応の探究: $\mathfrak{so}(2n)$ のスピノル型加群と $\mathfrak{sp}(2n)$ の振子型加群の間の神秘的な関連性を明確にする。
Gelfand-Graev拡張原理: Gelfand-Graev拡張原理を満たす加群、すなわち表格基を持ち、その上の生成元の作用が古典的Gelfand-Tsetlin公式で表現される加群を探索する。

核心的貢献

明示的表格実現: 有界 $\mathfrak{sp}(2n)$ -加群の圏における全ての既約加群と分解不可能な単射（射影）加群の明示的な表格実現を提供する。
スピノル-振子対応: $\mathfrak{so}(2n)$ の半整数（スピノル型）有限次元加群と $\mathfrak{sp}(2n)$ の無限次元有界（振子型）加群の間の透明な対応を確立する。
Gelfand-Graev拡張: A型の場合と異なり、一般的および有界の $\mathfrak{sp}(2n)$ -加群がGelfand-Graev拡張を認めることを証明する。
完全な分類: 全ての無限次元既約有界 $\mathfrak{sp}(2n)$ -加群の完全な分類と明示的記述を与える。

\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-標準表格（定義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)$ #### 定義（定義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. $\mathbb{C}$-ベクトル空間 $V(\mu,\lambda)$ は $B(\mu,\lambda)$ を基とする #### 主要性質 - **正則性**（命題4.10）: $B(\mu,\lambda)$ がC-正則表格集合であることと $\mu_i \notin \mathbb{Z}$ かつ $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ は同値である - **重み公式**（定義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}$$ ### 加群構造定理 #### 主要構造定理（定理4.11） 空間 $V(\mu,\lambda)$ は $\mathfrak{sp}(2n)$-加群構造を持ち、生成元の作用は公式（7-17）で与えられ、任意の $z \in Z(U(\mathfrak{sp}(2n)))$ の作用は $p_z(\lambda+1)$ による乗法で与えられる。 #### サポートと重み重複度（定理4.21） 任意の $\gamma \in \text{Supp}(V(\mu,\lambda))$ に対して、以下が成立する： $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## 実験結果と理論的検証 ### サポートの記述（命題4.20） $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ ここで $Q_C$ は根格である。 ### 商加群の分類 #### 部分加群の構成（定義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)$$ #### 既約性と分類（定理4.33） 1. 各無限次元既約有界 $\mathfrak{sp}(2n)$-加群はある $V(\mu,\lambda,\Sigma)$ と同型である 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ であることと $\Sigma = \Sigma'$ かつ特定の条件を満たすことは同値である ### 単射包絡（系4.35） $V(\mu,\lambda)$ は有界 $\mathfrak{sp}(2n)$-加群の圏における $V(\mu,\lambda,\text{Int}(2\mu))$ の単射包絡である。 ## 関連研究 ### 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の研究 - Gelfand-Tsetlin加群に関するFutornyら最新の進展 --- 本論文は辛リー代数表現論において重要な貢献をなしており、長年存在していた技術的問題を解決するだけでなく、異なる型のリー代数間の深層的な関連性を理解するための新しい視点を提供する。その方法と結果は無限次元表現論の発展を推進する上で重要な意義を持つ。