文献あり

保型形式入門：Γ\ℍの位相

237

はじめに

　この記事では前回の記事に引き続き保型形式の基礎理論について要所を掻い摘んで解説していきます。

商空間 $Γ ∖ H^{*}$

　 $Γ ∖ H$ には自然な写像
$π : H \to Γ ∖ H z \mapsto Γ z$
による商位相、つまり
${V \subset Γ ∖ H ∣ π^{- 1} (V) は H の開集合}$
を開集合系とする位相を入れることができる。
　多くの場合 $Γ ∖ H$ はコンパクトにはならないが、これに $Γ$ の尖点を付け加えるとコンパクト化できることがある。そのことについての事実を簡単に紹介しておこう。

H^{*}

の位相

　Fuchs群 $Γ$ に対しその尖点全体の集合を $P_{Γ} \subset R \cup {\infty}$ とし
$H^{*} = H \cup P_{Γ}$
とおく。この集合に対し次のような基本近傍系によって位相を定める。
$U_{l} = {z \in H ∣ Im (z) > l}, U_{l}^{*} = U_{l} \cup {\infty}$
とおいておく。

$z \in H$ に対しては $z$ の $H$ における基本近傍系を取る。
$x \in P_{Γ}$ に対しては $σ x = \infty$ なる $σ \in S L_{2} (R)$ を取り
${σ^{- 1} U_{l}^{*} ∣ l > 0}$
を基本近傍系として取る( $σ^{- 1} U_{l}$ は実軸で $x$ と接する円の内部を表す)。

　 $Γ$ は $H^{*}$ にも作用するので商空間 $Γ ∖ H^{*}$ を考えることができる。

ハウスドルフ性について

　任意の $x, y \in H$ に対しそれぞれの開近傍 $U, V$ であって
$γ U \cap V \neq \emptyset ⟺ γ x = y (γ \in Γ)$
を満たすようなものが存在する。

　前々回の記事の定理3より任意の $x, y \in H$ の近傍 $U_{0}, V_{0}$ であって
${γ \in Γ ∣ γ U_{0} \cap V_{0} \neq \emptyset}$
が有限集合となるようなものが取れる。このとき
${γ \in Γ ∣ γ U_{0} \cap V_{0} \neq \emptyset} = {γ_{1}, γ_{2}, \dots, γ_{n}}$
とおき、必要に応じて順番を入れ替えることで
$γ_{k} x \neq y (1 \leq k \leq m), γ_{k} x = y (m < k \leq n)$
としてよい。
　いま( $H$ のハウスドルフ性から) $1 \leq k \leq m$ に対し $γ_{k} x, y$ の近傍 $U_{k}, V_{k}$ であって $U_{k} \cap V_{k} = \emptyset$ なるものを取り
$U = U_{0} \cap γ_{1}^{- 1} U_{1} \cap \dots \cap γ_{m}^{- 1} U_{m}, V = V_{0} \cap V_{1} \cap \dots \cap V_{m}$
とおくと
$γ U \cap V \neq \emptyset ⟺ γ \in {γ_{m + 1}, \dots, γ_{n}} ⟺ γ x = y$
が成り立つ。

　 $Γ ∖ H$ はハウスドルフである。

　 $H$ から $Γ ∖ H$ への自然な写像を $π$ とおく。いま任意の $x, y \in H$ に対し補題のような開近傍 $U, V$ を取ると
$π^{- 1} (π (U)) = ⋃_{γ \in Γ} γ U$
より $π (U), π (V)$ はそれぞれ $π (x), π (y)$ の開近傍となる。また
$\begin{array}{rcl} π (U) \cap π (V) \neq \emptyset & ⟺ & \exists γ \in Γ, γ U \cap V \neq \emptyset \\ ⟺ & \exists γ \in Γ, γ x = y \\ ⟺ & π (x) = π (y) \end{array}$
が成り立つので $Γ ∖ H$ はハウスドルフであることがわかる。

　 $Γ ∖ H^{*}$ についても概ね同様にしてハウスドルフであることが示せるが、具体的に確かめるには少し手間がかかるためここでは特に解説しない。ただ補題1の系として得られる次の主張は後でも何度か使うので紹介しておく。

　任意の $z \in H^{*}$ に対しその近傍 $U$ であって
$γ U \cap U \neq \emptyset ⟺ γ z = z (\forall γ \in Γ)$
を満たすようなものが存在する。

　補題1のような $U, V$ を $x = y = z$ に対して取ると、 $U \cap V$ は主張を満たす。

コンパクト性について

　 $Γ ∖ H^{*}$ をコンパクトにする $Γ$ のことを第一種のFuchs群と言う。
　補題3を使うとコンパクト性の必要条件として次のようなことがわかる。

　 $H^{*}$ から $Γ ∖ H^{*}$ への自然な写像を $π$ とおいたとき、 $H^{*}$ における楕円点/尖点 $z$ の $Γ ∖ H^{*}$ における像 $π (z)$ も $Γ ∖ H^{*}$ の楕円点/尖点という。また $Γ ∖ H^{*}$ の楕円点でも尖点でもない点を通常点という。

　 $Γ$ が第一種のFuchs群なら $Γ ∖ H^{*}$ の楕円点および尖点は有限個である。

　任意の $z \in H^{*}$ に対し補題3のような近傍 $U_{z}$ を取る。このとき $U_{z}$ がある $γ w = w$ なる固定点 $w$ を含んだとすると $U_{z}$ の取り方から $γ z = z$ でもあるが、 $γ$ は $H^{*}$ 上で二つ個以上の固定点を持たないので $w = z$ となる。特に $U_{z}$ は高々一つしか固定点を持たない。
　また $Γ ∖ H^{*} = ⋃_{z \in H} π (U_{z})$ からコンパクト性より $Γ ∖ H^{*} = ⋃_{k = 1}^{n} π (U_{z_{k}})$ とできるので主張を得る。

　またコンパクト性の必要十分条件として次のような非常に強力な定理が知られている。なおその証明については非常に煩雑であるためここでは紹介しない。

(Siegel)

　 $Γ$ の基本領域を $Ω$ とおいたとき、 $Γ$ が第一種のFuchs群であることと
$v (Γ ∖ H) = v (Ω) := \int_{Ω} \frac{d x d y}{y^{2}} < \infty$
が成り立つことは同値である。

　例えば $Γ = S L_{2} (Z)$ に対する基本領域として
$Ω = {z \in H ∣ | Re (z) | < \frac{1}{2}, | z | > 1}$
が取れることが知られているので
$v (Ω) = \int_{- \frac{1}{2}}^{\frac{1}{2}} \int_{\sqrt{1 - x^{2}}}^{\infty} \frac{d x d y}{y^{2}} = \int_{- \frac{1}{2}}^{\frac{1}{2}} \frac{d x}{\sqrt{1 - x^{2}}} = \frac{π}{3}$
と計算でき、 $S L_{2} (Z)$ は第一種のFuchs群であることがわかる。

　また例えば
$Γ = {(\begin{matrix} 1 & n \\ 0 & 1 \end{matrix}) ∣ n \in Z}$
とおくと、その基本領域として
$Ω = {z \in H ∣ 0 < | Re (z) | < 1}$
が取れるので
$v (Ω) = \int_{0}^{1} \int_{0}^{\infty} \frac{d x d y}{y^{2}} = \infty$
と計算でき、 $Γ ∖ H^{*}$ はコンパクトではないことがわかる。

　第一種のFuchs群 $Γ$ に対し、その指数有限の部分群 $Γ^{'}$ も第一種のFuchs群となる。

　 $Ω$ を $Γ$ の基本領域とし、 $π : H \to Γ^{'} ∖ H$ を自然な写像 $z \mapsto Γ^{'} z$ とする。このとき
$Γ = ⋃_{i = 1}^{n} γ_{i} Γ^{'} (n = [G : G^{'}])$
と直和分解すると $π (⋃_{i = 1}^{n} γ_{i} Ω) = Γ^{'} ∖ H$ が成り立つので
$v (Γ^{'} ∖ H) \leq \sum_{i = 1}^{n} v (γ_{i} Ω) = n v (Ω) < \infty$
を得る。

　レベル $N$ の主合同部分群 $Γ (N)$ は第一種のFuchs群である。

参考文献

[1]

土井公二, 三宅敏恒, 保型形式と整数論, 紀伊國屋書店, 1973

投稿日：2023年6月29日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉

1065

259867

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

他の人のコメント

コメントはありません。

読み込み中

子葉

保型形式入門：Γ\ℍの位相

はじめに
商空間$\G\backslash\H^*$
ハウスドルフ性について
コンパクト性について
参考文献

保型形式入門：Γ\ℍの位相

はじめに

商空間Γ∖H∗

ハウスドルフ性について

コンパクト性について

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

商空間 $Γ ∖ H^{*}$