Download - 孤立特異点の平滑化と の計量 名古屋大学多元数理科学研究科 …kyodo/kokyuroku/contents/pdf/...孤立特異点の平滑化と QUILLEN の計量 吉川謙–
孤立特異点の平滑化と QUILLEN の計量
吉川謙– (KEN-ICHI YOSHIKAWA)名古屋大学多元数理科学研究科
本稿は研究集会「特異点と複素解析幾何」での筆者の講演に加筆したものである。
同時期に開催された研究集会「多変数関数論にあらわれる解析と幾何」でも同様の
内容の講演をした。本稿独自の内容として孤立特異点の平滑化に対して解析的ト $-$
ションの挙動と周期の挙動との関連を論じた部分と Andreotti–Mayer- 形式の積
分公式について論じた部分がある。本稿で触れなかった話題に Quillen 計量と射影
的双対性がある。「多変数」の筆者の稿を見て頂けると幸いである。
1. 楕円曲線の判別式
Jacobi の $\Delta-$関数とは以下で定義される保型関数である :
(1.1) $\Delta(\tau)=q\cdot\prod^{\infty}(1n=1-q^{n})24$ , $q=\exp(2\pi i_{\mathcal{T}})$ , $\tau\in \mathbb{H}$ .
$\Delta(\tau)$ は次の 3つの特徴付けを持つ。
(1) $\Delta(\tau)$ は唯–の重さ 12の零点形式である。
(1.2) $\Delta(\frac{a\tau+b}{\mathrm{c}\tau+d})=(c\tau+d)^{1}2\triangle(\mathcal{T})$ , $\lim_{Im\tauarrow+\text{科}}\Delta(\tau)=0$ .
(2) $\Delta(\tau)$ は楕円曲線の判別式である (Jacobi)。
$E_{\tau}:=\mathbb{C}/\mathbb{Z}\oplus \mathbb{Z}\tau$ の Weierstrass 表示を $y^{2}=4x^{3}-g2(\mathcal{T})_{X}-_{\mathit{9}3}(\mathcal{T})$ とする時、
(1.3) $g_{2}(\mathcal{T})^{3}-27g_{3}(\mathcal{T})2=(2\pi)^{12}\Delta(’\Gamma)$ .
Typeset by $A_{k\mathrm{t}}\mathrm{S}_{-}\mathrm{I}\mathrm{E}^{\mathrm{x}}$
数理解析研究所講究録1033巻 1998年 94-105 94
(3) $\Delta(\tau)$ は $E_{\tau}$ の解析的トーションである (Kronecker極限公式)。
$g_{\tau}=(Im\mathcal{T})-1|dz|^{2}$ を E\tau の K\"ahler 計量、
$\tau(E_{\tau})=\exp(\zeta_{\tau}’(0))$ を $(E_{\mathcal{T}}, g\tau)$ の解析的トーションとする時、
(1.4) $Im \tau\cdot \mathcal{T}(E\tau)=(2\pi)^{2}|\Delta(\mathcal{T})|^{-}\frac{1}{6}$ .
(3) $\Delta(\tau)$ はコホモロジーの行列式の標準的な断面のノルムである。
$p:\mathrm{E}arrow \mathbb{H}$ を $\mathbb{H}$ 上の楕円曲線の基本族 $(p^{-1}(\tau)=E\tau)$ ,
$\lambda(\mathcal{O}_{\mathrm{E}}):=\det P*\mathcal{O}\mathrm{E}\otimes(\det R^{1}p*\mathcal{O}_{\mathrm{E}})-1$ をコホモロジーの行列式、
$\sigma_{\mathrm{E}}=1\otimes dz$ を $\lambda(\mathcal{O}_{\mathrm{E}})$ の標準的断面、 $||\cdot||_{Q}$ を Quillen 計量とする時、
(1.5) $||1 \otimes dz||_{Q}^{2}(\mathcal{T})=(2\pi)^{2}|\Delta(\mathcal{T})|^{-}\frac{1}{6}$ .
定理 1.1. 楕円曲線の基本族に対しで解析的トーションは判別式と –致し、それは
Jacobi の \Delta -関数である。
次の問題は定理 11の高次元化を考えるに際して基本的であり、本稿の主題である。
問題 1.1. Kronecker 極限公式の自然な高次元化を見つけよ。
候補となる幾何学的対象として $c_{1}(x)=0$ となる K\"ahler 多様体を考える :$g=1$ $g=2$ $g\geq 3$
Abel 曲面 $arrow$ Abel多様体$\nearrow$
楕円曲線$\searrow$
$K3$ 曲面 $arrow$ $Calabi-\mathrm{Y}$au多様体Enriques 画面 hyper–Kahler多様体
本稿では Abel 多様体の系列で Kronecker 極限公式を–般化する。 $K3$ 曲面や En-
riques 曲面については Jorgenson-Todorov の研究 ([J-T1,21 ) がある。 また、Abel
多様体の場合については Jorgenson-Kramer ([J-K]) が筆者と類似した内容を扱って
いる。
95
2. コホモロジーの行列式と Quillen 計量
2.1解析的トーション.
$(M, g_{M})$ をコンパクト K\"ahler 多様体、
$\square 0_{q}$, を $M$ 上の ( $0$ , q)-形式に作用するラプラシアン、
$\sigma(\coprod_{0,q})=\{0\leq\cdots\leq 0\leq\lambda_{0,q}(1)\leq\lambda_{0,q}(2)\leq\cdots\}$ を $\square 0_{q}$, のスペクトル,
$\zeta_{0,q}(S):=\sum_{k\geq 1}\lambda 0_{q},(k)^{-}s$ を $(M, g_{M})$ のスペクトル $\zeta-$関数とする。
この時、 $\zeta 0_{q},(S)$ は全平面上有理型で、 $s=0$ で正則である $(\mathrm{s}_{\mathrm{e}}\mathrm{e}\mathrm{l}\mathrm{e}\mathrm{y})$
。
定義 2.1. 解析的トーションとは次式で定義される実数である :
$\tau(X):=q\geq 0\square (\det\coprod_{0}.’)q)^{q}(-1q$, $\mathrm{d}\mathrm{e}\mathrm{t}$. $\square 0_{q},:=\exp(-\frac{d}{ds}|_{s=0}\zeta 0,q(S))$ .
2.2 コホモロジーの行列式.
$\pi$ : $Xarrow$. $S$ を複素多様体間の固有平滑 K\"ahler 射とする。
定義 2.2. コホモロジーの行列式とは以下で定義される $S$ 上の直線束である :
$\lambda x:=\otimes(\det q\geq 0R^{q}\pi_{*}\mathcal{O}\mathrm{x})^{(1}-)^{q}$.
$\lambda_{X}$ には次の様にして Hermite 計量が入る。
$g_{X/}s$ を相対接束 $TX/S:=\mathrm{k}\mathrm{e}\mathrm{r}\pi_{*}$ 上の K\"ahler 計量、
$\mathcal{H}^{0,q}(X_{t})$ をファイバー $X_{t}$ 上の調和 ( $0$ , q)-形式の空間とする。
Hodge の定理より、 $\lambda_{X}$ のファイバーは調和形式の空間の行列式と見なせる :
(2.1) $\lambda_{X_{t}}=\bigotimes_{q\geq 0}(\det Hq(Xt, \mathcal{O}_{X}))\mathrm{t}(-1)^{q}\cong\bigotimes_{q\geq 0}(\det \mathcal{H}^{0,q}(X_{t}))^{(}-1)^{q}$
これより調和形式の積分を通じて $\lambda_{X}$ に Hermite 直線束の構造が入り、 この計量を
$L^{2}$ -計量と呼び、 $||\cdot||_{L^{2}}$ と書く。
96
定義 2.3. $\lambda_{X}$ の $gx/s$ に関する Quillen 計量とは以下で定義される Hermite 計量
のことである : $||\cdot||_{Q}^{2}(t):=\tau(Xt)\cdot||\cdot||_{L^{2}}^{2}(t)$.
次の 2定理は Quillen 計量に関して最も基本的である。
定理 2.1 ([B-G-S]). $c_{1}(\lambda_{X}, ||\cdot||_{Q})$ を $(\lambda_{X}, ||\cdot||_{Q})$ の Chem 形式とすれば、
$c_{1}(\lambda \mathrm{x}, ||\cdot||Q)--\pi*(Td(Tx/S, gX/s))^{(1}’ 1)$ .
定理 2.2 $([\mathrm{B}-\mathrm{G}- \mathrm{S}])$ . $gx/s,$ $g’X/s\text{を}$ K\"ahler計量の族、 $||\cdot||_{Q},$ $||\cdot||_{Q}’$ を $g\mathrm{x}/s,$ $g_{\mathrm{x}/s}$
’
に関する $\lambda_{X}$ の Quillen 計量とすれば、
$\log(\frac{||\cdot||_{Q}’}{||\cdot||_{Q}})^{2}=\pi_{*}(\overline{\tau d}(\tau X/S;gX/S,g_{\mathrm{x}}’)/S)(0,0)$ .
但し、 $\overline{Td}(TX/S;g_{X}/S, gX/s)’$ は Bott-Chem 類である。
Quillen 計量の境界挙動に関連して、次の問題は基本的である。
問題 2.1. $\pi$ : $Xarrow S$ が特異ファイバーを持つ場合に、 $\lambda_{X}$ の曲率を計算せよ。
そこで最も–般的な退化の場合に問題 2.1を考える。
定義 2.4. $\pi$ : $Xarrow S$ を複素多様体間の射影的固有正則射、 $S$ を単位円盤とする。
$(\pi, X, S)$ が孤立特異点の平滑化 $\Leftrightarrow def\{$
1) $\Sigma(\pi):=\{x\in X;d\pi(x)=0\}\subset X_{0}$ ,2) $\neq\Sigma(\pi)<\infty$ .
この時、特異ファイバー $x_{0}$ は超曲面孤立特異点のみを特異点として許容する。
$g_{X}$ を $X$ の K\"ahler 計量、 $gx/s$ を $g_{X}$ から入る $TX/S$ の K\"ahler 計量、
$||\cdot||_{Q}$ を $gx/s$ に関する $\lambda_{X}$ の Quillen 計量とする。
定理 2.3 $([\mathrm{Y}1])$ . $||\cdot||_{Q}$ は $\lambda_{X}$ の特異 He mite 計量で、曲率は次式で与えられる :
$c_{1}( \lambda x, ||\cdot||Q)=\pi_{*}(Td(TX/S,g\mathrm{x}/s))(1,1)+\frac{(-1)^{n+1}}{(n+2)!}\mu(x_{0})\delta_{0}$ .
$(n=\dim x/S, \mu(X_{0})$ : 特異ファイバーの全 Milnor数、 $\delta_{0}:=-\frac{i}{2\pi}\overline{\partial}\partial\log|t|^{2}$ )
.測度と見た時、右辺第 1項が連続部分を第 2項が特異部分に対応している。
97
2.3超曲面孤立特異点の平滑化と解析的トーション.
定理 2.3の応用として解析的トーションと周期の関係について述べる。
$\pi$ : $Xarrow S$ を超曲面孤立特異点の平滑化、
$gx$ を X. の K\"ahler 計量、 $g_{t}:=gx|x_{\mathrm{c}}$ を $X_{t}$ 上の誘導計量、
$\tau(X_{t})$ を $(X_{t}, g_{t})$ の解析的トーション、
$H_{n}(X_{t}$ , Z$)$介を $H_{n}(X_{t}, \mathbb{Z})$ の自由部分、
$\Lambda=(\lambda_{ij})$ を $H_{n}(X_{t}, \mathbb{Z})_{f}r$ 上の固定された交差行列、
$\{\gamma_{1}(t), \cdots, \gamma\iota(t)\}$ を $H,(X_{t}, \mathbb{Z})_{f^{r}}$ の許容基底 $(d\mathrm{e}\Leftrightarrow f$ $(<\gamma_{i}(t), \gamma_{j}(t)>)=\Lambda)\backslash$
$\{\omega_{1}, \cdots, \omega_{m}\}$ を $\pi_{*}\omega_{X/S}$ の OS-基底 $|$
.$\pi_{*}\omega_{X/s\mathcal{O}\cdots\oplus}=s\omega 1^{\oplus}\mathcal{O}s\omega m\text{、}$
$\Omega(t):=(\int_{\gamma.(t}.))_{1\leq\leq\iota,1\leq j\leq}\omega_{j(t)i}m$ を $X_{t}$ の許容基底に関する周期行列とする。
この時、次の問題は自然であろう。
問題 2.2. $tarrow \mathrm{O}$ の時の \tau (Xのの挙動を決定せよ。
定理 $2.4([\mathrm{Y}1])$ . $g_{X}$ が $Ho\dot{d}ge$ 計量、即ち $g_{X}$ の K\"ahler 類が整であると仮定する。
この時、次が成立する。
(1) $\tau(X_{t})$ は $tarrow \mathrm{O}$ の時、漸近展開を持つ: $\exists\{r_{1}, \cdots, r_{N}\}\in \mathbb{Q}$ $s.i$. $tarrow \mathrm{O}$ の時、
$\tau(X_{t})\sim\sum_{ri,j\geq}\sum_{0}\sum a_{r}ijk|t|rt\overline{t}j(\log|itk\geq-n\cdot hn.\mathrm{O}|)^{k}$$(tarrow 0)$
(2) $tarrow 0$ の時、
$\tau(x_{t})\approx|t|^{\frac{2(-1)^{n}}{\langle n+2)!}\mu(X_{0})}\det(^{t}\Omega(t)\Lambda\overline{\Omega}(t))^{(-}1)^{n+1}$
(3) Sing $x_{0}$ が有理特異点ならば、 $tarrow \mathrm{O}$ の時、
$\tau(X_{t})\approx|t|\frac{2(-1)^{n}}{(n+2)!}\mu(\mathrm{x}_{0})$ .
98
注童.
(1) $A(t)\approx B(t)$ $(tarrow 0)$$\Leftrightarrow def$
$\exists a\neq 0$ $s.t$ . $\lim_{tarrow 0^{\frac{A(t)}{B(t)}}}=\exp(a)_{\backslash }$
(2) ${}^{t}\Omega(t) \Lambda\overline{\Omega}(t)=(\int_{X_{t}}\omega i(t)\wedge\overline{\omega}_{j}(t))$ .
以上は解析的トーションと多様体の周期の関係についての定理であるが、 より明
解な漸近挙動についての予想を述べたい。
$(p, \mathcal{O}_{X,p})$ を $f(z)\in \mathbb{C}\{z_{0}, \cdots, z_{n}\}$ で定まる超曲面孤立特異点 ‘
$b_{f}(S)=(s+1) \prod_{i}(s+\alpha_{i})$ , $\alpha_{i}\in \mathbb{Q}+$ を $(p, \mathcal{O}_{X_{P}},)$ の b-関数とする。
定義 2.5.
$\nu(p):=\sum_{<0<\alpha\dot{.}1}\alpha_{i}$,
$\nu(X_{0}):=\sum_{Xp\in Sing0}\nu(p)$,
$\delta_{n-1}(X_{0}):=\dim H_{(}^{0}(2)x_{0},$ $\Omega n-1)x0-\dim H^{0}(X_{t}, \Omega_{\mathrm{x}_{\mathrm{t}}^{-1}}^{n})$ $(t\neq 0)$ .
予想 2.1. $tarrow \mathrm{O}$ の時、 $\tau(X_{t})$ の主要部は次式で与えられる :
$’ \tau(X_{t})\approx|t|2(-1)n\{\mu\#^{\mathrm{x}}n2!-\nu(X_{0})\}(\log\frac{1}{|t|})^{(-}1)n_{\delta n(\mathrm{x})}-10$ .
例 2.1. $X_{t}=\{z_{0}+d\ldots d+zn-tZn+1d=0\}\subset \mathrm{P}^{n+1}$ $(tarrow 0)$
注,=a. Sing $X_{0}$ が有理特異点 $\Leftrightarrow$ $\forall i$ : $\alpha_{i}>1$ . $\Rightarrow$ $\nu(X_{0})=\delta,-1(X_{0})=0$ .
これより予想 2.1で Sing $X_{0}$ が有理特異点の場合が定理 24(3) である。
99
3. Abel 多様体の判別式
第 1節で楕円曲線について考えたことを Abel 多様体に対して考える。
$\mathfrak{S}_{g}:=\{\tau\in M(g;\mathbb{C}); t_{\mathcal{T}}=\tau, Im\tau>0\}$ を $g$ 次 Siegel 上半空間、
$\Lambda=\{\Lambda_{\tau}:=\mathbb{Z}e_{1}\oplus\cdots\oplus \mathbb{Z}e_{g}\oplus \mathbb{Z}\tau_{1}\oplus\cdots\oplus \mathbb{Z}\tau_{g}\}_{\tau}\in \mathfrak{S}_{\text{、}を}\mathbb{C}^{g}$ の格子族、
$A_{\tau}:=\mathbb{C}^{g}/\Lambda_{\tau}$ $(1_{g}=(e_{1}, \cdots, e_{g})\tau=(\tau_{1}, \cdots, \tau_{g})\in \mathfrak{S}_{g}.)$ を Abel 多様体、
$p:\mathrm{A}:=\mathbb{C}^{g}\cross \mathfrak{S}_{g}/\Lambdaarrow \mathfrak{S}_{g}$ を $\mathfrak{S}_{g}\text{上の主偏曲}$ Abel 多様体の基本族 $(p^{-1}(\tau)=A_{\mathcal{T}})_{\text{、}}$
$T\mathrm{A}/\mathfrak{S}_{g}=\mathrm{k}\mathrm{e}\mathrm{r}p_{*}=\mathcal{O}_{\mathrm{A}^{\frac{\partial}{\theta z_{1}}}}\oplus\cdots\oplus \mathcal{O}_{\mathrm{A}^{\frac{\partial}{\partial z_{g}}}}$ を $(p, \mathrm{A}, \mathfrak{S}_{g})$ の相対接束、
$g_{\mathrm{A}/}\mathfrak{S}ff=\{g_{\mathcal{T}}\}\tau\in \mathfrak{S}_{g}$ を $T\mathrm{A}/\mathfrak{S}_{g}$ の K\"ahler 計量 $(g_{\tau}:={}^{t}d_{Z}(Im\mathcal{T})^{-}1d\overline{z})\text{、}$
$\Gamma_{g}:=Sp(2g;\mathbb{Z})$ を Siegel モジュラー群とする。
$\Gamma_{g}$ は次のように A に作用する : $\forall\gamma=\in\Gamma_{g}$ , $\forall(Z,.\mathcal{T})\in \mathrm{A}$ ,
(3.1) $\gamma\cdot(z, \tau)=(^{t}(C_{\mathcal{T}}+D)^{-1}z, (A\tau+B)(C_{\mathcal{T}}+D)^{-1})$, $\gamma^{*}g_{\mathrm{A}/}\mathfrak{S}_{g}=g_{\mathrm{A}/\mathfrak{S}_{g}}$ .
定理 11の素朴な類似として次の間題は自然である。
問題 3.1. Abel 多様体の解析的トーションは何か ?
定理 (Ray-Singer). $\tau(A_{\tau})\equiv 1$ $(g>1)$ .
即ち、 $\tau(A_{\tau})$ は何ら保型形式を生み出さない。この理由を考えるために $(p, \mathrm{A}, \mathfrak{S}_{g})$
のコホモロジーの行列式を見てみる。定義より、 $\lambda_{\mathrm{A}}=\otimes_{q\geq 0}(\det Rqp*\mathcal{O}_{\mathrm{A}})^{(}-1)q$ が
$(p, \mathrm{A}, \mathfrak{S}_{g})$ のコホモロジーの行列式である。 $\Gamma_{g}$ の A への作用はファイバーをファイ
バーに移すので、 $\Gamma_{g}$ は $q$ 西砂像 $R^{q}p_{*}\mathcal{O}_{\mathrm{A}}$ に作用する。従って $\lambda_{\mathrm{A}}$ にも作用する。又、
ファイバ–が Abel 多様体なので次が従う :ヨ
(3.2) $\wedge R^{1}p_{*}\mathcal{O}\mathrm{A}\cong \mathrm{r}_{g}R^{q}p_{*}\mathcal{O}_{\mathrm{A}}$.
-方、勝手なベクトル束 $F$ に対して、
(3.3) $\bigotimes_{0q\geq}(\wedge^{q}F)(-1)^{q}\cong\{$
$F^{}$ (ranl $=1$ )(rank $F>1$ )
100
が成立するので、次が従う :
(3.4) $\lambda_{\mathrm{A}}\cong_{\Gamma ff}\{$
$p_{*}\omega_{\mathrm{A}/\mathfrak{S}_{g}}$ $(g=1)$
$\mathcal{O}_{\mathrm{A}}\cdot!\mathrm{A}$ $(g>1)$ .
ここで$\omega_{\mathrm{A}/\mathfrak{S}_{g}}$ } $\mathrm{h}(p, \mathrm{A}, \mathfrak{S}_{g})$ の相対標準束である。
命題 3.1. $g>1$ ならば AA の $\mathrm{r}_{g}$ -不変な断面 $1_{\mathrm{A}}\in H^{0}(\mathrm{e}_{g}, \lambda(\mathcal{O}\mathrm{A}))\mathrm{r}_{g}$ が存在して、
$||1_{\mathrm{A}}||_{Q()}\ell\gamma\equiv 1$ が成立する。
この様に、 $g=1$ と $g>1$ ではコホモロジーの行列式の構造が全く異なる。従っ
て、次の問題が生ずる。
問題 3.2. コホモロジーの行列式が楕円曲線の基本族の–般化となる族は何か 7.
4. \tau ---タ因子の判別式
この節では問題 32に解答を与える。 $\overline{\text{フ}^{}--}$タ関数を次式で定義する :
(4.1)$\theta(_{Z,\mathcal{T}}):=\sum_{\mathbb{Z}^{g}m\in}\exp\pi i(^{t_{m}}\mathcal{T}m+2^{t}mZ)$
.
$\ominus_{\tau}:=\{z\in A_{\tau};\theta(z, \tau)=0\}$ を $A_{\tau}$ の $\overline{\tau}-$ タ因子、
$p:\ominusarrow \mathfrak{S}_{g}$ を $\overline{\tau}-$ タ因子の基本族 $(p^{-1}(\mathcal{T})=\ominus_{\tau})_{\text{、}}$
$\Gamma_{g}(1,2):=\{\gamma\in\Gamma_{g};\gamma\cdot\ominus=\ominus\}\subset\Gamma_{g}$ を $\Gamma_{g}$ の指数有限な部分群、
$N_{g}:=\{\tau\in \mathfrak{S}_{g};Sing\ominus_{\tau}\neq\emptyset\}$ を Andreotti-Mayer 軌跡とする。
命題 4.1. $N_{g}$ は $\Gamma_{g}$ -不変な $\mathfrak{S}_{g}$ 上の因子である。
A 上の $\Gamma_{g}(1,2)$-層の完全列 :
(4.2) $0arrow \mathcal{O}_{\mathrm{A}}(-\ominus)arrow \mathcal{O}_{\mathrm{A}}arrow \mathcal{O}_{\ominus}arrow 0$
に小平消滅定理を組み合わせることにより、 次の同型が得られる :
(4.3) $\lambda_{\ominus}\cong_{\mathrm{r}_{s}}(1,2)\lambda_{\mathrm{A}}\otimes(p_{*\mathrm{A}/\mathfrak{S}}\omega)^{(-}ff1)\text{、}$ .
101
従って、 $\lambda_{\Theta}$ は次の楕円曲線の場合に類似した標準的断面を持つ :
(4.4) $\sigma_{\ominus}(\tau):=1_{\mathrm{A}}(\tau)\otimes(dz_{1}\wedge\cdots\wedge d_{Z})_{\mathcal{T}}^{(-1)^{g}}g$ .
盒題 A\mbox{\boldmath $\lambda$}. $\overline{\tau}-$ タ因子の基本族 $(p, \ominus, \mathfrak{S}_{g})$ のコホモロジーの行列式は
楕円曲線の基本族のコホモロジーの行列式の自然な–般化である。
そこで次の問題を考えるのは自然であろう。
問題 4.1. $\overline{\text{フ}^{}--}$タ因子の解析的トーションは何か ?
5. Andreotti-Mayer 形式
5.1 Andreotti-Mayer 形式.
定義 : $f(\tau^{-})\in \mathcal{O}(\mathfrak{S}_{g})$ が $\Gamma’(\subset\Gamma_{g})$ に関する重さ kの指標 $\chi$ 付き保型形式
$\Leftrightarrow def$
$\forall\gamma=\in\Gamma’$ , $f(\gamma\cdot\tau)=\det(C_{T}+D)^{k}\cdot\chi(\gamma)\cdot f(_{\mathcal{T}})$ .
$\Gamma’=\Gamma_{g},$ $\chi=1$ の時、 $f(\tau)$ は重さ $k$ の Siegel 保型形式と呼ばれる。
$g\ominus_{\tau}:=g_{\tau}|\ominus\tau$ を $\ominus_{\tau}$ の K\"ahler 計量 $(_{g_{\tau}={}^{t}d}z(Im\tau)-1d\overline{z})\text{、}$
$\tau(\ominus_{\mathcal{T}})$ を $(\Theta_{\mathcal{T}}, g\ominus_{\tau})$ の解析的トーションとする。
定理 5.1 $([\mathrm{Y}1])$ . $N_{g}$ を零因子に持つ重さ $\frac{(g+3)\cdot g!}{2}$ の Siegel保型形式 $\triangle_{g}(\tau)$ が存在
して、 次が成立する ( $-$タ因子に対する Kronecker 極限公式) :
$\tau(\Theta_{\tau})=\{(\det Im\mathcal{T})^{\frac{g+3}{2(g+1)}}\cdot|\triangle_{g}(\mathcal{T})|\frac{2}{(g+1)!}\}^{(-1)}g+1$ .
$\Delta_{g}(\tau)$ についてもう少し詳しいことがわかる。
$\forall$
$a,$ $b\in \mathrm{F}_{2}^{g}(F_{2}=\mathbb{Z}/2\mathbb{Z})_{\text{、}}\overline{\tau}-$ タ定数を次式で定める :
(5.1) $\theta_{a,b}(\mathcal{T}):=\sum_{m\in \mathbb{Z}^{g}}\exp\pi i(t(m+\frac{1}{2}a)\tau(m+\frac{1}{2}a)+{}^{t}(m+\frac{1}{2}a)b)$ .
$((a, b)={}^{t}a\cdot b\neq 0$ $\Rightarrow$ $\theta_{a,b}(\tau)=0$ , $(a, b)=0$ $\Rightarrow$ $\theta_{a,b}(\tau)\neq 0.)$
$\chi_{g}(\mathcal{T}):=\prod_{()=}a,b0(\theta_{a,b}\mathcal{T})$ を偶 7– $-$タ定数全部の積とする。
102
命題 5.1. Siegel保留形式 $J_{g}(\tau)$ が存在.して、
$\Delta_{g}(\tau)=\chi g(_{\mathcal{T})}\cdot J(g\mathcal{T})2$ .
これより $g<5$ の時、 $\Delta_{g}(\tau)$ を定数倍を除いて決定できる。
(52) $\Delta_{g}(\tau)=x_{g}(_{\mathcal{T})} (g=2,3)$ , $\Delta_{4}(\tau)=\chi 4(T)\cdot J4(\mathcal{T})2$ .
ここで、 $J_{4}(\tau)\in \mathbb{Z}[\theta_{a,b}(\tau)]a,b\in^{\mathrm{p}_{2}^{g}}$ ’は Schottky により発見された保型形式である。
( $\overline{7}\cdot-$タ定数によるみの表示は–意的ではない。)
命題 5.2 ( $\mathrm{S}\mathrm{c}\mathrm{h}\mathrm{o}\mathrm{t}\mathrm{t}\mathrm{k}\mathrm{y}\text{、}$ Beauvile、井草). $J_{4}(\tau)$ は $\mathfrak{S}_{4}$ の中で種数 4の曲線の Ja-
cobian を特徴付ける。
5.2 Andreotti-Maver 形式の積分公式.
Bismut-Lebeaut の定理 ([B-L]) を用いることにより $\Delta_{g}(\tau)$ の積分表示を得る。
定理 5.2 $([\mathrm{Y}3])$ . $\Omega_{\tau}:=\frac{i}{2\pi}{}^{t}dz(Im\tau)^{-1}d\overline{z}$ を $A_{\tau}$のケーラー形式とすれば、
$\log|\Delta_{g}(\mathcal{T})|^{2}=\int A_{\tau}i+j\sum_{=g-1}.\Omega_{\tau}^{i1}+\wedge(\Omega_{\tau}-\frac{i}{2\pi}\overline{\partial}\partial\log||D\theta||2)j|\log||D\theta|^{2}$
$+ \int_{A_{\tau}}(\Omega_{\tau}-\frac{i}{2\pi}\overline{\partial}\partial\log||D\theta||2)g|^{2}\log||\theta|-g!\log\det Im\tau$.
ここで、 $D\theta$ は $\theta\in H^{0}(A, L)$ $(L=\mathcal{O}_{\mathrm{A}}([]))$ の Cartan 接続による共変微分で
ある。
$g=1$ の時は、 $\Delta_{1}(\tau)=\Delta(\tau)\frac{1}{6}$ として次の Faltings の公式 $([\mathrm{F}])$ が得られる :
(5.3) $\log|\Delta(’\Gamma)|^{\frac{1}{12}}=\int_{E_{\tau}}\log||\theta||^{2}\Omega_{\tau}$ .
応用. 定理 52の応用として Schottky 形式みと種数 3曲線の定義方程式に関係が
つく。
$J_{4}(\tau)$ を Schottky 形式、
$\tau(t)=$ $(\tau_{1}\in \mathfrak{S}_{3\text{、}}\tau_{2}\in \mathbb{H}_{\backslash }z\in \mathbb{C}^{3})$ とおく。
この時、 $\{A_{\tau(t)}\}$ は 4次元 Abel 多様体の族で $A_{\tau(0)}=A_{\tau_{1}}\mathrm{x}E_{\tau_{2}}$ である。
103
定理 5.3 $([\mathrm{Y}4])$ . $\tau_{1}\not\in N_{3}$ ならば $\mathcal{O}(\mathfrak{S}_{3})$ -係数の同次 4次多項式 $F(z, \tau_{1})\in \mathcal{O}(\mathfrak{S}_{3})[z1, z_{2,3}z]$
が存在して、次が成立する。
(1)
$( \frac{d}{dt})^{4}|_{t=}01J_{4}(\mathcal{T}(t))=\Delta(\mathcal{T}_{2})\cdot F(z, \mathcal{T})$ ,
(2) $C_{\tau_{1}}:=\{z\in \mathrm{P}^{2}; F(z, \mathcal{T}_{1})=0\}$ は函数 3の曲線で $Jac(C\tau_{1})=A_{\tau_{1}}$。
注童. $\chi_{4}(\tau)$ に対して同様の事を考えると次のようになる :
(5.4) $( \frac{d}{dt})^{28}|_{t}=0tx_{4}(\tau())=\Delta(_{\mathcal{T})^{8}\cdot()}2\Delta_{3}\mathcal{T}13$ . $G(Z, \mathcal{T}_{1})$ .
ここで、 $L_{\tau_{1}}=\{z\in \mathrm{P}^{2}; c(z, \tau_{1})=0\}$ は $C_{\tau_{1}}$ の 28本の複接線である。
5.3定理 5.1の証明の方針.
(1) $g_{E}:={}^{t}dz\cdot d\overline{z}$ を $T\mathrm{A}/\mathfrak{S}_{g}$ の Euclid 計量、
$g_{E,\ominus/\mathfrak{S}_{g}}$ を $g_{E}$ から定まる相対接束 $T\ominus/\mathfrak{S}_{g}$ の K\"ahler 計量、
.$||\cdot||_{Q}’$ を $gE,\Theta/\mathfrak{S}_{g}\iota_{}^{}$関する \mbox{\boldmath $\lambda$}。の Quillen 計量とする。
Debbare の定理 $([\mathrm{D}])$ と定理 $2..1_{\backslash }2.3$ より次が従う :
(5.5) $c_{1}( \lambda_{\ominus}, ||\cdot||_{Q}’)=\frac{(-1)^{g+1}}{(g+1)!}\delta_{N_{\mathit{9}}}$.
これより、 $\Delta_{g}(\tau)\in \mathcal{O}(\mathfrak{S}_{g})$ が存在して次が成立する :
(56) $(\Delta_{g})0=N_{g}$ , $||\sigma_{\ominus}||_{Q}’2(\tau)=|\Delta g(\tau)|^{\frac{2\mathrm{t}-1)\emptyset+1}{(g+1)!}}$ .
(2) 定理 22より次がわかる : $\forall\gamma=\in\Gamma_{g}(1,2)\text{、}$
(5.7) $\log(\frac{\gamma^{*}||\cdot||_{Q}^{;}}{||\cdot||_{Q}’}(\mathcal{T}))2=\frac{(-1)^{g}(g-1)}{g+1}\log|\det(c_{\mathcal{T}}+D)|$
即ち、 $\Delta_{g}(\tau)$ は $U(1)$-指標付きの $\Gamma_{g}(1,2)$ に関する保型形式である。 $\Gamma_{g}$ と $N_{g}$ の性
質から $\Delta_{g}(\tau)\text{は}\Gamma_{g}$ に関する保型形式で指標は自明ある。
104
(3) 再び定理 22より次がわかる :
(5.8) $\log(\frac{||\cdot||_{Q}’}{||\cdot||_{Q}})^{2}=\frac{(-1)^{g}(g+1)}{2(g+1)}\log\det Im\mathcal{T}$ .
(5.6) と (5.8) より
(5.9) $||\sigma\ominus||_{Q}^{2}(\tau)=(\det Im\tau)^{\frac{(-1)^{g}(g-1)}{2(l+1)}1(}\Delta g\mathcal{T})|^{\frac{2(-1)^{g+}1}{\{g+1)!}}$
となるので、
(5.10) $\log||\sigma_{\Theta}||_{L}^{2}2(\mathcal{T})=(-1)^{g}\log(2\pi)^{g}\det Im\tau$
と組み合わせて定理を得る。 口
REFERENCES[B-G-S]. Bismut, J.-M., Gillet, H., Soul\’e, C., Analytic torsion and holomorphic determinant
bundles $I,$ $II,$ $III$, Commun. Math. Phys. 115 (1988), 49-78, 79-126, 301-351.[B-L]. Bismut, J.-M., Lebeau, G., Complex immersions and Quillen metrics, Publ. Math.
IHES 74 (1991), 1-297.[D]. Debarre, O., Le lieu des vari\’et\’es ab\’eliennes dont le diviseur th\^eta est singulier a
deux composantes, Ann. Sci. Ec. Norm. Sup. 25 (1992), 687-708.[F]. Faltings, $\mathrm{G}:$ , Calculus on arithmetic surfaces, Ann. of Math. 119 (1984), 612-649.
[J-K]. Jorgenson, J. and Kramer, J., Towards the arithmetic degree of line bundles onabelian varieties, preprint (1997).
[J-T1]. Jorgenson, J., Todorov, A., A conjectured analogue of Dedekind’s $eta$ function for$K3$ surfaces, Math. Res. Lett. 2 (1995), 359-376.
[J-T2]. –, Analytic discriminants for manifolds with canonical class zero, SymposiaMath. 36 (1996), 223-260.
[Y1]. Yoshikawa, K.-I., Smoothing of isolated hypersurface $sing\mathrm{u}la\dot{\mathcal{H}}tieS$ and Quillen met-rics, preprint (1997).
[Y2]. –, $Di_{S\dot{C}}riminant$ of theta divisors and Quillen metrics, preprint (1997).[Y3]. –, An integral representation formula for Andreotti-Mayer forms, preprint
(1997).[Y4]. –, Schottky’s modular form and defining equation of curves of genus 3, preprint
(1997).
105