[論文レビュー] $W(E_8)$-invariant Jacobi forms

Haowu Wang|arXiv (Cornell University)|Jan 25, 2018

Advanced Algebra and Geometry参考文献 20被引用数 3

ひとこと要約

本稿では、すべての$W(E_8)$-不変なヤコビ形式が、 Sakai が導入した9つの代数的に独立な正則ヤコビ形式を基に、有理型モジュラー形式を係数とする多項式として一意に表現可能であることを確立している。さらに、固定されたインデックスに対する$W(E_8)$-不変な弱ヤコビ形式の空間が、モジュラー形式の環上の自由加群をなすことを証明し、インデックスが5未塔の場合に限り、明示的な生成元を構成することで、その加群構造を完全に特定している。

ABSTRACT

We investigate Jacobi forms invariant under the action of the Weyl group of root lattice $E_8$. Such Jacobi forms are called $W(E_8)$-invariant Jacobi forms. We prove that every $W(E_8)$-invariant Jacobi form can be expressed uniquely as a polynomial in nine algebraically independent holomorphic Jacobi forms introduced by Sakai with coefficients which are meromorphic modular forms. The space of $W(E_8)$-invariant weak Jacobi forms of fixed index is a free module over the ring of modular forms. When index is less than $5$, we determine the structure of the corresponding module and construct all generators.

研究の動機と目的

• $E_8$根格子のワイル群$W(E_8)$に関して不変なヤコビ形式の代数的構造を理解すること。
• このような$W(E_8)$-不変ヤコビ形式が、有限個の基本形式の組み合わせで表現可能かどうかを特定すること。
• 固定されたインデックスに対する$W(E_8)$-不変な弱ヤコビ形式の空間が、モジュラー形式の環上の自由加群であることを確立すること。
• インデックスが5未塔の場合に、$W(E_8)$-不変な弱ヤコビ形式の加群の生成元を明示的に構成すること。

提案手法

• 著者たちは、$W(E_8)$の作用を用いて、$E_8$根格子上のヤコビ形式の対称性の性質を分析している。
• 彼らは、$W(E_8)$-不変ヤコビ形式の環の生成元として、Sakai が導入した9つの代数的に独立な正則ヤコビ形式を用いている。
• 証明の根幹は、任意の$W(E_8)$-不変ヤコビ形式が、これらの9つの形式の多項式として一意に表現可能であり、その係数が有理型モジュラー形式であることを示すことにある。
• 弱ヤコビ形式の加群構造は、モジュラー形式の理論とヤコビ形式の次数付き環構造を用いて分析されている。
• インデックスが5未塔の場合、著者たちは空間の次元と対称性の制約を分析することで、生成元を明示的に計算している。

実験結果

リサーチクエスチョン

• RQ1 すべての$W(E_8)$-不変ヤコビ形式が、有理型モジュラー形式を係数とする有限個の基本ヤコビ形式の多項式として表現可能であるか？
• RQ2 固定されたインデックスに対する$W(E_8)$-不変な弱ヤコビ形式の空間は、モジュラー形式の環上の自由加群であるか？
• RQ3 インデックスが5未塔の場合に、$W(E_8)$-不変な弱ヤコビ形式の加群の明示的構造は何か？
• RQ4 インデックスが5未塔の場合に、$W(E_8)$-不変な弱ヤコビ形式の空間を張るには何個の生成元が必要か、そしてそれらの明示的形は何か？

主な発見

• すべての$W(E_8)$-不変ヤコビ形式は、Sakai が導入した9つの代数的に独立な正則ヤコビ形式の多項式として一意に表現可能である。
• この多項式表現における係数は有理型モジュラー形式である。
• 固定されたインデックスに対する$W(E_8)$-不変な弱ヤコビ形式の空間は、モジュラー形式の環上の自由加群をなす。
• インデックスが5未塔の場合、加群構造は完全に特定されており、すべての生成元が明示的に構成されている。
• 低インデックス範囲において、生成元の数とその次数が完全に特徴づけられており、これらの空間に対する完全な基底が得られている。