[论文解读] Quasi-pullback of Borcherds products

Shouhei Ma|arXiv (Cornell University)|Jan 25, 2018

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

一句话总结

本文为弱全纯模形式（Weil表示型）提供了显式公式，其Borcherds提升可得到给定Borcherds乘积在低秩对称域上的拟拉回。关键结果将拟拉回表示为通过 $\rho_L$ 到 $\rho_M$ 的拉回与负定格子 $K$ 的theta级数进行 $\theta$-收缩构造出的 $\rho_M$-值模形式的Borcherds提升，推广了在 $II_{2,26}$ 和单模格情形下的已知结果。

ABSTRACT

Quasi-pullback of Borcherds products is an operation of renormalized restriction. It produces a meromorphic modular form on a lower dimensional symmetric domain which is again a Borcherds product. We give an explicit formula for the weakly holomorphic modular form of Weil representation type whose Borcherds lift is the quasi-pullback of the given Borcherds product.

研究动机与目标

• 推导出其Borcherds提升可产生给定Borcherds乘积在低秩对称域上拟拉回的Weil表示型模形式的显式公式。
• 将已知的特殊情形（如 $L = II_{2,26}$ 和 $f = 1/\triangle$）下的拟拉回公式推广至具有合适算术嵌入的任意偶格。
• 通过 $\rho$-值模形式与 $\theta$-收缩，统一单模情形（$f \cdot \theta_K$）与Gritsenko的Jacobi形式公式，建立统一框架。
• 在Witt指标条件与Koecher原理下验证公式的有效性，并讨论其向低秩情形的潜在推广。

提出的方法

• 该方法依赖于比较 $\mathcal{D}_M$ 上拟拉回模形式与由导出的 $\rho_M$-值模形式的Borcherds提升在权与除子上的对应关系。
• 核心构造使用从 $\rho_L$ 到 $\rho_{L'}$ 的拉回操作 $\uparrow_{L}^{L'}$，其中 $L' = M \oplus K(-1)$，以及 $\theta$-收缩 $\langle f^{\uparrow_{L}^{L'}}, \Theta_K \rangle$，以在 $\mathcal{D}_M$ 上构造目标模形式。
• 公式在 $M$ 的Witt指标小于 $\text{rk}(M) - 2$ 的假设下导出，以确保 $\mathcal{D}_M$ 上Koecher原理成立。
• 当 $K$ 为单模时，公式简化为 $g = f \cdot \theta_K$，恢复标量值情形。
• 通过与已知例子的一致性验证该方法：Borcherds的§16、文献[3]的定理13.1，以及Yoshikawa通过拟拉回构造 $\Psi_{b,a,\delta}$ 的结果。
• 该方法被推广至2-元素格，并与Gritsenko的Jacobi形式框架相关联，提示存在一个统一的 $\rho_L$-版本的拟拉回。

实验结果

研究问题

• RQ1 在 $M$ 上，何种精确的Weil表示型模形式的Borcherds提升可产生 $L$ 上给定Borcherds乘积在 $\mathcal{D}_M$ 上的拟拉回？
• RQ2 拟拉回操作能否通过Weil表示型模形式与theta级数系统地描述？
• RQ3 公式 $g = \langle f^{\uparrow_{L}^{L'}}, \Theta_K \rangle$ 是否对所有满足 $M = K(-1)^\perp \cap L$ 的原始嵌入 $M \subset L$ 普适成立，而不仅限于已知特例？
• RQ4 当 $\text{rk}(M) = 3,4$ 时，Koecher原理失效，该拟拉回公式是否仍可推广？
• RQ5 该 $\theta$-收缩构造如何统一单模情形与Gritsenko的Jacobi形式公式？

主要发现

• Borcherds乘积 $\Psi_L(f)$ 到 $\mathcal{D}_M$ 的拟拉回等于 $\rho_M$-值模形式 $g = \langle f^{\uparrow_{L}^{L'}}, \Theta_K \rangle$ 的Borcherds提升，其中 $L' = M \oplus K(-1)$，且 $K$ 是 $L$ 的正定负定子格。
• 当 $L$ 为单模时，公式简化为 $g = f \cdot \theta_K$，恢复已知的标量值情形。
• 该公式在Witt指标条件 $\text{Witt index}(M) < \text{rk}(M) - 2$ 下成立，此条件确保 $\mathcal{D}_M$ 上Koecher原理成立，且当 $\text{rk}(M) \geq 5$ 时自动满足。
• 对于2-元素格，该公式解释了Yoshikawa对 $\Psi_{b,a,\delta}$ 的构造为 $\Psi_{b+r,a+r,1}$ 的拟拉回，且 $\Psi_{10,12,1}$ 可生成所有满足 $b \leq 10$ 的 $\Psi_{b,a,\delta}$。
• 模形式上的操作 $\downarrow_L^{L'}$（$\uparrow$ 的对偶）对应于正则化平均乘积，可将常值形式转化为非平凡模形式，如Yoshikawa例子所示。
• 该结果提供了一个统一框架，既推广了单模公式，也统一了Gritsenko的Jacobi形式公式，提示后者存在一个 $\rho_L$-版本。