この記事は表現論 Advent Calendar 2023 の 25 日目の記事です。
まずは通常のシンプレクティック群の紹介から始めて、奇数次元のシンプレクティック群を紹介します。
シンプレクティック群
#
J n = ( 0 1 − 1 0 0 1 − 1 0 ⋱ 0 1 − 1 0 )
J_n=\begin{pmatrix} 0 & 1 & & & & & \\ -1 & 0 & & & & & \\ & & 0 & 1 & & & \\ & & -1 & 0 & & & \\ & & & & \ddots & & \\ & & & & & 0 & 1 \\ & & & & & -1 & 0 \end{pmatrix}
J n = 0 − 1 1 0 0 − 1 1 0 ⋱ 0 − 1 1 0 とおきます。これは 2 n 2n 2 n
S p 2 n ( C ) = { g ∈ S L 2 n ( C ) ∣ t g J n g = J n }
Sp_{2n}(\mathbb{C})=\{g\in SL_{2n}(\mathbb{C})\mid {}^tgJ_ng=J_n\}
S p 2 n ( C ) = { g ∈ S L 2 n ( C ) ∣ t g J n g = J n } を複素シンプレクティック群といいます。これは複素リー群となります。対応するリー環は
s p 2 n ( C ) = { X ∈ s l 2 n ( C ) ∣ t X J n + J n X = O }
\mathfrak{sp} _ {2n}(\mathbb{C})=\{X\in\mathfrak{sl}_{2n}(\mathbb{C})\mid {}^tXJ_n+J_nX=O\}
sp 2 n ( C ) = { X ∈ sl 2 n ( C ) ∣ t X J n + J n X = O } です。
なお、J n J_n J n
奇数次元シンプレクティック群
#
シンプレクティック群といえば通常は偶数次元ですが、奇数次元のシンプレクティック群を Proctor が導入しました。それは次のようなものです。
S p 2 n + 1 ( C ) = ( 0 S p 2 n ( C ) ⋮ 0 ∗ ⋯ ∗ z )
Sp_{2n+1}(\mathbb{C})=\begin{pmatrix} & & & 0 \\ & Sp_{2n}(\mathbb{C}) & & \vdots \\ & & & 0 \\ * & \cdots & * & z \end{pmatrix}
S p 2 n + 1 ( C ) = ∗ S p 2 n ( C ) ⋯ ∗ 0 ⋮ 0 z ここで z z z
S p 2 n , m ( C ) = ( S p 2 n ( C ) O ∗ G L m ( C ) )
Sp_{2n,m}(\mathbb{C})=\begin{pmatrix} Sp_{2n}(\mathbb{C}) & O \\ * & GL_m(\mathbb{C}) \end{pmatrix}
S p 2 n , m ( C ) = ( S p 2 n ( C ) ∗ O G L m ( C ) ) を intermediate シンプレクティック群といいます。
奇数次元のシンプレクティック群は単純群でない（簡約群でもない）ため、偶数次元のシンプレクティック群ほどはいい性質をもたない群です。
指標
#
G L n ( C ) GL_n(\mathbb{C}) G L n ( C ) T T T G L n ( C ) GL_n(\mathbb{C}) G L n ( C ) G L n ( C ) GL_n(\mathbb{C}) G L n ( C ) ( W , ρ ) (W,\rho) ( W , ρ ) ( ch W ) ( z 1 , … , z n ) = tr W ρ ( d i a g ( z 1 , … , z n ) ) (\operatorname{ch}W)(z_1,\ldots,z_n)=\operatorname{tr} _ W\rho(\mathrm{diag}(z_1,\ldots,z_n)) ( ch W ) ( z 1 , … , z n ) = tr W ρ ( diag ( z 1 , … , z n )) ch W \operatorname{ch}W ch W s λ s_{\lambda} s λ G L n ( C ) GL_n(\mathbb{C}) G L n ( C )
S p 2 n ( C ) Sp_{2n}(\mathbb{C}) S p 2 n ( C ) d i a g ( z 1 , z 1 − 1 , … , z n , z n − 1 ) \mathrm{diag}(z_1,z_1^{-1},\ldots,z_n,z_n^{-1}) diag ( z 1 , z 1 − 1 , … , z n , z n − 1 ) S p 2 n , m ( C ) Sp_{2n,m}(\mathbb{C}) S p 2 n , m ( C ) d i a g ( z 1 , z 1 − 1 , … , z n , z n − 1 , z n + 1 , … , z n + m ) \mathrm{diag}(z_1,z_1^{-1},\ldots,z_n,z_n^{-1},z_{n+1},\ldots,z_{n+m}) diag ( z 1 , z 1 − 1 , … , z n , z n − 1 , z n + 1 , … , z n + m )
シンプレクティックシューア関数
#
シューア関数は
として定義することもできます。シンプレクティックシューア関数や intermediate シンプレクティックシューア関数も同様です。タブローの方を解説します。
タブローに書き込む文字とその大小関係を 1 < 1 ˉ < ⋯ < n < n ˉ < n + 1 < n + 2 < ⋯ < n + m 1<\bar{1}<\cdots<n<\bar{n}<n+1<n+2<\cdots<n+m 1 < 1 ˉ < ⋯ < n < n ˉ < n + 1 < n + 2 < ⋯ < n + m λ \lambda λ
各行について広義単調増加
各列について狭義単調増加
i i i i i i
をみたすものの集合を S p T a b ( n , m ) ( λ ) \mathrm{SpTab}^{(n,m)}(\lambda) SpTab ( n , m ) ( λ ) T T T i i i m T ( i ) m_T(i) m T ( i )
s p λ ( n , m ) ( z 1 , z 1 − 1 , … , z n , z n − 1 , z n + 1 , … , z n + m ) = ∑ T ∈ S p T a b ( n , m ) ( λ ) ∏ i = 1 n + m z i m T ( i ) − m T ( i ˉ )
sp_{\lambda}^{(n,m)}(z_1,z_1^{-1},\ldots,z_n,z_n^{-1},z_{n+1},\ldots,z_{n+m})=\sum_{T\in \mathrm{SpTab}^{(n,m)}(\lambda)}\prod_{i=1}^{n+m} z_i^{m_T(i)-m_T(\bar{i})}
s p λ ( n , m ) ( z 1 , z 1 − 1 , … , z n , z n − 1 , z n + 1 , … , z n + m ) = T ∈ SpTab ( n , m ) ( λ ) ∑ i = 1 ∏ n + m z i m T ( i ) − m T ( i ˉ ) によって intermediate シンプレクティックシューア関数を定義します。ただし n + 1 ≤ i ≤ n + m n+1\le i\le n+m n + 1 ≤ i ≤ n + m m T ( i ˉ ) = 0 m_T(\bar{i})=0 m T ( i ˉ ) = 0
n = 0 n=0 n = 0 m = 0 m=0 m = 0
応用
#
これが何の役に立つのかと思うかもしれませんが、数え上げ問題に役立つようです。
おわりに
#
駆け足になってしまいましたが、奇数次元のシンプレクティック群について紹介しました。
数え上げと関係があるのは面白いと思いました。表現論と組合せ論の関係をもっと知りたいです。
参考文献
#
小林俊行・大島利雄, リー群と表現論, 岩波書店, 2005.
Maliakas, Mihalis. On odd symplectic Schur functions. J. Algebra 211, No. 2, 640-646 (1999).
Okada, Soichi. Intermediate symplectic characters and shifted plane partitions of shifted double staircase shape. Combinatorial Theory 1, Paper No. 10, 42 p. (2021).
Proctor, Robert A. Odd symplectic groups. Invent. Math. 92, No. 2, 307-332 (1988).
