[论文解读] Logarithmic vector-valued modular forms

Marvin I. Knopp, Geoffrey Mason|ArXiv.org|Oct 20, 2009

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

一句话总结

本文引入了对数向量值模形式——其分量函数为包含 $\log q$ 幂次的 $q$-级数的模形式——并为满足 $\rho(T)$ 的特征值位于单位圆上的表示 $\rho: \mathrm{SL}_2(\mathbb{Z}) \to \mathrm{GL}_p(\mathbb{C})$ 构造了亚纯矩阵值 Poincaré 级数。关键结果是，全纯对数向量值模形式的空间是经典全纯模形式环上的秩为 $p$ 的自由模。

ABSTRACT

We consider logarithmic vector- and matrix-valued modular forms of integral weight $k$ associated with a $p$-dimensional representation $ρ: SL_2(\mathbb{Z}) o GL_p(\mathbb{C})$ of the modular group, subject only to the condition that $ρ(T)$ has eigenvalues of absolute value 1. The main result is the construction of meromorphic matrix-valued Poincaré series associated to $ρ$ for all large enough weights. The component functions are logarithmic $q$-series, i.e., finite sums of products of $q$-series and powers of $\log q$. We derive several consequences, in particular we show that the space $\mathcal{H}(ρ)=\oplus_k \mathcal{H}(k, ρ)$ of all holomorphic logarithmic vector-valued modular forms associated to $ρ$ is a free module of rank $p$ over the ring of classical holomorphic modular forms on $SL_2(\mathbb{Z})$.

研究动机与目标

• 为 $\mathrm{SL}_2(\mathbb{Z})$ 的一般表示建立对数向量值模形式的系统理论，其中 $\rho(T)$ 的特征值的模为 1。
• 解决对数模形式缺乏一般框架的问题，特别是在共形场论和顶点算子代数的背景下。
• 通过一种新颖的带补偿矩阵因子 $B_\rho$ 的矩阵值 Poincaré 级数构造，证明非平凡对数模形式的存在性。
• 证明全纯对数向量值模形式的空间 $\mathcal{H}(\rho)$ 是经典模形式环上的秩为 $p$ 的自由模。

提出的方法

• 为 $p$ 维表示 $\rho$ 构造矩阵值 Poincaré 级数，引入矩阵因子 $B_\rho$ 以确保在 $\rho$ 下具有正确的变换性质。
• 施加 $\rho(T)$ 的特征值模为 1 的条件，以保证收敛性并允许具有实指数的 $q$-展开。
• 对 $\rho(T)$ 使用改进的若尔当代数标准型，以模拟形如 $f(\tau) = \sum_{j=0}^t (\log q)^j h_j(\tau)$ 的对数 $q$-展开，其中 $h_j(\tau)$ 为普通 $q$-级数。
• 应用新的估计（命题 3.7）和艾希勒典范型技术，证明上半平面中 Poincaré 级数的收敛性。
• 通过分析 $\rho(T)$ 的若尔当代数块，推导 Poincaré 级数的对数 $q$-级数展开。
• 采用赫克和 [KM1] 的方法，建立傅里叶系数的多项式增长估计，其界依赖于权 $k$ 和表示 $\rho$。

实验结果

研究问题

• RQ1 能否为 $\mathrm{SL}_2(\mathbb{Z})$ 的一般表示 $\rho$ 构造亚纯矩阵值 Poincaré 级数，使得 $\rho(T)$ 的特征值模为 1，即使 $\rho(T)$ 不可对角化？
• RQ2 全纯对数向量值模形式的空间 $\mathcal{H}(\rho)$ 是否为经典全纯模形式环上的自由模？
• RQ3 能否为任意对数向量值模形式关联一个规范的模线性微分方程（MLDE），其最小阶是多少？
• RQ4 全纯和尖点对数向量值模形式的傅里叶系数的多项式增长界是什么？
• RQ5 表示 $\rho$ 的结构，特别是其若尔当代数形式，如何影响模形式的 $q$-展开和变换性质？

主要发现

• 全纯对数向量值模形式的空间 $\mathcal{H}(\rho) = \bigoplus_k \mathcal{H}(k, \rho)$ 是 $\mathrm{SL}_2(\mathbb{Z})$ 上经典全纯模形式环上的秩为 $p$ 的自由模，推广了正规情形下的结果。
• 对任意对数向量值模形式 $F$，存在一个最小阶的规范模线性微分方程，其解空间由 $F$ 的分量函数张成，且首项系数已归一化，权重最小。
• $F$ 在微分算子环 $\mathcal{R}$ 中的零化子是一个循环 $\mathcal{R}$-模，表明此类形式具有结构化的代数框架。
• 权为 $k$ 的全 holomorphic 对数向量值模形式的傅里叶系数满足 $a(n) = O(n^{k + \alpha})$，其中 $\alpha$ 仅依赖于 $\rho$；在尖点情形下，有更紧的界 $a(n) = O(n^{k/2 + \alpha/2})$。
• 通过补偿因子 $B_\rho$ 构造矩阵值 Poincaré 级数，可确保在 $\rho$ 下具有正确的变换行为，从而保证非平凡对数模形式的存在性。
• 在 $\rho(T)$ 的特征值位于单位圆上的条件下，Poincaré 级数的收敛性得以确立，该条件在共形场论中具有物理动机，且在有理与对数 CFT 的表示中均满足。