[論文レビュー] Automorphisms of parabolic Inoue surfaces

Akira Fujiki|ArXiv.org|Mar 31, 2009

Algebraic Geometry and Number Theory参考文献 6被引用数 5

ひとこと要約

本稿では、放物型イヌエ表面の自己同型群を明示的に決定し、それが半直積 $\mu_m \ltimes (\mathbb{C}^* \times \mu_m)$ であることを示している。この群の単位成分 $\mathbb{C}^*$ が中心をなす。さらに、自己同型群の巡回部分群による商を記述し、それらが第二ベッチ数が小さい他の放物型イヌエ表面を導くことを証明している。また、自己同型群がホモロジーに自明に作用し、楕円曲線および有理曲線の配置を保存することを確立している。

ABSTRACT

We determine explicitly the structure of the automorphism group of a parabolic Inoue surface. We also describe the quotients of the surface by typical cyclic subgroups of the automorphism group.

研究の動機と目的

• 第二ベッチ数 $m > 0$ の放物型イヌエ表面の完全な自己同型群を特定すること。これは、双曲的イヌエ表面と比較して相対的に単純であるにもかかわらず、先行文献で明示的に取り扱われていないケースである。
• 自己同型群を $\mathbb{C}^*$ と $\mu_m$ を含む半直積として記述し、離散的および連続的成分の役割を明確にすること。
• 自己同型群の巡回部分群による表面の商を分析し、それらが第二ベッチ数が小さい他の放物型イヌエ表面を導くことの証明。
• 自己同型群が $H_2(S, \mathbb{Z})$ に自明に作用することを確立し、群構造とホモロジー不変量との関連を示すこと。
• 放物型イヌエ表面のモジュライ空間が、$\alpha \in \mathbb{C}$ で $0 < |\alpha| < 1$ を満たすものによってパラメトライズされることを示し、自己同型群の構造とは独立していること。

提案手法

• 表面 $S$ の普遍被覆空間 $W$ を用いる。これは自然な $\mathbb{C}^{*2}$-作用をもつトーリック表面であり、自己同型の上への持ち上げをトーリック座標を用いて分析可能である。
• 自己同型群 $\mathrm{Aut}\, S$ を $\mathrm{Aut}_0 S \cong \mathbb{C}^*$（単位成分）と $\mathrm{Aut}_1 S$（各有理曲線 $C_i$ を保存する部分群）に分解する。
• $\mu_m$ の生成元が $\mathrm{Aut}_1 S \cong \mathbb{C}^* \times \mu_m$ 上に作用する仕組みを明示的に与え、$(t,s) \mapsto (st, s)$ とし、半直積構造を定義する。
• $\mathrm{Aut}\, S$ が有理曲線のサイクル $C = C_1 + \cdots + C_m$ 上に回転として作用することを示し、反射は生じない。これは、$\mathrm{Aut}_1 S$ を核とし、$D_m$ への準同型を介して、位数 $m$ の巡回部分群を像とする。
• $\mathrm{Aut}\, S$ の構造を、楕円曲線 $E$ 上のラインバンドル $U \to E$ のスレート群と関連付ける。ここで $U = S - C$ は $E$ 上の次数 $-m$ の正則ラインバンドルであり、自己同型は $E$ 上に平行移動を誘導する。
• 本稿では普遍被覆とガロア被覆を用いて商を分析し、位数 $m$ の巡回部分群による商が第二ベッチ数 1 の放物型イヌエ表面を導き、パrameter $\alpha$ が $\alpha^l$ まで保存されることを示している。

実験結果

リサーチクエスチョン

• RQ1 第二ベッチ数 $m > 0$ の放物型イヌエ表面 $S$ に対して、自己同型群 $\mathrm{Aut}\, S$ の完全な構造は何か？
• RQ2 自己同型群の巡回部分群による $S$ の商は幾何的にどのように振る舞い、どのような種類の表面を導くか？
• RQ3 なぜ $S$ の自己同型は、有理曲線のサイクル $C = C_1 + \cdots + C_m$ に反射を誘導しないのか？
• RQ4 自己同型群は $S$ のホモロジー、特に $H_2(S, \mathbb{Z})$ とどのように関係しているか？
• RQ5 放物型イヌエ表面のモジュライ空間は自己同型群の構造とは独立しており、どのようにパラメトライズされるか？

主な発見

• 自己同型群 $\mathrm{Aut}\, S$ は半直積 $\mu_m \ltimes (\mathbb{C}^* \times \mu_m)$ に同型であり、作用は $(t,s) \mapsto (st, s)$ で与えられる。ここで $s$ は $m$ 乗単位根である。
• 単位成分 $\mathrm{Aut}_0 S \cong \mathbb{C}^*$ は $\mathrm{Aut}\, S$ の中心をなし、$\mathrm{Aut}_1 S \cong \mathbb{C}^* \times \mu_m$ は可換な正規部分群である。
• $\mathrm{Aut}_1 S$ 内には正確に $m$ 個の位数 $m$ の巡回部分群があり、それらは $\mathrm{Aut}_0 S$ と自明に交わる。これらは $\mathrm{Aut}\, S$ 内で共役であり、それぞれが $C$ の成分を巡回的に置き換える自由作用をもつ。
• $S / \mathrm{Aut}_0 S$ は $\mu_m \times \mu_m$ に同型であり、$S / \mathrm{Aut}_1 S$ は $\mu_m$ に同型である。これにより、群構造が商幾何によって確認される。
• $\mathrm{Aut}\, S$ 内の位数 $m$ の $m$ 個の巡回部分群はすべて固定点を持たず、$C_i$ を巡回的に置き換える。対応する商表面は第二ベッチ数 1 の放物型イヌエ表面である。
• 自己同型群は $H_2(S, \mathbb{Z})$ に自明に作用し、$\mathrm{Aut}_1 S$ はホモロジーに自明に作用する唯一の部分群である。これは、ホモロジー的構造における中心性を確認する。