About: 保型形式

調和解析や数論において、保型形式（ほけいけいしき、英: automorphic form）は、位相群 G 上で定義された複素数（あるいは複素ベクトル空間）値の函数で、離散部分群 Γ ⊂ G の作用の下に不変なものである。保型形式は、ユークリッド空間における周期函数（これは離散位相群としての 1 次元トーラス上の函数と見なされる）を、一般の位相群に対して一般化したものである。 モジュラー形式は、モジュラー群あるいはのひとつを離散部分群として持つ （特殊線型群）や （射影特殊線型群）の上に定義された保型形式である。この意味では、保型形式の理論はモジュラー形式の理論の拡張である。 アンリ・ポアンカレ (Henri_Poincaré) は、三角函数や楕円函数の一般化として、最初に保型形式を発見した。ラングランズ予想を通して、保型形式は現代の数論で重要な役割を果たす。