[論文レビュー] Automorphismes naturels de l'espace de Douady de points sur une surface

Samuel Boissière|ArXiv.org|May 27, 2009

Algebraic Geometry and Number Theory参考文献 11被引用数 3

ひとこと要約

本稿は、複素表面 $S$ 上の $n$ 個の点をパラメトライズするドゥアディ空間 $S^{[n]}$ の自己同型群を調査する。$\text{Aut}(S^{[n]})$ の次元が $\text{Aut}(S)$ に等しいことを確立し、非代数的 K3 表面に対しては $\text{Aut}(S^{[n]}) \to \text{Aut}(S)$ が同型であることを証明する。研究は、表面自己同型から誘導される自然な自己同型に焦点を当て、幾何学的およびコホモロジー的技法を用いて、それらの作用、レフシェッツ数、固定点構造を分析する。

ABSTRACT

We prove some general results concerning the size of the group of automorphisms of the Douady space of points on a surface. We then study some properties of the automorphisms coming from an automorphism of the surface, in particular their action on the cohomology and the classification of their fixed points.

研究の動機と目的

• 複素表面 $S$ 上の $n$ 個の点からなるドゥアディ空間 $S^{[n]}$ の自己同型群の構造と大きさを理解すること。
• 基礎となる表面 $S$ の自己同型から自然に生じる $S^{[n]}$ の自己同型を分析すること。
• このような自然な自己同型が $S^{[n]}$ のコホモロジー上に及ぼす作用を特定すること。
• これらの自己同型の固定点の数を計算し、それらを分類すること。
• 自然な写像 $\text{Aut}(S) \to \text{Aut}(S^{[n]})$ が同型となる条件を確立すること、特に非代数的 K3 表面に対して。

提案手法

• 0次元の解析的部分スキームの長さ $n$ を持つ $S$ 上のコンpact複素多様体としてのドゥアディ空間 $S^{[n]}$ を用い、対称積 $S^{(n)}$ への自然な準同型 $\rho: S^{[n]} \to S^{(n)}$ を導入する。
• 自然な自己同型 $S^{[\bullet]}$ を、関係 $\xi \subset \xi'$ と普遍族 $\Xi_n$ を保存するものとして特徴付ける。
• 自己同型 $S^{[\bullet]}$ が自然であるための必要十分条件として、$f^{[n]}(\xi) = f(\xi)$ を通じて $S$ の自己同型から誘導されることを証明する。
• レフシェッツ固定点定理を適用し、コホモロジー的データを用いて自然な自己同型の固定点数を計算する。
• 特に K3 表面の場合に、$H^*(S^{[n]})$ の $H^*(S)$ の対称べきへの分解を用いて、自己同型のコホモロジー上の作用を分析する。
• ヒルベルト＝チャウ写像 $\rho$ 及びその特異点集合 $E$ を用い、$S^{[n]}$ の幾何構造と $S^{(n)}$ の特異点近傍における自己同型の挙動を研究する。

実験結果

リサーチクエスチョン

• RQ1 自己同型群 $\text{Aut}(S^{[n]})$ の次元は $\text{Aut}(S)$ を用いてどのように表されるか？
• RQ2 自然な写像 $\text{Aut}(S) \to \text{Aut}(S^{[n]})$ が同型となるのはいつか？
• RQ3 自然な自己同型 $S^{[n]}$ は、ドゥアディ空間のコホモロジーにどのように作用するか？
• RQ4 自然な自己同型の固定点数は $S^{[n]}$ 上でいくつであり、それらはどのように分類されるか？
• RQ5 自然な自己同型のレフシェッツ数は何か？ そして、固定点集合の幾何にどのように関係するか？

主な発見

• 任意の複素表面 $S$ と $n \geq 1$ に対して、$\dim \text{Aut}(S^{[n]}) = \dim \text{Aut}(S)$ が成り立つ。
• 非代数的で一般な K3 表面 $S$ に対して、すべての $n \geq 1$ に対して $\text{Aut}(S^{[n]}) \cong \text{Aut}(S)$ が成り立つ。
• 自然な自己同型 $f^{[n]}$ の $S^{[n]}$ 上のレフシェッツ数は、$k=0,\dots,n$ の各 $k$ に対して $f$ の $S^{(k)}$ 上のレフシェッツ数の和として与えられる。
• $n=3$ および $p=5$ の場合、自然な自己同型の固定点数は 36 であり、4 個の孤立した三重点、24 個の混合固定点（1 つは非特異で、1 つは二重）、12 個の曲線的固定点（4 個の退化した単項式三重点を含む）からなる。
• 固有値 $\xi$ および $\bar{\xi}$（3 乗単位根）を持つ自然な自己同型の孤立固定点数は $\frac{m_p(m_p - 1)}{2} + 2m_p$ であり、$m_p$ に応じて 27、14、または 9 個の固定点となる。
• 固定点集合の分類には、孤立点、重複度 2 の非退化単項式点、曲線的成分が含まれ、退化は三重点の分割 $(1,1,1)$ の場合にのみ発生する。