保型因子
保型因子に関していくつかの事実が成り立つ。
任意の保型因子は、至る所零でない正則函数全体の成す乗法群への G の作用に関する 1-双対輪体である。
保型因子が双対境界輪体となることと、それが至る所零でない保型形式の保型因子として得られることとは同値である。
与えられた保型因子に対して、それを保型因子に持つ保型形式の全体はベクトル空間を成す。
二つの保型形式の点ごとの積は、それら二つの保型形式の保型因子の積を保型因子として持つ保型形式となる。
群 G が複素解析多様体 X に作用しているものとすると、この群 G は X 上の複素数値正則函数全体の成す空間にも作用する。このような函数 f が保型形式であるとは、群 G の作用に関して
f ( g . x ) = j g ( x ) f ( x ) {\displaystyle f(g.x)=j_{g}(x)f(x)}
なる関係を満たすことを言う。ただし、jg(x) は至る所零でない正則函数とする。これは、保型形式は G の作用のもとで不変となる成分 (divisor) を持つような函数であるというように述べることもできる。
保型形式 f の保型因子とはこのような函数 j のことである。また、保型函数 (automorphic function) とは、その保型因子 j が常に 1 であるような保型形式をいう。