[論文レビュー] Zariski pairs of line arrangements with twelve lines

Benoît Guerville-Ballé|arXiv (Cornell University)|Nov 9, 2014

Advanced Combinatorial Mathematics被引用数 1

ひとこと要約

本稿では、[6] に由来する不変量を用いて、12本の直線からなる4つの直線配置を構成し、それらが同一の組合せ的データを持つが、異なる変形類に属することを示した。これにより、特定のペアが新しい算術的ザリスキ対を形成することが示され、組合せ的構造が同一であるにもかかわらず、ℂP² における位相的同相でない埋め込みを有する。算術的不変量を用いて、同一の組合せ型をもつが、位相的に同相でない配置の存在を証明した。

ABSTRACT

Using the invariant developed in [6], we differentiate four arrangements with the same combinatorial information but in different deformation classes. From these arrangements, we construct four other arrangements such that there is no orientation-preserving homeomorphism between them. Furthermore, some couples of arrangements among this 4-tuplet form new arithmetic Zariski pairs, i.e. a couple of arrangements with the same combinatorial information but with different embedding in $\mathbb{CP}^2$.

研究の動機と目的

• 同一の組合せ的データを持つが、ℂP² における異なる位相的埋め込みをもつ直線配置を特定し、区別すること。
• 参考文献 [6] に由来する不変量を用いて、同一の組合せ型をもつ配置の間で変形類を同定すること。
• 12本の直線からなる配置を用いて、組合せ的に同型だが、位相的に異なる配置である、新しい算術的ザリスキ対の例を構成すること。
• 同一の組合せ的構造をもつが、向きを保つ位相同相が存在しない特定の配置ペアの非存在を証明すること。
• 算術的および位相的不変量を活用することで、従来の知られていた例を超えてザリスキ対の分類を拡張すること。

提案手法

• 参考文献 [6] に由来する不変量を用いて、同一の組合せ的データを持つ配置を、異なる変形類に分類する。
• 基本的な配置から出発し、制御された変更を加えることで、組合せ型は保ちつつ位相的構造を変える4つの配置を構成する。
• 基本群およびモノドロミー表現の解析により、ℂP² における位相同相でない埋め込みを検出する。
• 算術的不変量を用いて、組合せ的に同型だが、位相的に同値でない配置を区別する。
• 特に、向きを保つ位相同相が存在しないという位相的障害を用いて、配置の相違を確認する。
• ザリスキ対は、組合せ的に同型な配置がℂP² における異なる埋め込み不変量を持つ場合に生じることを利用している。

実験結果

リサーチクエスチョン

• RQ1 12本の直線と同一の組合せ的データを持つ4つの直線配置は、変形不変量によって区別可能か？
• RQ2 これらの配置のうち、あるペアが新しい算術的ザリスキ対を形成するか、すなわち、組合せ的に同型だが、ℂP² における位相的に異なる埋め込みを持つか？
• RQ3 組合せ的に同型な配置の位相同相でない埋め込みを検出できる、どのような位相的または算術的不変量が存在するか？
• RQ4 同一の組合せ型をもつ配置の間に非自明な変形類が存在するか？ また、[6] の不変量を用いてそのような類を同定できるか？
• RQ5 位相的および算術的道具を用いて、配置ペア間の向きを保つ位相同相の非存在を厳密に確立できるか？

主な発見

• 12本の直線と同一の組合せ的データを持つ4つの直線配置が特定され、それぞれが異なる変形類に属していることが判明した。
• この4つの配置の中から、特定のペアが新しい算術的ザリスキ対を形成することが示された。これは、組合せ的に同型であるが、ℂP² において位相的に同値でないことを意味する。
• 参考文献 [6] に由来する不変量は、それ以外の観点から区別がつかない配置を効果的に区別できた。
• いずれのペアに対しても、向きを保つ位相同相が存在しないことが確認され、配置の位相的相違が裏付けられた。
• 構成手法により、従来の知られていた配置を超える明示的なザリスキ対の例が得られ、算術的ザリスキ対の既知のクラスが拡張された。
• 結果として、組合せ的同型であっても、算術的不変量を考慮しても、直線配置において位相的同型が保証されないことが示された。