[論文レビュー] Real hyperelliptic surfaces and the orbifold fundamental group

Fabrizio Catanese, Paola Frediani|ArXiv.org|Dec 1, 2000

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

ひとこと要約

本稿では、双曲的代数的表面の位相的分類を完成させ、実ハイパーエリプティック表面 $(S,\sigma)$ の微分型が、そのオビットフォンダメンタル群の完全系列によって完全に決定されることを示した。著者らは、このようなペアの位相的型がちょうど78種類であり、実部 $S(\mathbb{R})$ の位相的型がちょうど11種類であることを証明した。各対応するモジュライ空間は、既約かつ連結である。

ABSTRACT

In this paper we finish the topological classification of real algebraic surfaces of Kodaira dimension zero and we make a step towards the Enriques classification of real algebraic surfaces, by describing in detail the structure of the moduli space of real hyperelliptic surfaces. Moreover, we point out the relevance in real geometry of the notion of the orbifold fundamental group of a real variety, and we discuss related questions on real varieties $(X, σ)$ whose underlying complex manifold $X$ is a $K (π, 1)$. Our first result is that if $(S, σ)$ is a real hyperelliptic surface, then the differentiable type of the pair $(S, σ)$ is completely determined by the orbifold fundamental group exact sequence. This result allows us to determine all the possible topological types of $(S, σ)$, and to prove that they are exactly 78. It follows also as a corollary that there are exactly eleven cases for the topological type of the real part of S. Finally, we show that once we fix the topological type of $(S, σ)$ corresponding to a real hyperelliptic surface, the corresponding moduli space is irreducible (and connected). We also give, through a series of tables, explicit analytic representations of the 78 components of the moduli space.

研究の動機と目的

• キノウラ次元がゼロである実代数的表面の位相的分類を完成させること。
• オビットフォンダメンタル群が実代数的幾何における位相的不変量として果たす役割を調査すること。
• 実ハイパーエリプティック表面 $(S,\sigma)$ の異なる微分型の数を特定すること。
• 実ハイパーエリプティック表面のモジュライ空間の構造を分析し、その既約性を証明すること。
• 実部 $S(\mathbb{R})$ の可能な位相的型を分類し、オビットフォンダメンタル群の不変量と関連付けること。

提案手法

• 実多様体 $(S,\sigma)$ の位相的不変量として、完全系列 $1 \to \pi_1(S) \to \pi_1^{orb}(Y) \to \mathbb{Z}/2\mathbb{Z} \to 1$ を用いる。
• 正則反共役自己同型 $\sigma$ が基本群 $\pi_1(S)$ 及びその固有空間に作用する様子を分析し、位相的型を区別する。
• 固定点寄与の偶奇 $\nu(\sigma_i)$ や $\epsilon_i$ の固有ベクトル条件といった不変量を用いて、実ハイパーエリプティック表面を分類する。
• クレイン多様体 $Y = S / \langle \sigma \rangle$ 及び分岐集合 $S(\mathbb{R}) = \mathrm{Fix}(\sigma)$ の構造に基づいて場合分けを行う。
• 不変量と群作用の表を用いて、78個のモジュライ空間成分の明示的解析的表現を構成する。
• $K(\pi,1)$ 性質を応用し、ホモトピー的分類を群論的データに還元する。これは、普遍被覆の収縮性を活用する。

実験結果

リサーチクエスチョン

• RQ1 オビットフォンダメンタル群完全系列は、実ハイパーエリプティック表面の微分型をどの程度決定するか。
• RQ2 実ハイパーエリプティック表面の異なる位相的型はいくつ存在し、どのように分類されるか。
• RQ3 このような表面の実部 $S(\mathbb{R})$ の可能な位相的型は何か。
• RQ4 固定された位相的型を持つ実ハイパーエリプティック表面のモジュライ空間は、既約かつ連結か。
• RQ5 オビットフォンダメンタル群完全系列を用いて、$X$ が $K(\pi,1)$ である実代数的表面を分類できるか。

主な発見

• 実ハイパーエリプティック表面 $(S,\sigma)$ の異なる微分型は、ちょうど78種類であり、オビットフォンダメンタル群完全系列によって完全に分類されている。
• 実部 $S(\mathbb{R})$ には、固定点および分岐の配置に応じてちょうど11種類の位相的型が存在する。
• 78の位相的型の各々に対して、対応するモジュライ空間は、成分の解析的表現によって示されるように、既約かつ連結である。
• 分類は、$\nu(\sigma_i)$、固定点寄与の偶奇、$\sigma_1, \sigma_2$ による作用における $\epsilon_1, \epsilon_2$ の固有ベクトル条件といった区別可能な不変量に依存している。
• オビットフォンダメンタル群完全系列は、実ハイパーエリプティック表面の微分型に対する完全不変量である。
• 明示的な表により、すべての78個のモジュライ空間成分の解析的表現が得られており、これは群作用および自己同型の不変量から導出されている。