[论文解读] Generators for a module of vector-valued Siegel modular forms of degree 2

van Dorp|arXiv (Cornell University)|Jan 14, 2013

Advanced Algebra and Geometry参考文献 10被引用 4

一句话总结

该论文利用广义 Rankin-Cohen 微分算子和一种针对向量值模形式的新 Rankin-Cohen 括号构造，构建了第二度数的向量值 Siegel 模形式自由模，其权为 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$ 且 $k$ 为奇数，从而在经典偶权 Siegel 模形式环上明确给出了该模的生成元。

ABSTRACT

In this paper we will describe all vector-valued Siegel modular forms of degree 2 and weight ${ m Sym}^6({ m St}) \otimes \det^{k}({ m St})$ with $k$ odd. These vector-valued forms constitute a module over the ring of classical Siegel modular forms of degree 2 and even weight and this module turns out to be free. In order to find generators, we generalize certain Rankin-Cohen differential operators on triples of classical Siegel modular forms that were first considered by Ibukiyama and we find a Rankin-Cohen bracket on vector-valued Siegel modular forms.

研究动机与目标

• 确定第二度数的向量值 Siegel 模形式在权 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$ 且 $k$ 为奇数时的结构。
• 将此类形式的模描述为在经典偶权 Siegel 模形式环上的自由模。
• 将 Rankin-Cohen 微分算子推广至第二度数经典 Siegel 模形式的三元组，如 Ibukiyama 所启。
• 为向量值 Siegel 模形式引入一种新的 Rankin-Cohen 括号运算，以专门适配此类形式。

提出的方法

• 将 Rankin-Cohen 微分算子推广至第二度数经典 Siegel 模形式的三元组。
• 在向量值 Siegel 模形式上构造一种新的 Rankin-Cohen 括号运算，以从已有形式生成新形式。
• 利用广义算子与括号运算生成模的候选生成元。
• 验证所得形式在经典偶权 Siegel 模形式环上张成一个自由模。
• 利用经典 Siegel 模形式环的已知结构分析模的自由性。
• 通过分析算子作用与生成元的代数独立性，确认模为自由模。

实验结果

研究问题

• RQ1 第二度数的向量值 Siegel 模形式在权 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$ 且 $k$ 为奇数时，其模的结构是什么？
• RQ2 该模是否可在经典偶权 Siegel 模形式环上自由生成？
• RQ3 Rankin-Cohen 微分算子在第二度数 Siegel 模形式背景下，如何推广至经典形式的三元组？
• RQ4 是否存在一种一致的括号运算作用于向量值 Siegel 模形式上，保持模形式性并生成新形式？
• RQ5 该模的最小生成元集是什么，它们与经典模形式有何关系？

主要发现

• 第二度数的向量值 Siegel 模形式在权 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$ 且 $k$ 为奇数时，其模在经典偶权 Siegel 模形式环上是自由的。
• 模的生成元通过在经典形式三元组上应用广义 Rankin-Cohen 微分算子显式构造。
• 在向量值 Siegel 模形式上定义了一种新的 Rankin-Cohen 括号，实现了新形式的系统性生成。
• 模的自由性通过构造生成元的代数独立性与张成性质得以确立。
• 广义 Rankin-Cohen 算子将 Ibukiyama 的原始构造推广至更高对称幂与向量值情形。
• 所得模结构完整描述了此类向量值模形式的空间。