[Paper Review] Lattice invariants from the heat kernel (II)

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

Spectral Theory in Mathematical Physics5 references3 citations

TL;DR

This paper constructs new modular forms from integral lattices using heat kernel methods and harmonic Taylor expansions, generalizing classical theta series. It explicitly computes $q$-expansions for $ heta_{m,m,ar{L}}$ and $ heta_{1,1,1,ar{L}}$, showing their coefficients are integer-valued polynomials in cosine of angle between lattice vectors, providing powerful invariants to distinguish non-isometric lattices with identical theta series.

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.

Motivation & Objective

• To generalize classical theta series of integral lattices into higher-order modular forms using heat kernel and harmonic analysis.
• To address the limitation that theta series alone cannot distinguish non-isometric lattices with identical $q$-expansions (e.g., $E_8 \oplus E_8$ and $E_{16}$).
• To construct a direct, intrinsic invariant harmonic datum $p_{m_1,\dots,m_k,\Lambda}$ independent of isometric embedding.
• To explicitly compute $q$-expansions of modular forms $\Theta_{m,m,\Lambda}$ and $\Theta_{1,1,1,\Lambda}$, showing integer coefficients via polynomial expressions in $\cos(\angle(v,w))$.

Proposed method

• Uses the heat kernel $f_\Lambda(t,x)$ associated with an integral lattice $\Lambda \subset \mathbb{E}^n$ to model heat flux and extract harmonic Taylor coefficients.
• Derives a modular form $\Theta_{m_1,\dots,m_k,\Lambda}$ of weight $nk/2 + \sum m_i$ and level $N(\Lambda)$ from the harmonic invariant system $p_{m_1,\dots,m_k,\Lambda}$.
• Employs spherical harmonics and symmetric polynomial identities to define the invariant $p_m(c)$, where $c = \cos(\angle(v,w))$, as an even polynomial of degree $2m$.
• Applies generating function techniques and binomial identities to prove recurrence relations and derive closed-form expressions for $p_m(c)$.
• Uses the heat kernel's Taylor expansion in $x$ at $x=0$ to extract harmonic components that yield modular invariants.
• Computes $q$-expansions via summation over lattice pairs $(v,w)$ with $\|v\|^2 + \|w\|^2 = k$, weighted by $p_m(\cos(\angle(v,w)))\|v\|^{2m}\|w\|^{2m}$.

Experimental results

Research questions

• RQ1 Can higher-order modular forms be constructed from the heat kernel of a lattice that refine the classical theta series and distinguish non-isometric lattices?
• RQ2 What is the precise structure of the $q$-expansion of $\Theta_{m,m,\Lambda}$, and why are its coefficients polynomials in $\cos(\angle(v,w))$ with integer coefficients?
• RQ3 How can a harmonic invariant system $p_{m_1,\dots,m_k,\Lambda}$ be defined intrinsically, independent of the choice of isometric embedding $\Lambda \to \mathbb{E}^n$?
• RQ4 What is the explicit form of the polynomial $p_m(c)$ that governs the $q$-expansion of $\Theta_{m,m,\Lambda}$, and how does it depend on the lattice rank $n$?
• RQ5 Can the triple invariant $\Theta_{1,1,1,\Lambda}$ be explicitly computed and shown to be a modular form with integer $q$-coefficients?

Key findings

• The modular form $\Theta_{m,m,\Lambda}$ has a $q$-expansion given by $\sum_{k \geq 0} a_{m,m,k} q^k$, where $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}$, with $p_m$ an even polynomial of degree $2m$.
• The polynomial $p_0(c) = 1$, $p_1(c) = \frac{c^2}{2} - \frac{1}{2n}$, and $p_2(c) = \frac{c^4}{24} - \frac{c^2}{4(n+4)} + \frac{1}{8(n+4)(n+2)}$ are explicitly computed and shown to yield integer coefficients in the $q$-expansion.
• The modular form $\Theta_{1,1,1,\Lambda}$ is constructed explicitly in Theorem 4.5, providing a triple invariant that can distinguish lattices with identical theta series.
• The construction of $\Theta_{m_1,\dots,m_k,\Lambda}$ is independent of the choice of isometric embedding $\Lambda \to \mathbb{E}^n$, ensuring invariance under $O(n)$-action.
• The weight of $\Theta_{m_1,\dots,m_k,\Lambda}$ is $nk/2 + \sum_{i=1}^k m_i$, and the level is $N(\Lambda)$, matching the lattice's level.
• The coefficients $a_{m,m,k}$ are integers when scaled appropriately, confirming that the $q$-expansion lies in $\mathbb{Z}[[q]]$ for the $E_8$ lattice and general lattices.