数理解析研究所講究録 1450 巻 2005 年 23-37

23

ザリスキー幾何板井東海大学

昌典 (ITAI Masanori)

理学部

情報数理学科

Department of Mathematical Sciences, Tokai University

目次
1

講義 1 : 体の純粋性
1.1 ザリスキー幾何の由来 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
L2 ザリスキー幾何とザリスキー. タイプの比較. . . . . . . . . . . . . . . . . . . . .

2

13

4
5
5
5

L4

15
16
2

3

どうやって体を作るか. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . $\ldots\ldots\ldots\ldots$ .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .

位心的情報から代数的情報を引き出す . . . . . .
代数的に閉じていること . . . . . . . . . . . . .
純粋性 : $T_{a}=Tb$ . . . . . . . , . . . . . . . . .

講義 2: 内的被覆と外的被覆
21 外的写像, 内的タイプ . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . $\ldots..$ .. . . .
22 外的写像の性質 . . . . . .
23 曲線による 2 点の識別 . . . . . . . . . . . . . . . . . $\ldots\ldots\ldots\ldots\ldots$

7
7
9
11

講義 3: 定理 A

13

3.1 豊富なザリスキー幾何, 非常に豊富なザリスキー幾何 . $\ldots\ldots\ldots\ldots.$ .
32 正規化による特異点除去 . . . . . . . . . . . . . $\ldots\ldots\ldots\ldots\ldots\ldots$ .
.. . . . . $\ldots\ldots\ldots\ldots\ldots$ .
33 滑らかな曲線としてのザリスキー幾何$\ldots$

4

2
2

今後への展望

13
13
13
15

24
1

講義 1: 体の純粋性

1.1

ザリスキー幾何の由来

ザリスキー幾何の由来を簡単に振り返っておこう. はじめは代数的閉体のモデル理論であった.
の任意の無限モデル $M$ を考えると,は強極小理論である.
を代数的三体の理論とする.
$M$ の定義可能 (パラメーターを使ってもよい) 部分集合は, 有限または補一有限になっている,の非可算モデルは同型を除いて 1 個しかない.
強極小理論 は \aleph 1\aleph 範躊的である. すなわち,
ここで \aleph 1\aleph 範躊的という言葉を使ったが, これは Morley の「非可算範疇性定理」 による. 非可算
範疇性定理によれば, 一階の理論は, ある非可算濃度で範疇的ならば, すべての非可算濃度で範
$T$

$T$

$T$

$T$

$T$

疇的だからである.
を再び, 代数的閉門の理論とする.
さての可算モデルの個数はいくつであろうか. 標数 0の場合を考えれば容易に分かるように可算個ある. よって は \aleph 1\aleph 範疇的であり, 可算モデルは可
$T$

$T$

$T$

算個ある. 実はこの現象は, 一般的現象なのである.
定理 1(Baldwin-Lachlan) $T$ を \aleph 1\aleph 範疇的理論とする.

$T$が \aleph 0 範疇的でなければ,$\circ$$T$

は可算モデルを可算無限個持つ.
これらの議論は 「幾何的安定性理論」 の古典的結果である.
代数的閉体の理論は \aleph ,\aleph 範躊的理論の典型例である. 代数的閉体のモデルと同じような内部構造を持つモデル $M$ ( $M$ の組合せ幾何が非局所モジュラー) を考える. モデル理論的性質だけを手掛
かりに $M$ を用いて代数的閉体を再構成することが出来ると考えたのが Zilber であった.

1980 年代最後になって反例が Hrushovski によって構成された. しかし, ザリスキー幾何と呼ばれる構造に関しては正しかったのである.
1993 年に Hrushovski が幾何的 Mordell-Lang 予想を解き, そのなかでザリスキー幾何の結果を巧みに使ったことによってザリスキー幾何が一躍脚光を浴びることになった.
この予想は Zilber 予想と呼ばれていたが,12

ザリスキー幾何とザリスキー. タイプの比較

ザリスキー幾何の公理系と基本性質にはネーター位相が入っている.
定義 2(ザリスキー幾何) $D$ を無限集合とし, 各 について次の 4 つの公理系が満たされるとき, $D$ はザリスキー幾何であるという,$D^{n}$$n$のどれか)(Z0) 轟は定数写像あ $(x_{1}, \cdots x_{n})=c$ , あるいは射影あ $(x_{1}, \cdots x_{n})=x_{j}$ ( は 1,
$D^{n}arrowD^{m}$
は連続写像である ( $n,$ $m$ の大とする. $f(x)=(f_{1}(x), \cdots, f_{m}(x))$ とすると :$\Delta_{i,j}^{n}=\{(x_{1},\cdots, x_{n}) : x_{i}=x_{j}\}$ は閉集合の対角集合小関係に制限がないことに注意).
である.
$\cdots,$ $n$

$j$

$f$

$D^{n}$(Z1) $C$ をで,$D^{n}$の既約閉集合,$\pi C\supseteq$

(

$\pi$

$\pi$

を

$D^{n}$から$D^{k}$

への射影とする. このとき,$\overline{\pi C}$の真部分閉集合 $F$

可一 $F$ ) となるものが存在する.

(Z2) $D$ は既約である. また次の意味で, 一様に 1 次元的である ;き, ある自然数 $m$ が存在して, 任意の $a\in D^{n}$ に対して,ある. ただし,$C_{/}(\overline{a})=\{x\in D : (\overline{a}, x)\in C,\}$

2.

$C\subseteq D^{n}\mathrm{x}D$$C(\overline{a})$が閉集合であると$=D$ または $|C(\overline{a})|\leq m$ で

25(Z3) (次元定理) $\dim(D^{n})\leq n,$$U$を$D^{n}$の既約閉集合,$T_{ij}=\{(x_{1}, \cdots, x_{n}) :x_{i}=x_{j}\}$とする.

このとき $U\cap T_{ij}$ の各成分の次元は, $\dim(U)-1$ 以上である.

ザリスキー幾何ではまず位相の言葉で公理が与えられる. その後で各閉集合に対して述語記号を導入してザリスキー幾何の理論 Th(D) を考える. 基本的な性質は次の 2 っである.
$C\subseteq D^{n}$

1. Th(D) は強極小である.

定理 3

2.
注 4

$D$

の初等拡大もザリスキー幾何である.

1. 公理 (Z1) は, ザリスキー幾何 $D$ にたいしてその理論 Th(D) が量記号を消去すること,
すなわち論理式には \forall 艷が現れないと仮定してよいことを保証している. このことを代数の言葉で言いかえると,「構成可能集合の射影は構成可能である」 という同値である (“ $Algebraic$ Geometry $I$

Comp

$lex$

$\mathrm{c}_{l}\mathrm{h}\mathrm{e}\mathrm{v}\mathrm{a}11\mathrm{e}\mathrm{y}$の定理とProjective Va 幅 eties”.\acute D.Muznford, Springer

1976, Proposition 231, p.37 参照).

2. 公理 (Z2) は, ザリスキー幾何$D$

3. 公理 (Z3) は, ザリスキー幾何

が強極小集合になっていることを保証している.

$D$を代数曲線とみたとき, 非特異あるいは滑らかな曲線であることを要請している. なぜなら, 特異点では次元公式が成立しないからである.
例 5

$K$

を微分閉体,$D\subseteq K^{n}$を強極小集合, すなわち Morley 階数, Morley 次数がともに 1 の定義可能集合とする. このとき必要ならば有限個の点を除くと $D$ はザリスキー幾何になる.

ザリスキータイプにおいても, Morley 階数をより一般化した階数の概念を定義することができる.
安定理論
Morley 階数 1 の定義可能集合に相当するものとして, 極小タイプというものを考える.
$T$

定義 6

対しても,
は

$\mathfrak{M}$のどんな定義可能部分集合 $X$ にを完全タイプとする.
を極小タイプと呼ぶ. ここでが有限集合か補 M 有限集合であるとき,を $T$ の万有モデルとする.

$\mathfrak{M}$$p(\mathfrak{M})\cap X$

におけるタイプ$\mathfrak{M}$$p$$p(\mathfrak{B}\mathrm{t})$

$p$

$p$

の解集合である 8における解集合とする. 量記号と否定
定義 7(ザリスキータイプの公理) $P$ を極小タイプ のに導入する. 次を基本閉集合系とする位相を各記号が現れない論理式で定義されるの性質が成り立つとき, タイプ はザリスキータイプであるという.
$p$$\mathfrak{M}$$P^{n}$$X\underline{\subseteq}P^{n}$$p$の各閉集合は, 有限個の既約閉部分集合の和集合である.

(1)$P^{n}$(2)$X\subseteq Y$(3) $X$ をと,$P^{n}$$P^{n}$のそれぞれ閉集合とする.

の既約閉部分集合とする.

$X\cap\Delta_{i,j}^{n}$が既約ならば$Y$$\Delta_{i,j}^{n}=\{\overline{x}\in P^{n} :$\mathrm{R}\mathrm{U}\langle X$

xi=xj\}$)$<\mathrm{R}\mathrm{U}(Y)$とお$\text{く}$

.

である.

$\mathrm{R}\mathrm{U}(X)=m$とするの空でない既約成分 $W$ について $\mathrm{R}\mathrm{U}(W)\geq m-1$ である.

1. ザリスキー. タイプを考える場合, 理論

注 8

2.

を

$T$

は量化記号を消去すると仮定している.

がザリスキー. タイプであるとき, 上のようにを量化記号を消去する安定理論とする.
して導入した位相に関して, 各にはザリスキー位相が入る.

$T$

$p$

$P^{n}$

3

26
3.

4.

には
がザリスキー. タイプであるとき, 各を量化記号を消去する安定理論とする.
ザリスキー位相が入りさらに上の性質を持つ. 「 $P$ はこの位相に関してザリスキー幾何になるか」 という疑問が生じる. ザリスキー幾何の公理 (Z2) が保障されないので, 必ずしもザリ
スキー幾何になるとは限らない.
$p$の極小
を乱数 の分離閉体の理論とする (ただし言語は環の言語より大きい).
タイプはザリスキー. タイプである (Delon-Hrushovski). このことが幾何的 Mordell-Lang予想の解決で重要な働きをする.
$\mathrm{S}\mathrm{C}\mathrm{F}_{p}$$p$$\mathrm{S}\mathrm{C}\mathrm{F}_{p}$13$D$$P^{n}$$T$

どうやって体を作るかを豊富なザリスキー幾何とすると代数的閉体が$D^{\mathrm{e}\mathrm{q}}$に構成される. この構成法の核心部分を簡単に振り返っておこう.

技術的なポイントは「ランク 2 の群が, ランク 1 の集合に作用していると体が出来る」 という標語としてまとめることが出来る. Zil’ber の講義録 [Z04] の 74 ページを参考に仕組みを概観する.
まず既約な群に関しては, ランク 2 の群が可解群 (Cherlin), ランク 1 の群が可換群 (Reinecke)
であるということが知られている.
を既約なランク 2 (RM またはを持たない, すなわち $C(G)=\emptyset$ と仮定する.
$G=(G, \cdot, 1)$$\mathrm{R}\mathrm{U}$

) の群,

$X$

をランク 1 の集合とする.

$G$

は中心

交換子群 $[G, G]$ は $G$ の正規部分群である. $1\neq a\in[G, G]$ とする. $0<\dim a^{G}<\dim G=2$ より, $\dim a^{G}=1$ である. $1\neq b\in[G, G]$ についても同様であり, さらに$a^{G}\neq b^{G}arrow a^{G}\cap b^{G}=\emptyset$

である. よって $[G, G]-\{1\}$ の分割を考えると,$[G, G]-\{1\}=\cup a_{i}^{G}i=1k$となっている (つまり 1 次元の軌跡の有限和). よって $[G, G]$ の既約成分を考えると$[G, G]^{\mathrm{o}}=a^{G}\cup\{1\}$の単位元になっている).
の演算を加法で書く ( $G$ の 1 が: $x-\# gx$ ,への作用, $g^{-1}xg$ を $gx$ と書くことにすると,の$g\in G,$ $x\in K^{+}$ に対して, 群ならば,$g’\in G$ に対して,$g’\in C(a)=\{x\in G:ax=xa\}$はの自己同型である.
は $K^{+}-\{1\}$ に推移的に作$K^{\mathrm{x}}:=G/C(a)$とおく.
である. $C(a)$ は の正規部分群である.
は連結で 1 次元だから可換群 (Reinecke の定理) である.
用している.
である.

$K^{[perp]_{l}}:=[G, G]^{\mathrm{o}}$

とおき,

$G$

$K^{+}$$K^{+}$$K^{+}$$K^{+}$$g,$$\sigma_{g}$$g,$$\sigma_{g}=\sigma_{g’}$$K^{\cross}$$G$$K^{\mathrm{x}}$任意の $g,$$g_{1},$$g_{2}\in K^{\mathrm{x}}$と任意の $x\in K^{+}$ に対して

1. $ga=g_{1}a+g‘ 2a$ ならば $gx=g_{1}x+g_{2}x$2. $g_{1}a=-g_{2}a$ ならば $g_{1}x=-g_{2}x$$g\in K^{\cross}$と $ga(=g^{-1}ag)\in K^{+}-\{1\}$ を同一視して, 乗法を $K$

こうやって$K^{+}$に 2 つの演算を導入し体にすることが出来る.

4)$\zeta$から$K^{+}$

へ移植することにする.

2714

位相的情報から代数的情報を引き出す

問題は, どうやってザリスキー幾何の位相的情報から代数的情報を引き出すかである.
[HZ96] にある議論では, Morley 列の一般化である indiscernible array という概念を導入する.

ザリスキー幾何が豊富であれば, この indiscernible array を用いて群図表を定義し, 群図表を用
いて前小節で概説した構成法を用いて体を定義する. したがって第一義的にはこの indiscernible
array が位相的性質から代数的性質への橋渡しをしている.
したがってザリスキー幾何を用いて体を構成するにあたってこの部分が核心であるのだが, Zilberの講義ノーにある議論と [HZ96] における indiscernible array から speciallization を用
いて群図表 (group configuration) を作る議論との関係には, 筆者にとっていまひとつ不明瞭な点$\vdash([\mathrm{Z}04])$がいくつかある.

15

代数的に閉じていること豊富なザリスキー幾何において構成される体は 「代数的閉体」 であるが, 複数の方法で証明することが出来る.

1. \mbox{\boldmath $\omega$}\mbox{\boldmath $\omega$}安定な体は代数的閉眼である (Macintyre の定理) の拡張 : まず完全体であることを示し,Artin-Schereier 拡大, Kummer 拡大を持たないことを示す.
2. 正時数の極小体は代数的閉体である (Wagner の定理).

3. ザリスキー幾何における射影空間の弱完備性を応用する ([It04]).

$F$を豊富なザリスキー幾何で構成された体とする. $f(x)\in F[x]$ を既約多項式とする. $f;Farrow F$ を射と考える.
でザリスキー稠密であるので, 弱完備を :に拡張する. $g(F)$ が性より $g(F)=F$ である. このことから $f(a)=0$ となる $a\in F$ の存在を導く.

$f$

$g$

$\mathrm{P}^{1}(F)arrow \mathrm{P}^{1}(F)$$\mathrm{P}^{1}(F)$

純粋性 : $T_{a}=T_{b}$16

豊富なザリスキー幾何には 2 つの位相が定義される. ここでは、 $D$ を豊富なザリスキー幾何とし, $D$ で構成される代数的継体 $F$ を考え, $F=D$ とする.

1. $F$ におけるザリスキー位相を$T_{a}$とする ( は algebraic の頭文字).
$a$

2. ザリスキー幾何における, 初めに与えられているネータ–位相を$T_{b}$とする.

ここでは体の純粋性と呼ぶことにする. 本質的には同じだが, 2 つの方の定理のモデル理論的定式化」 にある.
法がある. Zil’ber の問題意識は 「$T_{a}=T_{b}$となることを,$\mathrm{C}\mathrm{h}\mathrm{o}\mathrm{w}$定義 9$\ovalbox{\tt\small REJECT}$に関して既約な$\mathrm{P}^{2}(F)$の真部分閉集合を曲線と呼ぶ.

つぎの補題が重要である.
補題 10 (Hrushovski) $C$ を曲線$L$を代数曲線とする.

5$C\subseteqq L$

ならば $C$ も代数曲線である.

28
この補題を使って $T_{a}=T_{b}$ であることを次のように議論する.
・弱完備性を用いて, Bezout の定理を導き, 曲線に関して $T_{a}=Tb$ を示す. そのあと, 高次元の定義可能集合について帰納的に証明する.

6

28
講義 2 : 内的被覆と外的被覆

2

豊富なザリスキー幾何から, 代数的閉体が構成される. 非常に豊富なザリスキー幾何ではどうなるかということが次に問題になる.
$X$ が豊富であることから代数的閉体 $K$ が構成され$X$ を非常に豊富なザリスキー幾何とする.
$X$$X$と $K$ の間の関係は強くなり K-内的と呼ばれる関係にる. ザリスキー幾何が非常に豊富だとなる. ここでは [HZ96] の 9 節を参照しながら, 「内的, 外的」 という概念について考える.
で議論する, しかし安定理論の飽和モデルでの議論に一般化す
設定 :\mbox{\boldmath $\omega$}\mbox{\boldmath $\omega$}安定理論の飽和モデル
ることが出来る.
応用するときは, $X$ を非常に豊富なザリスキー幾何とし, 言語は $Lx$ , 理論 Th(X) は強極小と$\mathfrak{M}$

また $X$ は飽和モデルとして考える.

する.

単にタイプといった場合, 部分タイプを意味する (論理式の無矛盾な集合). タイプ に対しのにおける解集合をと書く. また $C$ を定義可能集合としたとき, $C$ を定義していて,る論理式と $C$ を特に区別しない. $E$ を定義可能集合としたとき, $E$ の一般元 をとり の完全タを $E$ に付随するタイプと呼ぶ.
イプ$p$$p(\mathfrak{M})$$\mathfrak{M}$

$p$

$e$

$e$

$\mathrm{t}\mathrm{p}(e)$2.1

外的写像, 内的タイプ

定義 11(外的写像, 内的タイカ $A$ を有限集合とする.
をん定義可能写像とする. また $R$ を集合とする.

$p,$

$q$

を $A$ 三のタイプとし,$f$:$p(\mathfrak{M})arrow$$q(\mathfrak{M})$1. 写像 はつぎの性質を持つとき RR 外的写像と呼ばれる.
$f$$a,$ $a’\in p(\mathfrak{M})$$A\subseteqq B$$q$となる任意の有限集合 $B$ と,に対して,$(a\cdot AB|\Lambda a’\cdot AB|\wedge f(a)=f(a’))$2.

$A\subseteqq B$

ならば $\mathrm{t}\mathrm{p}(a/R\cup B\cup\{f(a)\})=$ も$\mathrm{p}(a’/R\cup B\cup\{f(a)\})$となる有限集合 $B$ が存在して, どんな$b,$ $b’\in q(\mathfrak{M})$に対しても$b\not\equiv_{R}b’$であるとき,

は R-内的であるという.

注 12 内的性に関するつぎの 3 つの定義は同値である.

1. 定義 11 の 2 番
2.

$q$

が

かつ

$\mathrm{a}\mathrm{c}\mathrm{l}$に関して閉じている集合上のタイプの場合. 集合$B$と$a\in q(\mathfrak{M})$が存在して,$a\mathrm{L}_{B}$$a\in \mathrm{d}\mathrm{c}1(B, R)$

3. ある有限集合

$B$

に対して,

$q(\mathfrak{M})\subseteqq \mathrm{d}\mathrm{c}1(B, R)$

を $A$ 上のタイプ, $R$ を $A$-定義可能集合とする. このとき、 $A$ 上
補題 13 $A$ を有限集合とする.
と, 定義可能写像 $f$ : $p(\mathfrak{M})-p^{*}(\mathfrak{M})$ が存在して,
のタイプ
$p$

$p^{*}$

1.

$p^{*}$

2.

$f$

は R*内的は Rf 外的

である.

7

30
証明 : 考えている理論が \mbox{\boldmath $\omega$}\mbox{\boldmath $\omega$}安定なので,
が存在して

とすると,

$a\in p(\mathfrak{M})$$A$

上 $R$-内的タイプ$p^{*}$と$a^{*}\in p^{*}(\mathfrak{M})\cap$$\mathrm{d}\mathrm{c}\mathrm{l}(a)$$q$が $A$ 上 Rq 内的タイプでなので,が成り立つ.
が Rf 内的であることを示す.
$a^{*}\in \mathrm{d}\mathrm{c}1(a)$$b\in q(\mathfrak{M})\cap \mathrm{d}\mathrm{c}1(a)$ならば$a^{*}=f(a)$ となる定義可能写像 $f$ : $Parrow P^{*}$$p(\mathfrak{M})$上の同値関係 $E0,$ $E,$

$E^{*}$(1)$b\in \mathrm{d}\mathrm{c}1(a^{*})$

を考える.

この $f$

を次のように定義する.

$\mathrm{E}_{0}:aE_{0}a’-f(a)=f(a’)$$\mathrm{E}:aEa’rightarrow(f(a)=f(a’)$

かつ$\dagger \mathrm{f}\text{意}$の $B^{\mathrm{L}_{A}}\{a, a’\}$ に対して,$\mathrm{t}\mathrm{p}(a/B\cup R\cup\{f(a)\})=\mathrm{t}\mathrm{p}(a’/B\cup R\cup\{f(a)\}))$$aE^{*}a’-(f(a)=f(a’)$ かつ$\mathrm{E}^{*}:$

今理論は \mbox{\boldmath $\omega$}\mbox{\boldmath $\omega$}安定だから同値関係
ならば
ここで$B\mathrm{L}_{A}a$$\mathrm{t}\mathrm{p}(a,/\mathrm{a}c1(f(a)))=\mathrm{t}\mathrm{p}(a’/\mathrm{a}\mathrm{c}1(f(a))))$の各同値類を有限個に細分している.
は定義可能であり,である. (この部分非自明) よって, $f(a)=f(a’)$ かつ$E^{*}$$E\mathit{0}$$a\mathrm{L}_{A\ovalbox{\tt\small REJECT}\{f(a)\}}B\cup R$$\mathrm{t}\mathrm{p}(a/\mathrm{a}\mathrm{c}\mathrm{l}(f(a)))=\mathrm{t}\mathrm{p}\langle a’/\mathrm{a}\mathrm{c}1(f(a’)))$

ならば,したがって $aE$ ‘ $a’$ ならば $aEa’$ である.

る.

$\mathrm{t}\mathrm{p}(a/B\cup R\cup\{f(a)\})=\mathrm{t}\mathrm{p}(a’/b\cup R\cup\{f(a)\})$であ

これで 3 つの同値関係の問に$E^{*\subseteq}E\subseteqq=E_{0}$の各同値類を有限個に細という関係が成り立っていることが分かった. $E$ は定義可能であり,を同値関係 $E$ で考えた写像を $fE$ と書く. つまり $aEa’$ のとき $fE(a)=fE(a’)$ であ分している.
を $pE$ と書く.
る.
に対して
主張 : タイプ $pE$ は $R$-内的である. まず $E$ は $E0$ の細分になっているので, $f=gf_{E}$ となる写で像 が存在する. $a_{E}\in p_{E}$ をひとつとる. $b=g(a_{E})$ とおく. 有限集合
$E_{0}$$f$$\mathrm{t}\mathrm{p}(f_{E}(a)/A)$$a\in p(\mathfrak{M})$

$B$

$g$

.

$\bullet p^{*}\subseteqq \mathrm{d}\mathrm{c}1(B, R),$$b^{\Downarrow_{A}B}$$g(c)=b$ かつ $c\neq aE$ ならば $\mathrm{t}\mathrm{p}(c/B\cup R\cup\{b\})\neq \mathrm{t}\mathrm{p}(aE/B\cup R\cup\{b\})$を満たすものが存在する. ここで の可能性は有限個あり, 各々のが存在することに注意しよう. よって,
$c$$b\in p^{*}(\mathfrak{M})\subseteq=\mathrm{d}\mathrm{c}1(B, R)$

かつに対して上の性質を持つ $B$$c$$g^{-1}(b)\subseteqq \mathrm{a}\mathrm{c}1(b)$である. ゆえに,$b_{1}\neq b_{2}\in g^{-1}(b)arrow \mathrm{t}\mathrm{p}(b_{1}/B\cup R\cup\{b\})\neq \mathrm{t}\mathrm{p}(b2/B\cup R\cup\{b\})$である,

したがって $g^{-1}(b)\in \mathrm{d}\mathrm{c}1(B, R)$ であるので$aE\in \mathrm{d}\mathrm{c}1(B, R)$である. よってタイプ$p_{E}$

はRR 内的である.
したがって性質 (1) より.

$f_{E}(a)\in \mathrm{d}\mathrm{c}1(f(a))$

である.

したがって

$g$

は 1-1 であり, 実は $E=E_{0}$であることが分かる. よって $f$ は Rf 外的である.

証明終

8

31
系 14 $X$ を豊富なザリスキー幾何ととし, $K$ を $X$ -多様体としての代数的閉体とする.
っぎの性質をみたす $K$ -内的被覆 $P$ が存在する.
三竺$\underline{K-\%\theta l^{{}_{\backslash }\acute{\overline{P}}}\neq\ovalbox{\tt\small REJECT}}$

$X$

このとき

$P$

$P$

$|$

は KK 内的被覆$K$

定義 15 $P$ を$A$上のタイプとする.

$a1_{7}\ldots,$ $a_{n}\in P(\mathfrak{M})$

とする.

, かっ

$\mathrm{t}\mathrm{p}(a_{1}/\mathrm{a}\mathrm{c}1(A))=\cdots=\mathrm{t}\mathrm{p}(a_{n}/\mathrm{a}\mathrm{c}1(A)$$a_{1},$$\cdots,$$a_{n}$

は $A$ 上独立であるとき $(a_{1}, \cdots, a_{n})$ の $A$ 上のタイプを $[P]^{n}$ と書く.

補題 16 $f$ : $Parrow Q$ を RQ 外的写像する.
は RR 外的写像である.
く. このとき$f$によって定まる $[P]^{n}$ から $[Q]^{n}$ への写像を$f^{[n]}$と書$f^{[n]}$証明 : $n=2$ のときを示す.

く.

$f$

22

$n$

$\text{く}$

.

, a2)

$\in[P.]^{2}$とし $A\subseteqq B$ を考える. ただし$\mathrm{t}\mathrm{p}(a/B\cup R)$

が$a\backslash \mathrm{L}_{A}B$

とする.

$c$

$\mathrm{t}\mathrm{p}(a2/B\cup R\cup\{c_{2}\})$$a_{1^{\backslash }A}\llcorner B’$

一般の$a_{1}$

だけに依存することを示せばよい.
はは RR 外的写像だからだけに依存する. $B’=B\cup\{a_{2}\}$ とおは だけで決まる.
はだからだけで決まる. よって
証明終についても同様に証明できる.

$f^{[2]}(a)=c=(c_{1}, c_{2})\in[Q]^{2}$ とお

さて,

(

$a=$

$\mathrm{t}\mathrm{p}(a_{1}/B’)$$c2$$\mathrm{t}\mathrm{p}(a/B\cup R)$$c_{1}$$c$

外的写像の性質

外的写像に関するつぎの定理は基本的である.
$E,$ $C$ を上の完全タイプ,定理 17 $P,$
定が成り立っているとする.
$P^{*},$

1.

$E_{=}\subseteq \mathrm{a}\mathrm{c}1(R)$.

$C\subseteqq E\mathrm{x}P$

$2$

$A$

$f$

: $Parrow P^{*}$ を $R$ -外的写像とする. つぎの 4 つの仮3. 各 $e\in E$ に対して $C(e)$ は強極小
4. 各 $e\in E$ に対して
このとき,

$f$

$[P]^{2}\cap C(e)^{2}\neq\emptyset$t ま各 $C(e)$ 上で定数関数であるか, または有限 -1 である. また各 $e\in E$ に対して
$C(e)=f^{-1}fC(e)$である.

証明 : $e\in E$ を任意の点とし $f$ は $C(e)$ で定数関数でないとする.
対して,$C(e)\subseteqq P$

だから $x,$ $y\in C(e)$ に$x\sim y\sim f(x)=f(y)$によって同値関係を定義すると,$C(e)/\sim$ は

2 つ以上の同値類を持つ. 仮定 3 より $C(e)$ は強極小だから $C(e)/\sim$ は高々 1 個の無限同値類しか持てない.

932
さて $C(e)$ は$e$

上の完全タイプに拡張されるから,もしすべての元はこの無限同値類に入ってしまうことになる.

に無限同値類があると $C(e)$ の
これは $f$ が $C(e)$ で定数関数でないとい$C(e\rangle$ $/\sim$

う仮定に反する. よって $C(e)/\sim$ のすべての同値類は有限でなければならない, よって $f$ は $C(e)$上で有限 -1 である. したがって $f$ による $C(e)$ の像 $fC(e)$ も $C(e)$ 同様に強極小である.
各 $C(e)$ が強極小であることから, つぎの性質をもつ自然数 $N$ が $C$ だけに依存して決まる. 任
意の $e\neq e’$ に対して,$|C(e)\cap C(e’)|\leqq N$ または$(|C(e)-C(e’)|\leqq N$ かつ $|C(e’)-C(e)|\leqq N)$

ここで実は $|C(e)\cap C(e’)\leqq N$ の場合だけを考えても一般性を失わないことを示そう.
同値関係 $e\sim e’$ を $|C(e)-C(e’)|\leqq N$ かつ $|C(e’)-C(e)|\leqq N$ によって定義する. $E^{*}=E/\sim$ ,が存在して, 集合 $C(e)$ と $C(e’)$ は有限個の点
このときタイプ$e^{*}=e/\sim$ とおく.
を除いて一致する. 集合 $C(e)$ のすべての点は 上同一のタイプを持つので, $C(e)\subseteqq C^{*}(e^{*})$ であは $C(e)$ 上で有限 -1 なので, $f$ はが成り立つ.
る. よって各 $e\in E$ に対して
$C^{*}\subseteqq E^{*}\mathrm{x}P$

$e$

$f$

$[P]^{2}\cap C^{*}(e^{*})\neq\emptyset$

上有限 -1 時置る. したがって $C^{*}(e^{*})=f^{-1}C(e^{*})$ であることが証明できれば, ほとんどすべての $b\in C(e)$ に対して $f^{-1}(fb)\subseteqq C(e)$ であることが分かる. なぜなら $C(e)$ のすべての点は$C^{*}(e^{*})$$e$上同一タイプを持つので, 任意の $b\in C(e)$ に対して $f^{-1}(fb)\subseteqq C(e)$ となって $C(e)=f^{-1}fC(e)$となるからである.
したがって $C$ を$C^{*}$

で置き換えることによって, 常に$e\neq e’arrow|C(e)\cap C(e’)|\leqq N$が成り立っているとしてよい.
集合 $E$ 上の同値関係 $e\equiv Re’$ をたのでの各同値類は有限である.

によって定義する. 仮定より Eacl(R) だっによって決まる. さらに$e_{R}=(e/\equiv R)$ とおく. $fC(e)$ は$\mathrm{t}\mathrm{p}(e/R)=\mathrm{t}\mathrm{p}(e’/R)$$\equiv R$$E_{R}=\{e_{R} :e\in E\}\subseteqq \mathrm{d}\mathrm{c}1(R)$$e_{R}$

である.

である. これを示すために, $a\in C(x)$ かつ
主張 : $C(e)$ の一般点 に対して,$e\neq e’$ だったとす$xR=eR$ ならば $x=e$ であることを示そう. いま $e_{R}’=eR$ かつ $a\in C(e’)$ とし$e\in \mathrm{d}\mathrm{c}1(eR_{7}a)$

$a$

る.

$C(e)\cap c(e’)$

は有限集合だから$a\in \mathrm{a}c1(e, e’)=\mathrm{a}\mathrm{c}1(e_{R})$

となって

$a$

が $C(e)$ の一般点であることに反する.
写像 $f$ は RR 外的写像だから$\mathrm{a}c1(e, f(a))=\mathrm{a}\mathrm{c}1(e_{R}, f(a))$ だから,$\mathrm{t}\mathrm{p}(a/f(a))\vdash \mathrm{t}\mathrm{p}(a/f(a), e_{R})$$a\in \mathrm{a}\mathrm{c}1(f(a))$

全体で有限 -1 である.
集合 $f^{-1}fC(e)$ のモーレー階数は 1 であり,1 であったが,$f$は$\mathrm{t}\mathrm{p}$$b”$

したがって,$f$$a\in$

は $C(e)$ 上で有限-$p$とし $(b, b’)\in[p]^{2}$ とする.
$(b, b”)\in[p]^{2}$である.

である. $a\in C(e)$ ならば,$b”\in f^{-1}f(b’)$

である. よって補題 16 より,( $b”/b,$ eR) が得られ,は $f^{-1}f(b)$ の任意の点だから$C(e’)$ の形の曲線を有限個しか含まない.

を $b”\not\in C(e)$ となるようにとる.
$\mathrm{t}\mathrm{p}(b, b’/e_{R})=\mathrm{t}.\mathrm{p}(b, b’’/e_{R})$$\mathrm{t}\mathrm{p}(b/e)=\mathrm{t}\mathrm{p}(b’’/e)$

となる.

$b,$

$b’\in C(e)$$\mathrm{a}\mathrm{c}1(b’)\mathrm{a}\mathrm{c}1(b’’)$である. よってだから$\mathrm{t}\mathrm{p}(b’/b, e_{R})=$

したがって $b”\in C(e)$ であることがわかった.

$f^{-1}f(b’)\subseteqq C(e)$である.

$C(e)$ のすべての点 $x$ に対して $\mathrm{t}\mathrm{p}(x/e)=\mathrm{t}\mathrm{p}(b’/e)$ だから$f^{-1}fC(e)\subseteqq C(e)$

である.

証明終

10

33
23

曲線による 2 点の識別

上任意の 2 点を通る曲線族があって, さらに の各点は曲線によって識別されているとする.
各点を識別する曲線はへの射影によって決まるということを主張するのが定理 17 の内容であ
$p$

$p$

$p^{*}$

る.

よって曲線族は p*p 内的である. したがって曲線族が の各点を識別していれば は R-内的で
$p$

$p$

ある.

この結果を非常に豊富なザリスキー幾何に応用する場合もうすこし議論が必要である. というのは非常に豊富なザリスキー幾何において, 二二を識別する曲線族の添字集合は既約閉集合であるが, 定理 17 では完全タイプだからである.
非常に豊富なザリスキー幾何の性質
任意の $a,$ $b\in X^{2}$ に対して $e\in E$ が存在して $C(e)$ は $a,$
に対して,$E^{*}$$b$の一方だけを通る(2)

を $E$ から決まる完全タイプとしたとき,異なる一般点 $a,$ $b\in X^{2}$ に対して $e\in E^{*}$ が存在して $C(.e)$ は

$a,$

$b$

の一方だけを通る(3)が成り立っていることを確認しなければならない.
補題 18 $D$ をザリスキー幾何とする. $X\subseteqq D^{m},$いま $C$ の $D^{m}$ への射影が $X$ のなかで稠密であり,$Y\subseteqq D^{n}$とし$C_{=}\subseteq X\mathrm{x}Y$を既約閉集合とする.

への射影が $Y$ で稠密であると仮定する . $F$
を $Y$ の真部分閉集合とする. このとき-般点 $a\in X$ に対して, $C(a)$ のどのような既約成分も $F$$D^{n}$に含まれてしまうことはない.
証明 : $a\in X$ を一般点とし,$U=\cup C_{i},$$C_{i}$

は $C(a)$ の既約成分で (ろ望 $F$

でに対しては有限個しかないから $U$ は閉集合である. またが存在す
ある. よってザリスキー幾何の性質から, $U=C^{*}(a)$ となる既約閉集合に対して, $C(a)\subseteqq C^{*}(a)\cup F$ だとする. よって
口 $C$ で置き換えて, 一般点
を
る.

とおく.

$\sigma\in \mathrm{A}\mathrm{u}\mathrm{t}(D/a)$$C_{i}$$\sigma C_{i}=C_{i}$$C^{*}\subseteqq D^{m}\mathrm{x}D^{n}$$C^{*}$$C^{*}$$a$$C\subseteqq C^{*}$

火 $(X\mathrm{x}F)\cup(F’\mathrm{x}Y)$のまたはとなる閉集合 $F\subseteq X$ が存在する. $C$ は既約だから,
どれか 1 つが成り立っている. 仮定から $C$ の $X$ への射影と $Y$ への射影はそれぞれ稠密な集合にだけが成り立っていることが分かる. よってなっているから,$C\subseteqq C^{*},$$C\subseteqq X\mathrm{x}F$$C\subseteqq F’\mathrm{x}Y$$C\subseteqq C^{*}$$C(a)=C^{*}(a)=U$をを $E$ によって決まる完全タイプとする.
補題 19 $E$ をぴ定義可能な既約閉集合とし既約閉集合とする. このとき, 異なる一般点 $a,$ $b\in Y$ に対して $C(a)\neq C(b)$ とすると, $C(a)\cap E^{*}\neq$$C\subseteqq E\mathrm{x}Y$$E^{*}$$C(b)\cap E^{*}$

である.

11

34
となる一般点 $a,$ $b\in Y$ があったとする. $E$ の部分集合になっている 0 閉集合 $F$ で $C(a)-F=C(b)-F$ となっているものが存在する. よって$C(a)\subseteqq C(b)\cup F$ である. 補題 18 より $C(a)$ の既約成分は $F$ の部分集合になっていないから, $C(a)$のすべての既約成分は $C(b)$ に含まれている. よって $C(a)\subseteqq C(b)$ である. 同様に $C(b)\subseteqq C(a)$ も証明終分かるから, $C(a)=C(b)$ である
証明 : 対偶を示す.

$C(a)\cap E^{\mathit{4}}=C(b)\cap E^{*}$$\circ$

補題 20 $Y$ は既約閉集合で $\dim(Y)=2$ とし $C\subseteqq E\cross Y$ はつぎの性質を持つ.

1. 各一般点 $e\in E$ に対して $C(e)$ は既約閉集合で $\dim C(e)=1$

2. 異なる一般点

$e,$

$e’$

に対して $C(e)\neq C(e’)$

3. 一般点 $(y_{1}, y2)\in Y$ に対して $e\in E$ が存在してこのとき一般点 $(y_{1}, y2)$ に対して $e\in F^{*}$ が存在して」$y_{1},$$y_{1},$

証明 : 仮定からまず $\dim(E)\geqq 2$ が分かる. なぜなら,
だから
に対して

$y_{2}\in C(e)$$y_{2}\in C(e)$である.

もし $\dim(E)=1$ とすると,$y_{1},$$y_{2}\in C(e)$$e\in \mathrm{a}\mathrm{c}1(y_{1})$$\mathrm{R}\mathrm{M}(y_{2})=\mathrm{R}\mathrm{M}(y_{2}/y_{1})\leqq \mathrm{R}\mathrm{M}(y_{2}/e)\leqq 1$である. 矛盾を導くために, 一般点 $(y_{1}, y2)\in Y$ に対し$y_{2}\in C(e)$ となる $e\in E^{*}$ がなかったとする. そうすると $e\in E^{*}$ と一般点 $y_{1}\in C(e)$ に対となって矛盾する. よってて,$y_{1},$$\mathrm{R}\mathrm{M}(E^{*})\geqq 2$

して, すべての $y2\in C(e)$ は$y_{2}\in C_{0}(y_{2})\subseteqq Y$を満たす. ただし Oo は 0 定義可能閉集合であうる. $\dim C_{0}(y_{2})=1$ だから $C(e’)$ の形の異なる集合)ということになる. よってを有限個しか含まない. つまり
証明終となって矛盾する.
となり$\circ$$e\in \mathrm{a}\mathrm{c}1(y2)$$\mathrm{R}\mathrm{M}\acute{(}e$$\mathrm{R}\mathrm{M}(e)\leqq 1$

12$+\mathrm{R}\mathrm{M}(y/e)=\mathrm{R}\mathrm{M}(y)$35
3

講義 3: 定理 A

3.1

豊富なザリスキー幾何, 非常に豊富なザリスキー幾何

豊富なザリスキー幾何には代数的串体が入るが, さらに射影直線とも関係が深い.
定理 21([It04], 定理 8 参照) $D$ を豊富なザリスキーからの上へのザリスキー写像 $f$ が存在する.

字とする. このとき代数的閉体 $K$ と $D$$\mathrm{P}^{1}(K)$

この定理の証明に必要な主な性質は, ザリスキー幾何における 「射影空間の弱完備性」 と, 「弱い仮想元消去」 である.

3.2

正規化による特異点除去

代数曲線の特異点除去としては,「ブロー. アップ」が知られているが,「正規化も有用である (ただし正規化によって特異点が除去されるのは多様体の次元が 1 すなわち曲線の場合だけである).
例 22$([\mathrm{C}\mathrm{u}04], \mathrm{p}.

10)K$

を体とし,

では
の商体を とすると,(極大イデアルが 1 個) だから,
$L$

$K$

上で $y^{2}-x^{3}=0$ を考える. 座標環 $R=K[x, y]/(y^{2}-x^{3})$$( \frac{y}{x})^{2}-x=0$$L$$R[ \frac{y}{x}]$は$\text{」}$

$L$

なので,

$\frac{y}{x}$は $R$ 上整である.

$R[ \frac{y}{x}]$$=K[ \frac{y}{x}]$は正規環の中での $R$ の整閉包になっている. よって$\mathrm{s}\mathrm{p}\mathrm{e}\mathrm{c}(R[\frac{y}{x}])arrow \mathrm{s}\mathrm{p}\mathrm{e}\mathrm{c}(R)$は特異点の解消である.

33

滑らかな曲線としてのザリスキー幾何

定理 A $X$ を非常に豊富なザリスキー幾何とする. このとき代数的閉体 $K$ と $K$ 上の滑らかな代数
曲線 $D$ が存在して $X$ と $D$ はザリスキー幾何として同型である.
証明 : 第一段階 : $X$ が KK 内的であること. ザリスキー幾何が非常に豊富であるということを用いて, $X$ が KK 内的であることを示す. 系 14 より, まずつぎの図式が成り立つことを確認する. これは豊富なザリスキー幾何で成り立っている. 豊富なザリスキー幾何の性質を用いて,的であることを示す.

–$X$

が KK 内$\llcorner--\vee\#\mathrm{X}K-\%\not\in\dagger\backslash 3’P’+\ovalbox{\tt\small REJECT}$$\mathrm{X}$$\mathrm{P}$

$|$

$P$

は Kx 内的被覆$\mathrm{K}$$X$

が非常に豊富なザリスキー幾何であるので, $X$ -多様体としての代数的閉体 $K$ が存在する. またとなる $C,$ $E$ が存在する. $E$ は既約閉集合で, $C$ はつぎの 2 つの性質を持っている.

$C\subseteq E\mathrm{x}X^{2}$(i) 一般点$a,$(ii) 任意の$a,$$b\in X^{2}$$b$に対して $e\in E$ が存在して, 曲線 $C(e)$ は $a,$に対して $e\in E$ が存在して, 曲線 $C(e)$ は $a,$

講義 2 の結果から, 既約閉集合 $E$ に付随するタイプ

13$E^{*}$

$b$

$b$

を通る.

の一方のみ通る.

に対して,$(\mathrm{i}_{1})$を$3\mathrm{G}$$(\mathrm{i}\mathrm{i}’)$異なる一般点$b\in X^{2}$$a,$に対して $e\in E^{*}$ が存在して, 曲線 $C(e)$ は $a,$$b$の一方のみ通る.

の形にすることが出来る. また, ザリスキー幾何の仮想元消去を用いて次の(iii) $e\neq e’\in E$ ならば $C(e)\neq C(e’)$

が成り立っていると仮定する. さて : $Xarrow P$ が $K$-外的だから, 補題 16 よりを $C$ に付随するタイプとすると,も KP 外的である.
$f$$f^{[2]}$: $X^{[2]}arrow P^{[2]}$$C^{*}$$C^{*}\subseteq E^{*}\mathrm{x}[X]^{2}$

である.

さらに,

$e\in E^{*}$とすると $C(e)$ は $C^{*}(e)$ の閉包になっている. 定理 17 より,$e\in E^{*}$

なので,$e\neq e’\in E^{*}$とすると, (iii) より$C(e)\neq C(e’)$

これは

$e$

ならば $C^{*}(e)=f^{-1}fC^{*}(e)$よって $C^{*}(e)\neq C"(e’)$ したがって $fC^{*}(e)\neq fC^{*}(e’)$と $e’$ が $P$ 上共役でないことを意味する. なぜなら,$\sigma\in \mathrm{A}\mathrm{u}\mathrm{t}(\mathfrak{M}/P)$とすると $fC^{*}(e)\subseteqq P$

だから$fC^{*}(e’)=fC^{*}(\sigma e)=\sigma fC^{*}(e)=fC^{*}(e)$となるからである. したがって$a\neq b\in X^{2}$ とする. 性質
より,Aut(M/P) に対して $\sigma e=e$ だから$E^{*}\subseteqq \mathrm{d}c1(P)$$(\mathrm{i}\mathrm{i}’)$$X\subseteqq \mathrm{d}\mathrm{c}1\langle P$$P$

は $K$ -内的だから$a\in C(e)$ かつ $b\not\in C(e)$$\sigma a\neq b$

人を動かさない. よって

となる.

である.

) となり,$X$$E^{*}$となるしたがって任意のも P-内的である.

$E^{*}$が存在する.

$\sigma\in \mathrm{A}\mathrm{u}\mathrm{t}(\mathfrak{M}/P)$は$X^{2}$$\sigma\in$の各が K-内的であることが分かる.

となる が存在する. ここで第二段階 : $X$ は $K$-内的だから, $X$ の一般点 に対しては によって決まる正整数である. よってザリスキー幾何 $X$ の意味で 0 定義可能な関数 が存在上の同値関係 $E$ を,して $a=h(b)$ となる.
$a$$b\in K^{r\iota}$

$b$

$n$

$h$

$\circ$$a$$K^{n}$$bEb’-h(b)=h(b’)$
によって定義する. の性質から, $E$ はザリスキー幾何 $X$ の意味で構成的である. $T_{a}=Tb$ より $K$ の
とおくと,. $K$ に意味, つまり代数幾何の意味でも構成的である.
対する仮想元消去より、 KK 多様体, すなわち代数多様体 $V$ と $b”\in V$ が存在して,上の軌跡, つまり $b”$ をに注意しよう. $V$ における点 $b”$ の,である. ここで$h$$b’=b/E\in K^{\mathrm{e}\mathrm{q}}$$\mathrm{d}\mathrm{c}1(a)=\mathrm{d}\mathrm{c}1(b’)$$\mathrm{d}\mathrm{c}1(b’)=\mathrm{d}\mathrm{c}.1(b’’)\backslash$$\mathrm{a}\mathrm{c}\mathrm{l}(\emptyset)$$\mathrm{r}\mathrm{k}(b’’)=\mathrm{r}\mathrm{k}(a)$含む既約閉集合を考えて$V$$\mathrm{d}\mathrm{i}_{\mathrm{l}}\mathrm{n}(V)=1$とする. つまり $b”$ を通る既約な曲線として $V$ を考えている.

は特異点を持っているかもしれないので, 正規化して $V$ は特異点の無い完備な曲線だとする.
上の軌跡を $H$ とする. $H$ は $X\mathrm{x}V$ の既約閉集合で,点 $(a, b”)\in X\cross V$ の$\mathrm{d}\mathrm{i}_{\mathrm{l}}\mathrm{n}(H)=1$$\mathrm{a}\mathrm{c}\mathrm{l}(\emptyset)$である. 一般点 $x\in X$ に対して, $(x, v)\in H$ となる $v\in V$ がちょうど一個存在する. また, 一般

点 $v\in V$ に対して, $(x, v)-\in H$ となる $x\in X$ がちょうど一個存在する.
一方, 任意の $x\in X$ に対しては, $(x, v)\in H$ となる $v\in V$ は高々一個しか存在しない. また,
任意の $v\in V$ に対して, $(x, v)\in H$ となる $x\in X$ も高々一個しか存在しない. 多様体 $V$ は$\mathrm{P}^{3}(K)$に埋め込めるので,$H\subseteqq X\mathrm{x}V\subseteqq X\mathrm{x}\mathrm{P}^{3}(K)$である. ザリスキー幾何 $X$ の弱完備性により $H$ は $X$ の上へ射影される.
を $D$ とおく.

$D$への射影 $\pi_{1}/(H)$への射 (lnorphism)$H$ の $V$

は $V$ の補一有限な部分集合になる. したがって $H$ は $X$ から$D$であり, 写像としては全単射になっているもののグラフである.

証明終

14

37
4

今後への展望今後どのような方向に進むことが可能かを考えてみる.

1. 高次元のザリスキー幾何

2. 解析的ザリスキー幾何
ザリスキー幾何というのは, 代数曲線の持つ位相的性質を公理化し, モデル理論を駆使して体を構成するということが核心部分である. 体を構成する技法はすでに存在していたが, この方法
は対象の次元に依存するところが大きい. したがって高次元に拡張するのは容易ではないと予想される.

それに反して解析的ザリスキー幾何には大いなる可能性を見出すことが出来そうである. 実際
Zilber はここ数年 「幾何的ザリスキー幾何」 の枠組み構築を試みている.

参考文献[Cu04] S. D. Cutkosky, Resolution of Singularities,. Studies in Math. vol. 63, A. M. S.,$\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}$2004[Hr96] E. Hrushovski, The Mordell-Lang conjecture for the function fields,
9 No. 3, pp. 667-690, 1996
[HZ96] E. Hrushovski, B. Zil’ber,$Zar\cdot isk^{\sim}i$

Geometries,$\mathrm{J}$of the A$.\mathrm{M}$$\mathrm{J}$of the A.M.S., Vol.

.S., Vo1.9, No.1,$\mathrm{p}\mathrm{p}$.

$1\sim 56$,

1996
昌典, 『幾何的モデル理論入門』,

日本評論社,

2002[It02]

板井[It03]

板井 昌典, ザリスキータイプの幾何 : 豊富な幾何上での代数的閉体の構成, 京都大学数理解析研究所 講究録 1344, 1-6,2003 年 10 月

[It04]

昌典, ザリスキータイプの幾何 (2) :Bezout の定理, Chow の定理, そして主定理,
京都大学数理解析研究所 講究録 1390, 23-29,2004 年 7 月[Z04]

B. Zil’ber, Notes on

板井$Zar\mathrm{i}sk^{\rho}\mathrm{i}$Geometries, Oxford 大学における講義のためのノート

15