[论文解读] Differential eigenforms

Alexandru Buium|ArXiv.org|Jun 28, 2006

Advanced Algebra and Geometry被引用 10

一句话总结

该论文通过模雅可比簇 $J_1(N)$ 的 $δ$-特征构造了权为 0、阶为 2 的微分模形式，表明它们是 Hecke 算子的特征向量，且具有与经典权 2 特征形式相同的特征值。这些 $δ$-模形式可延拓至奇异超奇异圆盘——与经典对应形式不同——且当将高阶导数设为零时，其 $δ$-傅里叶展开可恢复出一个 $p$-进模形式 $f^{(-1)}$。

ABSTRACT

The aim of this paper is to show how differential characters of Abelian varieties can be used to construct differential modular forms of weight 0 and order 2 which are eigenvectors of Hecke operators. These differential modular forms have "essentially the same" eigenvalues as certain classical complex eigenforms of weight 2.

研究动机与目标

• 构造权为 0、阶为 2 的 $δ$-模形式，使其为 Hecke 算子的特征形式。
• 表明这些形式虽非经典权 2 特征形式的 $φ$-幂的线性组合，但具有与之相同的 Hecke 特征值。
• 证明这些 $δ$-特征形式可延拓至超奇异圆盘，而经典 $p$-进模形式不具备此性质。
• 建立 $δ$-傅里叶展开与 $p$-进模形式 $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$ 之间的联系。
• 证明此类 $δ$-特征形式源于 $δ$-特征与阿贝尔-雅可比映射的复合，从而提供构造的逆定理。

提出的方法

• 利用通过迭代费马商 $\delta x = (\phi(x) - x^p)/p$ 定义的阿贝尔簇的 $δ$-特征，构造算术微分算子。
• 将模雅可比簇 $J_1(N)$ 的 $δ$-特征与将固定尖点映射到 0 的阿贝尔-雅可比映射 $X_1(N) \to J_1(N)$ 复合。
• 将 $δ$-模形式 $f^\sharp$ 定义为这些 $δ$-特征的拉回，确保其在所有尖点处为零。
• 在变量 $q, q', q''$ 中计算 $δ$-傅里叶展开，并分析其在 Hecke 算子 $T(p)_{\infty,m}$ 下的行为。
• 利用洛朗 $δ$-对称性与特征向量条件，验证 $f^\sharp$ 是 $T(p)_{\infty,2}$ 的洛朗特征向量，其特征值为 $a_p(f)$。
• 应用 $δ$-模形式理论的结果，表明 $T(p)_{\infty}$ 定义域中的 $δ$-尖点形式源于 $δ$-特征，从而建立逆定理。

实验结果

研究问题

• RQ1 能否独立于经典特征形式的 $φ$-幂，构造出权为 0、阶为 2 的 $δ$-特征形式？
• RQ2 与经典 $p$-进模形式不同，$δ$-模形式是否可延拓至超奇异圆盘？
• RQ3 $f^\sharp$ 的 $δ$-傅里叶展开是否与 $p$-进模形式 $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$ 相关？
• RQ4 所有属于 $T(p)_{\infty}$ 定义域且为 $δ$-特征向量的 $δ$-尖点形式是否均可由 $J_1(N)$ 的 $δ$-特征与阿贝尔-雅可比映射的复合得到？
• RQ5 在 Hecke 特征形式的背景下，$δ$-对称性与 $δ$-模形式结构之间存在何种关系？

主要发现

• 所构造的权为 0、阶为 2 的 $δ$-模形式 $f^\sharp$ 是 Hecke 特征形式，其特征值 $a_p(f)$ 与经典权 2 特征形式 $f$ 相同。
• $f^\sharp$ 的 $δ$-傅里叶展开在 $q' = q'' = 0$ 时变为 $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$，从而恢复出一个不与任何经典特征形式相关的 $p$-进模形式。
• 形式 $f^\sharp$ 可延拓至超奇异圆盘，而 $f^{(-1)}$ 不具备此性质，因其在模曲线上的行为非恒定而无法延拓。
• $f^\sharp$ 并非 $f^{(-1)}$ 的 $φ$-幂的线性组合，即使使用同源协变系数，也证明其与此类构造无关。
• $f^\sharp$ 的 $δ$-傅里叶展开是 $T(p)_{\infty,2}$ 的洛朗特征向量，其特征值为 $p(p+1)$，从而确认其为 $δ$-模特征形式。
• 建立了逆定理：任何具有 $δ$-对称或洛朗-$δ$-对称 $δ$-傅里叶展开且属于 $T(p)_{\infty}$ 定义域的 $δ$-尖点形式，均源于 $J_1(N)$ 的 $δ$-特征与阿贝尔-雅可比映射的复合。