数理解析研究所講究録 1345 巻 2003 年 1-30

楕円ファイバー空間の構造
京都大学・数理解析研究所

中山昇(Noboru Nakayama)

Research Institute for Mathematical Sciences,
Kyoto University
序
今回の研究集会で行った楕円ファイバー空間についての 4 日間 (8 時間) の連続講演の簡単な紹介をする. 内容は主に論文 [15], [16] の解説である. 詳しくはこの文献を参照されたい. 尚, 本稿では解析空間はハウスドルフ (Hausdorff) で第二可算な複素解析空間を意味する.

楕円曲線を一般ファイバーにもつファイバー空間 $f:Xarrow S$ を楕円ファイバー空間(effiptic fibration) とよぶ. $X$ が 2 次元のときは, $X$ を楕円曲面 (elliptic surface) とよ
ぶ. 小平の解析的楕円曲面論 [7], [8]を高次元化することが楕円ファイバー空間の研究目的である. ただし高次元にするのは底空間 $S$ である. 一般にファイバー空間は正規解析空間の間の固有全射でファイバーが連結なもののことである. 楕円ファイバー空
間 $f$ は底空間 $S$ のある稠密なザリスキ (Zariski) 開集合(smooth) な変形族だが, その補集合$f^{-1}(P)$$S\backslash S^{\star}$$S^{\star}$

上は楕円曲線のスムーズの点 $P$ の上の (スキーム論的) ファイバーは楕円曲線ではないかもしれない. そのような楕円曲線にならないファイバーを特異ファイバーという.

$S$

が 1 次元のときは特異ファイバーは楕円曲線の変形の極限であり, $f$ は楕円曲線の退化 (degeneration) ともよばれる. しかし$S$が 2 次元以上のときは $f$ が平担射 (flat morphism) とはかぎらす特異ファイバーの次元が 2 以上になることがある. しかし代数幾何においてファイバー空間が有用なのはこの特異ファイバーが多様体の構造を決める重要な情報になるからである. 複素函数論の擬凸領域等の研究にあるように ・境界の形状から領域の内部構造を調べる」 ということや, モース(Morse) 理論にあるように・臨界点の情報から多様体の構造を調べる」 ということに似ている.

飯高ファイバー空間の構造が解明されれば代数多様体の分類に大きく役立つが, 楕円ファイバー空間はその意味で最も簡単な場合である. 簡単であるがゆえ周期写像もモ

2ノドロミー (monodromy) も詳しく具体的に調べることができる. しかし周期から楕円曲線を構或するように, 周期写像やモノドロミーの情報からもとの楕円ファイバー空間$Xarrow S$

が即構或できるわけではない. もっと情報が必要なのである. それが何かを解明し, それを使って具体的に $X$ を再構或をするのが 「楕円ファイバー空間の構造」 の研究目的である.

楕円ファイバー空間の研究について歴史的経緯をのべる. 解析的な楕円曲面は 19

50 年代後半から始まる小平の研究 [7], [8] において詳細に調べられた. $X$ が 2 次元なので $X$ は $S$ 上の相対的極小モデル (relatively minimal model)$f$と仮定できる. つまりのファイバーに含まれる第一種例外曲線は無いとしてよい. 論文 [7] では, まず初めに楕円曲面に現れる特異ファイバーのタイプが交点数を調べることにより$\mathrm{I}_{a}$,と分類された. ただし

$m$

$a$

I

$\mathrm{I}_{a}^{*}$

$a$

’

,

$\mathrm{I}\mathrm{I}$,$\mathrm{I}\mathrm{I}_{:}^{*}$

III,$\mathrm{I}\mathrm{I}\mathrm{I}_{:}^{*}$$\mathrm{I}\mathrm{V}$,$\mathrm{I}\mathrm{V}^{*}$

は非負整数, $m$ は 2 以上の整数である. このうち,$m\mathrm{I}a$はすべての既約或分が重複度 $m$ をもつ因子であるが他のタイプは必ず重複度 1 の或分 (被約或分) をもつ. タイプ$ma\mathrm{I}$のファイバーは重複ファイバー (multiple fiber) とよばれる.

[7] では次に周期写像とモノドロミー表現の情報から大域切断 (global section) をもつ基本 (basic) 楕円曲面 $Barrow S$ が標準的に構或された. もし $Xarrow S$ が大域切断を持てば,$X\simeq B$である. そのことから重複ファイバーでない特異ファイバーの近傍の記述が得られる. 基本楕円曲面 $B$ から特異ファイバーの特異点集合を取り除いて得られる開集

合$B^{\mathfrak{p}}$は $S$ 上の群多様体である. 代数的な場合この $B\#arrow S$ をネロン (N\’eron) モデル

という,

$B$

自身も

$S$

上に有理型群構造 (meromorphic goup structure) をもつ. もとの楕円曲面 $X$ が $S$ のすべての点で局所切断 (local section) をもつならぼ, $X$ は $B$ を局所切断でひねって貼り合わせて得られるもの, すなわちトーサー (torsor) とか主等質
空間 (principal homogeneous space) とよばれるものとして表示される. このトーサー全体のなす群は $Barrow S$ の切断の芽のなす層$\mathfrak{S}$についてのコホモロジー群$H^{1}$( S,$\mathfrak{S}$)である. 局所切断を持たない点 $P\in S$ ではある近傍 $U$ と $P$ でのみ分岐する巡回被覆 $Varrow U$ が存在し, 引き戻し $X\cross sV$ の $V$ 上の極小モデル
つ.
$X$$X_{V}$

は $V$ 上に切断をもゆえにガロア群が $V$ 上の基本楕円曲面にいかに作用するのかがわかれば》もとのの$U$上の構造がわかる. この記述から$U$

上 $X$ は $B$ から対数的変換 (logarithmic

3transforlnation) という一種の手術 (surgery) で得られることが論文 [8] で示され, それによって重複ファイバーの近傍の記述が完全になされた.

この詳細な研究により, 例えば標準束公式 (canonical bundle formula) のように, 周
期写像, モノドロミー表現および特異ファイバーの情報と曲面の不変量とを結びつける
様々な手法が生まれた. そうして楕円曲面論は複素解析的曲面の分類論の中で中心的役割を果たすこととなった.
代数的な楕円曲面についても小平とほぼ同じ頃オッグ (Ogg) やシャファレヴイッチ(Shafarevich) らによる研究が始まっていた ([17], [19]). 代数的議論では周期とモノド
ロミーではなく, その代わり (こ生或ファイバー (generic fiber)のヤコビ (Jacobi) 多$X_{\eta}$様体として得られる) 函数体 $K$ ( S) 上の 1 次元固有群スキーム 1 $E$ に注目する. $E$ は上

記基本楕円曲面の生或ファイバーでもある. 生或ファイバー

り, $X$ は$E$$X_{\eta}$$X_{\eta}$

は $E$ のトーサーであから適当な閉包と相対的極小モデルをとることで再構或されると考える.

のトーサー全体のなす群はヴエイユ (Weil)

シャトレ (Ch\^atelet) 群$\mathrm{W}\mathrm{C}(E)$であり,そのうち重複ファイバーをもたない楕円曲面 $X$ を定めるトーサー全体のなす部分群がテイト (Tate)

シャファレヴイッチ群$s(E)$は解析的楕円曲面の場合のコホモロジー群$H^{1}$

である. $S$ がコンパクトなとき,(S,$\mathfrak{S}$$\coprod \mathrm{I}_{S}(E)$) に同型である. $E$ はワイエルシュ

トラス (Weierstrass) の方程式により平面 3 次曲線として表示される. 重複ファイバー以外の特異ファイバーの記述がこの方程式から得られる.
楕円曲面論の一般化はいろいろな方向に向かってなされている.
ファイバーを一般種数の曲線としてその特異ファイバー, 周期写像, モノドロミーなどを調べる研究は今も盛んになされている. ファイバーを一般次元のアーベル多様体にすることはアーベル多様体のモジュライ空間のコンパクト化と関連して研究されている.

ただしそこでは大域切断を持つ場合や特異ファイバーとして半安定還元されたもののみを扱う場合が多い. しかしコンパクト化に際し用いられるトーラス埋め込み(torus embedding) 理論は特異ファイバーの記述に非常に役立つ.
底空間 $S$ の高次元化については河井 [6], 上野 [20] の研究があり. そこでは周期とモ

ノドロミーの情報から基本楕円ファイバー空間が構或されている. また藤田 [3] は楕円曲面の標準束公式を$S$

が一般次元の場合に一般化した. これは平坦化 (flattening) と組み合わせることで非常に有用な公式である. ミランダ (Miranda) [9] は
1 体上の楕円曲線をこの意味て定義する論文も多い.

$S$

が 2 次元で,

4$Xarrow S$ が大域切断をもつときに取り換えれば、$X$ は

$S$

,

$S$

をブローアップで取り換え $X$ も双有理同値なもの

上の平坦な非特異相対的極小モデルになることを示した. 曲

面 $S$ 上の非特異因子に沿った対数的変換の構或が上野$[^{\underline{\eta}}1]$においてなされた. 藤本 [2]はさらに正規交差因子に沿った対数的変換の例を構或し, 重複ファイバーの交わり方について述べた.

次に楕円ファイバー空間についての筆者の今までの研究について述べる. 最初は論文[12] にあるように, ホツジ構造の変動 (variation of Hodge structure, VHS と略す) とワイエルシュトラスモデルの関係を調べるところから始まった

周期写像とモノドロ

ミーの情報は VHS の情報と同じである. 与えられた VHS から基本楕円ファイバー空間を構或するのに, 河井・上野の方法とは異なるワイエルシュトラスモデルの延長という方法を得た. その結果 VHS と基本楕円ファイバー空間 とワイエルシュトラスモデル$\circ$の三つが同等の情報を持つことがわかった. ワイエルシュトラスモデルはある状況の下では標準特異点 (canonical singularity) を許す相対的極小モデルでもある. 3 次元極小モデル理論のフリップ予想は当時まだ未解決だったが, ワイエルシュトラスモデルを利用して, 3 次元代数多様体 $X$ か吠域切断を持つ楕円ファイバー空間 $Xarrow S$ の構造をもつならば $X$ は単線織 (uniruled) かまたは極小モデルをもつということを証明した.

フリップ予想の解決 [11] により曲面上の楕円ファイバー空間の研究はその相対的極小モデルに帰着される. その方向の研究は [15, Appendix$\mathrm{A}$] にある標準 (standard) 楕

円ファイバー空間や, 底空間に現れる特異点についてのグロス (Gross) の結果 [4] などがあるが, あまり進んでいない.

切断を持たない楕円ファイバー空間については$S$が局所的な場合に詳しく調べる必要がある. それを行ったのが論文 [15] である. そこでは $S$ を単位多重円板とし座標超平面の和からなる正規交差因子 $D$ を固定した上で,$S^{\star}:=S\backslash D$

上スムーズな射影的

楕円ファイバー空間 $Xarrow S$ の双有理型 (bimeromorphic) 同値類の分類を行った. 射影
的 (projective) というのは写像が射影的, つまり相対的豊富 (relatively ample) な可逆層

(invertible sheaf) が存在する, ということである. [15] の内容は以下のとおり.

(1) 開集合(2)$S^{\star}$$S^{\star}$

上の VHS がモノドロミーのタイプによって分類される.

上定義されるスムーズな楕円ファイバー空間が基本ファイバー空間のトーサーとして表示できるが, このトーサー全体のなす群が具体的に求まる.

5(3) モノドロミーがユニポテントで自明でないとき, 基本楕円ファイバー空間の相対的極小モデルが存在し. それらはトーリックモデルというトーラス埋め込み理論
によって構或されるモデルのどれかに同型ということがわかる [15, Q4.2].

(4) 次のトーリックモデル定理およびスムーズモデル定理の主張がなりたつ [15, \S 4.3]:
モノドロミーがユニポテントで, $D$ の一般の点で $Xarrow S$ が局所有理型切断を持つならば, $X$ は$S$

上のトーリックモデルかまたは $S$ 上スムーズな基本楕円ファイバー空間に双有理型同値である.

(5) 楕円曲面の場合と同様に, (4) の定理の帰結として, 一般の $Xarrow S$ に対し高々 $D$
のみで分岐するクンマー (Kummer) 被覆 $Tarrow S$ と$X\mathrm{x}_{S}T$の $T$ 上の切断の存在がわかる. 特にここで $X\cross_{S}T$ の主或分は $T$ 上の基本楕円ファイバー空間である.

(6) 一般のモノドロミーのタイプの場合の $Xarrow S$ の双有理型同値類の分類を群のコホモロジーの帰納極限として記述しその群を計算する.

(3) のトーリックモデルはアーベル多様体の退化の議論におけるトーラス埋め込みによる部分コンパクト化の方法を利用して構或されている. ただしそのトーリックモデルたちが非特異で相対的極小となり, さらに互いにフロップの合或で移りあうことを示すには別の組み合わせ論的議論が必要だった. (4) の定理の証明は $D$ の特異点集合 Sing $D$の補集合$S^{\mathrm{o}}=S\backslash \mathrm{S}\mathrm{i}\mathrm{n}\mathrm{g}D$に着目して行うが, 射影的な $Xarrow S$ が$S^{\mathrm{o}}$上ではトーサーのなすコホモロジー群の捩れ元に対応することが証明の鍵となる. (5) により $T$ 上の
基本楕円ファイバー空間 $B_{T}arrow T$ における $Tarrow S$ のガロア群 $G$ の作用を記述できればもとの $X$ と双有理型同値な空間が切断のなすアーベル群$H^{1}$(G,$\mathfrak{S}(T)$

) が

$G$

$\mathfrak{S}(T)$$B_{T}$の商空間として構或できる. $B_{T}arrow T$ のは $G$ 加群となるがそれについての群のコホモロジー群の $B_{T}$ への作用を記述する.

したがってガロア被覆 $Tarrow S$ についての $H^{1}(G, \mathfrak{S}(T))$ の帰納極限が求まればいいが, その計算の段階が (6) である.

[15] の最初の版は 1991 年 12 月に東大のプレプリントシリーズ (UTYO-MATH 91-28)に出たが, その後長い空白期間を経て 1999 年ごろ内容が少し修正され最終的に去年出版された. その間の期間に代数的方面からの研究がドルガチェフ (Dolgachev), グロス
によって進展した ([1], [5], [4]). 彼らの方法は, ミランダの構或した極小モデルを使って生或ファイバーのテイト・シャファレヴイッチ群を計算し, それにより代数曲面上の代数的楕円ファイバー空間の双有理 (birational) 同値類全体を記述するというものである. ここでは $S$ が曲面という制約があるものの, $S$ が局所的である必要はない.
$K$

函数体

(S) 上の楕円曲線 $E$ が基本楕円ファイバー空間 $Barrow S$ の生或ファイバーで $B$ が稠

密開集合$S^{\star}\subset S$

上スムーズな場合, ここでのテイト

シャファレヴイッチ群は$\coprod \mathrm{I}_{S^{\star}}(E)$である. 解析的に考えればこの群は $Barrow S$ の切断の芽のなす層 6 についてのコホモ

ロジー群

ように

$H^{1}$$S^{\star}$(S,$\mathfrak{S}$) に同型と思われるがそうではない. たとえば対数的変換で現れるに制限すれば同型だが $S$ 上では双有理型同値にならない二つの楕円ファイ

バー空間が存在する. そのためこの代数的方法はそのままでは解析的楕円ファイバー
空間には応用できない.
局所的でない一般の $S$ 上の解析的楕円ファイバー空間の記述はどうするべきか ? 論
文 [15] でわかった局所構造の情報を張り合わせれば大域構造になるはずだが, 良い記

述方法がなかなか見つからない. 具体的には次のような問題設定を考えた.

多様体, $D$ はその正規交差因子として固定し, さらにつ固定する.

$S^{\star}$$S^{\star}=S\backslash D$

$S$

は複素

上に VHS $H$ を一上スムーズな楕円ファイバー空間 $f:Xarrow S$ があればそれは$S^{\star}$

上に VHS $H$ (f)を定義する. ここで同型 $\phi:H(f)\simeq H$ を印付け (marking) とよび, 組$(f:Xarrow S, \phi)$

を印付き楕円ファイバー空間とよぶ. 問題は印付き楕円ファイバー空間の $S$ 上の双有理型同値類全体$\overline{\mathcal{E}}$$(S, D, H)$

を何らかのコホモロジー群で記述することである. 実際は, 局所射影的 (locally projective) 楕円ファイバー空間から定まるもの全体のなす部分集合 $\mathcal{E}(S, D, H)$ や, 射影的楕円ファイバー空間から定まるもの全体のなす部分集合$\mathcal{E}^{+}(S, D, H)$の記. ’ が問題になる. この$.\llcorner^{\backslash }\backslash \uparrow$

代数多様体上の場合, 上記テイト$\mathcal{E}^{+}(S, D, H)$

シャファレヴイッチ群$s*(E)$ に対応する.

論文 [16] はこの問題をほぼ解決した. そこではこのテイトがある┘拭璽襯灰曠皀蹈検七欧隣爐貮

は $S$ がコンパクトな

シャファレヴイッチ群

として表示される.

┘拭璽覦盟蠅和数多様体の圏におけるエタール位相の解析的 ６ 間の圏における類似である
. 解析的
６ 間

$\underline{X}=$$(X, B)$ は解析空間 $X$とその疎な解析的閉集合 $B$ の組から定義される.

エタール射の定義は境界 $B$ の外側で不分岐な $X$ 上の分岐被覆の性質を抽象化したものである. VHS $H$ に付随する基本楕円ファイバー空間 $Barrow S$ を解析的自然に拡張し, $Barrow S$ の切断の芽のなす解析的 ６ 間$\underline{S}=$

相におけるアーベル群の層を
ジー群$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$$\mathfrak{S}_{H/\underline{S}}$とおく$(S, D)$ 上のすると $\mathcal{E}(S, D, H)$ はの部分群と同一視されその中で $\mathcal{E}^{+}(S, D, H)$ が捩れ部分と一対一に対応するという定理が得られる [16, \S 6.3]. 前述の

６ 間の射に┘拭璽覦┘拭璽襯灰曠皀
$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$$S$のが局所的な場合に当てはめると$H^{1}$(S,$\mathfrak{S}_{H/\underline{S}}$) は捩れ元から成り: その群は前述のガロア群の帰納極限と同型である.
論文 [16] の最初の版は 1996 年 4 月に数理研のプレプリントシリーズ (RIMS-1072)に出た. その後┘拭璽襯灰曠皀蹈検七欧侶彁擦僕 効ないくつかの完全系列や導来圏の射を考えることによって, テイト

シャファレヴイッチ群との同型や対数的変換のコホモロジー論的記述に或功した. これらの新結果を含めさらに $S,$ $D$ の条件を緩め$S^{\star}=S\backslash D\subset S$

がトロイド埋め込み (toroidal embedding) の場合に拡張してできたものが [16] であり, 去年出版された.

本稿の構或は以下のとおり

第 1 節でスムーズな楕円ファイバー空間についての一般論を述べ, 第 2 節で基本楕円ファイバー空間についてワイエルシュトラスモデルの構或も含めて紹介する. 第 3 節は論文 [15] の紹介, あとの節は論文 [16] の紹介である. 第 4節では┘拭璽覦盟蠅砲弔い, 第 5 節では大域構造の記述, 第 6 節では応用について述べた.

研究集会では講演のペースが段々と遅れ, 予定より約 1 日分話ができなかったことを参加者にはおわびしたい. 特に論文 [16] についての部分がかけ足で進んでしまった点は申し訳ない. その部分は本稿の後半の部分にあるが, これについては数年前の数理研でのシンポジウム 「基本群と代数関数」 の報告集にも記述があり ([14]), 内容もかなり重複している. 今回の研究集会は楕円曲線よりむしろ種数 2 以上の曲線の退化がテーマであり, 楕円ファイバー空間は少し離れた話題だった. にもかかわらす長い時間聴講
してくださった参加者と研究集会を企画された今野一宏先生に感謝したい.

1. スムーズな楕円ファイバー空間
楕円曲線は種数 1 の代数曲線であり, 原点を指定すれば 1 次元アーベル多様体でもある. 楕円曲線 $C$ の整係数コホモロジー群 $H=H^{1}$ (C,

構造 (Hodge$\mathrm{s}\mathrm{t}\mathrm{r}\mathrm{u}\mathrm{c}\mathrm{t}\iota\iota \mathrm{r}\mathrm{e}$$\mathbb{Z}$) は重み 1 階数 2 のホッジ) を持ち, カップ (cup) 積と向き (orientation) による自然な交代

形式 $H\cross Harrow H^{2}$ (C, )$\mathbb{Z}$$arrow \mathbb{Z}$がその偏極構造を与える. 逆に$\mathbb{Z}$に値を持つ偏極付き,

重み 1, 階数 2 のホッジ構造はある楕円曲線 $C$ から定まり, この $C$ は同型を除きただ

1 つに決まる. この偏極付きホッジ構造は上半平面$\mathrm{S}\mathrm{L}(2, \mathbb{Z})$$\mathbb{H}=\{z\in \mathbb{C}|{\rm Im} z>0\}$の 1 次分数変換による軌道と一対一に対応する.

全体が複素平面$\mathbb{C}$と同一視される.

におけるこうして楕円曲線の同型類

8
この原理は大域切断をもつスムーズな楕円ファイバー空間にも当てはまる. $f:Xarrow S$

がスムーズな楕円ファイバー空間ならば局所系$H=H(\grave f,)=R^{1}f_{*}\mathbb{Z}_{X}$に重み 1 階数 2のホッジ構造の変動 (VHS) が入り, カツプ積と向きによる自然な交代形式 $H\cross Harrow$$R^{2}f_{*}\mathbb{Z}_{X}arrow \mathbb{Z}_{X}$がその偏極構造を与える. 逆に$\mathbb{Z}$に値を持つ偏極付き, 重み 1, 階数 2の VHS $H$ は大域切断 $s:Sarrow B$をもつスムーズな楕円ファイバー空間 $p:Barrow S$ から定まる. すなわち $H(p)\simeq H$ .

この $p$ は同型を除きただ 1 つに定まり,るスムーズな基本楕円ファイバー空間 (basic elliptic fibration) と呼ばれる.

0 切断とする$S$

上のアーベル群の構造をもつ. つまり

$p$

に付随す

$H$

は

$p$

$s$

を

は $S$ 上の解析空間のなす圏における可換な群対象である.

大域切断を持たない場合でもスムーズな楕円ファイバー空間 $f:Xarrow S$ は VHS$H=H$ (f) に付随する基本楕円ファイバー空間 $p:Barrow S$ のトーサー (torsor) である.
上 $B$ は $X$ に作用し, その作用と可換な同型 $B\simeq X$ が $S$ 上局所的に存在

つまり

$S$

する.

の正則切断の芽のなす層を$H^{1}$(S,$p$$\mathfrak{S}_{H}$$\mathfrak{S}_{H}$

と書くと,

$p$

のトーサー全体はコホモロジー群) で表される. このコホモロジー群を計算するには完全系列(1.1)$0arrow Harrow \mathcal{L}_{H}arrow \mathfrak{S}_{H}arrow 0$

が有効である. ここでいたときの可逆層$\mathcal{L}_{H}$$F^{0}/\mathcal{F}^{1}$

はホツジ束

を表す

$H\otimes \mathcal{O}_{S}$のホッジフイルトレーションを

たとえばトーサー $f:Xarrow S$ が定める

$F^{p}$$H^{1}$( S,と書$\mathfrak{S}_{H}$)の元は次のように求まる. $X$ 上の指数完全系列から長完全系列$0arrow R^{1}f_{*}\mathbb{Z}_{X}arrow R^{1}f_{*}\mathcal{O}_{X}arrow R^{1}f_{*}\mathcal{O}_{X}^{\star}arrow R^{\mathit{2}}f_{*}\mathbb{Z}_{X}\simeq \mathbb{Z}_{S}arrow 0$が従うこと, VHS の同型 $H(f)\simeq H$ により準同型射$R^{1}f_{*}\mathbb{Z}_{X}arrow R^{1}f_{*}\mathcal{O}_{X}$が$Harrow \mathcal{L}_{H}$と同一視できること, これらと (1.1) から短完全系列$0arrow \mathfrak{S}_{H}arrow R^{1}f_{*}\mathcal{O}_{X}^{\star}arrow \mathbb{Z}_{S}arrow 0$が得られる. これを層の拡大と見れば$H^{1}$(S,$\mathfrak{S}_{H}$) の元が定まるが, これがトーサーに対応する. 相対的豊富な可逆層の像を見ることで, 射影的な $f$ は$H^{1}$(S,$\mathfrak{S}_{H}$

$f$

) の捩れ

元に対応することがわかる ([15, Proposition 1.3.3] 参照).
たとえば

を表す

$S$

$S=\triangle^{2}\backslash${(0, 0)} のときを考える. ここでは単連結なので VHS $H$ は周期写像$Sarrow \mathbb{H}$$\triangle$

は単位円板 $\{z\in \mathbb{C}||z|<1\}$

から決まるがそれも定数になる.

ゆえに $H$ に付随する基本楕円ファイバー空間は $S$ とある楕円曲線 $C$ との直積

$S\mathrm{x}C$

8に同型である. 完全系列 (1.1) から $H(f)\simeq H$ となる $S$ 上のスムーズな楕円ファイ

バー空間 $f:Xarrow S$ 全体は無限次元ベクトル空間$f$が射影的ならば$H^{1}$(.S.

$\mathcal{O}_{9},,1$

によって表される. 特には大域切断をもつ. 大域切断をもたない $f:Xarrow S$ が

$f$

上の楕

$\triangle^{2}$

円ファイバー空間に延長できるかというのが上野の問題である. 実は延長できないことが大域構造の研究 [16] によりわかった (第 6 節参照).

2. 基本楕円ファイバー空間
非特異連結複素解析空間 (すなわち複素多様体)
る. 補集合$S\backslash D$

を$S^{\star}$

れた重み 1 階数 2 ので$S^{\star}$$\mathbb{Z}$と書き, 埋め込み写像$S$$S^{\star}arrow S$とその正規交差因子 $D$ を固定すを$j$と書ぐ 開集合$S^{\star}$

上定義さに値を持つ VHS $H$ を固定する. 楕円 \check 7. アイバー空間 $f:Xarrow S$

上スムーズなものと$S^{\star}$上に定義される VHS の同型 $\phi:H(f)=R^{1}f_{*}\mathbb{Z}_{X}|s*\simeq H$の組 $(f, \phi)$ を印付き楕円ファイバー空間と呼ぶ. 二つの印付き楕円ファイバー空間は,VHS $H$ との同型と両立する$S$上の双有理型写像で移りあうとき双有理型同値であるという, 印付き楕円ファイバー空間の双有理型同値類全体のなす集合を$\tilde{\mathcal{E}}$$(S, D, H)$ と書き. そのうち局所射影的楕円ファイバー空間が定めるもの全体を $\mathcal{E}(S, D, H)$ , 射影的

楕円ファイバー空間が定めるもの全体を$H$$S^{\star}$にはそれに付随するがあった.

$p^{\star}$$S^{\star}$$\mathcal{E}^{+}$$(S, D, H)$と書く

上定義されたスムーズな基本楕円ファイバー空間と同型なものが存在し, それは

$S$

$p$

の

$S^{*}$への制限が$p^{\star}$

ここで合或 $p\circ s$ が恒等写像となる有理型写像 $s:S\cdotsarrow B$ を有理型切が存在するならば,

がって $H$ が$B^{\star}arrow$

上の双有理型同値性を除きただ一つに定まる.

断とよんでいる. 基本楕円ファイバー空間$H(p)\simeq H$:

は次の定理により $S$ 上の楕円ファイバー空間に延びる.

定理. 大域切断をもつ射影的楕円ファイバー空間 $p:Barrow S$ で空間とよぶ.

$p^{\star}$$S^{\star}$

$p$

$p$

が

$S^{\star}$

上スムーズで VHS としての同型を $H$ に付随する基本楕円ファイバー空間という, した上に定義されているにもかかわらず, それに付随する基本楕円ファイ

バー空間が $S$ 上に存在し, しかもそれらはみな $S$ 上互いに双有理型同値である.

定理の証明で本質的なのは周期写像から定まるに延びることである.

$J$

函数

$S^{\star}arrow \mathbb{C}$

このが $S$ 上の有理型函数

10
基本楕円ファイバー空間を記述する手段としてワイエルシュトラスモデルによる方
法 [

がある.

$12_{4}\rceil$$H^{0}(S, \mathcal{L}^{-4}),$

$b$

上の可逆層

$S$

$\mathrm{X}\in H^{0}(\mathrm{P}, \mathcal{O}(1)\otimes p^{*}\mathcal{L}^{-2}),$$\mathcal{L}^{2}arrow \mathcal{V},$$\mathcal{L}3,$$\mathrm{Y}$で 0$S^{\star}$をもたない大域切断 $a\in$をとる.

$(\mathcal{L}, a, b)$$(\mathrm{P}, \mathcal{O}(1)\otimes p^{*}\mathcal{L}^{-3}),$$\mathcal{O},$$arrow \mathcal{V}$

階数 3 のベクトル束とその自明直線束$p:\mathrm{P}=\mathrm{P}(\mathcal{V})arrow S$\in H0$arrow \mathcal{V},$が$\mathrm{Z}$

\in H

をそ

$\mathrm{P}$の中で方程式で定義される超曲面であり以下の.I 生質をもつ:$\mathrm{Y}^{2}\mathrm{Z}=\mathrm{X}^{3}+a\mathrm{X}\mathrm{Z}^{2}+b\mathrm{Z}^{3}$で定義される部分多様体$\mathrm{X}=\mathrm{Z}=0$$0(\mathrm{P}, \mathcal{O}(1))$$\mathcal{O}(\mathfrak{y}$に対応する大域切断とする. 三つに対応するワイエルシュトラスモデル $W=W_{S}(\mathcal{L}, a, b)$ は$(\mathcal{L}, a, b)$(1)$4a^{3}+27b^{2}$に付随する射影平面束

れぞれ標準的埋め込み
組と\in H0(S, L-6), からなる三つ組$\mathcal{V}=\mathcal{O}_{S}\oplus \mathcal{L}^{2}\oplus \mathcal{L}^{3}$について$\mathcal{L}$$\Sigma(\mathcal{L}, a, b)$

は $p:Warrow S$ の正則切断を与え,の特異点部分に含まれない.

$W$(2) $p:Warrow S$ は平坦射で$S^{\star}$

上スムーズ. $D$ 上のファイバーは既約平面 3 次曲線と同型.

(3) $W$ の標準層
特にの$\mathcal{L}$$S^{\star}$は$\omega_{W}$$p\sim\omega_{S}\otimes \mathcal{L}^{-1}$への制限は$\mathcal{L}_{H}$) と同型.

と同型である.

$\Sigma(\mathcal{L}, a, b)$は標準切断 (canonical section)とよばれる.
$D$の任意の既約或分$\Gamma$に対し, ordr(a)<4 またはは極小であるという, ここで$(\mathcal{L}, a, b)$

一般に三つ組$(\mathcal{L}, a, b)$

と切断

(S,

$\delta\in H^{0}$に対し,$\mathcal{L}_{0}\otimes \mathcal{L}^{-1}$$\mathrm{o}\mathrm{r}\mathrm{d}_{\Gamma}$$a=a_{0}\grave{\delta}^{4}$は正則函数の$\mathrm{o}\mathrm{r}\mathrm{d}_{\Gamma}(b)<6$$\Gamma$が成り立つとき,におけるゼロの位数を表す

かつ $b=b_{0}\delta^{6}$ となる極小な三つ組) が存在する. ここで$W(\mathcal{L}, a, b)$と$W(\mathcal{L}0, a_{0}, b_{0})$$(\mathcal{L}_{0}, a0, b_{0})$は $S$ 上双有理型同値である.
定理 (cf. [12, \S 2]).
$S$について $X$(1) 大域正則切断 $s:Sarrow X$ をもっ楕円ファイバー空間 $f:Xarrow$
は非特異,

$f$

は

$S^{\star}$

上スムーズと仮定する. するとあるワイエル

シュトラスモデル $W=W_{S}(\mathcal{L}, a, b)$ への $S$ 上の双有理型正則写像 $h:Xarrow W$があって,$h\circ s$の像は標準切断$\Sigma(\mathcal{L}, a, b)$になる.

(2) ワイエルシュトラスモデル $W=Ws(\mathcal{L}, a, b)$ について, $W$ が有理特異点 (rational

singularities) のみしかもたないことは
このとき, $W$ は
特に$S^{\star}$$S$$(\mathcal{L}, a, b)$

が極小ということと同値である.

上の標準特異点を許した意味での相対的極小モデルである.

上スムーズな基本楕円ファイバー空間 $Barrow S$ は意味での相対的極小モデルをもつ.

$S$

上に標準特異点を許した

11
VHS と標準層の高次順像との関係から以下のことが知られている. 非特異な $X$ からの楕円ファイバー空間の順像$f_{*}\omega_{X/S}$

は$.f\cdot$$F^{1}$: $Xarrow S$ がを$S^{\star}$$H\otimes \mathcal{O}_{S^{\star}}$上スムーズなとき、相対標準層$\omega$

Y,/kq=\mbox{\boldmath $\omega$}え$\otimes f^{*}\omega_{S}^{1}$の上方標準延長 (upper canonical extension) によって延長して得られる可逆層に同型である. 双対をとれば$R^{l}$

f*O えは$\mathcal{L}_{H}$を$H\otimes \mathcal{O}_{S^{\star}}$

下方標準延長 (lower canonical extension) によって延長した可逆層 (これをのと書$\mathcal{L}_{H/S}$く) に同型である.
極小な三つ組するが, このとき$(\mathcal{L}, a, b)$はワイエルシュトラスモデルにより$\mathcal{L}\simeq \mathcal{L}_{H/S}$$S^{\star}$

上に VHS $H$ を定義となる.

これらのことから以下の三つが本質的に同値になる.

に値を持つ偏極付き, 重み 1, 階数 2 の VHS $H$ を与える;(1)$S^{\star}$

上に

(2)

$S^{\star}$

上スムーズな $S$ 上の基本楕円ファイバー空間を与える;

(3)

$S$

$H$

$\mathbb{Z}$上に極小な三つ組$(\mathcal{L}, a, b)$を与える.

に付随する基本楕円ファイバー空間 $p:Barrow S$ のもつ$S^{\star}$上の群構造は,$S$上の有理型群構造に延びる. つまり大域切断 $S\cdotsarrow B$ をアーベル群の 0 写像と見なして群の積写像と逆元を与える写像に対応する有理型写像 $B\cross sB\cdotsarrow B$ と $B\cdotsarrow B$ が存在する. 特に$p$の有理型切断の芽のなす層$\mathfrak{S}_{H/S}$が九$\mathfrak{S}_{H}$の部分層として $S$ 上に定義される. 完全系列 (1.1) は$0arrow j_{*}Harrow \mathcal{L}_{H/S}arrow \mathfrak{S}_{H/S}arrow R^{1}j_{*}H$と延びるが, 最後の準同型射は全射とは限らない.
基本楕円ファイバー空間は同様,$\tilde{\mathcal{E}}(S, D, H)$$\mathcal{E}^{+}(S, D, H)$$\mathcal{E}(S, D, H)$にはこの$\tilde{\mathcal{E}}$$(S, D, H)$ の元

0 を単位元とするアーベル群の構造が入り:はその部分群になる.

しかし, 一般にコホモロジー群などと直接一対一対応するのではない. たとえばファイバーを持つ場合を拾えない. しかし$H^{1}$を持つ射影的楕円ファイバー空間全体のなす,$S^{\star}$0 を定める. 実はトーサーのときと(S,$\mathfrak{S}_{H/S}$

$S$

( S,

(S

$\mathfrak{S}_{H/S}$$\mathfrak{S}_{H/S}$$\rangle$,) が) では重複) の捩れ部分は, 局所有理型切断$\mathcal{E}^{+}(S, D, H)$

上のスムーズな基本楕円ファイバー空間が$H^{1}$$H^{1}$$\mathcal{E}(S, D, H)$の部分群に同型である.

に延びることと, スムーズな射影的楕円ファイバー空間が捩れ元に対応するトーサーであることを利用して以下の定理が証明できる [15, Theorem 4.1.1].

12
定理.

$S^{\star}$

上定義されたスムーズな射影的楕円ファイバー空間は$S$上の射影的楕円ファイバー空間に延長できる.

3. 局所構造
$S$

が

$d$

次元単位多重円板$\triangle^{d}=\triangle\cross$$\cdot$..

$\cross\triangle=$

{

.. ,

$(s_{1},$ $s_{2},$,$s_{d})\in \mathbb{C}||$

で, $D$ が座標超平面 $D_{i}=\{s_{i}=0\}$ の (\leq d) 個の和$l$

場合を $S$ が局所的な場合とよぶことにする.
はに同型でその普遍被覆空間$(\triangle^{\star})^{l}\cross\triangle^{d-l}$

s

$1|,$

$|$

s2

$\Sigma_{i=1}^{l}D$$\triangle^{\star}=\triangle\backslash \{0\}$$\mathbb{H}^{l}\cross\triangle^{d-l}$

i

$|,$

. . . , sd $|<1$ }$|$の場合を考察する. このと書くと, 補集合

$S^{\star}=S\backslash D$

からの被覆写像$e:(u_{1}, u_{2,..\mathrm{l}}, u_{l}, s_{l+1}, \ldots, s_{d})\mapsto(s_{1}, s_{2}, \ldots, s_{d})$は $s_{i}=\exp(2\pi\sqrt{-1}\pi u_{i})(1\leq i\leq l)$ で与えられる. VHS $H$ は周期写像$\mathbb{H}$とそれに両立するモノドロミー表現$\rho:\pi_{1}(S^{\star})arrow \mathrm{S}\mathrm{L}(2, \mathbb{Z})$$\tau:\mathbb{H}^{l}\cross\triangle^{d-l}arrow$とで与えられるが, これらは分類可能である. 特に $H$ の (モノドロミー表現の) タイプを以下のように分類す
る 2:

(1)

$\rho$の像が有限群のとき, それは巡回群で位数は 1, 2, 3, 4, 6 のいすれかである.

の順に応じて $H$ のタイプを(2)$\rho$$\mathrm{I}_{0}$,$\mathrm{I}_{0:}^{(*)}\mathrm{I}\mathrm{V}^{(*)},$$\mathrm{I}$II(’),$\mathrm{I}\mathrm{I}^{(*)}$と定義する.

の像が無限群のとき, その元がすべてユニポテントなとき, $H$ のタイプをニポテントでない元があるとき,る数ベクトノレ $a=(a_{1},$を:$D_{i}$$a$2,$\mathrm{I}_{(+)}^{(*)}$

こ$\mathrm{I}_{(+)}$,ユ, と定義する. ただしここで非負の整数からな0, 1 からなる数ベクトノレ $c=(c_{1},$ 2, . . , c.., ,a$c$$|$の周りを正の向きにまわるモノドロミーに対する行列が.
$(-1)^{\mathrm{q}}$と共役という性質で定める. またを条件:$\mathrm{I}_{(+)}^{(*)}$(1),.

$a\equiv 0\mathrm{m}$$\mathrm{I}_{(+)}^{(*)}(2)$2 [15] の表記でな$\langle$

od2,$(\begin{array}{ll}1 a_{i}0 1\end{array})$を$\alpha$od2,$a\equiv 0\mathrm{m}$, と三つの場合に分ける.

[16] の表記を採用した$(a_{1},$ $a$

2,.. . a$)$$a\Lambda c\not\equiv 0\mathrm{m}$虜蚤膰 約数とおぐI((+*)、
od2 に応じて,$\mathrm{I}_{(+)}^{(*)}(0)$,13上定義されたスムーズな楕円ファイバー空間は上の VHS $H$ のどれか$S^{\star}=S\backslash D$

についてのコホモロジー群$H^{1}$($S^{\star}\backslash \mathfrak{S}$H) によって記述できる. このコホモロジー群はに同型でさらには群のコホモロジー群$H^{\underline{9}}(S^{\star}, H)$

だしここで$\mathbb{Z}^{2}$はモノドロミー表現によって$\pi_{1}(S^{\star})$$H^{1}$($\pi_{1}$(S’),$\mathbb{Z}^{2}$) にも同型である. た加群とみる. 実際このコホモロジー

群は以下の表のように計算される.

特に,$S^{\star}$$\mathrm{I}_{0},$$\mathrm{I}(+)$の場合以外,ではなく$S$$H^{1}$($S^{\star},$$\mathfrak{S}$H) は有限群である.

上の楕円ファイバー空間の構造について調べる上で次の定理が重要である. [15] では定理の$\mathrm{I}_{0}$の場合がスムーズモデル定理 (Theorem 4.3.1),$\mathrm{I}_{(+)}$の場合がトーリックモデル定理 (Theorem 4.3.2) と分けて書かれている.
定理 (スムーズモデル定理, トーリックモデル定理). $S=\triangle$ d 上の射影的楕円ファイ

バー空間 $f:Xarrow S$ に対し, それがのタイプが$f(\Gamma)=D_{i}$$\mathrm{I}_{0}$

または

を満たす

$\mathrm{I}(+)$$f^{*}D_{i}$$S^{\star}=S\backslash D$

上スムーズで: その定める VHS $H(f)$と仮定する. さらに, 各超平面因子 $D_{i}(1\leq i\leq l)$ に対し,の被約な既約或分$\Gamma$が存在すると仮定する. すると $f$ は大域切断をもつ. また非特異な $f$ の極小モデルが存在し, そのモデルはスムーズ,$\mathrm{I}(+)$$\mathrm{I}_{0}$のときは $S$ 上のときはトーラス埋め込みにより記述される.

証明のアイデアは以下の通り. ます第一に極小モデルとして得られる予定の基本楕
円ファイバー空間 $Barrow S$ を記述しておく$\mathrm{I}_{0}$のとき, $H$ は局所系としては自明で周期写像は正則関数$\tau:Sarrow \mathbb{H}$

極小モデル $Barrow S$ はスムーズな基本楕円ファイバー空間であり, $B$ はる$(m, n)\in \mathbb{Z}^{2}$の作用$S\cross \mathbb{C}\ni(s, z)\mapsto(s, z+m\tau(s)+n)$についての商空間である.

で与えられる.
$S\cross \mathbb{C}$

に対す

14

$\mathrm{I}(+)$のとき, $H$ の周期写像$\tau$(ub. . . ,$\cdot u$はある正則関数$\tau:\mathbb{H}^{l}\cross\triangle^{d-l}arrow \mathbb{H}$l, $s_{l+1},$.. ,$s_{d}$)$= \sum_{i=1}^{l}a_{i}u_{i}+h(s_{1}, .

と表される. $H$ に付随するスムーズな基本楕円ファイバー空間

.

によって

$h:S\vec{.}\mathbb{C}$)s_{d})$$B^{\star}arrow S^{\star}$は$S^{\star}\cross \mathbb{C}^{\star}$

に

対する作用
$\theta:S^{\star}\cross \mathbb{C}^{\star}\ni$$(s, \zeta)\mapsto(s,$ $\zeta\exp(2\pi\sqrt{-1}h(s))\prod_{i=1}^{l}s_{i}^{a}:)$についての商空間として得られる. 極小モデル $Barrow S$ はこれをが, それは以下のように構或される:$S^{\star}\cross \mathbb{C}^{\star}$

準的開集合と見なし, 適当なトーラス埋め込み
埋め込み$S^{\star}\cross \mathbb{C}^{\star}\subset \mathcal{X}$をつくる. ここでトーラス埋め込みを探すのである.

この$\theta$がの$\mathcal{X}$を代数的トーラス$\mathrm{T}\subset \mathrm{X}$$\mathcal{X}$$\theta$$S$に延長したものだ$\mathrm{T}=(\mathbb{C}")^{l}\cross$

C” の標を探し., それに沿ってトロイドに正則にかつ自由に作用するようにによる商空間として $B$ を得る. ただ

し $B$ が非特異で $S$ 上極小にとれるという性質を満たすトーラス埋め込みはただ一つではなく,$\sum_{i=1}^{l}a$$(1\leq i\leq l)$

ル $B$

i

個の元からなる集合を各々が$a_{i}$

個の元からなる$l$個の部分集合$F_{i}$に分割する仕方によって決まる ([15, \S 4.2] 参照). こうしてできた極小モデをトーリックモデル (Toric model) とよぶ. $f$ の相対的極小モデルで$\mathbb{Q}$

分解的なものはすべてトーリックモデルとして得られ, それらは互いに簡単なフロップとよばれる双有理型変換の合或で移りあう [15, Theorem 4.2.9].
第二に, 補集合が余次元 2 以上の解析的集合となるの$S^{\mathrm{o}}$上の制限が (適当な印付けと合わせて)考える. 実際, 定理の証明はこのような
$H$

がタイプ

$S^{\mathrm{O}}$

$S$

の開集合

$H^{1}(S^{\mathrm{o}}, \mathfrak{S}_{H/S})$$S^{\mathrm{o}}$を考え, $Xarrow S$の捩れ元に対応する場合をが存在する場合に帰着できる.

0 のときは (1.1) と同じ完全系列(3.1)$0arrow \mathbb{Z}_{S}^{2}arrow \mathcal{O}_{S}arrow \mathfrak{S}_{H/S}arrow 0$が存在し, タイプ I(+、のときは二つの完全系列

,

(3.2)

$0arrow \mathbb{Z}_{s}arrow \mathcal{O}s(*D^{+})^{\star}arrow \mathfrak{S}_{H/S}arrow 0$(3.3)$0arrow \mathcal{O}_{S}^{\star}arrow \mathcal{O}_{s}(*D^{+})^{\star}arrow\oplus \mathbb{Z}_{D_{i}}arrow 0$$a_{-}>0$が存在する.

ここで $D^{+}= \sum_{a\dot{.}>0}D$ i

しか持たない$S$であり,$\mathcal{O}_{s}(*D^{+})^{\star}$は, そのゼロも極も$D^{+}$に上の有理型函数の芽のなす乗法的アーベル群の層である. 誘導され

15る長完全系列でコホモロジー群$H^{1}$ $(_{\backslash }S0, \mathbb{Z})=H^{2}(S^{\mathrm{o}}\backslash \mathbb{Z}1\backslash ’=0$

$Xarrow S$

はは$S\backslash S^{\mathrm{o}}$$S^{\mathrm{o}}$$H^{1}$(So,$\mathfrak{S}_{I\mathrm{f}/S}$) の捩れ元を追っていくと, 位相的条件などから捩れ元が 0 しかないことがわかる.

上に有理型切断をもつのである. これが

$S$

したがって

上の有理型切断に延びることの余次元が 2 以上なのでハルトグス (Hartogs) 型の定理から従う

こうして

スムーズモデル定理, トーリックモデル定理が証明される.
なお $S$ が 2 次元のときは 3 次元極小モデルの存在定理を利用した別証明が [13] にある.
$S^{\star}$の列上スムーズな射影的楕円ファイバー空間 $f:Xarrow S=\triangle^{d}$ に対し, 適当な自然数$m_{1},$ $m_{2},$..

$‘’ m_{l}$$T=\triangle^{d}\ni$によって定まるクンマー拡大$(t_{1}, t_{-},, .

.

, t_{l}, s_{l+1}, .

.

\mathrm{t} , s_{d})\mapsto(t_{1}^{m_{1}}, .

.

.

, t_{l}^{m}, {}^{t}s_{l+1}, \ldots, s_{d})\in S$

により $f$ を基底変換すればトーリックモデル定理, スムーズモデル定理の仮定をみた

すようにできる. したがって次の系を得る.
系.

$S^{\star}$

上スムーズな射影的楕円ファイバー空間 $f:Xarrow S=\triangle^{d}$ に対し, 高々 $D$ のみで分岐する被覆 $Tarrow S$ が存在し, 引き戻し

$X\cross_{\mathrm{S}}Tarrow T$が大域有理型切断をもつ.

┘拭璽覦盟蠅鯑各 する上で重要な性質だったが,この系は後述の┘拭璽襯灰

モロジー群の計算結果からこの系自身を証明することもできる. またトーリックモデ
ル定理を使わない分岐理論による系の証明も [15] に書いてある,上のクンマー拡大 $Tarrow S$ のガロア群 $G$ の $T$ 上の基本楕円ファイバー空間$B_{T}$における (有理型) 作用を記述できればもとの $f$ の双有理型構造がわかる. $B_{T}arrow T$ は $T$ 上に誘導された VHS$H_{T}$に付随する基本楕円ファイバー空間である. その大域有理型切断のなすアーベル群 $6(T)=H^{0}$ (T,すが上記の $G$ の$B_{T}$$\mathfrak{S}_{H_{T}}$) は自然に$G$

加群の構造をもつ. 詳しくは略への有理型作用 (のある同値類) とコホモロジー群の元は一対一に対応する. ゆえに帰納極限との同一視$\mathcal{E}^{+}(S, D, H)rightarrow\underline{1}\mathrm{i}\mathrm{B}^{\tauarrow s}$

H1$(G, \mathfrak{S}(T. ))$ができる. この帰納極限は以下のように計算できる.

(1) $H$ のタイプが$\mathrm{I}_{0}$のとき,$\mathrm{H}\mathrm{o}\mathrm{m}(\pi_{1}(S^{\star}), (\mathbb{Q}/\mathbb{Z})^{2}))\simeq(\mathbb{Q}/\mathbb{Z})^{2l}$に同型.

$H^{1}$(G,$\mathfrak{S}(T)$)

16(2) $H$ のタイプが$\mathrm{I}_{(+)}$のとき, 数ベクトル $a=(a_{1}, . . , a_{l})$ と正数 ’ を前述のよう$\alpha$に定めさらに $k:=\{i|a_{i}>0\}$ とおぐ このとき帰納極限は$\bigoplus_{a_{i}=0}\mathbb{Q}$/$\mathbb{Z}\oplus\{(p_{i})\in\bigoplus_{a_{i}>0}\mathbb{Q}$/$\mathbb{Z}|p_{i}aj\equiv p_{j}a_{i}$for any$i,j\}\simeq(\mathbb{Q}/\mathbb{Z})^{(l-k+1)}\oplus(\mathbb{Z}/\alpha \mathbb{Z})^{(l-1)}$に同型.

(3) $H$ のタイプがその他のとき,$H^{2}$($\pi_{1}$(S”),$\mathbb{Z}^{2}$) に同型.

ここでの計算方法は, モノドロミーが有限のときは完全系列 (3.1) を利用し, モノドロ
ミーが無限のときは
$H$

のタイプが

$\mathrm{I}_{0},$$\mathrm{I}(+)$$\mathrm{I}_{(+)}$の場合の二つの完全系列 (3.2), (3.3) を利用する.
以外のとき) 制限写像る. このことは $H$ を VHS$\mathcal{E}^{+}(S, D, H)arrow \mathcal{E}(S^{\star}, \emptyset, H)$

としてもつスムーズな楕円ファイバー空間は同型であ$X^{\star}arrow S^{*}$

は $S$

上の射影的楕円ファイバー空間 $Xarrow S$ に延長てき, しかもその延長は双有理型同値を除きただ一つに定まる, ということを意味する.
$\mathrm{I}_{0}$のときは制限写像$\mathcal{E}^{+}(S, D, H)arrow \mathcal{E}(S^{\star}, \emptyset, H)$

はゼロ写像である. このことは $H$

を VHS としてもつスムーズな楕円ファイバー空間$X^{\star}arrow S^{\star}$

が $S$ 上に延長可能なのはそれが基本楕円ファイバー空間の場合に限る, ということを意味する. またその延長は必ずしも互いに双有理型同値でない. 実際$B_{T}$

への $G$ の作用を調べれば重複ファイバーの出方が無数ある.
$\mathrm{I}(+)$のときは制限写像$\mathcal{E}^{+}(S, D, H)arrow \mathcal{E}(S^{\star}, \emptyset, H)$

ある. ゆえにスムーズな射影的楕円ファイバー空間

は部分群$(\mathbb{Z}/\alpha \mathbb{Z})^{(l-1)}$$X^{\star}arrow S^{\star}$

への全射でのみが $S$ 上の楕円ファイバー空間に延びる.

局所構造の研究の次の目標は
或とその記述である.

$\mathrm{I}_{0}$$\mathcal{E}^{+}(S, D, H)$の各元についての相対的極小モ \mbox{\boldmath $\tau$}-‘‘ルの構の場合はトーリック多様体の双有理射についての極小モデルの存在 [18] を利用してその構或ができる [15, Theorem 6.2.1]. 他の場合は現在も研究
中である.

4.

┘拭璽襯灰曠皀蹈検

楕円ファイバー空間の局所構造を理解し, 適当な張り合わせのデータを与えれば大域構造はわかったことになる. しかしそれを層$\mathfrak{S}_{H/S}$のコホモロジー群と関連づけることは自明ではない. とくに重複ファイバーについてそうである.

17
楕円曲面の場合の大域構造の記述は, 重複ファイバーをもたない楕円曲面全体に対してはそれをコホモロジー群$H^{1}(S\backslash$’$\mathfrak{S}_{H},/s1$,と同一視することで済ませ, 一方重複ファイバーをもつものについては各ファイバーにおいて対数的変換を施して重複ファイバーの無い場合に帰着するという局所的記述で済ませている. しかし, $S$ が 2 次元以上になれば重複ファイバーは一般に孤立しておらず局所的にとらえられない.

一方代数的楕円ファイバー空間においては大域構造を表現する方法が別にあった ([17],[19], [1] . それは VHS を固定するのではなく大域切断をもった楕円ファイバー空間の
$)$

底空間

$S$

の生或点上のファイバー $E$ を固定するのである. $E$ は $S$ の函数体 $K$ (S) 上定義された相対次元 1 の固有群スキームである.
すヴエイユ

シャトレ群

$\mathrm{W}\mathrm{C}(E)$

$E$

の

$K$

(S) 上のトーサー全体のなはエタールコホモロジー群$H^{1}$(Spec$K(S)_{\acute{\mathrm{e}}\mathrm{t}},$

$E$

) に同

型である. このトーサーは適当に閉包をとることで $S$ 上の射影的楕円ファイバー空間$Xarrow S$に延びる. つまり $X\otimes K(S)\simeq E$ が成り立つ. この延長の仕方は当然 $S$ 上の双有理同値性を除きただ一つである.

の各点のあるエタール近傍上に局所切断をも$S$に延長されるトーサーたち全体は

つ $Xarrow S$

シャファレヴイッチ群$s(E)$$\mathrm{W}\mathrm{C}(E)$の部分群をなす これがテイトである. 生或点からの射をときのエタールコホモロジー群$H^{1}$($S_{\acute{\mathrm{e}}\mathrm{t}},$

$i$

*E) が

$s(E)$$i:\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}K(S)arrow S$と書いたと同型である.

したがって $S$ が代数的な場合 $Barrow S$ を $H$ に付随する基本楕円ファイバー空間とすれば, その生或ファイバー $E=B\otimes K$ (S) についてのテイト
群$s^{\star}(E)$が $\mathcal{E}^{+}(S, D, H)$ に同型である. しかし $S$ が解析的な場合は生或ファイバー

も閉包をとる操作も無い. 局所的な場合で見たように$S$

シャファレヴイッチ$S^{\star}$

上の楕円ファイバー空間のへの延長は存在しない場合もあるし, 双有理型同値性を除いてもただ一つとは限らない.

だからコホモロジー群$H^{1}$(S,$\mathfrak{S}_{H}$) は幾何学的意味からすれぼいようだが, $S^{\star}=S$ でなければ全く異なる群である. 代数的な場合,

射$Uarrow S^{\star}$$S^{\star}$と差が無上のエタールは適当に閉包をとることにより $S$ 上の準有限 (quasi fimite) 射 $Varrow S$ に延びる. ここで $Varrow S$ は

所同型射)$s*(E)$$Uarrow S^{\star}$$S^{\star}$

上エタールにとれる. 一方解析的な場合のエタール射 (局は $S$ に延びるかといえば, それが有限射でなければほとんど無理である. この違いが大きく影響している.

そこで境界上に延びるエタール射を使ってあるグロタンデイツク (Grothendieck) 位相を考え, その場合のコホモロジー群として解析的な場合におけるテイト

シャファレ

18
ヴイッチ群の類似を作れないか, と考えた. それが以下に述べる解析的 ６ 間上のタール位相である.
解析空間 $X$ とその疎な解析的部分集合 $B$ の組 $[X, B]$ を対象とし, 射の集合として正則写像 $f:X_{1}arrow X_{2}^{-}$ で$f^{-1}B_{2}\subset B_{1}$となるもの全体をとることによって得られる圏を境界付き解析空間のなす圏とよぶ. 射 $f:$ [X,,

$B_{1}$] $arrow[X_{2}, B2]$ がが離散的ファイバーしか持たず: $f^{-1}B_{2}=B_{1}$ でさらに制限した射がエタール射となるものである. ここでさらに

Ｆ鰻燭箸い
二つの組
$X_{1},$ $B_{1}],$$X_{1}\backslash B_{1}arrow X_{2}\backslash B_{2}$$X_{1}\backslash B_{1}arrow X_{2}\backslash B_{2}$が同型のとき $f$ を

1$[X_{1}, B_{1}],$[X3,┘拭璽襪箸 $f$

$B_{3}$[X,,$B_{2}$] は第三の組$[X_{3}, B_{3}]$からそれぞれへの Ｆ鰻深 $[X_{3}, B_{3}]arrow$] $arrow[X_{2}, B,]$ が存在するとき Ｆ鰻燭噺討个譴.

Ｆ鰻燭砲腓 $[X,$$B_{\rfloor}^{\rceil}$.
６ 間, または単に ６ 間とよぶ
６ 間の圏が境の同値類を $(X, B)$ と書き解析的

界付き解析空間のなす圏から自然に定義される. 通常の解析空間は境界が空集合な空間と見なす

また標準射 $\epsilon:\underline{X}=(X, B)arrow(X, \emptyset)$ により, 解析空間 $X$ をの実現とよぶ. 開集合
と書き
$X$

が

$\underline{X}$$\underline{X}$は$X\backslash B$の内部とよぶ.

６間 の実現 $X$ の取り方に依らず, これを$\underline{X}$

６ 間 の内部$\underline{X}$$\underline{X}^{\star}$$\underline{X}$の局所基本群を次のように定義する:$x$(profinite completion)$\hat{\pi}_{1}(U\backslash B, *)$当する. $U$ を縮め基点$\hat{\pi}_{1}^{1\mathrm{o}\mathrm{c}}$$\underline{X}$$\underline{X}^{\star}$の実現として存在し, 他の実現 $X’$ に対し $X$ はその正規化となる. 以下で扱としての $X$ における本群

間が正規解析空間ならば, 正規解析空間

う ６ 間はその内部が正規と仮定する. そして $X$ の点をにおける

６$(\underline{X};x)$$\underline{X}=$の近傍 $U$ をとってまず基本群

$*$

である.

を

を考える. これがの点とよぶ. 点 $x\in X$$(X, B)$とし, 通常の解析空間$\pi_{1}(U\backslash B, *)$６に近づけて得られる射影極限$x$$\underline{X}$

６ 間$(X, B)$ がトロイド埋め込みの副有限完備化$(U, B\cap U)$ の基本群に相間$\llcorner \mathrm{i}\mathrm{m}\hat{\pi}_{1}$$(U\backslash B, *)$$X\backslash B\subset X$が局所基から定まるとき, 局所基本群は有限生或自由アーベル群の副有限完備化てある.

┘拭璽觴佑 定めるグロタンディック位相を
相についての層として層$M_{\underline{-\mathrm{Y}}}$

６

なる.

$\underline{X}$$\underline{X}$$x$$\mathcal{O}_{\underline{\mathrm{Y}\wedge}}$

は自然に定義される. また前層の層化,における茎は局所基本群$\check{\mathrm{C}}\mathrm{e}$$\hat{\tau_{\mathrm{t}_{1}}}^{1\mathrm{o}\mathrm{c}}(\underline{X}jx)$$\underline{X}$の点にの離散連続加群に上の層の圏には単射的対象が存在し左完全関手に対する右導来関手が定義できる. その意味で層 $F$ のコホモロジー群

(

┘拭璽覦

間 上の層が定義される. アーベル群 $M$ の定める定数や正則函数の芽のなす層

おける茎などが定義される.

┘拭璽覦盟蠅箸茲.

ch) のコホモロジー群$\check{H}^{p}(\underline{X}, F)$$H^{p}(\underline{X}, F)$が定義されるが, これはチェックと同型になる [16, Theorem 2.2.9]. また標準写像

18$\xi j:\underline{X}arrow X$

についての高次導来層の点$R^{q_{\overline{\zeta}_{*}}}F$$x$における茎は連続群コホモロジー

1 ( X; )$\mathrm{O}\mathrm{C}’$に同型である. ただしここで $K$ は

特に $F$ が$\mathbb{Q}$$/’K,$$x$$H^{\vee}\mathrm{c}_{\mathrm{o}\mathrm{n}\mathrm{t}}.(\hat{\pi}_{1}^{\prime-\mathrm{c}}(’\mathrm{A}\cdot\underline{\check{\prime}\mathrm{t}^{-}\wedge};x\grave{)},\overline{F}_{x})=1\mathrm{i}\mathrm{n}\mathrm{l}.\backslash H^{q}(arrow K\subset\hat{\pi}_{[mathring]_{1}}^{1\mathrm{c}}(_{\underline{-}}\mathrm{Y};x)\hat{\pi}$$H^{0^{\gamma}}(K,\overline{F}_{x}\grave{)}\grave{)}$の指数有限な正規部分群すべてをわたる.

$\hat{\pi}_{1}^{1\mathrm{o}\mathrm{c}}(\underline{X}, x)$加群の層ならば $q>0$ に対し $R^{q}\Xi_{*}F=0$ である. ルレイ (Leray) のスペ

クトル系列$H^{p}(X, R^{q}\epsilon_{*}F)\Rightarrow H^{p}(\underline{X}, F)$により, コホモロジー群$H^{p}(\underline{X}, F)$は局所基本群のコホモロジーのデータと $X$ 上の通常のコホモロジーにより計算できると考えられる.
トロイド埋め込み $X^{\star}=X\backslash B\subset X$ から定まる

エタールコホモロジー群の計算例を挙げる. 定数層６$\mathbb{Z}_{\underline{X}}$間$\underline{X}=$$(X, B)$ についてののコホモロジー群については

次の二つの長完全系列がある [16, Theorem 3.4.2] :$\ldotsarrow Hp-1$ $(\underline{\lambda^{-}}, \mathbb{Z})arrow HB(pX, \mathbb{Z})arrow HB(pX, \mathbb{Q})\oplus Hp$. . $arrow Hp-1$

最初の系列を見ると
ジー群$H_{B}^{p}$

(X,

(X,

$(X^{\star}, \mathbb{Q})arrow Hp(\underline{X}, \mathbb{Z})arrow Hp$$\mathbb{Q}$$H^{p}(\underline{X}, \mathbb{Z})$は$H^{p}$$\mathbb{Q}$)$\oplus Hp$(X, )$arrow Hp(\underline{X}, \mathbb{Z})arrow\cdot\cdot\tau$$\mathbb{Z}$(X”, ) $arrow Hp$ (X”,$\mathbb{Z}$( X, ) と境界 $B$ における$\mathbb{Z}$

商層$\mathcal{O}_{\underline{X}}$ルテイエ因子群)の切断を$H^{0}(\underline{X}, Div_{\underline{X}})$, そのうち$B$

また $B$ に台を持つ(Picard) 群...

を正則函数の芽のなす層と考えて通常, 可逆有理型函数の芽のなす乗法的アーベル群の層$Div_{\underline{X}}:=\mathfrak{M}_{\underline{X}}^{\star}/\mathcal{O}_{\underline{X}}^{\star}$$\mathrm{D}\mathrm{i}\mathrm{v}(X)$$arrow$係数局所コホモロ$\mathbb{Q}$の解析空間のように可逆正則函数の芽のなす乗法的アーベル群の層$\mathfrak{M}\underline{x}$)) を合わさせてできた群と思える. このことはカルテイエ (Cartier) 因子群の場合にはよりはっきりする. 構造層

芽のなす層$\mathbb{Q}$$\mathrm{P}\mathrm{i}\mathrm{c}(\underline{X})$$\underline{X}$を$\mathcal{O}_{\underline{X}}^{\star}$$\mathfrak{M}_{\underline{X}}^{\star}$$\mathrm{D}\mathrm{i}\mathrm{v}(\underline{X})$

と書く

$X$

の (通常の) カルテイエ因子群を

カルティエ因子全体のなす群を$\mathrm{D}\mathrm{i}\mathrm{v}_{B}$を可逆層, すなわち階数 1 の局所自由アーベル群と定義すれば$\mathrm{P}\mathrm{i}\mathrm{c}(\underline{X})$が定義できる.

のカルテイエ因子と考え, その全体のなす群 (カに台 (support) をもつ因子全体のなす部分群を$\mathbb{Q}$, 有理型函数の$\simeq H^{1}(\underline{X},$$\mathcal{O}$(X,$\mathcal{O}_{\underline{X}}$$\mathbb{Q}$$\mathrm{D}\mathrm{i}\mathrm{v}_{B}$1) と書ぐ ピカール加群の層, のなす乗法的\emptyset である. ただし局所はの意味での局所である. コホモロジー完全系列の連結準同型射$H^{0}(\underline{X}, Div_{\underline{X}})arrow H^{1}(\underline{X}, \mathcal{O}_{\underline{X}}^{\star})$(X) と書く┘拭璽覦盟

20によりカルティエ因子 $D$ は可逆層を定める. $X$ が非特異かまたは $B$ の既約$\mathcal{O}_{\underline{\mathrm{J}\zeta}},(D)$或分がみな正規と仮定すると同型$\mathrm{D}\mathrm{i}\mathrm{v}(\underline{X})\simeq(\mathrm{D}\mathrm{i}\mathrm{v}_{B} (X, \mathbb{Q})\oplus$

Pic$(\underline{X})$$\simeq(\mathrm{D}\mathrm{i}\mathrm{v}_{B}(X, \mathbb{Q}).\oplus$が存在する [16, Proposition 3.4.3]. つまり
すが非特異ならば $B$ に台を持つ$X$

階数有限の局所自由$\mathcal{O}_{\underline{X}}$

加群の層は

$)$

Pic(X) /Div $B(X)$$)$の因子は $B$ の既約或分には因子は$\mathbb{Q}$$\mathbb{Q}$$\underline{\wedge Y}$

Div(X) /Div $B(X)$ ,$\underline{X}$$\mathbb{Q}$係数を許の可逆層を定めるのである. 同様に

局所自由層と考えても良さそうだが, 実は放物的層 (parabolic sheaf) と対応する [16, \S 3.5].

5. 大域構造$S$

を複素多様体, $D$ をその正規交差因子としからの開埋め込みを $j:S^{\star}arrow S,$
き VHS $H$ が標準延長$\mathcal{H}_{\underline{S}}$が局所自由$\mathcal{F}^{p}$(H) も$H_{\underline{S}}$る. ここで可逆層$p$を$S^{\star}=S\backslash D$

重み 1 階数 2 の

このときホツジ束$\mathbb{Z}$

偏極付$H=H\otimes \mathcal{O}_{S^{\star}}$の加群として定義され, 通常の下方標準延長は標準写像$\mathcal{O}\underline{s}$による]|||像に同型となる.

$\epsilon_{*}H_{\underline{S}}$の部分ベクトル束 (subbubdle) となる$\mathcal{L}_{H/\underline{S}}$ある. また対数的$(S, D)$ とおぐ
間

６

と書ぐ

$S^{\star}arrow\underline{S}$上に定義されているとする.

$S^{\star}$$\epsilon:\underline{S}=(S, D)arrow(S, \emptyset)=S$

ション

-:

$j$

を

$\underline{S}$と定義する. 前述の$\gamma\{_{\underline{S}}/\mathcal{F}^{1}(\mathcal{H}_{\underline{S}})$

形式の芽のなす局所自由層$\Omega_{\underline{S}}^{p}$

ホッジフィノレトレー$\mathcal{O}_{\underline{S}}$$\mathcal{L}_{H/S}$

加群
は

に延び

$\mathcal{F}^{p}(\}\{_{\underline{S}})$$\epsilon_{*}\mathcal{L}_{H/\underline{S}}$に同型で(log $D$ ) と対数的接続 (logarithmic

connection)$\underline{s}$:$\mathcal{H}_{H/\underline{S}}arrow\Omega_{\underline{S}}^{1}(\log D)\otimes H_{FJ/\underline{S}}$が存在する. 通常のようにそれから層の複体 (complex)$\Omega_{\underline{\dot{S}}}$(log $D$ )$\otimes H_{H/\underline{s}}$が定まるが,

これは R-j*H。と擬同型 (quasi-isomorphic) である. すると導来圏における射は$R\underline{j}_{*}\mathcal{L}_{H}\sim_{\mathrm{q}\mathrm{i}\mathrm{s}}\underline{j}_{*}\mathcal{L}_{H}$,$S^{\mathrm{O}}=S\backslash \mathrm{S}\mathrm{i}\mathrm{n}\mathrm{g}D$$\underline{S}^{\mathrm{o}},\underline{j}^{\mathrm{o}}$:$\underline{S}^{\mathrm{o}}arrow\underline{S}$$R\underline{j}_{*}Harrow \mathcal{L}_{H/\underline{S}}$$D^{\star}=D\cap S^{\mathrm{O}}$を経由することがわかる.

とおき,を考える. 高次順像

$R\underline{j}_{*}Harrow$

６ 間$R\text{勺}*H$$\underline{S}^{\mathrm{o}}=$$(S^{0}, D\star)$

や少し複雑なや開埋め込み$R^{p}\underline{j}_{*}^{\mathrm{o}}(R^{q}\underline{j}_{*}^{*}H)$$\underline{j}^{\star}$:$S^{\star}arrow$の $D$ の点における茎は $S$ が局所的な場合の群のコホモロジーを使って計算できる. するとたとえ
ぼ $(p, q)\neq(2,0)$ かつ $p+q\geq 2$ ならば$R^{p}\underline{j}_{*}^{\mathrm{o}}(R^{q}\underline{j}_{*}^{\star}H)$の茎は$\mathbb{Q}$ベクトル空間になるこ21とがわかる. 新たな層

ミ H/-Sと定義する.

$\wedge(\supset_{H/\underline{s}}$$‘ \mathrm{X}FI/\underline{S},$を$=\mathrm{K}\mathrm{e}\mathrm{r}(R^{1}\underline{j}_{*}H\veearrow\underline{j}_{*}^{\mathrm{o}}((’R^{1}\underline{j}_{*}^{\star}H_{\grave{J}\sim}(\overline{n}.

$\mathfrak{Q}_{H/\underline{S}}$はベクトル空間の層である.

$\mathbb{Q}$$\dot{\iota}7_{\sim H/\underline{s}}=R^{1}\underline{j’}_{*}H/\sim\tau II/\underline{s}$\mathbb{Q})),$

が局所的な場合$S$$\tau_{H/\mathrm{q}}\sim\underline{.}$の原点 0 での茎は以下のようなる:

0,

$H$

のモノドロミーが有限;$H$。

$(\mathfrak{T}_{H/\underline{S}})_{0}\simeq\{$$\mathbb{Q}^{l}/(\mathbb{Z}a+\oplus_{a_{i}=0}\mathbb{Q})\simeq \mathbb{Q}^{(k-1)}\oplus \mathbb{Q}/\mathbb{Z}$,

ただし $k=\#\{i|a_{i}>0\}$ . ここでさらに通常の $S$ 上の層$\mathfrak{T}H/S=\mathrm{K}\mathrm{e}\mathrm{r}(R^{1}j_{*}Harrow j_{*}^{\mathrm{o}}((R^{1}j_{*}^{\star}H)\otimes \mathbb{Q}))-$と定義する. ただし$\mathfrak{Q}_{H/S}\otimes \mathbb{Q}$であり:$j^{\mathrm{o}}$:$S^{\mathrm{o}}arrow S,$$j$\star :$S^{\star}arrow S^{\mathrm{o}}$が局所的な場合$S$$\prime \mathbb{Z}^{2l}$$(\mathrm{J}\supset_{H/S})_{0}\simeq$$\mathrm{J}\supset_{H/S}$

ドヮ’$-\supset_{H/s}$$T\mathrm{t}\sim H/S,$

無限.

$-\phi\backslash \backslash \backslash$を上と同様に$\mathfrak{Q}H/S=R^{1}j_{*}H/\tau\sim H/s$と開埋め込みを書いた. すると$\epsilon_{*}\mathfrak{Q}_{H/\underline{S}}\simeq$の原点 0 における茎は,タイプ$\mathbb{Z}\oplus\oplus_{a\dot{.}=0}\mathbb{Z}\simeq \mathbb{Z}^{(l-k+1)}.$$\backslash 0$$\not\subset j$

,

,

タイプ

$\mathrm{I}_{0}$

のとき;
のとき;

$\mathrm{I}_{(+)}$

その他のタイプのときと表される.
完全系列 (1.1) に$R\underline{j}_{*}$

を施して得られる完全系列を調べて次の完全系列の可換図式

を得る:$0arrow\underline{j}_{*}Harrow\underline{j}_{*}\mathcal{L}_{H}arrow\underline{j}_{*}\mathfrak{S}_{H/\underline{S}}-,$$||$$\dagger$$0arrow\underline{j}_{*}Harrow \mathcal{L}_{H/\underline{S}}arrow$$\mathrm{L}_{H/\underline{S}}^{\cdot}$で$\mathcal{L}_{H/\underline{S}}$が 0 次に置かれた層の複体$\dagger$$\uparrow$$\mathfrak{S}_{H/\underline{S}}$$R^{1}\underline{j}_{*}Harrow 0$$arrow$$\mathfrak{T}_{H/\underline{S}}$$arrow 0$ .

$[\cdotsarrow 0arrow \mathcal{L}_{H/\underline{S}}arrow \mathfrak{S}_{H/\underline{S}}arrow 0arrow\cdots]$

すことにする. すると上記可換図式の下の系列から導来圏の特別三角図式

triangle),..

$arrow \mathrm{L}_{H/\underline{S}}+1.arrow\tau\leq 1R\underline{j}_{*}Harrow \mathfrak{Q}_{H/\underline{S}}[- 1]arrow[perp].1$

,

..

を表

$(\mathrm{d}\mathrm{i}\mathrm{s}\mathrm{t}\mathrm{i}\mathrm{n}\mathrm{g}\iota\dot{\mathrm{u}}\mathrm{s}\mathrm{h}\mathrm{e}\mathrm{d}$22を得る. ここで$\tau_{\leq 1}$

は truncation, [-1] はシフトを表す

射$R\underline{j\prime}H*arrow \mathcal{L}_{H/\underline{5}}1\urcorner$

から可換

図式
..

$arrow+1$...

$arrow$.

$\mathrm{t}\underline{+1}arrow\tau_{\leq 1}$

R$\underline{j}_{*}Harrow \mathcal{L}$が導かれる. これより$arrow \mathfrak{S}_{H}||/\mathit{5}arrow+1$$\mathcal{L}_{H}\downarrow/\mathit{5}$$\mathrm{L}_{H/\underline{\mathrm{S}^{1}},\downarrow}^{\cdot}$H/$\underline{s}\oplus \mathrm{J}\supset H/5[-1]arrow \mathfrak{S}_{H/\underline{S}}arrow+1|$┘拭璽襯灰曠皀蹈検七$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$..

に付いて次の完全系列が存在する:(5.1)$H^{0}(S, \mathfrak{S}H/S)arrow H1(S^{\star}, H)arrow H^{1}(S, \mathcal{L}H/S)\oplus H0(S, \mathfrak{Q}H/S\otimes \mathbb{Q})$$arrow H1(\underline{S}, \mathfrak{S}H/\mathit{5})arrow H2(S^{\star}, H)arrow H^{0}(S, (R^{2}j_{*}H)\otimes \mathbb{Q})$また射$\mathrm{J}\supset_{H/\underline{S}}[-1]arrow \mathfrak{S}_{H/\underline{S}}$

(5.2)

は部分層

$\mathfrak{S}_{H/\underline{S}}^{\log}\subset\underline{j}_{*}\mathfrak{S}_{H}$$0arrow \mathfrak{S}_{H/\underline{S}}arrow \mathfrak{S}_{H/\underline{S}}^{1\mathrm{o}\mathrm{g}}arrow \mathfrak{Q}$を引き起こす 誘導された写像

.

と層の拡大
H/

$\underline{S}arrow 0$$H^{0}(S, \mathfrak{Q}_{H/s}\otimes \mathbb{Q})arrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$が対数的変換のコホモロジー論的表示と見なせることが第 6 節 (D) でわかる.
$H$に付随する基本楕円ファイバー空間 $p:Barrow S$ として $B$ は非特異, $p^{-1}D$ は正規交差因子となるものを考える.
る.

$p$の有理型切断の芽のなす$\mathfrak{S}_{H/S}\simeq\epsilon_{*}\mathfrak{S}_{H/\underline{S}}$である.

$\underline{B}$

$p$

は

６

間の射

$\underline{p}:\underline{B}=(B,p^{-1}D)arrow\underline{S}$┘拭璽覦盟蠅砲弔い討料悗$\mathfrak{S}_{H/\underline{S}}$を誘導すと書ぐ すると上の指数完全系列から次の完全系列の可換図式が存在する:$0arrow R^{1}\underline{p}_{*}\mathbb{Z}_{\underline{B}}arrow R^{1}\underline{p}_{*}\mathcal{O}_{\underline{B}}arrow R^{1}\underline{p}_{*}\mathcal{O}_{\underline{B}}^{\star}/\mathcal{V}_{\underline{B}}arrow R^{2}\underline{p}_{*}\mathbb{Z}_{\underline{B}}/\mathcal{V}_{\underline{B}}arrow 0$$\mathcal{L}_{H}||$$\underline{j}_{*}H||$$0arrow$$arrow$

ただしここでジー群の層$\mathcal{V}_{\underline{B}}$

は

/

, を表す

$\mathcal{O}_{B}(s(S)-\Sigma)$

かじめ固定した$p$$\underline{s}$$arrow$に台をもつ芽のなす$D$$H_{D}^{0}(R^{1}\underline{p}_{*}\mathcal{O}_{\underline{B}}^{\star})$に対し可逆層$\mathfrak{S}_{H}|$$\mathfrak{S}_{H/\underline{S}}$/$\mathfrak{T}_{H}\uparrow/\underline{S}$$\underline{s}$$R^{1}\underline{p}_{*}\mathcal{O}_{\underline{B}}^{\star}$$arrow$$arrow 0$ .

の部分層, つまり局所コホモロからの縦の準同型射は有理型切断 $s:S\cdotsarrow B$の類を対応させることで得られる. ただしのゼロ切断の像. ゆえに分裂する完全系列$0arrow \mathfrak{S}_{H/\underline{S}}arrow R^{1}\underline{p}_{*}.\mathcal{O}_{\underline{B}}^{\star}/\mathcal{V}_{\underline{B}}arrow \mathbb{Z}_{\underline{S}}arrow 0$$\Sigma\subset B$

はあら

23
が引き起こされる. ここでの$\mathbb{Z}_{\underline{S}}$への準同型射は, 可逆層に対しそれと一般ファイバーとの交点数を与えることで得られる.
次に印付き楕円ファイバー空間 $(f:Xarrow S, \phi)$ でり$\mathcal{E}(S, D, H)$$f$が $S$ 上局所射影的なもの, つまの元を定めるもの, を考える. 前と同様 $X$ は非特異, $f^{-1}D$ は正規交差因子と仮定する. すると$f$

は┘拭璽覦盟蠅琉嫐$\underline{S}$上局所的に切断をもつことがトーリックモデル定理, スムーズモデル定理の系からわかる. ゆえに $(f:Xarrow S, \phi)$ から基本楕円ファイバー空間のときと同様に ６ 間$\underline{X}=$( $X,$ -1D) 上の指数完全系列$f$から可換図式$0arrow R^{1}\underline{f}_{*}\mathbb{Z}_{\underline{X}}arrow R^{1}\underline{f}_{*}\mathcal{O}_{\underline{X}}arrow R^{1}\underline{f}_{*}\mathcal{O}_{\underline{X}}^{\star}/\mathcal{V}_{\mathrm{Y}}\underline{.}arrow R^{2}\underline{f}_{*}\mathbb{Z}_{\mathrm{Y}}.I^{v_{\underline{X}}}arrow 0$$\mathcal{L}_{H}||$$\underline{j}_{*}|$$0arrow$Hが得られる.

ここで$arrow$$\underline{f}:\underline{X}arrow\underline{S}$$\mathfrak{T}_{H}|$$\mathfrak{S}_{H}|$/5$arrow$

は $f$ の定めるである. また縦の同型左二つは印付け$\phi$/$\underline{s}$$arrow$/$\underline{s}$$arrow 0$

６ 間の射を表し,$\mathcal{V}_{\underline{X}}=H_{D}^{0}(R^{1}\underline{f}_{*}\mathcal{O}_{\underline{X}}^{\star})$によって引き起こされている. ただし SH7、からの縦の準同型射の引き起こす完全系列$0arrow \mathfrak{S}_{H/\underline{S}}arrow R^{1}\underline{f}_{*}\mathcal{O}_{\underline{X}}^{\star}/\mathcal{V}_{\underline{X}}arrow \mathbb{Z}_{\underline{S}}arrow 0$

は必ずしも分裂しない. $(f, \phi)$ にこの層の拡大を与えることにより写像 $\mathcal{E}(S, D, H)arrow$$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$定理.

を得る. これについて次の定理が成り立つ [16, \S 6.3].

$\mathcal{E}(S, D, H)arrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$は単射であり,$\mathcal{E}^{+}(S, D, H)$と$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$の捩れ部分が一対– に対応する.
$S$が局所的な場合,$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$は$R^{1}\epsilon_{*}\mathfrak{S}_{H/\underline{S}}$

の多重円板

$S$

の原点での茎に同型になる. 従って局所構造は長完全系列 (5.1) より導かれる完全系列$0arrow \mathfrak{Q}_{H/S}\otimes \mathbb{Q}/\mathbb{Z}arrow R^{1}\epsilon_{*}\mathfrak{S}_{H/\underline{S}}arrow(R^{2}j_{*}H)_{\mathrm{t}\mathrm{o}\mathrm{r}}arrow 0$で計算できる. ただし tor はアーベル群の捩れ部分をあらわす

この定理から射影的楕円ファイバー空間全体はかった. 写像$\mathcal{E}(S, D, H)arrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})_{\mathrm{t}\mathrm{o}\mathrm{r}}$で表されることがわの全射性については以下のことしかわかって

いをい.

(1) $\dim S\leq 2$ または $D$ が非特異ならば全射.

24
(2)

$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$の元は$H^{1}(\mathrm{N}, \overline{\sim}\backslash H/\underline{s})$の捩れ元に写されるならば, $\mathcal{E}(S, D, H)$ の像に含まれる.

また全射性を否定すると思われる疑わしい例もある. しかし, $D$ が非特異な場合は一対一対応$\mathcal{E}(S, D, H)rightarrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$があるだけでなく,$\mathcal{E}(S, D_{\mathrm{t}}H)$の各元が平坦な相対的極小モデル $Xarrow S$ をもち, その $X$ は非特異で $S$ 上の同型を除きただひとつに定
まる.

このように

┘拭璽襯灰曠皀蹈検七$H^{1}$(–S,$\mathfrak{S}_{H/\underline{S}}$) が局所射影的楕円ファイバー空. 間の双有理型同値類全体をほぼ表すが, それに対し通常のコホモロジー群$H^{1}$( S,$\mathfrak{S}_{H/S}$)

は局所有理型切断をもつ楕円ファ イバー空間の双有理型同値類全体を表すと考えられ$\circ$る.

$H^{1}(S, \mathfrak{S}_{H/S})_{\mathrm{t}\mathrm{o}\mathrm{r}}$がぴったり対応するものの, そうでないと$\mathcal{E}(S, D, H)arrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$の全射性に関わる問題が残る. 局所有理型

だたし, 射影的な場合は

きは上に述べた切断を持たないのはおおざっぱに言えば重複ファイバーがあるためだろうと思われるが, それに関しては以下の定理がある [16, Theorem 6.3.10].
定理. $S$ が局所的な場合とし $H$ のタイプが$\mathrm{I}_{(+)}^{(*)}$

でないと仮定する.

$\mathcal{E}^{+}(S, D, H)$に属する楕円ファイバー空間 $f:Xarrow S$ について以下の 2 条件は互いに同値である.

(1) $f$ が$S$

上有理型切断をもたない:(2) あるブローアップ $\mu:S’arrow S$ と既約因子$\Gamma\subset\mu^{-1}D$があって, 引き戻し $X\cross sS’$の非特異モデル $X’$ からの楕円ファイバー空間 $f’$ : $X’arrow S’$ について

$f’*\Gamma$

は$\Gamma$を支配する被約或分をもたない.

ただし, タイプ$\mathrm{I}_{(+)}^{(*)}(0)$のときはこの定理の反例がある [16, Example 6.3.11].

6. 応用┘拭璽襯灰曠皀蹈検七欧砲茲訛膂莵渋い竜 述に対し., 論文 [16] では以下の応用
を考えた.

(A)

$S$

の開集合上定義された楕円ファイバー空間の$S$上への延長の可能性についての上野の問題の解決 [16, \S 7.1].

(B) 代数的な場合のテイト

シャファレヴイッチ群のる記述とそのさらなる b 用 [16, \S 7.2, Q7.3].

┘拭璽襯灰曠皀蹈検七欧砲

25(C) コンパクトケーラー (K\"ahler) 多様体$X$がケーラー多様体と双有理型同値となるための必要十分条件 [\S .

$16_{\backslash }$$7./4\underline{\rceil}$.

┘拭璽襯灰曠皀蹈検爾砲茲覽 述[16, \S 7.5, \S 7.6].

(D) 対数的変換の高次元化とその上野の問題は 2 次元単位多重円板(A)

上の楕円ファイバー空間 $Xarrow S$ に対し,

$S$$\triangle^{2}$に対し, 原点 $(0, 0)$ の補集合上定義されたスムーズな楕円ファイバー空間が常に$\triangle^{9}\sim\backslash (0,0)$上の楕円ファイバー空間に延$\triangle^{2}$

長できるかという問題であった. 設定を次のように一般化した. $S$ を一般次元の単位多重円板, $D$ を座標超平面の和となる正規交差因子とおき, $D$ に含まれる余次元 2 以上の解析的閉集合 $Z\subset S$ を考え, $U=S\backslash Z$ とおく
バー空間で$S\backslash D$$Yarrow U$

が局所射影的楕円ファイ

上スムーズと仮定する. 次の定理が成り立つ [16, Theorem 7.1.3].

定理. 次の 2 条件は互いに同値(1)$\mathrm{Y}arrow U$

はある楕円ファイバー空間 $Xarrow S$ の $U$ 上への制限と $U$ 上双有理型

同値(2) $Yarrow U$ は$U$

上の射影的楕円ファイバー空間と双有理型同値.

特にもともとの上野の問題では$Yarrow\triangle^{2}\backslash$$(0, 0)$が切断をもたないときは$\triangle^{2}$

上に延びないことがわかる. 定理の証明は, 誘導される VHS $H$ のモノドロミーがユニポテン
トで Sing $D\subset Z$ の場合に (1) からとを考えれば, あるブローアップ
が (ある印付けと合わせて)ていい.

$\mathcal{E}$が存在しそれによる $Xarrow S$ の引き戻し$\mu:\Lambda’.Iarrow S$( $M,$ -1D, $H$ ) の元を定める.
$\mu$$M_{7}\mu$-1D, $H$ )$arrow \mathcal{E}$($U,$ $U$

ここで

$\mu$

は $U$ 上同型とし\cap D, $H$ ) の像が捩れ元からなること┘拭璽襯灰曠皀蹈検七欧侶彁擦 ら示すことで証明が終わる
.

を

(B)
た

そして制限写像 ($.\mathrm{c}$(2) を示すことに簡単に帰着される. 平坦化するこ$S^{\star}$

非特異な $S$ とその正規交差因子 $D,$

$S^{\star}=S\backslash D$

上の VHS $H$ を固定する. まを含むザリスキ開集合 $U\subset S$ に対し$(U/S, H)=\mathrm{K}\mathrm{e}\mathrm{r}(H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})_{\mathrm{t}\mathrm{o}\mathrm{r}}arrow H^{0}$と定義し, $U=S$ のときこれを$(U/S, H)$ は$S$

つもの全体のなす$(S, H)$

と書ぐ

(U,

)

$)$

第 5 節の大域構造の記述から上の印付き射影的楕円ファイバー空間で$\mathcal{E}^{+}(S, D, H)$$R^{1}\epsilon_{*}\mathfrak{S}_{H/\underline{S}}$$U$

上局所有理型切断をもの部分群に同型である. $H$ に付随する基本楕円ファイ

バー空間 $p:Barrow S$ で $B$ が非特異なものを考え, $B_{U}=p^{-1}U$ と書く

また巡回群

26
を導入する. 次の定理が成り立つ [16, Theorem 6.2.9, Proposi-$\mu_{n\tau}=\cdot m^{-1}\mathbb{Z}/\mathbb{Z}\subset \mathbb{Q}/\mathbb{Z}$fion $6.2.111‘$ :定理. 次の二つの完全系列が存在する:$0 arrow H^{0}(S, \mathfrak{S}_{H/S})\otimes \mathbb{Q}/\mathbb{Z}arrow\lim_{arrow}{}_{m}H^{1}($U,$\mathrm{L}_{H/S}^{\cdot}\otimes \mathrm{L}$\mu 7n)\rightar ow (U/S, )$H$(Pic(B)/Pic(S))\otimes Q/Z\rightarrow 世\Downarrow mH2 $(Bu, \mu_{m})/H^{2}$ ( , \mu m)\rightarrow$S$,(U/S, $H$ ).

$U$

第二の系列の右の準同型射は $U=S^{\star}$ のときは全射,$arrow 0$

がコンパクトのときはその余核が有限群である.
定理の証明は第 5 節にある種々の可換図式や完全系列を使い, $m$ 倍写像を考えてできる. 最初の系列を $U=S^{\star}$ の場合に考えさらに$S$$\mathfrak{S}_{H/\underline{S}}arrow \mathfrak{S}_{H/\underline{S}}$を縮めれば完全系列$0arrow \mathfrak{T}_{H/S}\otimes \mathbb{Q}/\mathbb{Z}arrow R^{1}j_{*}(H\otimes \mathbb{Q}/\mathbb{Z})arrow R^{1}\epsilon_{*}\mathrm{C}\tau_{H/\underline{S}}arrow 0$が導かれる. これにより局所構造$(R^{1}\epsilon_{*}\mathfrak{S}_{H/\underline{S}})_{0}$

この定理を使って代数的な場合のテイト
ラウアー$(.\mathrm{B}\mathrm{r}\mathrm{a}\iota\iota \mathrm{e}\mathrm{r})$$\mathrm{S}^{\mathrm{a}11}$

本楕円ファイバー空間

かれる場合を考える.
の生或ファイバーを定理.

$\mathrm{B}$と同型で$\mathrm{p}:\mathrm{B}arrow \mathrm{S}$$\mathrm{E}$

と書く

[x,

$x^{-1}$が非特異なので(1)$U$$\mathrm{S}$$\mathrm{B}$$S$の正規交差因子があって:$\mathrm{S}^{\star}=\mathrm{S}\backslash \mathrm{D},$$\mathrm{G}_{\mathrm{m}}=\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}\mathbb{C}$である.

シャファレヴイッチ群, コホモロジー的ブ群との関連が以下のようにわかる.

に付随する解析空間

キームの前とは別の計算方法が得られる.

$D=\mathrm{D}^{\mathrm{a}\mathrm{n}}$$\mathrm{B}"=\mathrm{p}^{-1}(\mathrm{S}^{\star}),$$\mathrm{D}$が$\mathbb{C}$上の非特異代数多様体, ザリスキ開集合$U=\cup^{\mathrm{a}\mathrm{n}},$)$\mathrm{B},$$=\mathrm{p}^{-1}$$p$が非特異ならば, 代数的基

$B=\mathrm{B}^{\mathrm{a}\mathrm{n}}$(U) と書ぐ またのコホモロジー的ブラウアー群] についてのエタールコホモロジー群$\mathrm{B}\mathrm{r}’(\mathrm{B})$=pan,$\cup$$\mathrm{B}\mathrm{r}’(\mathrm{B})$$H^{2}$($\mathrm{S}$と書$\mathrm{p}:\mathrm{B}arrow \mathrm{S}$は乗法的群ス$\mathrm{B}_{\text{\’{e}} \mathrm{t}},$$\mathrm{G}$m) のことは捩れ元からなる.
$(U/S, H)$ はテイト

シャファレヴイッチ群 掘(E)に同型である.

(2) 同型(3)$\mathrm{p}$が$\mathrm{B}\mathrm{r}’(\mathrm{B}^{\star})/\mathrm{B}\mathrm{r}’(\mathrm{S}^{\star})\simeq$$\cup$$(S^{\star}/S, H)\simeq \mathcal{E}^{+}(S, D, H)$

上平坦ならば Br’(B,)/Br’(切はが存在する.

(U/S, $H$ ) の指数有限な部分群に同型.

27
論文 [16] の \S 7.2 にはあと$\mathrm{L}\coprod(U/S, H)$や$(U/S, H)/\coprod \mathrm{I}(S, H)$の有限性についての結果が述べてあり. これらはグロス [5] にあるいくつかの結果の高次元化になる.

(C)

射影的射の一般化にあたるケーラー射を考えて楕円ファイバー空間がいつケー

ラー射になるのかを調べた. ケーラー射というのは相対ケーラー形式が存在する射のことであるが, 相対ケーラー形式の定義はここでは略す 実際はケーラー射より弱い条

件のコホモロジー的ケーラー射が扱いやすい. これは相対ケーラー類の存在する射のことだが, 相対ケーラー類の定義は以下のとおり. 正規解析空間の固有射 $f:Xarrow S$ に
おいて $H^{2}(X, \mathbb{R})$ の元$\alpha$

に対し,

$\xi$

を

$\xi$

が相対ケーラー類とは,$H^{\mathit{2}}(f^{-1}(S_{\alpha}), \mathbb{R})$$S$に制限したものが上に開被覆があってすべてののケーラー形式から誘導さ$f^{-1}.(S_{\alpha})$

れたものになるときをいう. 非特異な $S$ , 正規交差因子 $D,$$\{S_{\alpha}\}$$S^{\star}$

上の VHS $H$ を今までと同様に固定する.
命題 ([16, Proposition 742]). コホモロジー群

ベル群と仮定する. このとき元

(1)
(2)

$\eta$$\eta$$H^{1}$$\eta\in H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$( S”, $H$ ),$H^{2}(S^{\star}, H)$が有限生戒アーについて以下の 3 条件は互いに同値はコホモロジー的ケーラー射となる印付き楕円ファイバー空間から定まる;を定める印付き楕円ファイバー空間 $(f:Xarrow S, \phi)$ と一般ファイバー $X_{s}=$$f^{-1}$(s) への制限の次数$\deg\xi|_{X_{s}}$が正数になる元$\xi\in H\underline{)}(|X, \mathbb{R})$が存在する;(3) 特別三角図式$arrow \mathrm{L}_{H/\underline{S}}+1.arrow \mathcal{L}_{H/\underline{S}}arrow BH/\underline{s}arrow+1$..

から誘導される準同型射$\mathrm{c}:H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})arrow H^{2}(\underline{S}, \mathrm{L}_{H/\underline{S}}^{\cdot})$

による像$\mathrm{c}(\eta)$が捩れ元.

コンパクト複素多様体が$\mathrm{C}$に属するというのは, それがコンパクトケーラー多様体と双有理型同値なときをいう. クラス$\mathrm{C}$について以下の定理が成り立つ [$16_{:}$

Theorem

7.4.4]:
定理.

$d$次元コンパクト複素多様体

$S$

がクラス

$\mathrm{C}$に属するとき, コンパクト複素多様体 $X$ からの楕円ファイバー空間 $f:Xarrow S$ について以下の 3 条件は互いに同値

28(1) $X$ はクラス$(\underline{?})\backslash f$に属する;はコホモロジー的ケーラー射と双有理型同値;(3) 準同型射$S$$\mathrm{C}$$H^{2d}$( S,$\mathbb{C}$) $arrow H^{2d}$ ( X,$\mathbb{C}$) が単射.

が 1 次元のとき, この定理は宮岡 [10] による楕円曲面のケーラー性判定を導く(D)

完全系列 (5.2) の誘導する準同型写像$\eta:H^{0}(\underline{S}, \mathfrak{Q}_{H/\underline{S}})$$\simeq H^{0}(S, \mathfrak{Q}n/s\otimes \mathbb{Q})arrow H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$が対数的変換 (の高次元化) を代数的に記述することを示す
は $\mathcal{E}(S, D, H)$ に一致し$\tilde{\mathcal{E}}(S, D, H)$

の定める元

を考える.

$y\in H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$

$q$

と元

$H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$$S$

が 1 次元の場合にはと同型. 印付き楕円曲面 $(f:Xarrow S, \phi)$$q\in H^{0}(\underline{S}, \mathfrak{Q}_{H/\underline{S}})$の像$\eta(q.)$との和 $L_{q}(y)=y+\eta(q)$が点 $P\in D\subset S$ のみに台をもつとき, $H$ はそこでユニポテントな局所モ

ノドロミーを持つが,$q$を具体的に書くことにより$L_{q}$(\emptyset が $Xarrow S$ を $P$ において$q$に関係する仕方で対数的変換を施してえられる楕円曲面 $L_{q}(X)arrow S$ から定まることが分
かる. この$q$に関係する仕方は$(\mathfrak{S}_{H/\underline{S}}^{1\mathrm{o}\mathrm{g}})_{P}$が$(\underline{j}_{*}\mathfrak{S}_{H})_{P}$の部分群としてとあ$(\mathfrak{S}_{H/\underline{S}})_{P}$と何から生或されるのかを具体的に書くことによって表される. こうして$y\mapsto L_{q}$対数的変換を表すことがわかる. ゆえに対数的変換の高次元化も(\emptyset とみなすことができる. ただし $\dim S=2$ なら$\mathcal{E}(S, D, H)=H^{1}(\underline{S}, \mathfrak{S}_{H/\underline{S}})$$y\mapsto L_{q}$で問題ないが, そうでないとき $\eta(q)\not\in \mathcal{E}(S, D, H)$ では困る. この点についてはよく分かっていない.

が基本楕円ファイバー空間 $Barrow S$ の有理型切断の芽のなす層であるのに対し,は $Barrow S$ の対数的切断 (bgarithmic section) のなす層と言ってもよいと思う

変換における$S^{\star}$(\emptyset が$\mathfrak{S}_{H/\underline{S}}$$\mathfrak{S}_{H/\underline{6^{1}}}^{\log}$

対数的上の同型は対数的切断よる平行移動によって記述される.

論文 [16] \S 7.5 の残りと \S 7.6 は $X$ がコンパクトケーラー多様体や射影的代数多様体のとき楕円ファイバー空間 $Xarrow S$ に対数的変換$L_{q}$

ケーラーや射影的なものと双有理型同値になるためのを施して得られる $L_{q}(X)$ が再び$q$についての条件を調べている.

とくに \S 7.6 は楕円曲面の場合を扱っているが, 楕円モジュラー曲面については特異ファイバーで対数的変換を行えばまた射影的楕円曲面が得られることを証明している.
文献[1] I. Dolgachev and M. Gross, Elliptic threefolds : Ogg-Shafarevich theory, J. Alg. Geom.
$\mathrm{I}$

3 (1994), 39-80.

28[2] Y. Fujimoto, Logarithrnic transformations on elliptic fiber spaces: J. Math.

$\mathrm{K}\mathrm{y}\mathrm{o}\mathrm{t}\cdot 0$

Univ$\tau$

28 (1988), 91-110.
[3] T.

$\mathrm{F}\iota 1\mathrm{j}\mathrm{i}\mathrm{t}\mathrm{a}_{\dot{l}}$Zariski decolnposition and canonical rings of elliptic threefolds, J. lVIath. Soc.

Japan 38 (1986), 19-37.

[4] M. Gross, A finiteness theorem for elliptic Calabi-Yau threefolds, Duke Math. J. 74(1994), 271-299.

[5] –, Elliptic three-folds$\mathrm{I}\mathrm{I}$: Multiple fibers, Trans. Amer. Math. Soc. 349 (1997),

3409-3468.
[6] S. Kawai, Elliptic fibre spaces over compact surfaces, Commen. Math. Univ. St. Paul.
15 (1967), 119-138.
[7] K. Kodaira, On complex analytic surfaces$\mathrm{I}\mathrm{I}$, III, Ann. of Math. 77 (1963), 563-626,

ibid. 78 (1963), 1-40.
[8] –, On the structure of compact complex analytic surfaces, , Amer. J. Math. 86$\mathrm{I}$(1964), 751-798.

[9] R. Miranda, Smooth models for elliptic threefolds, in The Birational Geometry of De-

generations, Progress in Math. vol. 29, Birkh\"auser (1983), pp. 85-113.
[10] Y. Miyaoka, K\"ahler metrics on elliptic surfaces, Proc. Japan Acad. 50 (1974): 533-536.
[11] S. Mori, Flip theorem and the existence of minimal models for 3-folds, Journal of AMS.

1 (i988), 117–253.
[12] N. Nakayama, On Weierstrass models, in Algebraic Geometry and Commutative Algeb’r$a$in Honor of M. Nagata, Kinokuniya (1987), pp. 405-431.

[13] –, Elliptic fibrations over surfaces , in Algebraic Geometry and Analytic $Geomef,ry$$\mathrm{I}$ICM-90 Satellite Conference Proceedings, Springer (1991), 126-137.
[14] –, 楕円ファイバー空間の構造, 基本群と代数関数 (数理解析研究所講究録 1182) (2001),

pp. 43-50.
[15] –, Local structure of an elliptic fibration, in HigherDimensional Birational Geometry, Advanced Studies in Pure Mathematics 35 (2002), pp. 185-295.
[16] –, Global structure of an elliptic fibration, Publ. RIMS. Kyoto Univ. 38 (2002),

451-649.

30$[1_{\overline{l}}]$A. Ogg, Cohornology of abelian$\mathrm{v}\mathrm{a}\mathrm{l}\cdot \mathrm{i}\mathrm{e}\mathrm{t}\mathrm{i}\mathrm{e}\mathrm{s}$over function fields, Ann. of Math. 76 (1962),

185-212.
[18] M. Reid, Decomposition of toric morphisms, in Arithmetic and Geornetry, Progress in

Math. vol. 36,$\mathrm{B}\mathrm{i}\mathrm{r}\mathrm{k}^{r}\mathrm{h}\ddot{\mathrm{a}}\iota 1\mathrm{s}\mathrm{e}1^{\cdot}$(1983), pp. 395-418.

[19] I. Shafarevich, Principal homogeneous spaces over function fields, AMS Translations 37(1964), 85–113.

[20] K. Ueno, Classification of algebraic varieties, , Compo. Math. 27 (1973), 277-342.
$\mathrm{I}$[21] –, Degeneration of elliptic surfaces and certain non-K\"ahler manifolds.’ in Classifi-

cation of algebraic and analytic manifolds, Progress in Math. vol. 39, Birkh\"a\iota lser (1983),

pp. 545-556.