数理解析研究所講究録
第 1897 巻 2014 年 1-20

1

対数的デルペッツォ曲面の分数的指数について

On the fractional indices for$\log$

del Pezzo surfaces

藤田健人*(京都大学数理解析研究所)
Kento Fujita (Research Institute for Mathematical Sciences, Kyoto University)

概要

本稿では，対数的デルペッツォ曲面について (特に分数的指数に着目した分類を主眼に置いて) 論じる．まず 1 章にて基本的な定義と対数的デルペッツオ曲面の分類の基本作戦を述べ，2 章にてその詳細を述べる．3 章では特に分数的指数が大きいときを論じる．最後に 4 章にて，個人的に興味深い例をいくつか述べる．

目次
1

2
2
3
5

定義及び作戦の概説

1.1
1.2
1.3
2

対数的デルペッツォ曲面
分類にむけて「分かりやすい」双有理射

6
6

基礎対基礎多重組

2.1
2.2
2.3

$(a, b)$-基礎対$(a, b)$-基礎多重組．8

長所短所垣

3

分数的指数が 1/2 以上のとき

12

4

例・予想

14
14
16
17

4.1

$S=\mathbb{P}(1,2,5)$のとき

4. り直線の存在しない例

4.

$3$

*

$r(S)$ と $i(S)$との関係

fujita@kurims.kyoto-u.ac.jp

1

2

1

定義及び作戦の概説
基礎体は標数任意の代数閉体$k$とする．また，極小モデル理論の用語は [KM98] に従って用いる．

1.1 対数的デルペッツオ曲面
対数的デルペッツォ曲面とそれに関するいくつかの不変量を定義する．正規射影代数曲
面 $S$ が対数的デルペッツォ曲面 ( $\log$ del Pezzo surface) であるとは， が高々ログ端$S$

末 ( $\log$-terminal) 特異点しか持たず，かつ反標準因子 $-K_{S}$ が豊富な ( -カルテイエ) 因子$\mathbb{Q}$であるということとする．(もし基礎体

$k$

が複素数体

$\mathbb{C}$のときは，正規代数曲面が高々ロ

グ端末特異点しか持たないというのは「高々商特異点しか持たない」ということと同値である事に注意する．) 対数的デルペッツオ曲面は有理曲面であることはよく知られている(例えば [Nak07]). 以下，対数的デルペッツオ曲面 $S$ に対し， の分数的指数 (fractional$S$

index) $r(S)$ 及び， ゴレンシュタイン指数 ( -Gorenstein index) $*1i(S)$ を，それ$\mathbb{Q}$$\mathbb{Q}-$

ぞれ以下で定める:: カルテイエ因子 on $S)\},$$i(S)$ $:= \min$ { $a\in \mathbb{Z}_{>0}|-aK_{S}$ がカルテイエ因子}.

$r(S)$ $:= \max\{r\in \mathbb{Q}_{>0}|-K_{S\mathbb{Q}}\sim rL(^{\exists}L$

事実 1.1. $S$ を対数的デルペッツオ曲面とする．

(1) [Fjt75] もし $r(S)>1$ なら， は以下のいずれかと同型:$S$$(r(\mathbb{P}^{1}\cross \mathbb{P}^{1})=2),$$\mathbb{P}^{2}(r(\mathbb{P}^{2})=3),$$\mathbb{P}(1,1, d)(d\geq 2)(r(\mathbb{P}(1,1, d))=1+2/d)$$\mathbb{P}^{1}\cross \mathbb{P}^{1}$. ここで， $(1, 1, d)$$\mathbb{P}$は重み (1, 1, d) の重み付き射影平面．

(2) もし $r(S)=1$ なら $i(S)=1$ となる 2. このような
$*$

$S$

は，[Bre80, Dem80, HW81]で分類されている．
のときは [AN88, AN89, AN06] にて，そして任意の(3) $i(S)=2$ なるは，に対しては [Nak07] にて分類されている 3.
のときは [OT12] にて分類されてい(4) $i(S)=3$ かつ $r(S)=2/3$ なる
は，Ik
$S$

$K$

$k=\mathbb{C}$

$*$

$S$

$=\mathbb{C}$る $*4.$

更に，2 次元ファノ帯域 (Fano spectrum) を，以下で定める:$FS_{2}:=$

$*1$

$*2$
$*3$
$*4$

{ $r(S)|S$ : 対数的デルペッツオ曲面}.

[FY14] や $[Fjtl4b]$ では，単に指数 (index) と呼んでいる．
[ $Fjtl4a$ , Proposition 3.5 (2)] による．これは自明ではない．注意 1.2 を見て頂きたい．
両者の分類の作戦は全く異なる．
分類の作戦は [AN88, AN89, AN06] と似ている．

2

32 次元ファノ帯域$FS_{2}$は，ACC, 即ち昇鎖列条件 (ascending chain condition) を満たし，更にその集積点 (accumulation point) の集合が $\{0\}\cup\{1/k|k\in \mathbb{Z}>0\}$ と一致することが$FS_{2}\cap(1, \infty)=\{1+2/d|d\in \mathbb{Z}>0\}$[Ale88] によって知られている．事実 1.1 (1) より，は分かっている．(更に，2 次元ファノ帯域の高次元版も [Ale91] や [HMX12, Corollary1.10] にて考察されている．)

1.2 分類にむけて$1/c\leq r(S)<1$ なる対数的デルペツツオ
ここでは，固定された自然数 $c\geq 2$ に対して，
曲面の同型類を全て特定したい，という観点で話を進める 5. まず，そのような に上の (豊富な) カルティエ因子$r(S)=b/a$ かつ及び対し，自然数が存在し，$-aK_{S}\sim bL_{S}$ が成立する．この $(a, b)$ のことをの多重指数 (multi-index) と呼び，かつこのをの基本カルテイエ因子 (fundamental Cartier divisor) という．今の$a=i(S)$$a=i(S)$ ととることができることにも注意する．
場合は仮定していなかったが，のとき，多重指数 $(a, b)$ は正規化されている (normalized) と言おう．
$*$

$S$

$a,$

$S$

$b$

$S$

$L_{S}$$S$$S$$L_{S}$

注意 1.2.

ここで，仮に $(a, b)$ が の正規化された多重指数だったとしても，$gcd(a, b)=1$$r(S)=1/2$ かつ，正規化された多重指数が $(2, 1)$ ではないとは限らない．実際例えば，が存在することが [ $Fjtl4a$ , Corollary 4.4 (1)] にて分かっている．例 4.4 も見て頂きたい．
$S$

$S$

以下，多重指数 $(a, b)$ の対数的デルペッツォ曲面 を如何にして理解するかのあらすじを，(詳しくは 2 章にて述べるとして) まずは大雑把に述べる．この作戦は，基本的に[Nak07] の作戦に基づいていて，更には $[Fjtl4a]$ , [FY14] 及び $[Fjtl4b]$ の作戦を 「組み合$S$わせた」 ようなものになっている．

Step 1.

$S$の極小特異点解消を $\alpha:Marrow S$ と書こう．
「 $S$ を理解する」 にあたり，

この 「 $M$ 及び射$\alpha$を与える線形系の組を理解する」 という発想に至るのは自然なことだと思う．ここで， を与える線形系」 を考えるということは，大体「 上の豊富因子$S$$r_{\alpha}$$-aK_{S}$の$\alpha$での引き戻し」 を考えることと同じようなことであることに注意しよう．なので，『 $M$ と $E_{M}:=-aK_{M/S}$ の組を考えることに帰着できる』 という発想に至る．こ-因子$K_{M/S}$ とは，-例外な $M$ 上のこで，のことである．こうして得ら$K_{M}-\alpha^{*}K_{S}$$\mathbb{Q}$$\alpha$れる組 $(M, E_{M})$ のことを 「 $(a, b)$ -基礎対」 と呼ぶ (詳しくは，2.1 章を見て頂きたい).

Step 2. では，どのようにして $(a, b)$ -基礎対 $(M, E_{M})$ を特定すればよいのだろうか？
この$M$$(-1)$ -曲線を潰していくことで，双有理は非特異射影有理代数曲面であるので，

射 $Marrow X$ であって $X$ は$\mathbb{P}^{2}$もしくは$(-n)$ -曲線をもつヒルツェブルフ曲面$*5$$\mathbb{F}_{n}$, となるようなものが取れる．(ここで$\mathbb{P}_{\mathbb{P}^{1}}(\mathcal{O}_{\mathbb{P}^{1}}\oplus \mathcal{O}_{\mathbb{P}^{1}}(n))$$\mathbb{F}_{n}$は，のことである．) なので，この

ただ，以下の作戦は汎用性が高く，上の仮定とは異なる様々な 「特別な対数的デルペッツオ曲面」 を調べ上げるのに役立つ作戦だろうと期待している．2.3 章も見て頂、きたい．

3

4$M$ に「戻した」 ときの対が $(a, b)$ -基礎対になるよと $E_{M}$ の像 $E_{X}$ の組 $(X, E_{X})$ で，$X$

うなものを取り扱いたくなる．しかし，ただ闇雲に $(-1)$ -曲線を潰していくだけでは，一般に因子 $E_{X}$ を $M$ 上に 「戻す」 操作がよく分からない．そこでこの射 $Marrow X$ をある

種の分かりやすい射の合成に 「分割」 して，因子$M$$E_{X}$

を数段階の分かりやすいプロセスで$M$ から，以下の双上に戻せられたらいいじゃないか，という発想に到達する．つまり，有理射たちを構成する:$M=M_{0}arrow^{1}M_{1}\phiarrow^{2}\phi$

ここで，各々の射ていて，更に $X$ は$\phi_{i}:M_{i-1}arrow M_{i}$$\mathbb{P}^{2}$

もしくは. . . $arrow M_{m}=X\phi_{m}.$は $(-1)$ -曲線の潰し方が 「分かりやすい」 ものとなっ$\mathbb{F}_{n}$となっている．要するに，「セーブポイント」 を何箇所か設ける，ということである．

以下，もう少し射れ $E_{M}$ 及び$L_{S}$の及び$M=M_{0}$ 上の因子の構成を詳しく見る．
を，それぞでの引き戻しで与える．このとき $K_{M_{0}}+L_{0}$ がネフ (nef) になるこ
$E_{0}$$\phi_{i}$$\alpha$$L_{0}$$M_{i-1},$ $E_{i-1}$ 及び $L_{i-1}$ までが構成されていてとが確認できる (命題 2.2). 以下帰納的に，かつ $iK_{M_{i-1}}+L_{i-1}$ がネフなるよう取れていたという仮定の下，射$\phi_{i}$を構成する．どのからどんどん $(i+1)K_{M_{i-1}}+L_{i-1}$ (の像) と負に交わように作るのかというと，$M_{i-1}$

る $(-1)$ -曲線を (そのような $(-1)$ -曲線が無くなるまで) 潰していき，$\phi_{i}$はその合成で定める．つまり，$\phi_{i}:M_{i-1}arrow M_{i}$は $((i+1)K_{M_{:-1}}+L_{i-1})$ -極小モデルプログラムのアウトプット

及びということに他ならない． 及びを，の像として定める．もし$(i+1)K_{M_{i}}+L_{i}$ がネフなら，射を作る作業に戻り，そうでないなら $m:=i$ とおいて
$m\leq c-1$
プロセスを終了する．以上が各の構成である．初めの仮定 $1/c\leq r(S)$ より，$X$ $:=M_{m}$ は
となって
もしくは
が証明できる．また錐定理 (cone theorem) より，$E_{i-1}$$L_{i}$$E_{i}$$L_{i-1}$$\phi_{i+1}$$\phi_{i}$$\mathbb{P}^{2}$$\mathbb{F}_{n}$いる．詳しくは命題 2.4 を見て頂きたい．
このように構成した射$iK_{M_{i-1}}+L_{i-1}$$\phi_{i}$がどの程度 「分かりやすい」 ものであるかを以下に述べる．

がネフであることと $((i+1)K_{M_{i-1}}+L_{i-l})$ -極小モデルプログラムでが得られていたということから，潰れる $(-1)$ -曲線と$L_{i-1}$$\phi_{i}$(の像) 等との交点数がはっきりしている．特に，$iK_{M_{i-1}}+L_{i-1}=\phi_{i}^{*}(iK_{M_{i}}+L_{i})$,$E_{i-1}=\phi_{i}^{*}E_{i}-(a-ib)K_{M_{i-1}/M_{i}}$が成立することが確かめられる．ここではネフなので，特に $-K_{M_{i-1}}$ は i-ネフとなる．一般に，非特異代数曲面の間の固有双有理射 $\pi:Varrow U$ が，もし 「 $-K_{V}$ が -ネ上のというのは次元閉部分スキーム
フ」 という条件を満たしていたなら，その射から完全に復元できる．どのような閉部分スキームなのかは次の 1.3 章でみる．射
$L_{i-1}$$\phi$

$\pi$

$\pi$

$\Delta\subset U$

4

$U$

$0$

5
(1.3 章の意味で) 対応する閉部分スキームをとおこう．(つまり， は $X$“上空” のスキームである．) また，$E_{X}:=E_{m}$ とかく．以上のようにして得られた多重組を，「長さ $m$ の $(a, b)$ -基礎多重組」 と呼ぶ (詳しくは，2.2 章を見て頂きたい). 対数的デルペッツオ曲面の分類を，このような対象を調べることに帰着させたわけである．4.1 章も合わせて見ると理解が深まると思う．

$\phi_{i}$に$\Delta_{i}\subset M_{i}$$\Delta_{i}$$(X, E_{X;}\Delta_{1}, \ldots, \Delta_{m})$

$S$

1.3

「分かりやすい」双有理射-条件」 という良い条件を満たす 次元ス
以下，「分かりやすい」 双有理射と，「キームとの対応を見よう． -条件は，一見すると分かりづらいように感じるが，慣れると非常に使い勝手の良い概念である．この章に書かれていることは全て [Nak07, \S 2] に基づく 6. 以下， を非特異代数曲面，
を
次元閉部分スキーム，そして対応するイ
デアル層をとする．各点に対し，$(\nu 1)$$0$$(\nu 1)$

$*$

$U$

$\Delta\subset U$$0$$P\in\triangle$$\mathcal{I}_{\Delta}$$\max\{\nu\in \mathbb{Z}_{>0}|\mathcal{I}_{\triangle}\subset m_{P}^{\nu}\}=1$の極を満たすとき， は-条件を満たすという．ここでとは， を定義する
大イデアル層のことである．更に， の点 での重複度 multを，アルティン局所環$(\nu 1)$$\triangle$$P$$\Delta$$\mathcal{O}_{U,P}$$P$$\mathfrak{m}_{P}$の長さで与え，そして$\Delta$$P\triangle$の次数 $\deg\Delta$ を

命題 1.3 $([Nak07,$ Proposition $2.9])$.

(1)$\mathcal{O}_{U}$$\sum_{P\in\triangle}$$\triangle\subset U$

multp$\triangle$

で与える．

が $(\nu 1)$ -条件を満たしているとしよの爆発 $Warrow U$ とその $W$ の極小特異点解
う．射 $\pi:Varrow U$ を， に沿った
消 $Varrow W$ との合成で定める (この射を， の 次元解消 (elimination) と$-K_{V}$ はいう). このとき，-ネフである．更に，点 $P\in\Delta$ に於いて multp $\Delta=k$$U$$\triangle$$0$$\triangle$

$\pi$

$\pi$

としたとき，集合論的な意味での$\pi^{-1}(P)$は，非特異有理曲線$k$本$\sum_{i=1}^{k}\Gamma_{P,k}$

よ

り成り，更にその双対グラフは以下のとおりである:$\Gamma_{P,1} \Gamma_{P,2} \Gamma_{P,k-1} \Gamma_{P,k}$$\mapsto 22---\infty 21$
ここで，双対グラフの各頂点内の自然数は，対応する曲線の自己交点数を $(-1)$ 倍
した値である 7.
$*$(2) 逆に，任意の非特異代数曲面の間の固有双有理射 $\pi:Varrow U$ であって $-K_{V}$ がネフとなるようなものに対し，$\mathcal{I}_{\Delta}:=\pi_{*}\mathcal{O}_{V}(-K_{V/U})$

キーム$\triangle\subset U$

は $(\nu 1)$ -条件を満たし，更に射

$\pi$

は

$\Delta$から定まる $U$ の閉部分スの$0$次元解消と一致する．

$*6[Fjtl4a, \S 2.1]$ も見て頂きたい．
$*7$

因みに射 $Varrow W$ は，点 $P$ 上空では$\Gamma_{P,1},$$\ldots,$$\Gamma_{P,k-1}$

5

が潰れ，

$\pi-$$A_{k-1}$型特異点が現れる．

6
ここで今一度$P\in\triangle$$(\nu 1)$

-条件について考え直す．

$\Delta\subset U$

が $(\nu 1)$ -条件を満たし，かつ点にて multp $\Delta=k$ だったとしよう．簡単の為，$\Delta$

このとき，正則局所環
で，$U_{1}arrow U$$\mathcal{O}_{U,P}$の正則巴系 $x,$$y$

上に一点 $P$ しかないとする．

が存在し，$\mathcal{I}_{\Delta,P}=(x, y^{k})$と書ける．ここ$e\subset U_{1}$を (被約構造を入れた) 点 $P$ に沿った爆発とし，$\mathcal{I}_{\Delta}\mathcal{O}_{U_{1}}=\mathcal{O}_{U_{1}}(-e)\otimes \mathcal{I}_{\Delta_{1}}$直接的な計算より，$\mathcal{O}_{U_{1},P_{1}}$を例外曲線すると，
かつ， 上の点はちょうど一点 (君とかく), と書ける．更に，$\Delta_{1}$のある正則巴系$x_{1},$に沿ったる．次に (被約構造を入れた) 点に持ち上げる．これを 回繰り返した$P_{1}$$y_{1}$$U_{1}$

によって$\mathcal{I}_{\Delta_{1},P_{1}}=(x_{1}, y_{1}^{k-1})$の爆発 $U_{2}arrow U_{1}$ をとり，再びと書け$\mathcal{I}_{\Delta_{1}}$を$k$$\mathcal{O}_{U_{2}}$$U_{k}arrow U_{k-1}arrow\cdotsarrow U_{1}arrow U$の合成 $U_{k}arrow U$ こそが実は$\triangle\subset U$の $0$ 次元解消と一致する$*$

8. こちらの

$0$

次元解消の

捉え方の方が，幾何的に理解しやすいと思う．

2 基礎対・基礎多重組
1.2 章で述べた基礎対及び基礎多重組を定義する．この章では，$a>b$ を満たす自然数
$b$

$a,$

を固定する．

2.1$(a, b)$-基礎対対 $(M, E_{M})$ が以下の条件$(\mathcal{B}1)-(\mathcal{B}5)$$(a, b)$ -基礎対 $((a, b)$ -basic pair)を満たすとき，であるという:とは同型ではない．
は非特異射影有理曲面で， やのどの既約成分の係数
は $M$ 上のゼロでない有効な単純正規交叉因子で，$\mathbb{P}^{2}$$(\mathcal{B}1)M$$\mathbb{F}_{n}$$(\mathcal{B}2)E_{M}$$E_{M}$

も $a-1$ 以下の自然数．
$(\mathcal{B}3)M$

上の (カルティエ) 因子 $L_{M}((a, b)$ -基礎対 $(M, E_{M})$ の基本因子 (fundamen-$bL_{M}\sim-aK_{M}-E_{M}$ を満たす．
tal divisor) という．) が存在し，$(L_{M}\cdot E_{0})=0$ が成立．
に対しても，$(\mathcal{B}5)K_{M}+L_{M}$ はネフで，かつ $(K_{M}+L_{M}\cdot L_{M})>0$ が成立．

$(\mathcal{B}4)E_{M}$のどの既約成分

もし更に以下の条件$($$(\mathcal{B}6),$$E_{0}$$(\mathcal{B}7)$$(M, E_{M})$ は正規化された $(a, b)$ -基礎対を満たすならば，

normalized $(a, b)$ -basic pair) であるという:$(\mathcal{B}6)a,$

は

$*8$

$b$

$t$

を割る任意の自然数 $t\geq 2$ に対し，少なくとも一つの $E_{M}$ の既約成分の係数で割れない．

[Nak07, Lemma 2.4] を見て頂きたい．

6

7$(\mathcal{B}7)(M, E_{M})$の基本因子 $L_{M}$ はこれ以上 Pic $M$ 内で割れない．つまり，自然数$u$

及び $M$ 上のカルティエ因子 $L’$ が $L_{M}\sim uL’$ を満たすならば $u=1$ となる，ということ．
$(a, b)$ -基礎対及び正規化された注意 2.1. もし $b/a\geq 1/2$ だと，$(a, b)$-基礎対の定義$b/a\geq 1/2$ なら$[Fjtl4a]$ での定義と変わらない．なぜなら，の条件は他の条は，件から自動的に成立してしまうためである 9. ただ，[FY14] や $[Fjtl4b]$ での -基礎対$(\mathcal{B}7)$

$*$

$a$

の部分が) 微妙に異なる．
(a-basic pair) の定義と今の $(a, 1)$ -基礎対の定義は (条件
対 $(M, E_{M})$ が，[FY14] や $[Fjtl4b]$ の意味での -基礎対でかつ $M$ がヒルツェブルフ曲$(\mathcal{B}1)$$a$$(a, 1)$ -基礎対となる，ということが同値である．
面と同型でない，ということと，

1.2 章で言及したように，この定義は対数的デルペッツオ曲面の極小特異点解消由来で得られた対の重要な性質を抽出したものである．更に，$(a, b)$ -基礎対から対数的デルペッ
ツォ曲面を「復元」できる．これを見よう．
命題 2.2.

(1) 対数的デルペッツォ曲面$S$$(a, b)$ を多重指数として持ち，かつが，$\alpha:Marrow S$ をが $S$ の基本カルティエ因子だったとしよう．

$S$$L_{S}$の極小特異点解

消，そして $E_{M}:=-aK_{M/S}$ とおくと，対 $(M, E_{M})$ は $(a, b)$ -基礎対となり，$\alpha^{*}L_{S}$がその基本因子となる．もし $(a, b)$ が$(M, E_{M})$$S$の正規化された多重指数だったなら，対は正規化された $(a, b)$ -基礎対となる．

$L_{M}$(2) 対 $(M, E_{M})$ を $(a, b)$ -基礎対，をその基本因子とする．このとき，双有理射が存在し， は対数的デルペッ
は$r(S)$ は $b/a$ の自然数倍でかつ 1 未満，, そして射ツオ曲面，の極小特異点解消となる．もし対 $(M, E_{M})$ が正規化された $(a, b)$ -基礎対なら，$\alpha:Marrow S$

及び $S$ 上の豊富なカルティエ因子$S$$L_{S}$$L_{M}\sim\alpha^{*}L_{S}$$\alpha$$S$$(a, b)$は $S$ の正規化された多重指数となる．

証明．(1) $L_{M}:=\alpha^{*}L_{S}$ とかく．対 $(M, E_{M})$ が条件$(\mathcal{B}1)-(\mathcal{B}4)$を満たすことは容易にわかるので，以下を示そう．まず $K_{M}+L_{M}$ がネフであることをいおう．もし$(K_{M}+L_{M})$ -負な$K_{M}+L_{M}$ がネフでないとすると，錐定理 [Mor82, Theorem 2.1] より，$NE$ $(M)$ が存在．この端射線が $(-1)$ -曲線だったなら，
を張る曲線
端射線
$(K_{M}+L_{M}\cdot\gamma)<0$ より $(L_{M}\cdot\gamma)=0$ , つまりは射で潰れることになり， が極小特Speck なる射を誘異点解消だったことに矛盾．よってこの端射線は -束もしくは$M$ は有理曲面ゆえ
もしくはと同型となり，(既にチェック済みの) 条件
導．
に矛盾．よって $K_{M}+L_{M}$ はネフであることがわかった．次に $(K_{M}+L_{M}\cdot L_{M})>0$ をが$(K_{M}+L_{M}\cdot L_{M})=0$ でなくてはならない．
いおう．もしそうでないとすると，$K_{M}+L_{M}\equiv 0$ . (既にチェック済みの) 条件
ネフかつ巨大なので，ホッジ指数定理より，$(\mathcal{B}5)$$R$$R\subset$$\gamma\subset M$$\mathbb{P}^{1}$$\mathbb{P}^{2}$$\alpha$$\alpha$$\gamma$$\mathbb{P}^{2}arrow$$(\mathcal{B}1)$$\mathbb{F}_{n}$$L_{M}$$*9$

補題 2.7 や 4.2 章を見て頂きたい．

7

8$(\mathcal{B}3)$

及び$(L_{M}^{2})>0$

より$(\mathcal{B}4)$

そして $0=(L_{M}\cdot E_{M})=(a-b)(L_{M}^{2})$ となる．

$E_{M}\equiv(a-b)L_{M}$

かつ $a-b>0$ よりこれは矛盾．よって $(K_{M}+L_{M}\cdot L_{M})>0$ もわかり，条件も確認できた．
「正規化された」 のくだりもすぐわかる．
(2) これは基底点自由性定理 (base point free theorem) [KM98, Tan12] より従う．詳しくは，[ $Fjtl4a$ , Propositions 2.12 and 3.7] を見て頂きたい．口$(\mathcal{B}5)$2.2$(a, b)$-基礎多重組$1\leq i\leq a-1$を自然数とする．組$(M_{i}, E_{i};\Delta_{1}, \ldots, \Delta_{i})$が以下の条件$(\mathcal{F}1)-(\mathcal{F}4)$を満たすとき，長さ の $(a, b)$ -擬基礎多重組 $((a, b)$ -pseud-fundamental multiplet oflength i) であるという:$i$は非特異射影有理曲面で，$(\mathcal{F}1)M_{i}$$(\mathcal{F}2)$$E_{i}$

は$M_{i}$

上のゼロでない有効因子．

の基本因子 (fundamental
磁上の (カルテイエ) 因子$iK_{M_{i}}+$ 瓦がネフ，そ$bL_{i}\sim-aK_{M_{i}}$divisor) という．) が存在し，瓦が成立し，
に対し $((i+1)K_{M_{i}}+L_{i}\cdot\gamma)\geq 0$ が成立．
して任意の $(-1)$ -曲線
は次元閉部分スキームで， -条件を満たす．
$L_{i}((M_{i}, E_{i;}\Delta_{1}, \ldots, \Delta_{i})$-$\gamma\subset M_{i}$$(\mathcal{F}3)\Delta_{i}\subset M_{i}$$(\nu 1)$$0$$(\mathcal{F}4)\phi_{i}:M_{i-1}arrow M_{i}$を$\Delta_{i}$とき，以下が成立:
もし $i=1$ なら，対$\bullet$$\bullet$の $0$$E_{i-1};=\phi_{i}^{*}E_{i}-(a-ib)K_{M_{i-1}/M_{i}}$ とした
次元解消，$(M_{0}, E_{0})$は $(a, b)$ -基礎対．

もし $i\geq 2$ なら，組 $(M_{i-1}, E_{i-1};\Delta_{1}, \ldots, \triangle_{i-1})$ は長さ $i-1$ の $(a, b)$ -擬基礎

多重組．

更に，もし $(i+1)K_{M_{i}}+L_{i}$ がネフでないなら，この組$(M_{i}, E_{i};\Delta_{1}, \ldots, \Delta_{i})$

を長さ

$i$

の

-基礎多重組 $((a, b)$ -fundamental multiplet of length i) という．また，長さの $(a, b)$ -基礎多重組
が，対応する 10(a, b)-基礎対 $(M_{0}, E_{0})$ が正規化されているとき，正規化された (normalized) 長さ の $(a, b)$ -基礎多重組という．便の $(a, b)$ -擬基礎多重組と呼ぶときがある．
$(a, b)$ -基礎対のことを長さ
宜上，$(a, b)$$i$$*$$(M_{i}, E_{i};\triangle_{1}, \ldots, \Delta_{i})$

$i$

$0$

$[Fjtl4a]$ での $(a, b)$ -基礎三重注意 2.3. もし $b/a\geq 1/2$ $(もしくは，(a, b)=(2,1))$ だと，組 $((a, b)$ -fundamental triplet) の定義 (もしくは，[Nak07] での基礎三重組 (fundamental

triplet) の定義) は，ここでの $(a, b)$ -基礎多重組の定義よりも少し仮定が強い．これは，与えられた異なる二つの三重組が同じ $(a, b)$ -基礎対を誘導することを避けるべく，重複を取り除く仮定をつけている為である．また，[FY14] や $[Fjtl4b]$ での -基礎多重組$a$(a-fundamental multiplet) の定義と，ここでの $(a, 1)$ -基礎多重組の定義とは，注意 2.1 で言及した程度の差異しかない．[FY14] では，それぞれ長さ 1, 2 の 3-基礎多重組に (重複
$*10$

条件

$(\mathcal{F}4)$から帰納的に得られるもの．

8

9を取り除くべく) 細かい仮定を課した，それぞれ中間三重組 (median triplet), 底四重組
(bott $om$ tetrad) なる対象を分類している 11.
$*$$(a, b)$ -基礎対と $(a, b)$ -基礎多重組を結びつける重要な主張である．
次の命題及び系は，

命題 2.4.

$(M_{i}, E_{i};\triangle_{1}, \ldots, \triangle のを長さ i の (a, b)$

に対し，

を

$\phi_{j}:M_{j-1}arrow M_{j}$$\triangle_{j}$の$0$-擬基礎多重組，また任意の $1\leq j\leq i$$E_{j-1}:=\phi_{j}^{*}E_{j}-(a-jb)K_{M_{j-1}/M_{j}},$
次元解消，を $(M_{j-1}, E_{j-1;}\triangle_{1}, \ldots, \triangle_{j-1})$ の基本因子とする．

$L_{j-1}$(1) $(i+1)K_{M_{i}}+$ 賜がネフだったとしよう．このとき $i<a/b-1$ かつ，$iK_{M_{i}}$はネフかつ巨大．更に，非特異射影代数曲面の間の双有理射
存在し，以下を満たす:$\bullet$$(\nu 1)$は$\bullet$-条件を満たす$\Delta_{i+1}$$E_{i+1}$次元閉部分スキーム $\Delta_{i+1}\subset M_{i+1}$ が存在し，射が$\phi_{i+1}$の $0$ 次元解消に一致する．

$:=(\phi_{i+1})_{*}E_{i},$$1)b)K_{M_{i}/M_{i+1}}$$\bullet$$0$

十現$\phi_{i+1}:M_{i}arrow M_{i+1}$$L_{i+1}$$:=(\phi_{i+1})_{*}L_{i}$$E_{i}=\phi_{i+1}^{*}E_{i+1}-(a-(i+$とおくと，かつ $L_{i}=\phi_{i+1}^{*}L_{i+1}-(i+1)K_{M_{i}/M_{i+1}}$ が成立．

組 $(M_{i+1}, E_{i+1};\triangle_{1}, \ldots, \triangle_{i+1})$ は長さ $i+1$ の $(a, b)$ -擬基礎多重組で，$L_{i+1}$
はその基本因子．

(2) $(i+1)K_{M_{i}}+L_{i}$ がネフでないとしよう．つまり，$(M_{i}, E_{i;}\triangle_{1}, \ldots, \triangle_{i})$基礎多重組だったとしよう．このとき $M$ は$((i+1)K_{M_{i}}+L_{i}\cdot l)<0$

ときは

(3)

$L_{i}$$\mathbb{P}^{1}$となる．ここで$l$は$\mathbb{P}^{2}$もしくは$M=\mathbb{P}^{2}$$\mathbb{F}$が $(a, b)-$n. と同型で，そしてのときは直線，$M=\mathbb{F}_{n}$の-束のファイバーとする．

はネフかつ巨大である．更に，以下が成立 :$\bullet (L_{i}\cdot E_{i})=\sum_{j}^{i_{=1}}j(a-jb)\deg\Delta_{j}.$$\bullet (K_{M_{i}}+L_{i}\cdot L_{i})-(K_{Mo}+L_{0}\cdot L_{0})=\sum_{j}^{i_{=1}}j(j-1)\deg\triangle_{j}.$$\bullet$

任意の$E_{i}$$(L_{i} \cdot C)=\sum_{j=1}^{i}j\deg(\Delta_{j}\cap C^{j})$ .
の非特異な既約成分 $C$ に対し，

ここで $C^{j}\subset M_{j}$ は $C$ の $M_{j}$証明．帰納的に，もし$i\geq 1$なら，$L_{i-1}$での固有変換 (proper transform) とする．

がネフかつ巨大で $L_{i-1}=\phi_{i}^{*}L_{i}-iK_{M_{i-1}/M_{i}}$ , とがネフかつ巨大なのは明らか．
してよい．なので(1) $(i+1)K_{M_{i}}+L_{i}$ がネフとする．このとき $a((i+1)K_{M_{i}}+L_{i})\sim-(i+1)E_{i}+$$L_{i}$$(a-(i+1)b)L_{i}$ なので，
$a-(i+1)b>0$ つまり$i<a/b-1$ でなくてはならない．更$(i+1)(iK_{M_{i}}+L_{i})=i((i+1)K_{M_{i}}+L_{i})+L_{i}$ より，$iK_{M_{i}}+L_{i}$ はネフかつ巨大であに，る．以下，$((i+2)K_{M_{i}}+L_{i})$ -極小モデルプログラムを走らせる．つまり，$(i+2)K_{M_{i}}+L_{i}$の像との交点数が負な $(-1)$ -曲線が無くなるまで，そのような曲線をどんどん潰していく．1.2 章でみたように，各ステップで $(i+1)K_{M_{i}}+L_{i}$ の像と潰れる $(-1)$ -曲線との$*11$

この報告集に収録されている [Yas14] も合わせて見て頂きたい．

9

10
交点数は

$O$

となる．なので，この極小モデルプログラムのアウトプット (射の合成) をと書くと，$(i+1)K_{M_{i}}+L_{i}=\phi_{i+1}^{*}((i+1)K_{M_{i+1}}+L_{i+1})$ となる．特はには i l-ネフ．命題 1.3 で見たように，射-条件を満たす閉部分
スキーム$E_{i}=\phi_{i+1}^{*}E_{i+1}-(a-(i+1)b)K_{M_{i}/M_{i+1}}$ かつが対応する．
がゼロでないことは以上のこと$L_{i}=\phi_{i+1}^{*}L_{i+1}-(i+1)K_{M_{i}/M_{i+1}}$ であることや，$\phi_{i}:M_{i}arrow M_{i+1}$$-K_{M_{i}}$$\phi_{i+1}$$\phi$$+$$(\nu 1)$$\triangle_{i+1}\subset M_{i+1}$$E_{i+1}$

からわかる．

(2) 錐定理 [Mor82, Theorem 2.1] より従う．
(3) $\deg\Delta_{j}=-(K_{M_{j-1}/M_{j}}^{2})$ や $\deg(\Delta_{j}\cap C^{j})=(K_{M_{j-1}/M_{j}}\cdot C^{j-1})$ といった等式 12$*$からすぐわかる口

これより直ちに次が従う．
系 2.5.

$(M, E_{M})$を $(a, b)$ -基礎対とする．このとき，ある自然数 $1\leq m<a/b$ 及び長さ$m$の $(a, b)$ -基礎多重組 $(X, Ex;\Delta_{1}, \ldots, \Delta_{m})$る$(a, b)$が存在し，$(X, Ex;\Delta_{1}, \ldots, \triangle_{m})$に対応す-基礎対は $(M, E_{M})$ と同型．

を満実際に基礎多重組を分類するにあたり，「戻した」 対 $(M, E_{M})$ が条件たしているかをの情報から確認するのは容易である．そして，一見「 $K_{M}+L_{M}$ がネフ」 をチェックするのは大変そうに見える．しかし，以すると条件下の補題 13 から，実はそのチェックも容易である．
$(\mathcal{B}1)-(\mathcal{B}4)$$(X, E_{X;}\Delta_{1}, \ldots, \Delta_{m})$$(\mathcal{B}5)$$*$

補題 2.6. 自然数 $a,$

$b$

$X$
$E,$ $L$ を $X$ 上
及び $1\leq i\leq a/b$ を固定．
を非特異射影曲面，$bL\sim-aK_{X}-E$ を満たしつつ $iK_{X}+L$ がネフとする．また， -条件
の因子で，
とその
次元解消 $\phi:Yarrow X$ が与えられ，を満たす次元閉部分スキーム$(\nu 1)$$\Delta\subset X$$0$$E_{Y}:=\phi^{*}E-(a-ib)K_{Y/X}$$E_{Y}$$0$が有効因子で，更に 因子 $L_{Y}:=\phi^{*}L-iK_{Y/X}$ が任意のの既約成分 $C$ に対して $(L_{Y}\cdot C)\geq 0$ だったとしよう．このとき，任意の $0\leq j\leq i$に対して $jK_{Y}+L_{Y}$ はネフである．
$iK_{Y}+L_{Y}=\phi^{*}(K_{X}+L)$$jK_{Y}+L_{Y}$ がネフでないとしよう．
証明．ある $0\leq j\leq i$ に対し，
$j<i$ でなくてはならない．既約曲線 $B\subset Y$ で $(jK_{Y}+L_{Y}\cdot B)<0$ なるものをとゆえ，る．このとき，$0>(a-ib)(jK_{Y}+L_{Y}\cdot B)$$=(a-jb)(iK_{Y}+L_{Y}\cdot B)+(i-j)(E_{Y}\cdot B)\geq(i-j)(E_{Y}\cdot B)$

なので， は$B$$E_{Y}$の既約成分．よって特に $(L_{Y}\cdot B)\geq 0$ . しかし，$0>i(jK_{Y}+L_{Y}\cdot B)=j(iK_{Y}+L_{Y}\cdot B)+(i-j)(L_{Y}\cdot B)\geq 0$
$*12$
$*13$

[Nak07, Lemma 2.7] を見て頂きたい．
[$Fjtl4b$ , Proposition 3.13] と本質的に同じ．

1011となり矛盾．よって任意の $0\leq j\leq i$ に対して $jK_{Y}+L_{Y}$ はネフ．

$\square$$(a, b)$ -基礎多重組がいつ正規化されているかを判定するにあたっての簡単な十最後に，分条件をみる．

補題 2.7.

$(a, b)$-基礎多重組$(X, E_{X};\triangle_{1}, \ldots, \triangle_{m})$及びその基本因子$L_{X}$

が以下を満たしていたとする :

(1)

$b$

$a,$

は

(2)

$t$

を割る任意の自然数 $t\geq 2$ に対し，少なくとも一つのの既約成分の係数で割れない．

{$r$$:= \max$$s$$:= \min\{u|\Delta_{u}\neq\emptyset\}$

このとき$E_{X}$$t\in \mathbb{Z}_{>0}|$$L_{X}\sim tL’$ }, そしてあるカルティエ因子 $L’$ on $X$ が存在し，$gcd(r, s)=1$ となる．
とおいたとき，は，正規化された $(a, b)$ -基礎多重組である．

$(X, E_{X};\triangle_{1}, \ldots, \triangle_{m})$$(M, E_{M})$ を対応する証明．仮定 (1) より，条件が成立．条件を確認しよう．
$\phi_{s}:Marrow M_{S}$ を$(a, b)$ -基礎対とし，のを $(M, E_{M})$ の基本因子とする．また，$(\mathcal{B}6)$$(\mathcal{B}7)$$L_{M}$次元解消とする．ある$\triangle_{s}$及び $M$ 上のカルティエ因子$t\in \mathbb{Z}_{>0}$$L_{M}’$$0$が存在し $L_{M}\sim tL_{M}’$を-例外な $(-1)$ -曲線とすとかけたとしよう．このとき， よ の約数．更に，
よると，命題 2.4 より $(L_{M}\cdot\Gamma)=s$ が成立．つまりの約数でもある．仮定 (2) より，$t=1$ しかありえない．よって条件が確認できた．
$t\ovalbox{\tt\small REJECT}$$\Gamma\subset M$

$r$

$t$

$\ovalbox{\tt\small REJECT}$$\phi_{S}$$s$$\square$$(\mathcal{B}7)$

2.3 長所・短所
以上のアルゴリズムで対数的デルペッツォ曲面を組織的に分類する，というわけだが，このアルゴリズムには長所短所がある．まず，長所としては，何といっても の同型類を全て調べ上げることができるという点にある．つまり例えば，物凄く時間がかかるとはいえ (固定された自然数に対し) $i(S)=a$ なる任意の対数的デルペッツォ曲面が分類でからきる．また，基礎対$S$$a$$(M_{0}, E_{0})$$M_{0}arrow M_{1}arrow\cdotsarrow M_{m}$に到達したとすると， から $M_{m-1}$ までの射は，から一意に決まる．なぜなら，命題 2.4 (1) より，任意の$0\leq i\leq m-1$ に対し $iK_{M_{i}}+L_{i}$ がネフかつ巨大だからである．つまり，$1\leq i\leq m-1$
なる列を経て長さ $m$ の基礎多重組 $(M_{m}, E_{m};\Delta_{1}, \ldots, \Delta_{m})$$M_{0}$$(M_{0}, E_{0})$に対し，$M_{i}$

はProj $\sum_{n=0}^{\infty}H^{0}(M_{i-1}, \mathcal{O}_{M_{i-1}}(n(iK_{M_{i-1}}+L_{i-1})))$$M_{m-1}arrow M_{m}$ のプロセスのの極小特異点解消に一致する．なので，重複が生じうるのは，みなので，そのステップのみを注意深く議論しておけば，リストの重複を極力避けること

1112ができる．実際，[Nak07] や $[Fjtl4a]$ では， の同型類を重複なしで分類することに成功しており，また [FY14] では $mK_{M_{m}}+L_{m}$ の小平次元によって重複を組織的に排除する
試みがなされている．更に，このアルゴリズムは，(様々な意味で) 「突飛」な対数的デル$S$$i(S)=a$
ペッツオ曲面を調べ上げることに適している．例えば，$[Fjtl4b]$ ではこの方法で，
かつ $(-K_{S}^{2})\geq 2a$ なる任意の $S$ を特定することに成功している．更に，このアルゴリズ

ムの長所としては，(任意標数での) 対数的デルペツツオ曲面の例を作ることに非常に優れていることにある．実際，4 章でいくつかの例を簡単に作り出すことに成功している．
では，短所はというと，アルゴリズムが複雑になってしまうという点にある．先程$i(S)=a$ なる任意の対数的デルペツツォ曲面が分類できると主張したが，それは現実的ではない．
「セーブポイント」にあたる中継点を何箇所か経て基礎対を誘導するようなものを考えなくてはならないので，次の章で述べる $r(S)\geq 1/2$ のときや [FY14] で考えた$i(S)=3$ くらいの中継点が少ない場合でギリギリ (現実的な時間内に) できる，という認識でいる．コンピュータ上でできてしまうようなアルゴリズムに改良できたらいいのだが，今のところ基礎多重組の中の因子の構造を特定するにあたり良い方法が見いだせていな$い^{}*14.$

3 分数的指数が 1/2 以上のときで$[Fjtl4a]$ の結果を概説する．つまり，対数的デルペッツォ曲面
この章では，$1/2\leq r(S)<1$ なるものを全て分類しようという目的で考察する． の正規化された多重指数を $(a, b)$ とし， に対応する正規化された $(a, b)$ -基礎対を $(M, E_{M})$ , そし
$S$

$S$

$S$

て正規化された $(a, b)$ -基礎多重組 $(X, E_{X};\Delta)$ で対応する $(a, b)$ -基礎対が $(M, E_{M})$ と

15. $\phi:Marrow X$ を$(a, b)-$次元解消とする．系 2.5 より，基礎多重組の長さは必ず 1 になることに注意する．更に， を $(X, E_{X};\Delta)$ の基本因子とする．以下，どのようにして $(X, E_{X};\Delta)$ の構造を特定するのかを見る．全部やる,のときのみ考察する．自然数を，のは大変なので，$k:=\deg\triangle$及び(ん) なるよう定義する．そしてとおく．条件
命題 2.4 (3) の不等式 $(Kx+L_{X}\cdot L_{X})>0$ より，$hb=3a-e$ かつ $h\geq 4$ が成立す
$h=4$ または 5 しかありえない．更に，命題$0<e=3a-hb\leq(6-h)b$ より，る．
$(L_{X}\cdot E_{X})=(a-b)\deg\Delta$ , つまり $b/a=(3h-k)/(h^{2}-k)$ が成立する．
2.4 (3) より，なるものを一つとる$*$$\Delta$の$0$$L_{X}$$X=\mathbb{P}^{2}$

$e,$

$h$

$\mathcal{O}_{X}(E_{X})\simeq \mathcal{O}_{\mathbb{P}^{2}}(e)$$(\mathcal{F}2)$$\mathcal{O}_{X}(L_{X})\simeq \mathcal{O}_{\mathbb{P}^{2}}$$h^{2}-k>0$ に注意) もし $h=4$ なら，$e>0$( $\phi^{*}L_{X}-K_{M/X}$ がネフかつ巨大なので，より $b/a<3/4$ , そして $b/a=(12-k)/(16-k)$ . そして $h=5$ なら，$b/a<3/5$ かつ$*14r(S)\geq 1/2$ のときは主張 3.2 で言及している．

$*15[Fjtl4a]$ では $(-E_{M})$ -極小モデルプログラムを，そしてこの報告集では $(2K_{M}+L_{M})$ -極小モデルプロ
グラムを走らせて $(X, E_{X};\Delta)$ を得ている．構成が違うように見えるが，プログラムの各ステップを見れば，両者全く同じ操作であることが分かる．

12

13$b/a$ の可能性は$b/a=(12-k)/(16-k)$ . よって，

$h=4$ なら 11/15, 10/14, 9/13, 8/12, 7/11, 6/10, 5/9, 4/8$h=5$ なら 14/24, 13/23, 12/22, 11/21, 10/20に絞られる 16.

$b/a$ (つまり対応する対数的デルペッツオ曲面の分数的指数
つまり，$X$ がのときは有限通りの可能性しかないことが簡単に確認できた．

$*$$r(S))$$\mathbb{F}_{n}$

$S$

は，

$X=\mathbb{P}^{2}$のときも $b/a$ の可能性は上と同様の議論から (各 $n$ に対し) 有限通りしかないことがチェツクできる．そして各 $b/a$ の候補に対し，分数的指数が丁度 $b/a$ となる対数的デル
を (一つだけでよいので) 構成する，といった手順によって，比較的簡単
ペツツォ曲面$S$(しかしそれなりに大変) に以下は示すことができる:
定理 3.1 $([Fjtl4a,$ Corollary $4.3])$. 以下が成立 :$FS_{2}\cap(1/2,1)=\{\frac{2s+t}{4s+t} s\in \mathbb{Z}>0, t\in\{4,5,6\}\}.$のときどのようにの成分
ただ，この章の目的は の分類であった．以下，を特定するのかについてのみを述べる．というのも， の候補さえ絞られてしまえば，あとは (どこを爆発させるのか，にあたる)の構造については容易に特定できる為である．
$X=\mathbb{P}^{2}$$S$$E_{X}$$E_{X}$$\triangle$$[Fjtl4a, \S 4]$ の方法を簡略化したものである 17.
以下で述べる方法は，$*$

主張 3.2. 任意の$E_{X}$の既約成分 $C$ をとる．このとき $C$ は直線もしくは二次曲線．更に，もし $h=5$ なら $C$ は直線しかありえない．
のでの係数を証明． の次数を , そしてとする．更に $C^{M}\subset M$ を，$(M, E_{M})$ のの $M$ での固有変換とする．このとき $e_{0}d\leq e=3a-hb$ に注意．
より基本因子 $L_{M}:=\phi^{*}L_{X}-K_{M/X}$ ととの交点数は条件だった．よっ$C$$d$$E_{X}$$C$$e_{0}$$C$$C$$(\mathcal{B}4)$$0$$(C^{2})-((C^{M})^{2})=$
更に，種数公式 (genus formula) より，$(K_{M/X}\cdot C^{M})+2p_{a}(C)-2p_{a}(C^{M})$ が成立．
は非特異有理曲線なので，$-((C^{M})^{2})=$て $(K_{M/X} .

C^{M})=hd$ .

$C^{M}$$bL_{M}\sim-aK_{M}-E_{M}$ 及び $(E_{M}\cdot C^{M})\geq e_{0}((C^{M})^{2})$ 故$(h-3)d+2$ がわかった．他方，$2a\geq(a-e_{0})(-((C^{M})^{2}))$ . これらの式と $1/2\leq b/a$ を，
を消去す
及び
に，
る方向で組み合わせることで，直ちに $((h-3)d+2)(6-h)\geq 2d^{2}(h-3)$ が導出される．
$((C^{M})^{2})$$h=4$ なら $d=1$ もしくは 2, そして $h=5$ なら $d=1$ がわかった
よって，$e_{0}$□

この主張 3.2 により， の構造がかなり限定されることがわかる．更に，この証明を読んで頂ければわかるように， の既約成分での係数についても強い制約がある．なの$E_{X}$$E_{X}$

$*16$

$C$

$h=4$ なら 7/11, 3/5, 5/9,
もちろん，上記のリストは「ただ値の可能性を絞った」だけで，実際 $b/a$ は，

1/2, そして $h=5$ なら 1/2 しかありえない．[ $Fjtl4a$ , Claim 4.5] を見て頂きたい．
$*17[Fjtl4a]$ では，極小特異点解消 $\alpha;Marrow S$ で潰れる任意の曲線まで考察している．

13

14で， の既約成分の個数も 「高が知れている」ので，ある．以下 $[Fjtl4a]$ の結果を証明なしで記しておく．
$E_{X}$の構造が完全に特定できるので$E_{X}$

定理 3.3 $([Fjtl4a,$ Theorems $4.1 and 4.2])$. 対数的デルペッツオ曲面$[1/2,1)$$S$

で $r(S)\in$

なるものの同型類を全て分類した．ここでの 「分類」 の意味は， が対応する正規化された基礎多重組 (に，重複を除去するため少し条件を増やしたもの) の同型類を全て決定した，の意味である．実際，([Nak07] で考察された たちを除く) の同型類の集
$S$

$S$

$S$

合ど上記の意味での正規化された基礎多重組の同型類の集合の間に一対一対応がある．
系 3.4. 対数的デルペッツォ曲面 $S$ が，$r(S)=b/a\in[1/2,1)(a, b\in \mathbb{Z}_{>}O)$ と書けたと$-2aK_{S},$ $-3aK_{S}$ , もしくは $-5aK_{S}$ のうち少なくともーつはカルティする．このとき，

エ因子となる．

注意 3.5. 因みに，[ $Fjtl4a$ , Theorem 4.1] の分類の系として，以下がわかる (敢えて通分していない):{ $r(S)|S$ : トーリック対数的デルペッツォ曲面}$\cap$(1/2, 1)$= \{\frac{2s+t}{4s+t} s\in \mathbb{Z}_{>0}, t\in\{4,6\}\}.$

なので，2 次元ファノ帯域を考える場合，トーリック多様体だけ考えていては足りない．

4 例・予想この章では，個人的に面白いと思う例及び関連する予想について述べる．トーリック多様体の用語は [Fu193] に従う．この章では，格子及びを固定し$N:=\mathbb{Z}^{\oplus 2}$$N_{\mathbb{R}}:=N\otimes_{\mathbb{Z}}\mathbb{R}$

て考える．

4.1

$S=\mathbb{P}(1,2,5)$のとき

2 章 (及び 3 章) で詳しく述べたアルゴリズムを理解するために，対数的デルペッツォ曲
面 $S$ が重み付き射影平面 $\mathbb{P}(1,2,5)$ のときどうなるかを見よう．まず，簡単な計算により，$r(S)=4/5$ 及び $i(S)=5$ が分かる．対応する正規化された $(5, 4)$ -基礎対 $(M, E_{M})$ はどのような形になるかというと，$M$ は以下が成立:$N_{\mathbb{R}}$内の完備扇$\Sigma$$S$の極小特異点解消，$E_{M}=-5K_{M/S}$ だったので，で，1 次元錐の生成元の集合が$\{(1,0), (0,1), (-1, -2), (-2, -5), (-1, -3), (0, -1)\}$となるものに付随するトーリック多様体が $M$ となる．

14

15

錐

$\mathbb{R}_{\geq 0}(0, -1),$$\mathbb{R}\geq 0(-1, -3),$

な $M$ 上の曲線をそれぞれ$\mathbb{R}_{\geq 0}(-2, -5),$$C_{1},$$C_{2},$$L_{M}\sim 2C_{1}+6C_{2}+10C_{3}+5C_{4}$$C_{3},$$C_{4}$$\mathbb{R}\geq 0(-1, -2)$に対応するトーラス不変$E_{M}^{1}=2C_{1}+C_{2}$ となる．更に，とおくと，も確かめられる．

次に，この $(M, E_{M})$ が対応するような正規化された $(5, 4)$ -基礎多重組はどのような形に$b/a\geq 1/2$ なので，系 2.5 より，必ず基礎多重組の長さは 1 であなるのかを考える．まず，$(2K_{M}+L_{M})$ -極小モデルプログラムを走らることに注意する．1, 2 章で言及したように，せることで基礎多重組が得られるわけだが，「$C_{3}$を潰して$C_{4}$を潰す」 と 「$C_{3}$を潰して$C_{2}$を潰す」という 2 通りの極小モデルプログラムが考えられることに注意する．

$X=\mathbb{F}_{3}$$M$$\nearrow$$*$$X’=\mathbb{F}_{2}$1516$(X, E_{X};\Delta),$ $(X’, E_{X’};\Delta’)$ とかそれぞれ対応する (正規化された) $(5, 4)$ -基礎多重組を，こう．このとき構成より，以下が成立:$\bullet$$X=\mathbb{F}_{3},$$\triangle$の底集合は一点，そして$\triangle\subset l\backslash \sigma$, ここでは $(-3)$ -曲線， はファイバー．
$l$$\sigma$$\bullet$$E_{X}=2\sigma+l,$ $\deg\Delta=2,$$\deg\Delta’=2,$$X’=\mathbb{F}_{2},$$E_{X’}=2\sigma’,$

ここでは $(-2)$ -曲線．

$\sigma’$$\Delta’$の底集合は一点，そして $\deg(\Delta’\cap\sigma’)=1,$

以上が $S=\mathbb{P}(1,2,5)$ でのアルゴリズムの詳細である．ここで見たように，二つの異な-基礎対を誘導している．これは $K_{M}+L_{M}$ の小平次
元が 1 であることに起因している．しかしながら，これら二つの基礎多重組は，高々ヒルツエブルフ曲面の基本変換 (elementary transform) の差異しかない．実際，射の合成
る-$(5, 4)$ 基礎多重組が同じ $(5, 4)$$Marrow X=\mathbb{F}_{3}arrow \mathbb{P}^{1}$

及び$Marrow X’=\mathbb{F}_{2}arrow \mathbb{P}^{1}$

は，いずれも$M arrow Proj\sum_{n=0}^{\infty}H^{0}(M, \mathcal{O}_{M}(n(K_{M}+L_{M})))=\mathbb{P}^{1}$

なる射と一致する．(なので，あらかじめこのような重複を未然に防いでおくような仮定を加えておけば，重複なく分類が可能になる 18.)$*$

4.2 直線の存在しない例
対数的デルペッツオ曲面

$S$

に対し，

$l(S)$ $:= \min\{(-K_{S}\cdot C)|C$ :$S$

上の有理曲線$\}$をみたすとき， を 上の直線 (line)
はの基本カルティエ因子とする．つまり， 上の直線が存在することと $r(S)=l(S)$ が成立することは同値である．さて，$[Fjnl4,$ 問題 $5.1]^{*19}$ では，とおく．更に，有理曲線であるという．ここで$C\subset S$$L_{S}$

集合

が $(L_{S}\cdot C)=1$

$C$

$S$

$S$

$S$

{ $l(S)|S$ : 対数的デルペッツォ曲面でピカール数 1 のもの}

が昇鎖列条件をみたすかどうかを言及している．もし任意のピカール数 1 の対数的デルペッツォ曲面上に直線が存在するなら，(少なくともなら) 1.1 章でみた [Ale88]$k=\mathbb{C}$$r(S)\geq 1/2$ なる任意の対数的デルペッツォ曲の結果から昇鎖列条件が示される．実際，$r(S)\geq 1$ のときは事実 1.1 の分類から自明で，面上には直線が存在する．なぜなら，$S$$r(S)\in[1/2,1)$ のときは対応する基礎対から基礎多重組への双有理射で潰れる $(-1)$ -曲

線の $S$ での像が正に所望の直線になっている．しかし，残念ながら一般には常に直線が
$*18$
$*19$

[Nak07, Definition 4.3] や [$Fjtl4a$ , Definition 3.11 (7)] を見て頂きたい．
この報告集に収録されている．ここでは [Fjn14, 問題 5.1] より少し弱い予想を言及する．

16

17$l(S)/r(S)$ はいくらでも大きくなりうる．これが存在するとは限らない．それどころか，[Fjn14, 問題 5.1] が難しい一つの理由であるように感じる．もしかしたら専門家にとっては自明なのかもしれないが，以下に例を挙げる．
例 4.1. 自然数 $d\geq 2$ を任意にとる．

$N_{\mathbb{R}}$内の完備扇$\Sigma$

で，1 次元錐の生成元の集合が$\{(-1, -1), (2d+1, -1), (-1,2d-1)\}$となるものを考える．この扇$S$$\Sigma$に付随するトーリック多様体を $S$ とする．このときはピカール数 1 の対数的デルペッツォ曲面．更に錐$\mathbb{R}_{\geq 0}(-1,2d-1)$$\mathbb{R}_{\geq 0}(-1, -1),$に対応するトーラス不変な $S$ 上の曲線をそれぞれと， の基本カルティエ因子$S$$L_{S}$$\mathbb{R}_{\geq 0}(2d+1, -1)$

$C_{1},$$C_{2},$$C_{3}$,

とおくとこれらの曲線との交点数は，簡単な計算から$(L_{S}\cdot C_{1})=2d^{2}-1, (L_{S}\cdot C_{2})=d, (L_{S}\cdot C_{3})=d+1$$l(S)/r(S)=d$ となることがわかった．
となる．よって，注意 4.2. 例 4.1 で与えられた対数的デルペッツォ曲面は，以下で与える長さ $m:=$$\lfloor 2d(d+1)/3\rfloor$の正規化された $(2d^{2}-1,1)$ -基礎多重組 $(X, Ex;\triangle_{1}, \ldots, \triangle_{m})$ に対応することが確かめられる:$\bullet X=\mathbb{P}^{2}.$$\bullet$$E_{X}=(2d^{2}-d-1)l_{1}+(2d^{2}-d-2)l_{2}$ , ここで$\bullet$$\Delta_{d},$$\Delta_{d+1}$$\bullet$$\Delta_{d},$$\Delta_{d+1}$

以外はどの$l_{2}$は異なる直線．

も空集合．

は共に底集合は一点で $\deg\triangle_{d+1}=2d,$ $\deg\Delta_{d}=2d+2$ .

$\triangle_{d+1}\subset l_{2}\backslash l_{1}$注意 4.3.

$\triangle_{i}$$l_{1},$

かつ$\Delta_{d}\subset l_{1}\backslash l_{2}$. ここで$l_{1},$$l_{2}$$X$ 上のは，$l_{1},$$l_{2}$

そしての固有変換．

因みに，ピカール数 1 の (高次元) 非特異ファノ多様体上に直線が存在するかどうかは分かっていない．[Takll, 問題 11] や [Ko196, Problem V.1.13] を見て頂きたい．

4.

$r(S)$ と $i(S)$

$3$

との関係

を対数的デルペッツオ曲面とする．分数的指数の既約分数表示 $r(S)=b/a$ としたとき， ゴレンシュタイン指数 $i(S)$ は の倍数である．しかし，注意 1.2 でみたように，一と $i(S)$ は異なる．つまり，
般には$-aK_{S}$ がカルティエ因子になるとは限らない．ただ，系 3.4 でみたように，もし $r(S)\geq 1/2$ なら，必ず $-30aK_{S}$ がカルティエ因子になる．こ
$S$

$a$

$\mathbb{Q}-$$a$の結果から，一瞬 「ある自然数 $F$ が存在し，任意の に対し $-FaK_{S}$ がカルティエ因子になる」という主張を期待してしまうが，残念ながら以下の例が示しているようにこの主$S$張は正しくない．

17

18
例 4.4.

を任意にとる．以下，長さ $2d$ の正規化された $((36d^{2}-12d-1)(6d-$1 , $(6d-1)^{2})$ -基礎多重組
を，以下のように定める:$d\in \mathbb{Z}_{>0}$$(X, E_{X};\Delta_{1}, \ldots, \Delta_{2d})$$)$$\bullet X=\mathbb{P}^{2}.$$\bullet$$Ex=108d^{2}(2d-1)l_{1}+3(36d^{2}-6d-1)(2d-1)l_{2}$ , ここで$l_{1},$$l_{2}$は異なる直線．

$\Delta_{2d}=\emptyset.$$\bullet\Delta_{2},$$\ldots,$$\bullet$$\bullet$$\Delta_{1}$$P$ はの底集合は二点 $P,$ $Q$ で，$l_{1}$と$l_{2}$の交点で$Q\in l_{1}\backslash l_{2}.$multp $\triangle_{1}=6d+1$ , mult $P(\Delta_{1}\cap l_{2})=6d$ , mult $Q\triangle 1=6d,$$6d-1$ を満たす．

$\hslash^{1}$

つ

mult

$Q(\triangle_{1}\cap l_{1})=$

実際この組は，補題 2.6 などから基礎多重組になることがわかる．特に，対応する基礎$([Fjtl4a,$ Examples $2.5 and 2.6] かち)$ $M$ のピカール
対 $(M, E_{M})$ の構造については，
数は $12d+2$ かつの既約成分の個数は $12d+1$ もわかる．また補題 2.7 よりこの$E_{M}$$((36d^{2}-12d-1)(6d-1), (6d-1)^{2})$ -基礎多重組は正規化されている．なので，これに対$S$応する対数的デルペッツォ曲面を $S$ とかくと，のビカール数は 1 で，$r(S)= \frac{6d-1}{36d^{2}-12d-1}, i(S)=(36d^{2}-12d-1)(6d-1)$が成立する．
と $i(S)$ がいくらでも離$r(S)$ を既約分数表示したときの分母
この例 4.4 では，れられる，つまり $i(S)/a$ は一般にいくらでも大きくなることを主張している．しか$i(S)/a$ が大きくなる例を $r(S)$ がすごく小さいような例で構
し，例 4.4 に於いては，上の正規射影代成している．なので，以下のような予想を考えたくなる．ここでが対数的ファノ多様体 (数多様体
Fano variety) とは，ここでは高々ログ端
末特異点しか持たず，かつ反標準因子 $-K_{V}$ が豊富，という定義とする．更に，対数の分数的指数 $r(V)$ を的デルペッツォ曲面のときと同様に，対数的ファノ多様体$a$$\mathbb{C}$$V$$\log$$V$$\max\{r\in \mathbb{Q}_{>0}|-K\sim rL$

予想 4.5. 任意の正の有理数

上の任意の

$n$

(
$\epsilon$$L$: 力) レティエ因子)

及び任意の自然数

$\}$

$n$

として定める．

に対しある自然数 $F$ が存在し，$\mathbb{C}$$r(V)$ の既約分
次元対数的ファノ多様体 $V$ で $r(V)\geq\epsilon$ なるものに対し，$-FaK_{V}$ はカルティエ因子となる．
数表示 $r(V)=b/a$ とかいたとき，$\epsilon=1/2$ かつ $n=2$ のときは $F=30$ ととれる．一般の場合は難しそ
系 3.4 によると，
ゴレンシュ
うに感じる．しかし，この種の予想は，対数的ファノ多様体の分数的指数と$\mathbb{Q}-$タイン指数をつなぐ重要な問題だと思う．分数的指数は，主として非特異な場合に盛んに
ゴレンシュタイン指数は多様体の特異点の様子を研究されている大域的性質，そして知るにあたり使い勝手の良い局所的性質 20 であるように感じる．両者の関連を見出すご$\mathbb{Q}-$

$*$

$*20$

例えば，[FY14, \S 2.3] を見て頂きたい

1819とができるならば，対数的ファノ多様体の理解が飛躍的に進むと思う．

謝辞
RIMS 研究集会にて講演の機会を下さった松下大介先生に感謝致します．藤野修先生，
安武和範さんには，公開前の報告集の原稿 [Fjn14], [Yas14] を送って下さり，またこの原稿に目を通して下さり，かつ貴重な助言を下さいましてありがとうございます．筆者は日本学術振興会特別研究員として補助を受けています．

参考文献[Ale88] V. A. Alexeev, Fractional indices of logdel Pezzo surfaces, Izv. Akad. NaukSSSR Ser. Mat. 52 (1988), no. 6, 1288-1304, 1328; translation in Math. USSRIzv. 33 (1989), no. 3, 613-629.
[Ale91] V. A. Alexeev, Theorems about good divisors on $log$ Fano varieties (case ofindex $r>n-2$ ), Algebraic geometry (Chicago, IL, 1989), 1-9, Lecture Notes in.
Math., 1479, Springer, Berlin, 1991.
[AN88] V. A. Alexeev and V. V. Nikulin, Classification of $del$ Pezzo surfaces with
$log$ -terminal singularities, involutions on $K3$ surfaces, and reflecof index
tion groups in Lobachevskii spaces (Russian), Lectures in mathematics and its
applications, Vol. 2, No. 2 (Russian), 51-150, Ross. Akad. Nauk, Inst. Mat. im.
Steklova, Moscow, 1988.
[AN89] V. A. Alexeev and V. V. Nikulin, Classification of $del$ Pezzo surfaces with
$log$ -terminal singularities
and involutions on $K3$ surfaces (Russian),of index
Dokl. Akad. Nauk. SSSR 306 (1989), no. 3, 525-528; translation in Soviet Math.
Dokl. 39 (1989), no. 3, 507-511.
[AN06] V. A. Alexeev and V. V. Nikulin, $Del$ Pezzo and $K3$ surfaces, MSJ Memoirs,
15. Math. Soc. of Japan, Tokyo, 2006.
[Bre80] L. Brenton, On singular complex surfaces with negative canonical bundle, withapplications to singular comPactifications ofand to 3-dimensional rational
sin9ularities, Math. Ann. 248 (1980), no. 2, 117-124.
[Dem80] M. Demazure, Surfaces de $del$ Pezzo $II-V$, in S\’eminaire sur les Singularit\’es
des Surfaces (eds. M. Demazure, H. Pinkham and B. Teissier), Lecture Notes in
Math., 777 (1980), Springer, Berlin, pp. 35-68.
[Fjn14] 藤野修，ファノ多様体についてのいくつかの間題，数理解析研究所講究録に掲載$\leq 2$$\leq 2$$\mathbb{C}^{2}$

予定．

19

20
[Fjt75] T. Fujita, On the structure of polarized varieties with -genera zero, J. Fac.
Sci. Univ. Tokyo Sect. $IA$ Math. 22 (1975), 103-115.
$[Fjtl4a]$ K. Fujita, Logdel Pezzo surfaces with not small fractional indices,arXiv: 1401.0988.
$[Fjtl4b]$ K. Fujita, Logdel Pezzo surfaces with large volumes, arXiv:1401.1588.
[Fh193] W. Fulton, Introduction to toric varieties, Annals of Mathematics Studies,131. The William H. Roever Lectures in Geometry. Princeton University Press,
Princeton, $NJ$ , 1993.
[FY14] K. Fujita and K. Yasutake, Classification of logdel Pezzo surfaces of index
three, arXiv: 1401.1283.
[HMX12] C. D. Hacon, J.
Kernan and C. Xu, $ACC$ for $log$ canonical thresholds,
arXiv: 1208.4150.
[HW81] F. Hidaka and -i. Watanabe, Normal Gorenstein surfaces with ample anticanonical divisor, Tokyo J. Math. 4 (1981), no. 2, 319-330.
[KM98] J. Koll\’ar and S. Mori, Birational geometry of algebraic varieties, With thecollaboration of C. H. Clemens and A. Corti. Cambridge Tracts in Math., 134,
Cambridge University Press, Cambridge, 1998.
[Ko196] J. Koll\’ar, Rational curves on algebraic varieties, Ergebnisse der Mathematik
und ihrer Grenzgebiete, 3, Folge. A Series of Modern Surveys in Mathematics,
32, Springer-Verlag, Berlin, 1996.
[Mor82] S. Mori, Threefolds whose canonical bundles are not numerically effective,
Ann. of Math. 116 (1982), no. 1, 133-176.
[Nak07] N. Nakayama, Classification of logdel Pezzo surfaces of index two, J. Math.
Sci. Univ. Tokyo 14 (2007), no. 3, 293-498.
[OT12] H. Ohashi and S. Taki, $K3$ surfaces and logdel Pezzo surfaces of index three,
Manuscripta Math. 139 (2012), no. 3-4, 443-471.
[Takll] 高木寛通，FANO 多様体の諸問題，数理解析研究所講究録 1731 (2011), 106126.
[Tan12] H. Tanaka, The $X$-method for $klt$ surfaces in positive characteristic,arXiv: 1202.2497.
[Yas14] 安武和範，Classification of logdel Pezzo surfaces of index three, 数理解析研究$\triangle$$M^{c}$$K$所講究録に掲載予定．

20