数理解析研究所講究録 1223 巻 2001 年 137-150

137

DIPOLE のモジュライ空間
清 (KIYOSHI OHBA)

お茶の水女子大学理学部, 大場\S 1. はじめに.
これは, 大阪市立大学の橋本義武氏との共同研究についてのものである. 以下,

この報告

1 点付き閉リーマン面の族のある種の構成法 (井桁による構成法) を示した. この構成法では, 1 点付き閉リーマ
ン面の局所的なモジュライを記述することが容易であったが, 全ての 1 点付き閉リーマン面
リーマン面の種数は 1 以上とする. 我々は [HO1] において,書では,が構成できるかどうかは, 不明であった. そこで今回は, 井桁による構成法で重要な役割を“dipole” を手がかりに, 全ての閉リーマン面を構成する構成法を示すことにする. こ
こで dipole とは, 閉リーマン面上の 1 点にのみ極, それも 2 位の極をもつ第 2 種アーベル

演じた

これは第 2 種アーベル微分の中で最も基本的なものである. 我々の構成法は,微分であり,“稲妻多角形” というガウス平面上のある種の図形を使うものである.

(稲妻多角形の定義は,52 で与える. )1 つめの結果は次のものである.

まず,
定理 1

$[\mathrm{H}\mathrm{O}3]${.

稲妻多角形の全体と, 次の集合の間には自然な全単射が存在する.

$(R,$ $\omega)|R$は閉リーマン面,$\omega$

は $R$ 上の dipole で条件 $H$ を満たすもの}

特に, 任意の 1 点付きリーマン面は稲 . 多角形から構成される.

第 2 種アーベル微分量に対する “条件$\mathrm{H}’$’ というのは,$\omega$から誘導されるリーマン面上の計と方角を用いて, 次のように与えられるものである.

$g_{\omega}$条件$\omega$$\mathrm{H}$:$\omega$の零点と零点を結ぶ$g_{\omega}$

に関する測地線は, 水平にならない.

このように, 稲妻多角形を用いると, 任意の 1 点付き閉リーマン面を構成することが出来るが,dipole の観点からみると条件$\mathrm{H}$を満たすものしか構成できない. そこで, 稲妻多角形の拡張として“深度付き稲妻多角形” というガウス平面上のある種の図形を考える.
“

深度 0 の稲妻多角形” と解釈される. ) すると, 条件$\mathrm{H}$(先の稲妻多角形は,を満たす満たさないに関わらず, 任

意の市 pole をもつ閉リーマン面を構成することができる.
定理 2$[\mathrm{H}\mathrm{O}3]$.

深度付き稲妻多角形の全体と, 次の集合の間には自然な全単射が存在する.

{$(R,$ $\omega)|R$は閉リーマン面,

我々は, どのような深度付き稲妻多角形が種数$g$る方法を与えた. リーマン・ロッホの公式を使えば,リーマン面の種数をの dipoleを与える深度付き稲妻多角形全体には,数$g$

は $R$ 上の dipole}の閉リーマン面上の dipole を作るか判定す

dipole 付き閉リーマン面のモジュライ空間とすると複素 $4g-1$ 次元であることがすぐにわかる. 種数

の次元は,

$g$

$\omega$$g$

自然な胞体分割の構造があるので, それが種の dipole のモジュライ空間に胞体分割を与える.

138
また, 種数 $g$ の hyperelliptic curve に対して,

hypereffiptic involution の固定点の 1 つに極をもつような dipole が考えられるが, その中で, 零点を他の固定点の 1 つのみに $2g$ 位の零点, もしくは hyperelliptic involution で移りあう 2 点に各 位の零点となるようなものを考えると, 定数倍を除いて dipole が一意に決まる. この場合, 対応する深度付き稲妻多角形は,
点対称な図形 (対辺型稲妻多角形) となり, hyperelliptic involution は, その点対称変換に由$g$来するものになることがわかる.

52. 稲妻多角形“稲妻” “稲妻多角形” の定義を与え, 稲妻多角形による dipole 付き閉リーマン面の構成法を紹介し, この構成法により任意の 1 点付き閉リーマン面が構成できることを示す.
稲妻 (多角形) の紹介の前に, dipole 付きの閉リーマン面について, 必要なことを用意しておく.
$R$ を閉リーマン面,の極とする. するとを $R$ 上の dipole とし, $p_{\infty}\in R$ を
この節では,

は $R-\{p_{\infty}\}$ 上に,$\omega$$\omega$$\omega$$\omega$の各零点で conical singularity をもつ平坦な計量$\mathit{9}\omega$( $n$ 位を与える.

の零点が, 角度 $2(n+1)\pi$ の conical singularity になる. ) ここで, 一点 $x_{0}\in R-\{p_{\infty}\}$ を固定すると,$\omega$のアーベル積分による正則多価関数$\Phi_{\omega,x_{0}}$は,$g_{\omega}$:$R- \{p_{\infty}\}\ni x\mapsto\int_{x_{\mathrm{O}}}^{x}\omega\in \mathbb{C}$(に関して局所等長写像になっている.

クリッド計量を入れている. )Dipole.. 方角” を与える. つまり,$\gamma$$\omega$$\mathbb{C}$は, 通常のようには写像 \Phi 。,$x_{0}$と同一視して,$\mathrm{R}^{2}$

ユー

を通して $R-\{p_{\infty}\}$ 上の測地線に: $[0, 1]arrow R-\{p_{\infty}\}$ が測地線であるとき,$\Phi\circ\gamma$:$[0, 1]arrow \mathbb{C}$の零点でないと“水平” もしくは “東西” に伸ひる測地線という.
ころでは各方向に伸ひる測地線はそれぞれ 1 本であるが, $n$ 位の零点から各方角に伸ひる測地線が実軸と平行であるとき,$\omega$

は $n+1$ 本引けることに注意しておく.

では, 稲妻, 稲妻多角形の定義を与える.

定義 1. $n$ 次の稲妻とは, 上半平面ことである.

$\mathrm{H}$

上の $n$ 個の点からなる点列 $(a_{1}, a_{2}, \ldots, a_{n})\in \mathrm{H}^{n}$ の(原点) $arrow(a_{1})arrow(a_{1}+a_{2})arrow\cdotsarrow(a_{1}+a_{2}+\cdots+a_{n})$(図 1)と $n+1$ 個の点を結んだガウス平面上の有向折れ線が得られる.
$n$

次の稲妻が与えられると,

定義 2. $n$ 次の稲妻多角形とは,$\Gamma=((a_{1}, \ldots, a_{n}), \sigma)$$n$

次の稲妻 $(a_{1}, a_{2}, \ldots, a_{n})$ とのことである. ただし$\sigma$は,$n$$\sigma(1)\neq 1,$ $\sigma(n)\neq n,$次の置換$\sigma$の組$\sigma(i+1)\neq\sigma(i)+1$$(i=1, \ldots, n-1)$ を満たすものとする.
$n$り,

次の稲妻多角形$\Gamma$

からは,

2 つの

$n$

次の稲妻 $(a_{1}, \ldots, a_{n})$ と$(a_{\sigma(1)}, \ldots, a_{\sigma(n)})$2 つの有向折れ線(原点) $arrow(a_{1})arrow(a_{1}+a_{2})arrow\cdotsarrow(a_{1}+a_{2}+\cdots+a_{n})$ ,(原点)$arrow(a_{\sigma(1)})arrow(a_{\sigma(1)}+a_{\sigma(2)})arrow\cdotsarrow(a_{\sigma(1)}+a_{\sigma(2)}+\cdots+a_{\sigma(n)})$

が, つま

139
が得られるが,$a_{1}+a_{2}+\cdots+a_{n}\ovalbox{\tt\small REJECT} a_{\sigma(1)}+a_{\sigma(2)}+\cdots+a_{\ovalbox{\tt\small REJECT})}$

れ線になる.

であるがら, 合わせると閉折(図 1)$\mathbb{C}$稲$*\star$$(4_{\mathfrak{l},\backslash }.., \hslash_{\wedge})$

図 1. 稲妻と稲妻多角形

稲妻多角形 $\Gamma=((a_{1}, \ldots, a_{n}), \sigma)$ が与えられると, そこから 1 点付きリーマン面が次のように構成される.
まずガウス平面を, 稲妻 $(a_{1}, \ldots, a_{n})$ から得られる有向折れ線 (原点) $arrow(a_{1})arrow(a_{1}+a_{2})arrow$$\ldotsarrow(a_{1}+a_{2}+\cdots+a_{n})$と 2 つの半直線 $-\sqrt{-1}t,$ $a_{1}+\cdots+a_{n}+\sqrt{-1}t(t\in[0, \infty))$で切断し, 右側の部分をとする. また, 稲妻$D_{r}$$(a_{\sigma(1)}, \ldots, a_{\sigma(n)})$から得られる有向折れ

線 (原点) $arrow(a_{\sigma(1)})arrow(a_{\sigma(1)}+a_{\sigma(2)})arrow\cdotsarrow(a_{\sigma(1)}+a_{\sigma(2)}+\cdots+a_{\sigma(n)})$ と 2 っの半直
線一 $\sqrt{-1}t,$ $a_{1}+\cdots+a_{n}+\sqrt{-1}t(t\in[0, \infty))$ で切断し, 左側の部分をとする. 次に,$D_{l}$$D_{r}$と$D_{l}$

をそれぞれの境界に共通にある 2 っの半直線部分一 $\sqrt{-1}t,$ $a_{1}+\cdots+a_{n}+\sqrt{-1}t$$(t\in[0, \infty))$を同一視により貼り合わせ, さらに,の境界にある

1点より,$a_{i}$$p_{\infty}$

構成法である.

$D_{r}$の境界にある $a_{i}(i=1,2, \ldots, n)$ と$\ovalbox{\tt\small REJECT}$

を平行移動により貼り合わせ, 無限遠点を 1 点 p。でコンパクト化することに付き閉リーマン面$(R_{\Gamma},p_{\infty})$ができる.

これが稲妻多角形にょる閉リーマン面の(図 2)

ガウス平面上の座標を

$z$

とすると,

$\mathbb{C}P_{1}$上のアーベル微分 $dz$ は無限遠点$\infty$

のみで 2 位の極をもつ dipole で, ガウス平面の平行移動に対して不変であるから, 稲妻多角形にょり構成されたリーマン面には, $dz$ から自然に p。でのみ 2 位の極をもっ dipoleが存在すること$R_{\Gamma}$$\omega_{\Gamma}$になる.

このように, 稲妻多角形から dipole 付きの閉リーマン面角形の頂点は,$\omega_{\Gamma}$$(R_{\Gamma}, \omega_{\Gamma})$が構成されるが, 稲妻多の零点に対応し, その他には零点をもたないこともわかる. さらに, 各零点から東西に伸びる測地線は必ず p。に至ることが見て取れる. 特に, 零点と零点を結ぶ東西に伸ひる測地線は存在しない. つまり, 以下の “条件条件$\mathrm{H}$: dipole 付き閉リーマン面

は, 水平にならない.

$(R, \omega)$’$\mathrm{H}’$に対して,を満たすことになる.

$\omega$の零点と零点を結ぶ$g_{\omega}$

に関する測地線

140

図 2. 稲妻多角形による構成法
逆に, 条件$\mathrm{H}$を満たす dipole 付き閉リーマン面は, 稲妻多角形から上記のようにして構成できる. つまり, 次が成り立つ.

定理 1$[\mathrm{H}\mathrm{O}3]$.

稲妻多角形の全体と, 次の集合

{ $(R,\omega)|R$ は閉リーマン面,$\omega$

は $R$ 上の dipole で条件 $H$ を満たすもの}の間には自然な全単射が存在する.
もし,により

dipole 付き閉リーマン面$(R, \alpha v)$

が条件$\mathrm{H}$$(R, \omega)$が条件$\mathrm{H}$を満たさなければ, 適当な複素数$c\in \mathbb{C}^{\cross}$を満たすようにすることができるので, 次の系が成り立つ.

系. 任意の 1 点付き閉リーマン面は稲妻多角形から構成される.

定理 1 を示すには, 次の補題がキーになる.

(この補題は, 条件$\mathrm{H}$を満たすか満たさないかに依らず成り立つ. )の極とする. このとき, も補題 1. $(R, \omega)$ を dipole 付き閉リーマン面とし, $p_{\infty}\in R$ をし点 $x\in R-\{p_{\infty}\}$ から西へ (または東へ) 測地線を伸ばせば極 p。に至るのであれば,$\omega$$x$から東へ (または西へ) 測地線を伸ばせは零点に至るか極 p。に至る.

141(補題 1 の証明)

p。を含みるから \Phi 。,$x_{\mathrm{O}}$$\omega$から西へ測地線を伸ばせば極 p。に至るとする.

$x\in R-\{p_{\infty}\}$の零点を 1 つも含まない開円板 $D$ を適切に取れば,の $D-\{p_{\infty}\}$の像が, ある正数

は第 2 種アーベル微分であ$\omega$

への制限のひとつの枝 \Phi 。が取れて,$\Phi_{\infty}$は双正則で $D-\{p_{\infty}\}$に対して $\{z\in \mathbb{C}||z|>r\}$ となるようにできる. 仮定により,

$r$

$x$

から西に

測地線を伸ばせば, いつか $D$ 内に, 特に, \Phi 。で移したときに実部が $-r$ より小さくなるような点に至ることが分かる. 一方, $R$ $D$ の計量に関する面積は有限となることに注意する.
–

$x$

が

$\omega$$g_{\omega}$の零点から西に伸ひる測地線上に存在しているならば, $x$ から東へ行けば至るので, 補題 1 は成り立つ. そこで,

$x$は$\omega$$\omega$の零点にの零点から西に伸ひる測地線上には存在していな

いとし, さらに, 東に測地線を伸ばしても p。に至らないとする.
$\omega$$\omega$の零点は有限個であり,$n$位の零点から西に伸ひる測地線は $n+1$ 本なので, 結局,の零点から西に伸びる測地線は有限本であり, そのような測地線は, もし一旦 $D-\{p_{\infty}\}$ 内となる点 $x’$ を通れば, \Phi 。の虚部の値はで一定になるので, 少なくとも $D-\{p_{\infty}\}$ 内では, このような測地線全体は閉集合である. そこで, $x$ から西の ${\rm Re}(\Phi_{\infty}(x’))<-r$${\rm Im}(\Phi_{\infty}(x’))$に伸びる測地線上にあり,を一つ固定する.

$x$$x_{1}\in D-\{p\}$かつ ${\rm Re}(\Phi_{\infty}(x_{1}))<-r$ となる点 $x_{1}\in R-\{p_{\infty}\}$から東に測地線を伸ばしても p。に至らないから,り, ある正数 $\epsilon<r-|{\rm Im}(\Phi_{\infty}(x_{1})|$ が存在し,$x_{1}$の $D-\{p_{\infty}\}$$|{\rm Im}(\Phi_{\infty}(x_{1}))|<r$に含まれる$\epsilon$にあるどの点からも西へ測地線を伸ばせば極 p。に至り, また, 東へ行ってもないようにできる.

さらに,$\omega$-近傍$U_{\epsilon}(x_{1})$内の零点には至らの西側の領域 $W$ (つまり, 東に測地線を伸ばして$U_{\epsilon}(x_{1})$であ$U_{\epsilon}(x_{1})$に入るような $R-\{p_{\infty}\}$ の点全体の集合) は $D-\{p_{\infty}\}$ に含まれており, 単連結になっていることが見て取れることに注意する.
ここで,

数

$t$

距離
$f_{t}$の東側の領域 $E$ を考える.

$U_{\epsilon}(x_{1})$}こ対して写像$W\cup E$ が単連結であることを示そう.

: $W\cup Earrow W\cup E$ を, $p\in W\cup E$ に対して

$f_{t}$

だけ西に行った点を対応させるものとする.

$t$は well-defined であり連続写像である.

すると,れることになるが,$W$は単連結なので,が単連結であることより,$\Phi_{W\cup E}(W\cup E)\subset \mathbb{C}$が得られる.

$\gamma$$x_{1}$$\Phi_{\infty|U_{\mathrm{g}}(x_{1})}$$x$は$\mathbb{C}$(定理 1 の証明)
$R_{0}$$(R, \omega)$$x$内の任意のループとは単連結である.

$W\cup E$$\Phi_{W\cup E}$の帯領域である. そして,

$E$

: $W\cup Earrow$も単連結であ$\Phi_{\infty}(E\cap(D-\{p_{\infty}\}))\cap\{z\in \mathbb{C}|{\rm Re} z>0\}\neq\emptyset$

を通って p。に至ることになり, 仮定に矛盾する.

E–D は面積無限になる.

するるので矛盾である. よって,の特異点はないので,に対して $f_{t}\circ\gamma([0,1])$ は $W$ に含ま

がって $\Phi_{\infty}(E\cap(D-\{p_{\infty}\}))\cap\{z\in \mathbb{C}|{\rm Re} z>0\}=\emptyset$ となり,は, 面積有限であり,から測地線に沿ってを解析接続して双正則写像$\Phi_{W\cup E}(W\cup E)$から東に伸びる測地線は$t$$g_{\omega}$$p$$W\cup E$

は 1 点に潰れる. よって,り, 面積無限であることがわかる. ここでもし,

ならば,

内には

: $[0, 1]arrow W\mathrm{U}E$ をはコンパクトであるから, 十分大きな$\gamma([0,1])$$W\cup E$$\gamma$$W\cup E$

任意の実

した

このとき $E\cap(D-\{p_{\infty}\})$

これは, $R-D$ の面積が有限であることに反から東に測地線を伸ばすと p。に至る.

を dipole 付きの閉リーマン面とし,$p_{\infty}\in R$を口$\omega$の極とする.

を, 西に測地線を伸ばしたら p。に至るか, 東に測地線を伸ばしたら p。に至るような $R-\{p_{\infty}\}$ の点全体の $R-\{p_{\infty}\}$ での閉包とする. 九には,て p。に至る測地線が有限本存在する.

有限個の帯領域$B_{1},$ $B_{2},$$\ldots,$$B_{n}$$\omega$の零点から東西に伸びそれらでゐを切断すると, 補題 1 にょり, 九はと上半平面と双正則な 2 っの領域

$D_{+}$と$D_{-}$

とに別れ,

142
$\omega$域のアーベル積分により平行移動の自由度を除いて, 各帯領域$\mathrm{B}_{:}$に双正則に写され,の境界は,$D_{+}(\mathrm{H}_{+})$$D_{+}$$\omega$$B_{:}(\mathrm{B}:)$$\mathrm{H}_{+}$に,$D_{-}$

は下半平面$\mathbb{C}$内の東西に伸びる帯領に双正則に写される.

$\mathrm{H}_{-}$の零点から東西に伸ひる測地線であるが, 条件

はただ 1 つである. 同様に,

域

は上半平面

は

$B_{:}$$D_{-}(\mathrm{H}_{-})$

により,$\mathrm{H}$$\omega$の零点の境界も 1 つの零点から東西に伸ひる測地線, 各帯領の北側の境界, 南側の境界も 1 つの零点から東西に伸ひる測地線である.

(図 3)

$’|$

図 3.
ここで, 各帯領域

して西側の領域$\mathrm{B}_{\dot{l}}^{w}$

を切断の南北の境界上に一つずつ存在する零点を結ぶ測地線で. の 2 つにわける. そして, 南側の境界にある零点かと東側の領域$\mathrm{B}_{:}$$\mathrm{B}_{i}$$\mathrm{B}_{1}^{e}$

ら北側の境界にある零点へのベクトルをら北へ伸ひる測地線に沿って切断して西側の領域$\mathrm{H}_{-}$

も同様に$\mathrm{H}_{-}^{w}$と Hi の 2 つにわける.

とする. また,$a:\in \mathbb{C}$$\mathrm{H}_{+}$と東側の領域$\mathrm{H}_{+}^{w}$

を境界にある零点か$\mathrm{H}_{+}^{e}$の 2 つにわける.

(図 4)

”

図 4.
$\text{烏}$は$\mathbb{C}$内の領域$\mathrm{H}_{+}^{e},$$\mathrm{H}_{+}^{w}$, Hi,$\mathrm{H}_{-}^{w}$, B7, By, . . . ,使って貼り合わせることにより回復される. まず,なるように置き, それ基礎に B7,た$\mathbb{C}$$\mathrm{B}_{2}^{e},$$\mathrm{B}_{n}^{e},$$\ldots,$$\mathrm{H}_{+}^{e}$$\mathrm{B}_{n}^{e},$$\mathrm{H}_{-}^{e}$を$\mathrm{B}_{n}^{w}$$\mathbb{C}$を次のように平行移動のみを内に, 零点に当たる点が原点にを東西に伸ひる境界で貼り合わせ, 出来

内の領域を罵とする. 必要なら番号を付け変えることにより,と順々に貼り合わせるごとになったとしてよい. 次に,$\mathrm{H}_{-}^{w}$

を$\mathbb{C}$$\mathrm{H}_{-}^{e}$に$\mathrm{B}_{n}^{e},$$\mathrm{B}_{1}^{e},$$\ldots,$$\mathrm{H}_{+}^{e}$

内に, 零点に当たる点が143
原点になるように置き, それを基礎に
せ,
て

出来た
$\mathrm{B}_{\sigma(1)}^{w},$$\mathbb{C}$内の領域を$\mathrm{B}_{\sigma(n)}^{w},$$\mathrm{B}_{\sigma(2)}^{w},$$\mathrm{H}_{+}^{w}$

界にある辺$R_{0}^{w}$

と

とする.

$\mathrm{B}_{n}^{w},$$\mathrm{B}_{2}^{w},$$\ldots,$$\mathrm{H}_{+}^{w}$

を東西に伸ひる境界で貼り合わ

このとき, 貼り合わせる順番は $n$ 次の置換の順で表されるとする. 最後に,

$R_{0}^{e}$$\sigma$を使っと $m$ の境界にそれぞれあの境, $a_{1}+\cdots+a_{n}+\sqrt{-1}t(t\in[0, \infty))$ で同一視し, また,の境界にある辺 : をそれぞれ平行移動で貼り合わせることにより,る 2 つの半直線一$\sqrt{-1}t$$a_{i}$$R_{0}^{w}$$\mathrm{B}_{1}^{w},$$\mathfrak{B}$

$a$

図 5.

上で見たことより,とがわかる. また,$R_{0}\cup\{p_{\infty}\}$dipole$\omega$

は,は閉じたリーマン面になるので, 九 $\cup\{p_{\infty}\}=R$ であるこ$\mathbb{C}$

ル微分から得られる. ここで, 原点,の零点に当たることより, 置換

分かる. よって,ン面である.

$(R, \omega)$$\sigma$の座標$a_{1},$$z$の微分 $dz$ を$R_{0}^{e},$$R_{0}^{w}$に制限して得られるアーベ$a_{1}+a_{2},$ $\ldots,$ $a_{1}+\cdots+a_{n}$に対応する$R_{0}^{e}$の点が$\omega$は $\sigma(1)\neq 1,$ $\sigma(i+1)\neq\sigma(i)+1,$ $\sigma(n)\neq n$ であることがは, 稲妻多角形 $((a_{1}, \ldots, a_{n}), \sigma)$ から得られる dipole 付き閉リーマ

口\S 3. 深度付き稲妻多角形
前節では, 稲妻多角形による dipole 付き閉リーマン面の構成法を紹介し, それにより任意のを満たさな
1 点付き閉リーマン面が構成できることを示したが, 前節の構成法では, 条件
い dipole 付き閉リーマン面を構成することは出来ない. そこで, この節では, 稲妻多角形による構成法を拡張して, 任意の dipole 付き閉リーマン面を構成する.
$\mathrm{H}$144$(R, \omega)$

を任意の dipole 付き閉リーマン面, p。を$\omega$の極とする. 定理 1 の証明のときと同様に, 烏を, 西に測地線を伸ばしたら p。に至るか, 東に測地線を伸ばしたら p。に至るような $R-\{p_{\infty}\}$ の点全体の $R-\{p_{\infty}\}$ での閉包とする.

補題 1 は条件$\mathrm{H}$を満たすか満たさないかによらず成り立つので,伸ひて p。に至る測地線 (有限本) でと上半平面と双正則な 2 つの領域

. は由度を除いて, 各帯領域面に,$\mathrm{H}_{+}$$D_{-}$$D_{+}(\mathrm{H}_{+})$

同様に,
域

は下半平面

を切断すると,と $D_{-}$ とに別れ,$R_{0}$$\omega$

内の東西に伸ひる帯領域$\mathbb{C}$の零点から東または西には有限個の帯領域$B_{1},$ $B_{2},$$\ldots,$$B_{n}$のアーベル積分により平行移動の自に双正則に写され,$\mathrm{B}_{i}$$D_{+}$

は上半平に双正則に写される.

$\mathrm{H}_{-}$の境界は, 東西に伸びる測地線であり, その上に

$D_{-}(\mathrm{H}_{-})$$B_{:}(\mathrm{B}:)$$B_{1}$$D_{+}$$R_{0}$$\omega$$\omega$の零点が 1 つ以上存在する.

の境界にも東西に伸ひる測地線でその上に 1 つ以上の零点が存在し, 各帯領の北側の境界も南側の境界も東西に伸ひる測地線で 1 つ以上の零点が乗っている. 零点と零点を結ぷ測地線は有限個であることに注意すれば, それぞれの測地線に乗っている零点の個数が有限個であることがわかる.
このとき,$\mathrm{H}_{-}$

沿って切断する.

を,$\mathrm{H}_{+}$

その境界の測地線上の最も轟にある の零点から南に伸ひる測地線にを, その境界の測地線上の最も兎にあるの零点から北に伸びる測地線に$\omega$$\omega$

沿って切断する. さらに,も西にある$\omega$$\mathrm{B}_{:}$

を, 南側の境界上の最も東にあるの零点へのベクトルを複素数$a$$\omega$の零点から北側の境界上の最この測地線で切断する.

: で表し,(図 6)$-\grave{\vee}$

$|||$

図 6.

$R_{0}$の分割

もし $R-(\{p_{\infty}\}\cup R_{0})$ が空であれば, 図 6 にあるいわば “半帯領域” たちの境界を適切な平行移動で貼り合わせることで $R-\{p_{\infty}\}$ が得られる.
もし $R-(\{p_{\infty}\}\cup R_{0})$ が空でなければ,$R-(\{p_{\infty}\}\cup R)$$\omega$の零点から$R_{0}$へ至る南(証明略) このとき, 補題 1 と同様に次北に伸ひる測地線はたかだか有限本である事がわかる.
の補題が証明される.

内の(証明は略)

補題 2. もし $R-(\{p_{\infty}\}\cup R)$ が空でなければ, 点 $x\in R-(\{p_{\infty}\}\cup R)$ から南へ (または北へ)測地線を伸ばせば烏に至るのであれば,は烏に至るか$\omega$$R_{1}$とする. 定理 1 で見たのと同様に,切断し,$\omega$から北へ (または南へ) 測地線を伸ばせの零点に至る.

そこで, 南か北へ測地線を伸ばせばを$x$のアーベル積分で$\mathbb{C}$$R_{0}$$R_{1}$に至る $R-$ (にある$\omega$烏) の点全体の集合の閉包をの零点と烏を結ぶ南北測地線で$\{p_{\infty}\}\cup$に写すと幾つかの長方形領域$R_{1}$$\mathrm{R}_{1}^{k_{1}}$$\mathrm{R}_{1}^{1},$$\ldots,$になる. さらに,

145
を, 西側の境界上の最も北にある$\mathrm{R}|$ベクトルを複素数の零点から東側の境界上の最も南にある$\omega$

の零点への

(図 7)

この測地線で切断する.

で表し,$b_{\ovalbox{\tt\small REJECT}}$$\omega$$arrow$

図 7.

$R_{1}$の分割) が空であれば, 図 6 にあるいわば “半帯領域” たちの境界を適切な平行移動で貼り合わせたあと, 図 7 にある “台形領域” を貼り合わせることで $R-\{p_{\infty}\}$ がもし $R-$ (烏$\{p_{\infty}\}\cup$$\cup R_{1}$

得られる.
もし $R-(\{p_{\infty}\}\cup R_{0}\cup R_{1})$ が空でなければ,$R-(\{p_{\infty}\}\cup R_{0}\cup R_{1})$の境界は$R_{1}$の境界へ至る東西に伸びる測地線はた) 内の の零点から
烏(証明は略)
かだか有限本である事がわかり, 次の補題が証明される.
の一部であり, $R-$ (補題 3. もし $R-$ ($\cup R_{1}$$\{p_{\infty}\}\cup$

凡(または東へ) 測地線を伸ばせばばせは$R_{1}$

そこで,

包を

分で

$R_{2}$$\mathbb{C}$に至るか$\omega$) 力控でなければ, 点 $x\in R-$ ($R_{1}$に至るのであれば,にある$R_{2}$$\omega$$R_{1}$の零点とに写すと幾つかの長方形領域$\omega$$x$$\{p_{\infty}\}\cup$

この測地線で切断する.

$R_{1}$

を結ぶ東西測地線で$\mathrm{R}_{2}^{k_{2}}$$\mathrm{R}_{2}^{1},$$\ldots,$$R_{2}$を切断し,になる. さらに,$\omega$$\mathrm{R}_{2}^{i}$$\dot{\mathrm{R}}-\dot{\mathrm{R}}_{1}^{\iota\prime}.\cdot\rfloor$

$->$
$||$

イ\acute .

-,^$\prime\prime.’..\cdot\prime\prime\prime.\cdot$$\cdot$$\cdot$$./q_{\mathrm{R}_{1}^{l_{l}3}}^{f}.j’-,---$$.’/\prime\prime\prime’.\cdot$

図 8.

$R_{2}$の分割$\omega$のアーベル積を, 南側の境界上の最の零点へのベクトルを複素数

(図 8)

沖–
.

) から西へから東へ (または西へ) 測地線を伸$q’,./\cdot--.//\cdot\overline{\prime//’,\cdot./\cdot..\cdot\cdot.\cdot.\cdot.\cdot\cdot\cdot.}../_{J}\underline{\underline{\mathrm{a}}}’\prime\prime\prime.\mathrm{R}_{1}^{\mathfrak{l}}|/\overline{/}$$\cdot$$\cup R_{1}$に至る $R-(\{p_{\infty}\}\cup R_{0}\cup R_{1})$ の点全体の集合の閉の零点から北側の境界上の最も西にある/

烏の零点に至る.

東か西に測地線を伸ばせば

とする.

も東にある
し,

$\cup R_{1}$$\{p_{\infty}\}\cup$$R_{1}$$\omega$.

$c_{i}$

で表146
もし $R-(\{p_{\infty}\}\cup R_{0}\cup R_{1}\cup R_{2})$ が空であれば, 図 6 にある

適切な平行移動で貼り合わせたあと, 図 7 にある““半帯領域” たちの境界を台形領域” を貼り合わせ, 図 8 にある“台形領域” を貼り合わせることで $R-\{p_{\infty}\}$ が得られる.
もし $R-(\{p_{\infty}\}\cup R_{0}\cup R_{1}\cup R_{2})$ が空でなければ, 上の操作を繰り返す. 実は, 種数が有限であれば,$\omega$の零点の周りでの角度の総和が押さえられる事から, この操作は有限回で終る事が分かることが分かる.
では, 上の分解を逆の手順で構成することを考える.

まず,“深度付き稲妻” を定義するために, 深度付きの,$((\begin{array}{l}a_{1}d_{1}\end{array})$

を考える.

ここで,

各

$a$

$n$

項の複素数列$(\begin{array}{l}a_{n}d_{n}\end{array}))$$(\begin{array}{l}a_{2}d_{2}\end{array}),$$\ldots,$: は複素数 (ベクトルと呼んだりする),

各は 0 以上の整数で深$d_{:}$度 (depth) と名付ける.
この深度付き複素数列に, まず, 次のような深度の条件 1), 2), R-3) を考える.

1): $d_{1}=0,1$ , or 2.
2): $d_{n}=0$ , or 1.
. $=-1,0,1$ , or 2.
R-3):$d_{:+1}-\mathrm{A}$例えば以下のようなものである.
$($.

$(\begin{array}{l}a_{1}0\end{array}),$$(\begin{array}{l}a_{2}2\end{array}),$$(\begin{array}{l}a_{3}3\end{array}),$$(\begin{array}{l}a_{4}2\end{array})$,$(\begin{array}{l}a_{5}3\end{array}),$$(\begin{array}{l}a_{6}2\end{array}),$$(\begin{array}{l}a_{7}1\end{array})$,$(\begin{array}{l}a_{8}0\end{array})$,$(\begin{array}{l}a_{9}1\end{array}),$$(\begin{array}{l}a_{\mathrm{l}0}1\end{array}))$すると, 深度が 1 以上の複素数を取り出すことによる数列たち ( “深度 1 の部分列” と呼ぶことにする), 深度が 2 以上の複素数を取り出すことによる数列たち (“深度 2 の部分列” と呼ぶことにする), $\cdots$ , と部分列が考えられる. 上の例では次のようになる.
深度 1 の部分列: $(a_{2}, a_{3}, a_{4}, a_{5}, a_{6}, a_{7})$ と $(a_{9}, a_{10})$ の 2 つ
深度 2 の部分列: $(a_{2}, a_{3}, a_{4}, a_{5}, a_{6})$ の 1 つ

深度 3 の部分列:
複素数

$a$

$(a_{3})$と $(a_{5})$ の 2 つ: たちに次のような条件 4), 5), 6), 7), R-8), R-9) を考える.

力埼数なら, ${\rm Re} a:>0$ .
4):が偶数なら, ${\rm Im} a:>0$ .
5):6): 奇数深度のどの部分列 に対しても$d_{i}$$d_{i}$$\beta$.

$\in \mathrm{R}_{+}$$. \sum_{*\in\beta}a_{1}$7): 偶数深度のどの部分列$\gamma$に対しても.
$\sum_{u\in\gamma}.a_{1}$$\in\sqrt{-1}\mathrm{R}_{+}$

147$\mathrm{R}-8):$

fi&r*B )$\sigma$$\epsilon.\sigma 2-\Re 9F^{1}\mathrm{J}\beta=(b_{1}, b_{2}, \ldots, b_{k})[]’.\mathrm{X}\backslash \mathrm{f}\mathrm{b}^{-}\mathrm{C}\not\in)$${\rm Im}(b_{1}+\cdots+b_{:})\geq 0$$\mathrm{R}-9)$: 偶数深度のどの部分列$(1 \leq\forall i\leq k)$$\gamma=(c_{1}, c_{2}, \ldots, c_{l})$に対しても$(1\leq\forall i\leq l)$${\rm Re}(c_{1}+\cdots+\mathrm{q}.)\leq 0$

そして, 次のように “深度付き $n$ 次の稲妻” を定義する.

), ),3. 深度付き 次の稲妻とは, 深度付き 項の複素数列であって, 条件 1), 2),5), 6), 7), R-8), R-9) を満たすもののことをいう. そして, 現れる深度の中の最大のものを,定義$\dot{\mathrm{R}}-3$

$n$

$n$

$4$

その深度付き稲妻の深度という.
深度付き稲妻からも,形ができる.
をベクトル$\mathbb{C}$上に原点からベクトル$a_{1},$$a_{2},$$\ldots$と繋げていくことにより, 折れ線図

この図形のことも “深度付き稲妻” という. そして, 深度 1 の各部分列 $(b_{1}, \ldots, b_{k})$$\sum_{i=1}^{k}b_{i}$に置き換え, それらと半直線 $-t\sqrt{-1}(t\in[0, \infty))$ と深度ゼロのベクトルと半直線 $\sum_{i=1}^{n}a:+t\sqrt{-1}(t\in[0, \infty))$ を繋げてできる$\mathbb{C}$を二分する単純折れ線の右側の領域, 深度 1 の各部分列 $(b_{1}, \ldots, b_{k})$ に対して, そこに含まれる深度 2 の各部分列 $(c_{1}, \ldots, c_{l})$ をベクトルる$\mathbb{C}$$\sum_{i=1}^{l}c_{i}$の有界領域,$(($に置き換え, それらと深度 1 のベクトルとベクトル$\cdots$と, 深度付き稲妻からは$\mathbb{C}$$\sum_{1=1}^{k}.b_{i}$の幾つかの領域が得られる.

$\mathcal{L}\backslash \iota \mathit{0}|,($$\mathrm{c}_{(\mathrm{b}}\mathrm{b}),(_{L}^{\mathrm{Q}\mathrm{g}}\mathrm{J},(\begin{array}{l}\lambda\sigma 3\end{array}),(^{a_{1}}‘)_{\mathit{1}}($$\lambda_{1}\}),($$\backslash a_{\mathrm{I}}1),($$\mathrm{q}_{\}\mathit{0}),(\begin{array}{l}\mathfrak{a}_{\mathrm{f}}|\end{array}),(\begin{array}{l}\mathrm{q}_{\prime l}\mathrm{I}\end{array}).)\backslash$

図 9. 深度付き稲妻とそれによるを繋げてでき$\mathbb{C}$の幾つかの領域

(図 9)

148
さらに,

“深度付き $n$ 次の稲妻多角形” を次のように定義する.

定義 4. 深度$d$の $n$ 次の稲妻多角形とは, 深度 $d$ の $n$ 次の稲妻と $n$ 次の置換の組$\Gamma=(($のことである. ただし$\sigma$は,$(\begin{array}{l}a_{\mathrm{l}}d_{1}\end{array}),$$(\begin{array}{l}a_{2}d_{2}\end{array}),$$\ldots$,$(\begin{array}{l}a_{n}d_{n}\end{array})),$$\sigma)$$\sigma(i+1)\neq\sigma(i)+1(i=1, \ldots, n-1)$ を$\sigma(1)\neq 1,$ $\sigma(n)\neq n,$満たし, 深度付き $n$ 項の複素数列$((\begin{array}{l}a_{\sigma(1)}d_{\sigma(1)}\end{array})$,$(\begin{array}{l}a_{\sigma(n)}d_{\sigma(n)}\end{array}))$$(\begin{array}{l}a_{\sigma(2)}d_{\sigma(2)}\end{array}),$$\ldots,$が上の条件 1), 2), 4), 5), 6), 7) と下の条件 L-3),$\mathrm{L}-\cdot 8$), L-9) を満たすとする.

L-3): $d_{\sigma(:+1)}-d_{\sigma(:)}=-2,$ $-1,0,1$ .
$\mathrm{L}8)$: 奇数深度のどの部分列$\beta=(b_{1}, b_{2}, \ldots, b_{k})$${\rm Im}(b_{1}+\cdots+b_{i})\leq 0$$\mathrm{L}-9)$: 偶数深度のどの部分列${\rm Re}$

深度付き稲妻多角形$\Gamma$

幾つかの領域が得られる.

$\gamma=(c_{1}, c_{2}, \ldots, c_{l})$( $c_{1}+\cdots$ 十果)$\geq 0$に対しても$(1 \leq\forall i\leq k)$に対しても$(1\leq\forall i\leq l)$からは, 原点から始まる 2 つの折れ線図形が得られ, そこから

(ただし,$\sigma$$\mathbb{C}$内ので写して作る深度付き稲妻に対しては, 最初に得られる領域は左側のものを取ることにする. ) すると, 稲妻多角形のときと同じように得られた幾つかの領域を対応する境界上の辺を平行移動で貼り合わせることにより,dipole を持つ閉リーマン面

図 10. 深度付き稲妻多角形による閉リーマン面の構成

149
このようにして, 次の定理が得られる.

定理 2$[\mathrm{H}\mathrm{O}3]$.

深度付き稲妻多角形の全体と, 次の集合の間には自然な全単射が存在する.

{ $(R,$

は閉リーマン面,$\omega)|R$$\omega$

は $R$ 上の dipole}

dipole のモジュライ空間 $MD_{g}$ は, リーマン・ロッホの公式か

さて, 種数を $g$ としたとき,

らすぐに複素 $4g-1$ 次元であることが分かる. 深度付き稲妻多角形の各頂点は, 出来上がった dipole の零点に対応するが, 最も一般的な場合は 1 位の零点が $2g$ 個あるときである.

とき, 零点の周りの角度の総和は $8g\pi$ であり, これは種数が

$g$

の

この

dipole の極の周りの角度の総和の最大である. また, これは $2\pi\cross(8g-2)-\pi\cross(8g-2)$ より $8g-2$ 角形の外側の角の総和と一致する. したがって, 次が分かる
命題種数

$g$

の dipole を深度付きの稲妻多角形で表した場合,

次数は $4g-1$ 以下になる. また,

dipole が 2 位以上の零点を持たない場合は次数はちょうど $4g-1$ になる.
条件$\mathrm{H}$を満たす dipole が open dense に存在することとこの命題から, 種数$g$の dipoleのモジュライ空間 $MD_{g}$ の中で, 次数がちょうど $4g-1$ の深度 0 の稲妻多角形で表されるものの全体が open dense であることが分かる. そこで, 更に詳しく 2 位以上の零点を持たな
い dipole を表す深度

置換$\sigma$

0 の稲妻多角形で, 次数が $4g-1$ のものを表す条件を求めると, それはに関する次の条件$(\#)$になる.

$\sigma(1)\neq 1$,$\sigma(n)\neq n$,$\sigma(i+1)\neq\sigma(i)+1$$\sigma^{-1}(\sigma(1)-1)=\sigma^{-1}(1)-1$$(\#)\{$$\sigma^{-1}(\sigma(4g-1)+1)=\sigma^{-1}(4g-1)+1$$\sigma^{-1}(\sigma(i)+1)-1=\sigma^{-1}(\sigma(i+1)-1)$

そこで,を満たす置換$(\#)$$C(\sigma):=${$\sigma$$((a_{1},$に対して$\ldots,$$a_{4g-1}),$ $\sigma)|a_{1},$$\ldots,$$a_{4g-1}$

は虚部が正の複素数}$D(\sigma):=\{(R_{\Gamma}, \omega_{\Gamma})|\Gamma\in C(\sigma)\}$とすると, 次の定理が成り立つ.

定理 3$[\mathrm{H}\mathrm{O}2]$

.

(1) 各

$D(\sigma)$

は $MD_{g}$ の open cell であり,$(a_{1}, \ldots, a_{4g-1})$は局所座標を与える.

(2)$D:= \prod_{\sigma}D(\sigma)$

は $MD_{g}$ において open dense である.

さて, 最後に hyperelliptic curve 上の特殊な dipole について証明なしで状況を述べる. そのために, 次のような形の $n$ 次の置換$\sigma$を ‘. 対辺型” 置換と呼ぶことにする.

$\sigma(1)=n,$ $\sigma(2)=n-1,$
$E$

2つ

を種数

$g$

の hyperelliptic curve,$\iota$$\ldots,$$\sigma(n)=1$を hyperelliptic involution とすると,を選ぶと, p。に 2 位の極をもち$\iota$の固定点をに $2g$ 位の零点を持っ dipole がの自由度を除いて一意} $.$. 決まる. このような dipole を深度付き稲妻多角形で表すと $2g$ 次で置換部分$p_{\infty},p_{0}\in E$$p_{0}$$\mathbb{C}^{\mathrm{x}}$150が対辺型のものになり,$\iota$は, 稲妻多角形で表される

た逆に, そういった深度付き稲妻多角形は, 種数$g$$\mathbb{C}$内の領域の 180 度回転で表される. まの hyperelliptic

curve 上の hyperelliptic

involution の固定点の 1 つに 2 位の極をもち, hyperelliptic involution の別の固定点に $2g$ 位の零点を持つような dipole を表す.
$E,$$\iota$, p。を上のように置き,$\iota$の固定点ではない点を$p_{0}$とし,$\iota(p_{0})=p_{1}$

とすると,

の自由度を
と
にそれぞれ 位の零点を持つような dipole がp。に 2 位の極をもち,除いて一意に決まる. このような dipole を深度付き稲妻多角形で表すと $2g+1$ 次で置換部分が$\mathbb{C}^{\mathrm{x}}$$p_{0}$

対辺型のものになり,$\iota$$p_{1}$$g$は, 稲妻多角形で表される$\mathbb{C}$内の領域の 180 度回転で表される. また

curve 上の hyperelliptic
involution の固定点の 1 つに 2 位の極をもち, hyperelliptic involution で移りあう 2 点にそれ
逆に, そういった深度付き稲妻多角形は, 種数

ぞれ

$g$

$g$

位の零点を持つような dipole を表す.

最後に, 上に述べたようなタイプの dipole は,は$\mathbb{C}$の hyperelliptic

hyperelliptic curve を固定すれば一般的にで parametrize されることを注意しておく.

REFERENCES
C.-F. B\"odigheimer, Interval exchange spaces and moduli spaces, Contemp. Math. 150 (1993)
33-50.
[B2] C.-F. B\"odigheimer, Cyclic homology and moduli spaces of Riemann surfaces, Ast\’erisque 226(1994) 4355.
[HO1] Y. Hashimoto and K. Ohba, Cutting and pasting of Riemann surfaces vyith Abelian differentials,, Int. J. Math. 10 (1999) 587-617[HO2] Y. Hashimoto and K. Ohba, On the anti parallel Igeta corgstruction of Riemann surfaces,
Aspects of Complex Analysis, Differential Geometry, Mathematical Physics and Applications(1999) 6076.
[HO3] Y. Hashimoto and K. Ohba, On thespace of diyles, in preparation.

[B1]

$I$

$modul\dot{\iota}$