模形式与模群

整数矩阵的模群作用于上半平面，模形式是尊重这种作用的全纯函数；它们的定义、例子和基本结构是整个理论的切入点。

Definition

模群是行列式为一的二乘二整数矩阵群，通过分式线性变换作用于上半平面；对于它而言，权重为k的模形式是一个全纯函数，它通过自守因子（automorphy factor）的k次幂进行变换，并在尖点处全纯。

Scope

本主题涵盖模群及其生成元、通过分式线性变换在上半平面上的作用和标准基本域、同余子群和水平、给定权重的模形式和尖点形式的定义、作为基本非尖点形式的Eisenstein级数、模判别式和j-不变式，以及确定模形式空间维度的价公式。

Core questions

• 模群是如何生成的，它的基本域是什么样的？
• 定义权重为k的模形式的精确变换律是什么，尖点形式有何不同？
• Eisenstein级数是什么，它们如何生成完整群的模形式环？
• 价公式如何计算零点并确定这些空间的维度？

Key theories

基本域与生成元

模群由平移和反演映射生成，其作用在上半平面上有一个标准的基本域，这是所有模形式显式计算的基础。

Eisenstein级数与模环

权重为四和六的Eisenstein级数是全纯模形式，它们的（多项式）生成了完整模群的整个分次模形式环。

价公式与维度

权重为k的模形式的零点，在基本域上按重数计数，满足一个固定的恒等式；这个价公式给出了所有模形式空间的有限维度。

Clinical relevance

Theta级数是基于格（lattices）构建的模形式，它们计算整数通过二次形式的表示，并验证用于球堆积和编码理论的最佳格，从而赋予这种抽象结构具体的应用。

History

模群及其基本域起源于高斯、雅可比、Eisenstein、克莱因和庞加莱在19世纪发展的椭圆函数和模函数理论。模形式作为具有变换律的函数的现代无坐标框架在20世纪由Hecke及其后继者巩固。

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

模群的基本域是什么？

它是上半平面中的一个区域，包含在该群作用下每个轨道的一个且仅一个代表，通常被描绘为实部在正负二分之一之间的垂直线之间的条带，位于单位圆上方。

什么是尖点形式？

它是一种在每个尖点处都消失的模形式，这意味着其傅里叶展开式没有常数项；尖点形式承载着最具有算术趣味的信息，并且是Hecke算子的本征形式。