在數學中,希爾伯特模形式是一類自守形式,對應於全實域 K {\displaystyle K} 及相應的群 R e s K / Q G L ( 2 ) K {\displaystyle \mathrm {Res} _{K/\mathbb {Q} }GL(2)_{K}} 。這可以視作模形式的一種多變元推廣。當 K = Q {\displaystyle K=\mathbb {Q} } 時,我們回到模形式的定義。 定義 對於 m {\displaystyle m} 次全實域 K {\displaystyle K} 、 O {\displaystyle {\mathcal {O}}} 為其中的代數整數環、 σ 1 , … , σ m : K → R {\displaystyle \sigma _{1},\ldots ,\sigma _{m}:K\to \mathbb {R} } 為相應的實嵌入映射。由此得到嵌入映射 G L ( 2 , F ) → G L ( 2 , R ) m , g ↦ ( σ 1 ( g ) , … , σ m ( g ) ) {\displaystyle \mathrm {GL} (2,F)\to \mathrm {GL} (2,\mathbb {R} )^{m},\quad g\mapsto (\sigma _{1}(g),\ldots ,\sigma _{m}(g))} 設 H = G L ( 2 , R ) / S O ( 2 , R ) {\displaystyle {\mathcal {H}}=\mathrm {GL} (2,\mathbb {R} )/\mathrm {SO} (2,\mathbb {R} )} 為上半平面,透過上述嵌入, G L + ( 2 , O ) {\displaystyle \mathrm {GL} ^{+}(2,{\mathcal {O}})} (指 G L ( 2 , O ) {\displaystyle \mathrm {GL} (2,{\mathcal {O}})} 中行列式為正的元素)作用於 H m {\displaystyle {\mathcal {H}}^{m}} 上。 對 g = ( a b c d ) ∈ G L ( 2 , R ) {\displaystyle g={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in GL(2,\mathbb {R} )} ,定義自守因子之值為 j ( g , z ) = ( det g ) − 1 2 ( c z + d ) {\displaystyle j(g,z)=(\det g)^{-{\frac {1}{2}}}(cz+d)} 權為 ( k 1 , ⋯ , k m ) {\displaystyle (k_{1},\cdots ,k_{m})} 之希爾伯特模形式是指 H m {\displaystyle {\mathcal {H}}^{m}} 上滿足下述函數方程的全純函數 ∀ γ ∈ G L + ( 2 , O ) , f ( γ z ) = ∏ i = 1 m j ( σ i ( γ ) , z i ) k i f ( z ) . {\displaystyle \forall \gamma \in \mathrm {GL} ^{+}(2,{\mathcal {O}}),\;f(\gamma z)=\prod _{i=1}^{m}j(\sigma _{i}(\gamma ),z_{i})^{k_{i}}f(z).} 此定義與模形式的差異在於:當 K ≠ Q {\displaystyle K\neq \mathbb {Q} } 時,不需要另加增長條件,這是 Koecher 定理的一個推論。 文獻 Paul B. Garrett, Holomorphic Hilbert Modular Forms. Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1990. ISBN 0-534-10344-8 Eberhard Freitag, Hilbert Modular Forms. Springer-Verlag. ISBN 0-387-50586-5 Loading related searches...Wikiwand - on Seamless Wikipedia browsing. On steroids.