4
大学数学基礎解説
文献あり

保型形式入門:基本領域

332
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{N}[0]{\mathbb{N}} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では 前回の記事 に引き続き保型形式の基礎理論について要所を掻い摘んで解説していきます。
 以下$\G$はFuchs群であるものとします。

$\H$上の計量と測度

計量と測度

 $\H$上の計量$ds^2$および測度$dv$
$$ds^2=\frac{dx^2+dy^2}{y^2},\quad dv=\frac{dxdy}{y^2}$$
と定める。ただし$dz=dx+idy$とした。
 また$\H$上の曲線$C(\varphi:[0,1]\to\H)$に対しその長さ
$$L(C)=\int_Cds=\int^1_0\l|\frac{d\varphi}{dt}\r|\frac{dt}{\Im\varphi(t)}$$
と定める。

距離と測地線

 $\H$上の二点$z_1,z_2$に対してその距離を
$$d(z_1,z_2)=\inf\{L(C)\mid\varphi(0)=z_1,\varphi(1)=z_2\}$$
によって定める。このとき
$$d(z_1,z_2)=\log\frac{|z_1-\ol z_2|+|z_1-z_2|}{|z_1-\ol z_2|-|z_1-z_2|}$$
が成り立つことが知られている。
 また$L(C)=d(z_1,z_2)$となるような曲線$C$のことを$z_1$$z_2$を結ぶ測地線という。$\H$における測地線は実軸に中心を持つ円、または実軸と直交する直線(の一部分)であることが知られている。特に$z_1,z_2$が指定されていない場合においても、それらの図形のことを単に$\H$の測地線と言う。

 $ds$および$dv$$\Aut(\H)$の作用に対して不変である。

 任意に$\g\in SL_2(\R)$を取り$z'=\g z=x'+iy'$とおくと
$$y'=\frac y{|cz+d|^2},\quad dz'=\frac{dz}{(cz+d)^2}\quad(\g=\begin{pmatrix}a&b\\c&d\end{pmatrix})$$
から
$$\frac{dz'\cdot d\ol{z'}}{y'^2} =\frac{|cz+d|^4}{y^2}\frac{dz}{(cz+d)^4}\cdot\frac{d\ol z}{(c\ol z+d)^2} =\frac{dz\cdot d\ol z}{y^2}$$
および同様に
$$\frac{dz'\land d\ol{z'}}{y'^2} =\frac{dz\land d\ol z}{y^2}$$
が成り立つので
$$dx^2+dy^2=dz\cdot d\ol z,\quad dx\land dy=\frac i2dz\land d\ol z$$
に注意すると主張を得る。

基本領域

 保型形式を考えるにあたって$\H$を同値関係
$x\sim y\overset{\mathrm{def}}{\iff}\exists\g\in\G,\;y=\g x$
で割った集合
$\G\backslash\H=\{\G x\mid x\in\H\}$
を考えていくことになる。
 となるとこの完全代表系として$\H$の連結集合が取れると便利である($\H$には$\C$の部分空間としての位相を入れる)。しかし完全代表系そのものを考えると少し扱いづらいので、少し条件を緩めた次のような集合を考える。

基本領域

 $\H$の連結な開部分集合$\O$であって
(i) $\H=\bigcup_{\g\in\G}\g\ol\O$
(ii) $\forall\g\in\G\setminus Z(\G),\;\g\O\cap\O=\emptyset$
を満たすようなものを$\G$基本領域と言う(文献によっては$\ol\O$の方を基本領域と言うこともある)。

 実際このような集合は常に存在し、具体的に次のようなものが取れる。

 $\G$の楕円点ではない任意の$z_0\in\H$に対し
$$\O=\{z\in\H\mid d(z,z_0)< d(z,\g z_0),\;\forall\g\in\G\setminus Z(\G)\}$$
とおくと、これは$\G$の基本領域となる。

 ($\H$上の距離$d(z_1,z_2)$は通常の距離$|z_1-z_2|$と同じ位相を定めることから)
$\ol\O=\{z\in\H\mid d(z,z_0)\leq d(z,\g z_0),\;\forall\g\in\G\}$
が成り立つことに注意する。

(i)について

 任意の$z_1\in\H$に対し
$C_r=\{z\in\H\mid d(z_1,z)\leq r\}$
とおくと 前回の記事 の定理3から
$\{\g\in\G\mid\{\g z_0\}\cap C_r\neq\emptyset\}=\{\g\in\G\mid d(z_1,\g z_0)\leq r\}$
は有限集合となるので
$\dis d(z_1,\s z_0)=\min_{\g\in\G}d(z_1,\g z_0)$
となるような$\s\in\G$が取れる。
 このとき$SL_2(\R)$の作用に対する$ds$の不変性から
\begin{eqnarray} d(z_1,\s z_0)&=&d(\s^{-1}z_1,z_0) \\&=&\min_{\g\in\G}d(\s^{-1}z_1,\s^{-1}\g z_0) =\min_{\g\in\G}d(\s^{-1}z_1,\g z_0) \end{eqnarray}
が成り立つので$\s^{-1}z_1\in\ol\O$つまり$z_1\in\s\ol\O$を得る。

(ii)について

 ある$\g\in\G\setminus Z(\G)$に対して$\g\O\cap\O\neq\emptyset$が成り立つとすると、その任意の元$z$に対し
\begin{eqnarray} d(z,z_0)&<&d(z,\g z_0)=d(\g^{-1}z,z_0)&&\quad&(\because z\in\O) \\&<&d(\g^{-1}z,\g^{-1}z_0)=d(z,z_0)&&\quad&(\because\g^{-1}z\in\O) \end{eqnarray}
となって矛盾。よって任意の$\g\in\G\setminus Z(\G)$に対して$\g\O\cap\O=\emptyset$が成り立つ。

参考文献

[1]
土井公二, 三宅敏恒, 保型形式と整数論, 紀伊國屋書店, 1973
投稿日:2023628
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
984
221949
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中