希尔伯特模形式
在数学中,希尔伯特模形式是一类自守形式,对应于全实域 及相应的群
。这可以视作模形式的一种多变元推广。当
时,我们回到模形式的定义。
对于 次全实域
、
为其中的代数整数环、
为相应的实嵌入映射。由此得到嵌入映射
设 为上半平面,透过上述嵌入,
(指
中行列式为正的元素)作用于
上。
对 ,定义自守因子之值为
权为 之希尔伯特模形式是指
上满足下述函数方程的全纯函数
此定义与模形式的差异在于:当 时,不需要另加增长条件,这是 Koecher 定理的一个推论。