[論文レビュー] The two-variable elliptic genus in odd dimensions

Yong Wang|arXiv (Cornell University)|Jan 9, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

2変数楕円 genus を奇数次元スピン多様体の Toeplitz 演算子の index および holomorphic SL(2,Z)-Jacobi 形式として定義し、Gamma サブ群を用いて関連 genera を構築し、異常キャンセル公式と divisibility 結果を導出する。

ABSTRACT

A kind of two-variable elliptic genus for almost-complex manifolds was introduced by Ping Li and its various properties were established by him. In this paper, we define a two-variable elliptic genus for odd dimensional spin manifolds which is the index for some Toeplitz operator and a holomorphic $SL(2,Z)$-Jacobi form. We also define some two-variable elliptic genera for almost-complex manifolds and odd dimensional spin manifolds which are holomorphic $Γ_0(2)$, $Γ^0(2)$, $Γ_θ$-Jacobi forms. By these Jacobi forms, we can get some $SL(2,{\bf Z})$ and $Γ^0(2)$ modular forms. By these $SL(2,{\bf Z})$ and $Γ^0(2)$ modular forms, we get some interesting anomaly cancellation formulas for almost complex manifolds and odd spin manifolds. As corollaries, we get some divisibility results of the holomorphic Euler characteristic number and the index of Toeplitz operators. In addition, we also define some another two-variable elliptic genera for even (rep. odd ) dimensional manifolds which are meromorphic $Γ_0(2)$, $Γ^0(2)$, $Γ_θ$-Jacobi forms.

研究の動機と目的

• 奇数次元スピン多様体の 2 変数楕円 genus を動機づけ、定義する。
• Toeplitz 演算子の index および holomorphic SL(2,Z)-Jacobi 形式として genera を構築する。
• モジュラー部分群の下で nearly-complex および spin 多様体に関連する framework に拡張する。
• 異常キャンセル公式と holomorphic Euler characteristic および Toeplitz index の divisibility に関する系を導く。

提案手法

• E(M,W,τ,z) と Toeplitz 演算子の index Ell(M,W,g,τ,z) を定義する。
• 仮想バンドル Q(E) を導入し ch(Q(E),g^{Q(E)},d,τ) およびモジュラー性を導出する。
• c1(W)=0, p1(M)=p1(W), H^3(M,R)=0, 単連結性を満たすとき Ell(M,W,g,τ,z) が weak Jacobi form となることを証明する。
• SL(2,Z) のモジュラ形式と Gamma0(2), Gamma^0(2), Gamma_theta Jacobi 形式との関係から異常キャンセル公式を得る。
• holomorphic Euler characteristic および Toeplitz index の divisibility 結果を系として導く。
• 偶数次元の場合にも拡張し Gamma0(2), Gamma^0(2), Gamma_theta 用の meromorphic Jacobi 形式を得る。

実験結果

リサーチクエスチョン

• RQ1 奇数次元スピン多様体に対して Toeplitz 演算子 index および holomorphic Jacobi form の両方として現れる 2 変数楕円 genus を定義できるか。
• RQ2 これらの奇数次元 genera は SL(2,Z) およびそのサブ群の下でどのようなモジュラー形式・Jacobi 形式構造を持つか。
• RQ3 構築した genera のモジュラー性から異常キャンセル公式は現れるか。
• RQ4 これらのモジュラー関係から holomorphic Euler characteristic および Toeplitz index の divisibility 性は導かれるか。
• RQ5 Gamma サブ群を用いて奇数次元の構成を almost-complex および偶数/奇数 spin 多様体の 2変数楕円 genus へどのように関連づけられるか。

主な発見

• 2 変数楕円 genus Ell(M,W,g,τ,z) は E(M,W,τ,z) および Q(E) によって twist された Toeplitz 演算子の index として定義され、特徴形式および theta 関数で表現可能である。
• c1(W)=0, p1(M)=p1(W), H^3(M,R)=0, 単連結性の条件下で Ell(M,W,g,τ,z) は 重み (d+1−l)・指標 l/2 の weak Jacobi form となる。
• この構成は SL(2,Z) および部分群 Γ0(2), Γ^0(2), Γ_theta に対するモジュラ形式を生み、奇数 spin および nearly-complex 多様体の異常キャンセル公式を可能にする。
• 結論として holomorphic Euler characteristic および Toeplitz 演算子の index に関する divisibility 結果、q 展開の係数 a_n(M,W,g,τ) の明示的関係などの系が得られる。
• 定理 3.7 は特定の d+1−l の値（例: 4, 6, 8, 10）に対して係数 a_0^1 および a_1^1 がそれぞれ 240, 504, 480, 264 の倍数になる等の具体的 divisibility 関係を与え、対応する構造的制約をもたらす。