[論文レビュー] Lattice invariants from the heat kernel (II)

Juan Marcos Cerviño, Georg Hein|ArXiv.org|Sep 2, 2009

Spectral Theory in Mathematical Physics参考文献 5被引用数 3

ひとこと要約

本稿は、熱核法と調和テイラー展開を用いて、整数格子から新しいモジュラー形式を構成し、古典的テータ級数を一般化する。$q$-展開を明示的に計算し、$\theta_{m,m,\bar{L}}$ および $\theta_{1,1,1,\bar{L}}$ の係数が、格子ベクトル間の角度の余弦における整数係数多項式であることを示し、等長でない格子を区別する強力な不変量を提供する。

ABSTRACT

Given an integral lattice $Λ$ of rank $n$ and a finite sequence $m_1 \leq m_2 \leq ... \leq m_k$ of natural numbers we construct a modular form $Θ_{m_1,m_2,...,m_k,Λ}$ of level $N=N(Λ)$. The weight of this modular form is $nk/2+\sum_{i=1}^k m_k$. This construction generalizes the theta series $Θ_Λ$ of integral lattices, because $Θ_Λ= Θ_{0,Λ}$. We give the $q$-expansions of the modular forms $Θ_{m,m,Λ}$, and $Θ_{1,1,1,Λ}$ and show that (up to some scaling) they are given by power series with integer coefficients.

研究の動機と目的

• 整数格子の古典的テータ級数を、熱核法と調和解析を用いて高次モジュラー形式へ一般化すること。
• テータ級数のみでは等長でない格子（例：$E_8 \oplus E_8$ と $E_{16}$）を区別できないという限界を克服すること。
• 等長埋め込みに依存しない、直接的かつ内在的な不変量である調和データ $p_{m_1,\dots,m_k,\Lambda}$ を構成すること。
• モジュラー形式 $\Theta_{m,m,\Lambda}$ および $\Theta_{1,1,1,\Lambda}$ の $q$-展開を明示的に計算し、$\cos(\angle(v,w))$ における多項式表現を通じて整数係数であることを示すこと。

提案手法

• 整数格子 $\Lambda \subset \mathbb{E}^n$ に関連する熱核 $f_\Lambda(t,x)$ を用い、熱の流れをモデル化し、調和テイラー係数を抽出する。
• 調和不変量系 $p_{m_1,\dots,m_k,\Lambda}$ から、重み $nk/2 + \sum m_i$、レベル $N(\Lambda)$ のモジュラー形式 $\Theta_{m_1,\dots,m_k,\Lambda}$ を導出する。
• 球面調和関数と対称多項式の恒等式を用いて、$c = \cos(\angle(v,w))$ として、$p_m(c)$ を偶数次多項式（次数 $2m$）として定義する。
• 母関数技法と二項係数の恒等式を用い、$p_m(c)$ の再帰的関係を証明し、閉形式表現を導出する。
• 熱核の $x$ における $x=0$ の周りのテイラー展開を用い、調和成分を抽出し、モジュラー不変量を導出する。
• 格子のペア $(v,w)$ に対して、$\|v\|^2 + \|w\|^2 = k$ を満たすものについて、$p_m(\cos(\angle(v,w)))\|v\|^{2m}\|w\|^{2m}$ を重みとして和をとることで、$q$-展開を計算する。

実験結果

リサーチクエスチョン

• RQ1 格子の熱核から、古典的テータ級数を精緻化し、等長でない格子を区別できる高次モジュラー形式を構成できるか？
• RQ2 $\Theta_{m,m,\Lambda}$ の $q$-展開の正確な構造は何か？ その係数が $\cos(\angle(v,w))$ の多項式として整数係数をとる理由は何か？
• RQ3 等長埋め込み $\Lambda \to \mathbb{E}^n$ の選択に依存しない、調和不変量系 $p_{m_1,\dots,m_k,\Lambda}$ をどのように内在的に定義できるか？
• RQ4 $\Theta_{m,m,\Lambda}$ の $q$-展開を支配する多項式 $p_m(c)$ の明示的形は何か？ また、その格子のランク $n$ に依存する仕組みは何か？
• RQ5 三重不変量 $\Theta_{1,1,1,\Lambda}$ を明示的に計算し、整数係数のモジュラー形式であることを示せるか？

主な発見

• モジュラー形式 $\Theta_{m,m,\Lambda}$ は、$q$-展開 $\sum_{k \geq 0} a_{m,m,k} q^k$ として与えられ、$a_{m,m,k} = \sum_{\substack{(v,w) \in \Lambda^2 \\ \|v\|^2 + \|w\|^2 = k}} p_m(\cos(\angle(v,w))) \|v\|^{2m} \|w\|^{2m}$ である。ここで $p_m$ は次数 $2m$ の偶数次多項式である。
• 多項式 $p_0(c) = 1$、$p_1(c) = \frac{c^2}{2} - \frac{1}{2n}$、$p_2(c) = \frac{c^4}{24} - \frac{c^2}{4(n+4)} + \frac{1}{8(n+4)(n+2)}$ が明示的に計算され、$q$-展開における整数係数をもたらすことが示された。
• モジュラー形式 $\Theta_{1,1,1,\Lambda}$ は定理4.5で明示的に構成され、同一のテータ級数を持つ格子を区別できる三重不変量を提供する。
• $\Theta_{m_1,\dots,m_k,\Lambda}$ の構成は、等長埋め込み $\Lambda \to \mathbb{E}^n$ の選択に依存せず、$O(n)$-作用に対して不変であることが保証される。
• $\Theta_{m_1,\dots,m_k,\Lambda}$ の重みは $nk/2 + \sum_{i=1}^k m_i$、レベルは $N(\Lambda)$ であり、格子のレベルと一致する。
• 係数 $a_{m,m,k}$ は適切にスケーリングすれば整数となり、$E_8$ 格子および一般の格子において、$q$-展開が $\mathbb{Z}[[q]]$ に属することを確認した。