[論文レビュー] Weyl denominator identity for the affine Lie superalgebra gl(2|2)^

Maria Gorelik|arXiv (Cornell University)|Jul 25, 2010

Algebraic structures and combinatorial models参考文献 4被引用数 4

ひとこと要約

この論文は、KacとWakimotoが予想した、アフィンリーヒルベルト代数 $τ{gl}(2|2)\hat{}$ のウェイユ分母恒等式を、カシミール作用素とZが示唆する解析的技法を用いて証明する。この手法により、整数を8個の平方の和として表す方法の数に関する古典的ヤコビ恒等式の新たな証明が得られる。

ABSTRACT

We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.

研究の動機と目的

• アフィンリーヒルベルト代数 $τ{gl}(2|2)\hat{}$ のウェイユ分母恒等式を証明すること。これはKacとWakimotoが[ KW ]で予想したものである。
• 双対コックスター数が0であるため、標準的分類の外にある $τ{gl}(2|2)\hat{}$ の場合にまで、アフィンリーヒルベルト代数の分母恒等式の既知の枠組みを拡張すること。
• 分母恒等式を用いて、整数を8個の平方の和として表す方法の数に関するヤコビ恒等式の新たな解析的証明を提供すること。
• モジュラー形式における無限積恒等式とアフィンリーヒルベルト代数の表現論的構造との間の関係を確立すること。

提案手法

• アフィンリーヒルベルト代数 $τ{gl}(2|2)\hat{}$ にカシミール作用素が存在することを用いて、ウェイユ分母の構造を分析する。
• $0 < q < 1$ に対して、形式的べき級数 $x, y_1, y_2$ を変数とする形 $ (1+x)_q^\infty = \prod_{n=0}^\infty (1 + q^n x) $ および $ (1-x)_q^\infty = \prod_{n=0}^\infty (1 - q^n x) $ の無限積展開を用いる。
• 解析接続とメロモルフィック関数論を適用し、領域 $q < |y_1/y_2| < q^{-1}$ において分母恒等式を評価し、有理関数因子を $f_n(y)$ の級数として展開する。
• [Z]の方法を、関数方程式と留数解析を用いて $τ{gl}(2|2)\hat{}$ の場合に適応することで、ねじれアフィンリーヒルベルト代数に適用された手法を拡張する。
• 関数 $y \mapsto qy$ における $q$-不変性と正則性を示すことにより、$AB / \hat{R}(y)$ が定数関数であることを確立し、$y=1$ での正規化を行う。
• 恒等式を $y_1 = y_2 = 1$ で評価し、$x \to 1$ の極限をとる。ガウスの恒等式 $\square(-q) = (1-q)_q^\infty / (1+q)_q^\infty$ を用いて、ヤコビの8乗数恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 アフィンリーヒルベルト代数 $τ{gl}(2|2)\hat{}$ のウェイユ分母恒等式の明示的形は何か？
• RQ2 双対コックスター数が0である場合に、カシミール作用素と解析接続技法を用いて分母恒等式を証明する方法は何か？
• RQ3 $τ{gl}(2|2)\hat{}$ の分母恒等式を評価することで、ヤコビの8乗数定理のような既知の数論的恒等式を回復できるか？
• RQ4 無限積 $\prod_{n=0}^\infty (1 \pm q^n x)$ は、アフィンリーヒルベルト代数の表現論的データをどのように符号化するか？
• RQ5 カーテン部分代数のランクの違いにより、$τ{gl}(2|2)\hat{}$ と $τ{sl}(2|2)\hat{}$ の分母恒等式の構造はどのように異なるか？

主な発見

• アフィンリーヒルベルト代数 $τ{gl}(2|2)\hat{}$ のウェイユ分母恒等式は、$q$, $x$, $y_1, y_2$ を含む非自明な無限積と級数の恒等式として証明された。
• 恒等式を $y_1 = y_2 = 1$ で評価すると、ヤコビの8乗数恒等式に帰着され、$\square(q)^8 = 1 + 16\sum_{j,k=1}^\infty (-1)^{(j+1)k} k^3 q^{jk}$ が得られる。ここで $\square(q) = \sum_{j\in\mathbb{Z}} q^{j^2}$ である。
• $\square(q)^8$ の $q^m$ の係数は、$m$ を8個の平方の和として表す方法の数（順序と符号を考慮）を数える。
• 証明により、$0 < |y|$ の穴あき円板上で $AB / \hat{R}(y)$ が恒等的に1であることが示された。これは、正則性と $q$-不変性を示し、$y=1$ での正規化を用いることで得られる。
• 因子 $\frac{((1-q)_q^\infty)^2}{(1-qy_1^{-1}y_2)_q^\infty (1-qy_1y_2^{-1})_q^\infty}$ の展開は、$1 + \sum_{n=1}^\infty f_n(y_1/y_2)$ の形の級数となり、係数は $f_n(y) = (y^n + y^{-n} - y^{n-1} - y^{1-n}) \sum_{j=0}^\infty (-1)^j q^{(j+1)(j+2n)/2}$ である。
• $τ{sl}(2|2)\hat{}$ の分母恒等式は、$y_1 = y_2$ と置くことで $τ{gl}(2|2)\hat{}$ のそれから得られ、カーテン部分代数の次元が1つ小さいため、左辺に $(1-q)_q^\infty$ の余分な因子が現れる。