[论文解读] Multiplying Modular Forms

Martin H. Weissman|ArXiv.org|Nov 30, 2006

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

一句话总结

本文建立了一套表示论框架，通过将模形式环结构与实半单李群的全纯离散系列表示的张量积中的分支问题相联系，实现了全纯模形式的乘法。它构造了规范的互变算子，实现了经典的模形式乘法，为通过表示理论实现局部对称空间的Satake紧化提供了几何与代数基础。

ABSTRACT

The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from discrete series representations into tensor products of other discrete series representations. This collection of intertwining operators provides the well-known ring structure on spaces of holomorphic modular forms. An analytic subtlety prevents this collection of intertwining operators from directly yielding a ring structure on some spaces of modular forms. We discuss discrete decomposability, and its role in constructing ring structures.

研究动机与目标

• 阐明全纯模形式的环结构与实半单李群表示理论中分支问题之间的精确联系。
• 将全纯离散系列表示规范嵌入到其他离散系列表示的张量积中。
• 证明该表示论构造可恢复经典模形式乘法，包括向量值形式。
• 探讨该构造的几何意义，特别是局部对称空间的Satake紧化的几何结构。
• 研究离散分解性在促进或阻碍模形式乘法中的作用。

提出的方法

• 使用Borel-Weil实现，从离散系列表示构造规范的互变算子，映射到其他离散系列表示的张量积中。
• 应用Ørsted-Vargas关于解析延续与全纯性的结果，确保互变映射是良定义且规范的。
• 将模形式识别为全纯离散系列表示中的K-有限向量，建立自守形式与表示理论的联系。
• 通过规范同构$\mathrm{can}$、$\mathrm{comm}$与$\mathrm{assoc}$，建立经典模形式乘积与互变算子复合之间的对应关系。
• 通过在最低K-型张量积上定义规范互变算子$\mu_{\lambda_1,\lambda_2}^*$，将该框架扩展至向量值模形式。
• 利用离散系列表示的正式度$\delta_w$估计模形式空间的维数，证明$\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$，其中$n = \dim(G/K)$。

实验结果

研究问题

• RQ1 全纯模形式的环结构如何从全洁离散系列表示张量积中的分支问题中产生？
• RQ2 能否在何种条件下，将一个全洁离散系列表示规范地嵌入到两个其他离散系列表示的张量积中？
• RQ3 表示论框架下的模形式乘法在多大程度上与经典全纯乘法一致？
• RQ4 Satake紧化$\overline{Y(\Gamma)} = \mathrm{Proj}(\mathcal{M})$的几何结构如何从表示论框架中自然浮现？
• RQ5 离散分解性在促进或阻止模形式乘法（特别是非标量情形）中起何种作用？

主要发现

• 本文在$\lambda = \lambda_1 + \lambda_2$时，利用Ørsted-Vargas与Vargas的分析结果，构造了从全洁离散系列表示$\mathcal{J}_{\lambda}$到张量积$\mathcal{J}_{\lambda_1} \otimes \mathcal{J}_{\lambda_2}$的规范互变算子族。
• 通过这些互变算子定义的模形式乘法与经典全纯乘法完全一致，如恒等式$m([F_1 \otimes F_2](j_{w_1}^\vee \otimes j_{w_2}^\vee))(g) = F_1(j_{w_1}^\vee)(g) \cdot F_2(j_{w_2}^\vee)(g)$所示。
• 对于有理管域上的标量值模形式，Satake紧化$\overline{Y(\Gamma)}$同构于$\mathrm{Proj}(\mathcal{M})$，其中$\mathcal{M}$是模形式的分次环，且该构造在表示论框架中被完全实现。
• 权$w$的模形式空间的维数满足$\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$，其中$n = \dim(G/K)$，表明环$\mathcal{M}$的Krull维数为$n$。
• 为向量值模形式定义了一种新的环结构$\mathcal{M}^{\mathrm{vec}} = \bigoplus_{\lambda \in \Lambda_k^+} \mathcal{M}_{\mathrm{hol}}(H_\lambda)$，其乘法由$[f_1 \cdot f_2](g) = \mu_{\lambda_1,\lambda_2}^*(f_1(g) \otimes f_2(g))$给出。
• 复代数环面$T_{\mathbb{C}}$通过$t[f] = \lambda(t)f$作用在概形$Y^{\mathrm{vec}} = \mathrm{Spec}(\mathcal{M}^{\mathrm{vec}})$上，暗示了该分次的几何解释，并可能通过GIT商实现紧化。