[論文レビュー] Finite-dimensional representations of the elliptic modular double

S. É. Derkachov, V. P. Spiridonov|arXiv (Cornell University)|Oct 28, 2013

Nonlinear Waves and Solitons参考文献 20被引用数 3

ひとこと要約

この論文は、2つのモジュラーパラメータを持つテータ関数の積から成るカーネルを持つ積分作用素 M(g) を用いて、楕円的モジュラー二重の有限次元不変部分空間を構成する。非可換な 1, 2η, τ を持つ離散格子 g = nη + mτ/2 および g = 1/2 + nη + mτ/2（n,m > 0）に対して、M(g) のカーネルは、楕円的モジュラー二重の作用に関して不変な有限次元空間をなす。これにより、代数の明示的な有限次元表現が得られる。

ABSTRACT

We investigate the kernel space of an integral operator M(g) depending on the "spin" g and describing an elliptic Fourier transformation. The operator M(g) is an intertwiner for the elliptic modular double formed from a pair of Sklyanin algebras with the parameters $η$ and $τ$, Im$ τ>0$, Im$η>0$. For two-dimensional lattices $g=nη+ mτ/2$ and $g=1/2+nη+ mτ/2$ with incommensurate $1, 2η,τ$ and integers $n,m>0$, the operator M(g) has a finite-dimensional kernel that consists of the products of theta functions with two different modular parameters and is invariant under the action of generators of the elliptic modular double.

研究の動機と目的

• 積分作用素 M(g) を用いて楕円的モジュラー二重の有限次元表現を構成すること。
• 特定の離散格子 g = nη + mτ/2 および g = 1/2 + nη + mτ/2 に対する M(g) のカーネル空間を同定すること。
• カーネルが2つのモジュラーパラメータを持つテータ関数の積から成り、楕円的モジュラー二重の生成子の作用に関して不変であることを示すこと。
• M(g) がパラメータ η および τ を持つスクライニン代数の表現の間のインターツインァーとして作用することを確立すること。
• カーネル空間が Ker M(g) と Im M_ren(−g) の共通部分として特徴付けられることにより、不変空間の閉形式的構造が示唆されること。

提案手法

• 作用素 M(g) は、Im τ > 0 および Im η > 0 を満たすパラメータ η および τ を持つ2つのスクライニン代数の間のインターツインァーとして定義される積分作用素である。
• 離散格子 g = nη + mτ/2 および g = 1/2 + nη + mτ/2（n,m ∈ ℤ≥0）に対して M(g) のカーネルが解析される。
• 2つのモジュラーパラメータ p = e^{2πiτ} および q = e^{4πiη} を持つテータ関数が、カーネル空間内の基底関数を構成するために用いられる。
• 有限差分作用素および連続関係が用いられ、カーネル空間を制約する恒等式が導かれる。
• 作用素 M(g) はテータ関数の積に分解され、その構造が明らかになり、ゼロモードの特定が可能になる。
• インターツインァー性質 M(g)R₁₂ = R′₁₂M(g) が用いられ、カーネル空間が R-行列 R₁₂ の作用に関して不変であることが示される。

実験結果

リサーチクエスチョン

• RQ1 g = nη + mτ/2 および g = 1/2 + nη + mτ/2 であるようなどの離散格子に対して、積分作用素 M(g) が有限次元カーネルを持つのか。
• RQ2 M(g) のカーネル空間の明示的構造は何か。また、2つのモジュラーパラメータを持つテータ関数の積とどのように関係しているか。
• RQ3 M(g) のカーネル空間は、正規化された作用素 M_ren(−g) の像とどのように関係しているか。
• RQ4 有限次元カーネル空間は、R-行列 R₁₂ の作用に関して不変部分空間として特徴付けられるか。
• RQ5 2つのインデックスを持つ基底ベクトル h_{kj}^{(N,M)}(w) = h_k^{(N)}(w;p,q)h_j^{(M)}(w;q,p) は、楕円的モジュラー二重の表現を構成するために果たす役割は何か。

主な発見

• g = nη + mτ/2 および g = 1/2 + nη + mτ/2（n,m > 0）かつ 1, 2η, τ が非可換な場合、M(g) のカーネルは有限次元である。
• カーネルは2つのモジュラーパラメータを持つテータ関数の積から成り、楕円的モジュラー二重の有限次元不変部分空間の基底をなす。
• カーネル空間は Ker M(g) ∩ Im M_ren(−g) として特徴付けられ、不変空間の閉形式的記述が示唆される。
• 作用素 M(g) は、パラメータ η および τ を持つスクライニン代数の表現の間のインターツインァーとして作用する。
• R-行列 R₁₂ は M(g) のカーネル空間を自身に写像する。これにより、カーネルが R-行列の作用に関して不変であることが確認される。
• 有限次元表現は、基底関数 h_{kj}^{(N,M)}(w) = h_k^{(N)}(w;p,q)h_j^{(M)}(w;q,p) を用いて明示的に構成され、単一パラメータのテータ関数に対する既存の構成を一般化する。