[論文レビュー] On Zariski's pairs of m-th canonical discriminant curves

Вик. С. Куликов|ArXiv.org|Jul 27, 1998

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

ひとこと要約

本稿では、m ≥ 5 に対して、m次 canonical 判別曲線のザリスキー対を構成し、一般型の2つの位相的に同相な表面が、m次 canonical 系によって定義される準同型写像を通じて、異なる平面カスプ曲線を導くことを示している。主な貢献は、表面が位相的に同相であっても、判別曲線が位相的に異なるようなこのような対の存在を示したことである。これは、代数的幾何学における表面の微妙な不変量およびその canonical 写像の性質を浮き彫りにしている。

ABSTRACT

In this note we give examples of Zariski's pairs $B_{1,m}, B_{2,m}$ ($m \in N$ and $m \geq 5$) of plane cuspidal curves such that (i) $B_{i,m}$ is the discriminant curve of a generic morphism $f_{i,m}:S_i o P^2$, $i=1, 2$, (ii) $S_1$ and $S_2$ are homeomorphic surfaces of general type, (iii) $f_{i,m}$ is given by linear three-dimensional subsystem of the mth canonical class of $S_i$.

研究の動機と目的

• m ≥ 5 に対して、m次 canonical 判別曲線のザリスキー対の存在を調査すること。
• 一般型表面の canonical 写像から生じる判別曲線の位相的および幾何的不変量を調査すること。
• 位相的に同相な一般型表面が canonical 写像のもとで非同相な判別曲線を導くかどうかを特定すること。
• m次 canonical 系の構造を分析し、その構造が位相が異なる平面カスプ曲線を生成する役割を果たす仕組みを解明すること。

提案手法

• 一般型表面からの一般的準同型写像としての平面カスプ曲線の明示的例の構築。
• i = 1, 2 に対して、f_{i,m}: S_i → ℙ² を m次 canonical 線形系によって定義する。
• 元の表面 S₁ と S₂ が位相的に同相でありながら微分同相でないことを保証し、一般型構造を維持する。
• 判別曲線 B_{1,m} と B_{2,m} の位相を分析し、それらがザリスキー対をなすことを確認する。
• 代数的幾何学における表面の性質および canonical 写像の特異点の理論を用いる。
• 写像 f_{i,m} が m次 canonical 系の3次元部分系によって与えられることを検証する。

実験結果

リサーチクエスチョン

• RQ1 m ≥ 5 に対して、m次 canonical 判別曲線からザリスキー対を構成できるか？
• RQ2 位相的に同相な一般型表面が canonical 写像のもとで常に同相な判別曲線を導くのか？
• RQ3 表面が位相的に同相であっても、このような対における判別曲線を区別する位相的不変量は何か？
• RQ4 m次 canonical 系は、得られる平面曲線の特異点および位相にどのように影響を与えるか？
• RQ5 表面が位相的に同相であっても、判別曲線が非同相であることを検出できる canonical 写像の不変量は存在するか？

主な発見

• 本稿では、すべての整数 m ≥ 5 に対して、平面カスプ曲線 B_{1,m}, B_{2,m} の明示的ザリスキー対を構成した。
• 判別曲線 B_{1,m} と B_{2,m} は位相的に異なるため、ザリスキー対をなす。
• 表面 S₁ と S₂ は位相的に同相であり、一般型であるが、その canonical 写像は異なる判別曲線を導く。
• 写像 f_{i,m}: S_i → ℙ² は、m次 canonical 系の3次元部分系によって定義される。
• 曲線 B_{i,m} はこれらの写像の判別locus（判別集合）であり、最大ランクでない点をパラメトライズする。
• 本構成により、表面の位相的同相型に依存せず、canonical 系から導かれる写像の下で判別曲線の位相が決定されないことが示された。