[论文解读] A Modular Symbol with Values in Cusp Forms

Vicenţiu Pașol|ArXiv.org|Nov 22, 2006

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

一句话总结

本文构建了一个新的 GL₂(ℚ) 模形式符号，其取值于 M₂(ℚ) 上的局部常数分布，取值于两个变量的尖点幂级数。通过限制到在 Γ₁(N) 作用下不变的主开集并提取齐次度 k−2 部分，该构造恢复了 Borisov 与 Gunnells 对于权 k ≥ 2 且水平 N > 1 的尖点形式的模形式符号，同时揭示了 Eisenstein 系列分布之间新的 Manin 型关系。

ABSTRACT

In [B-G1] and [B-G2], Borisov and Gunnells constructed for each level (N > 1) and for each weight (k > 1) a modular symbol with values in $Sk(Γ_1(N))$ using products of Eisenstein series. In this paper we generalize this result by producing a modular symbol (for GL2(Q)!!!) with values in locally constant distributions on M2(Q) taking values in the space of cuspidal power series in two variables (see Definition 5). We can recover the above cited result by restricting to a principal open invariant for the action of $Γ_1(N)$ and to the homogeneous degree $k-2$ part of the power series. We should also mention that Colmez [Col] constructs similar distributions (zEis(k; j)). The modification in the definition of such distributions allow us to observe further relations among these distributions (Manin Relations) which in turn makes possible the existence of our construction. In the last section we exhibit some instances of these relations for the full modular group.

研究动机与目标

• 将 Borisov 与 Gunnells 的尖点形式模形式符号构造推广至更广泛的取值于尖点幂级数的分布框架。
• 建立一个取值于分布的 GL₂(ℚ) 模形式符号，统一编码尖点形式与 Eisenstein 系列的信息。
• 通过修改 Eisenstein 系列分布的定义，揭示其间新的代数关系（Manin 关系），从而实现新模形式符号的构造。
• 证明经典 Borisov-Gunnells 模形式符号在 Γ₁(N) 上可通过该新符号的次数提取与不变性限制得到。

提出的方法

• 在 M₂(ℚ) 上取值于两个变量尖点幂级数空间的局部常数分布空间中引入一个取值于分布的模形式符号 Φ。
• 通过 Eisenstein 系列 E_U₁(τ,X) 与 E_U₂(τ,Y) 的乘积的全纯投影 H 定义该符号，其中 U₁, U₂ 是 M₂(ℚ) 中的特定矩阵。
• 利用 Weierstrass ℘-函数与 theta 函数对数导数之间的恒等式，推导出支撑该构造的关键代数恒等式。
• 将 Manin 关系应用于取值于分布的符号，证明其结构与 SL₂(ℤ) 的作用相容，并确保模形式性质。
• 将符号限制于主开集 U₁(N)，通过提取幂级数的齐次度 k−2 部分，恢复经典 Borisov-Gunnells 模形式符号 Φ_{k,N}^{B-G}。
• 推导 Eisenstein 系列的显式 q-展开式与恒等式，包括 E_k 与低权 Eisenstein 系列乘积之间的关系，以验证一致性并导出新的数论恒等式。

实验结果

研究问题

• RQ1 能否构造一个取值于两个变量尖点幂级数的分布的 GL₂(ℚ) 模形式符号，从而推广 Borisov-Gunnells 的构造？
• RQ2 当以特定方式修改 Eisenstein 系列分布时，会涌现出何种代数关系（Manin 关系）？这些关系如何促成新模形式符号的存在？
• RQ3 该新模形式符号限制于主开集 U₁(N) 并提取齐次度 k−2 部分，如何恢复 Γ₁(N) 上的 Borisov-Gunnells 模形式符号？
• RQ4 在该构造中，由 Manin 关系导出的关于除数函数与 Eisenstein 系列之间的新恒等式是什么，特别是对全模群 SL₂(ℤ)？
• RQ5 由推导出的关系是否表明 SL₂(ℤ) 的模形式空间可由 E₂ 及其权提升导数生成，如所暗示的那样？

主要发现

• 模形式符号 Φ ∈ Symb_{GL₂(ℚ)}(𝒟_{naive}(M₂(ℚ), ̃𝒮₂)) 存在且唯一，其在 D_∞ 处的取值为两个变量 Eisenstein 系列乘积的全纯投影。
• 将 Φ 限制于幂级数的齐次度 k−2 部分并限制于 U₁(N)，可得到 Borisov-Gunnells 模形式符号 Φ_{k,N}^{B-G}，从而对所有 k ≥ 2 恢复其构造。
• 当 k=2 时，通过权为 1 的 Eisenstein 系列 s_{c/N} 与 s_{d/N} 的乘积恢复 Borisov-Gunnells 符号，且当 c,d ≠ 0 时，f_{Φ_{2,N}^{B-G}}((c d)) = s_{c/N} s_{d/N}。
• 本文推导出 Eisenstein 系列之间的新恒等式，例如 5E₄ = E₂² + 4πi(δ₂/2)E₂，其转化为涉及除数函数 σ₃(n) 与 σ₁(n) 的算术恒等式。
• 证明了一个新恒等式：∑_{i+j=n} P_i(X,Y)P_j(X,Y)E_{i+1}E_{j+1} = ((n+1)P_n(X,Y) − P_{n+1}(X,Y)P_2(X,Y)/(XY(X+Y))) · E_{n+2}，对所有 n > 0 成立。
• 证明 SL₂(ℤ) 的模形式空间在加权齐次意义下可由 E₂ 及其权提升导数生成，所有高权形式均可表示为这些生成元的加权多项式。