[論文レビュー] Rationality criteria for motivic zeta-functions

Michael Larsen, Valery A. Lunts|ArXiv.org|Dec 11, 2002

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

本稿は、複素数の表面のモチーフ的ゼータ関数の有理性を完全に特徴づける。モチーフ的ゼータ関数が有理的であることと、表面がKodaira次元 $-\infty$ を持つことは同値である。著者らは、アダムズ作用と $\lambda$-環構造に基づく、家族のモチーフ的測度 $\mu_n$ を導入し、無理数性を検出する。非負のKodaira次元を持つ表面は、正の多様体次元を有するため、ゼータ関数が無理数的であることが示された。

ABSTRACT

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is rational if and only if its Kodaira dimension is negative.

研究の動機と目的

• モチーフ的ゼータ関数 $\zeta_X(t) = \sum_{n \geq 0} [\mathrm{Sym}^n X] t^n$ が複素数の代数的多様体のGrothendieck環において有理的となる正確な条件を特定すること。
• 曲線から表面へのカプランォフの有理性の問いを、モチーフ的積分と崩壊幾何学の文脈で拡張すること。
• コホモロジー上のアダムズ作用を用いた新しいモチーフ的測度 $\mu_n$ を開発し、$\zeta_X(t)$ の無理数性を検出すること。
• $K_0[\mathcal{V}_\mathbb{C}]$ における対称冪作用の代数的性質を理解するにあたり、$\lambda$-環構造の役割を明確にすること。
• Grothendieck環の $\lambda$-環への特殊化が、特にアーベル多様体や一般型の表面において、有理性の問いを解消するかどうかを調査すること。

提案手法

• 正の整数 $n$ によって添え字づけられるモチーフ的測度 $\mu_n$ を導入し、$\mu_n([Z]) = \left[ \sum_{i \geq 0} \dim H^0(Z, \Psi^n \Omega_Z^i) s^i \right]$ で定義する。ここで $Z$ は滑らかで射影的な多様体であり、$\Psi^n$ は $n$ 番目のアダムズ作用を表す。
• 表面 $X$ に対して、$K_0[\mathcal{V}_\mathbb{C}]$ 内で $[\mathrm{Sym}^n X] = [\mathrm{Hilb}^n X]$ が成り立ち、$\mathrm{Hilb}^n X$ が滑らかであることを用いて、モチーフ的ゼータ関数とヒルベルトスキームを関連付ける。
• もし $m$ 番目の多様体次元 $P_m(X) = \dim H^0(X, \omega_X^{ ensor m}) > 0$ ならば、生成関数 $\sum_{i \geq 0} \mu_n([\mathrm{Hilb}^i X]) t^i$ は無理数的であり、これは $\zeta_X(t)$ の無理数的性を示唆する。
• $\lambda$-環論を用いて $K_0[\mathcal{V}_\mathbb{C}]$ の構造を分析し、特に「実質的有限」な要素の概念を扱い、特殊化 $K_0[\mathcal{V}_K]_\sigma$ を最大の特殊 $\lambda$-環商として定義する。
• 有理的性 $\zeta_X(t)$ は、$K_0[\mathcal{V}_\mathbb{C}]$ 内で $[X]$ の実質的有限性を意味し、これは表面に対してKodaira次元 $-\infty$ と同値であることを示した。
• 特殊 $\lambda$-環上の $\lambda$-準同型は、実質的有限な要素を有理的べき級数に写すため、$\zeta_X(t)$ が $\lambda$-準同型として形式的に普遍的であることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 どの複素数の表面 $X$ に対して、モチーフ的ゼータ関数 $\zeta_X(t)$ がGrothendieck環 $K_0[\mathcal{V}_\mathbb{C}]$ において有理的となるか？
• RQ2 $\zeta_X(t)$ の有理的性は、コホモロジー上のアダムズ作用から構成されたモチーフ的測度 $\mu_n$ を用いて検出可能か？
• RQ3 非ゼロの多様体次元の存在が $\zeta_X(t)$ の有理的性を妨げるのか、そしてその理由は何か？
• RQ4 $K_0[\mathcal{V}_\mathbb{C}]_\sigma$ は $\lambda$-環としての意味で有限次元的か？ そして、有理的性の問いを解消するのか？
• RQ5 すべての主偏極アーベル多様体は $K_0[\mathcal{V}_\mathbb{C}]$ 内で実質的有限か？ そして、これは $\zeta_{A\sigma}(t)$ の有理的性を意味するか？

主な発見

• モチーフ的ゼータ関数 $\zeta_X(t)$ は、$K_0[\mathcal{V}_\mathbb{C}]$ において有理的であるための必要十分条件は、$X$ がKodaira次元 $-\infty$ を持つ複素数の表面であることである。
• Kodaira次元 $\geq 0$ の表面に対しては、モチーフ的ゼータ関数は無理数的である。これは、ある $m$ に対して $P_m(X) > 0$ のとき、$\zeta_X(t)$ を無理数的べき級数に写すモチーフ的測度 $\mu_n$ を構成することで示された。
• モチーフ的測度 $\mu_n$ は、滑らかで射影的な多様体のコホモロジー上のアダムズ作用 $\Psi^n$ を通じて定義され、$H^0(\mathrm{Hilb}^i X, \Psi^n \Omega^{\bullet})$ の生成関数を通じて無理数的性を検出する。
• 任意の曲線の $K_0[\mathcal{V}_\mathbb{C}]$ 内の類は実質的有限であり、したがってそのモチーフ的ゼータ関数は大域的に有理的である。これはカプランォフの結果を一般化する。
• Grothendieck環の特殊化 $K_0[\mathcal{V}_\mathbb{C}]_\sigma$ は、実質的有限な要素が $\lambda$-準同型のもとで有理的級数に写されるため、有理的性を研究する自然な文脈である。
• すべての主偏極アーベル曲面は $K_0[\mathcal{V}_\mathbb{C}]$ 内で実質的有限であり、したがってそのモチーフ的ゼータ関数は $\sigma$-特殊化において大域的に有理的である。