Siegel modular forms associated to Weil representations: $\operatorname{SL}_2(\mathbb{R}) \& \operatorname{GL}_2(\mathbb{R})$ cases

技术摘要：与魏尔表示相关的西格尔模形式：$SL_2(\mathbb{R})$ 与 $GL_2(\mathbb{R})$ 情形

问题陈述
本文针对由经典魏尔表示产生的半整数权（$1/2$ 和 $3/2$）模形式的显式构造与重组。具体而言，文章聚焦于三类 theta 级数：经典型、负号型和费米型。尽管这些形式在辛群 $SL_2(\mathbb{R})$ 及其同余子群下的变换性质在文献中已有充分确立（ notably 由 Shimura、Lion–Vergne 以及 Satake–Takase 的工作），但本文旨在一个严格的表示论框架内统一这些结果。此外，文章旨在将这些构造从 $SL_2(\mathbb{R})$ 扩展到相似群 $GL_2(\mathbb{R})$，这是获得更广泛自守视角的必要步骤，特别是在朗兰兹纲领的背景下。

方法论
作者采用了一种多方面的方法，结合了覆盖群理论、显式上循环计算以及表示诱导：

1. 覆盖群与上循环：研究首先严格定义了 $SL_2(\mathbb{R})$ 和 $GL_2(\mathbb{R})$ 的相关中心覆盖群。作者分析了与魏尔表示相关的三个不同的 2-上循环：

   • $c_{X^*}$ 和 $\tilde{c}_{X^*}$（与 Rao、Kudla、Perrin 以及 Lion–Vergne 相关），分别产生 2 重和 8 重覆盖。
   • $\tilde{b}_{Cz}$（与 Satake–Takase 相关），一个与福克模型相关的实解析上循环。
     文章显式地构建了这些上循环与相应的中心扩张群（$\widetilde{SL}_2(\mathbb{R})$、$\widetilde{GL}_2(\mathbb{R})$ 等）之间的关系，确立了这些覆盖不同实现之间的同构。

2. 三种模型中的魏尔表示：魏尔表示在三种不同的模型中实现：

   • 薛定谔模型：作用于 $L^2(\mathbb{R})$。
   • 格点模型：作用于定义在格点商上的函数。
   • 福克模型：作用于全纯函数空间。
     文章构建了这些模型之间的显式交织算子，特别是针对扩展群 $SL^\pm_2(\mathbb{R})$（行列式为 $\pm 1$ 的矩阵群）。

3. 诱导与张量诱导：为了重组模形式，作者利用诱导表示。theta 级数被解释为在同余子群的特定诱导表示下变换的矩阵值函数。文章采用了标准诱导和张量诱导（遵循 Curtis–Reiner 和 Serre 的方法），从 $\Gamma_\theta$ 等较小子群的字符生成 $SL_2(\mathbb{Z})$ 和 $GL_2(\mathbb{Z})$ 的表示。

4. 扩展到 $GL_2(\mathbb{R})$：继 Barthel 关于 $p$-进域的工作之后，作者将 2-上循环和魏尔表示从 $SL_2(\mathbb{R})$ 扩展到 $GL_2(\mathbb{R})$。这涉及使用魏尔 - 德利涅群定义自守因子 $J_\delta(g, z)$ 以处理相似因子（行列式）。

主要贡献与结果

• 显式乘子系统：文章计算了权为 $1/2$ 和 $3/2$ 的经典型、负号型和费米型 theta 级数的显式乘子系统。这些系统定义于各种同余子群，包括 $\Gamma_\theta \cap \Gamma_0(N^2)$ 及其到相似群的扩展。乘子系统用雅可比符号、戴德金和以及由所选上循环导出的特定单位根表示。
• 通过诱导重组：模形式被重组为取值于矩阵空间（$M_{1\times 3}(\mathbb{C})$ 或 $M_{1\times 2}(\mathbb{C})$）的向量值形式 $\Theta_{\chi}^{\kappa/2}$。变换律被证明为：
  $$\Theta_{\chi}^{\kappa/2}(gz) = J_{\kappa/2}(g, z) \Theta_{\chi}^{\kappa/2}(z) \gamma_\chi(g^{-1})$$
  其中 $\gamma_\chi$ 是一个诱导表示。文章证明，对于奇数 $N$（或 $N \equiv 2 \pmod 4$），这些诱导表示是不可约的，而对于 $N \equiv 0 \pmod 4$，它们是可约的。
• 扩展到 $GL_2(\mathbb{R})$：主要结果将变换律扩展到了相似群 $GL_2(\mathbb{R})$。定理 C 确立了 theta 级数 $\theta^{\pm, \delta}_\chi$ 和相关的矩阵值形式 $\Theta^{\pm, \delta}_\chi$ 在 $GL_2(\mathbb{R})$ 下变换，其自守因子通过魏尔 - 德利涅群定义，保持了诱导表示的结构。
• 交织算子：文章提供了扩展群 $SL^\pm_2(\mathbb{R})$ 在薛定谔模型、格点模型和福克模型之间交织算子的详细构造，阐明了不同模型在包含负行列式元素的完整群作用下如何相互关联。

意义与主张
本文声称通过魏尔表示和覆盖群的视角，为理解半整数权模形式提供了一个统一且显式的框架。通过使用（张量）诱导重组这些形式，作者将经典 theta 级数的结果（如 Shimura 和 Lion–Vergne 的工作）直接与 $SL_2$ 和 $GL_2$ 离散子群的表示论联系起来。

扩展到 $GL_2(\mathbb{R})$ 被呈现为用自守表示的语言表述这些结果的必要步骤，这与朗兰兹纲领的精神相一致。作者指出，所使用的方法——特别是不同模型的比较和显式上循环的使用——可以应用于更高秩母群（metaplectic groups）的西格尔模形式研究，并引用了 Takase 及其他人在该方向上的先前工作。本文并不声称解决关于朗兰兹对应本身的开放性问题，而是提供了此类研究所必需的显式“构建块”（模形式及其变换律）。