[論文レビュー] Effective invariants of braid monodromy and topology of plane curves

Enrique Artal Bartolo, Jorge Carmona Ruber+1 more|arXiv (Cornell University)|May 18, 2001

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

ひとこと要約

本稿は、有限群表現とGAP4などの計算ツールを活用することで、アフィン平面曲線のブレードモノドロミーに対する有効な不変量を導入し、共役な曲線間の位相的差を検出可能にする。主な結果は、数体上に共役な方程式を持つが、向きを保つホメオモルフィズムで同相でない一対の曲線を、以前の例よりも著しく低い次数で構成したことである。

ABSTRACT

In this paper we construct effective invariants for braid monodromy of affine curves. We also prove that, for some curves, braid monodromy determines their topology. We apply this result to find a pair of curves with conjugate equations in a number field but which do not admit any orientation-preserving homeomorphism.

研究の動機と目的

• 共役類による同型より細かい位相的差を検出できる、ブレードモノドロミーの有効な不変量を構築すること。
• 特に数体上に共役な方程式を持つが、同相でない代数的曲線の問題を扱うこと。
• 非同相な共役平面曲線の既知の例の次数を低減し、以前の上限（次数825など）を改善すること。
• ブレードモノドロミーが、P² と Cϕ ∪ L∞ の対の向き付き位相型を決定することを確立すること。ここで Cϕ は曲線 C とすべての非横断的垂直線を含む。
• GAP4を用いた計算フレームワークを提供し、ブレードモノドロミーの同値性とブレード群作用における軌道構造をテストすること。

提案手法

• ブレード群の有限表現を用いて、ブレードモノドロミーの共役類内での変化に敏感な有効な不変量を定義する。
• 自由群 F の幾何的基底を固定し、ブレードモノドロミーを r 個のブレードの r-重組として表現する。これは Bd × Br の作用に関して不変である。
• GAP4に計算アルゴリズムを実装し、ブレード群作用におけるブレード組の軌道同値性と共役性をテストする。
• ブレード組の逆順積として定義・計算される擬似コクセター要素を用い、グローバルモノドロミー不変量を比較する。
• σ₁ および σ₁⋯σₙ₋₁ の作用を適用して軌道を生成し、2つのブレードモノドロミー組間に共通要素があるかをテストする。
• 中心化子と共役作用を用いて軌道構成を安定化させ、ブレードモノドロミーデータの同値性または非同値性を検出する。

実験結果

リサーチクエスチョン

• RQ1 ブレードモノドロミーに対して、共役類の同値性を超えて曲線を区別できる有効な不変量を構築できるか？
• RQ2 数体上に共役な方程式を持つ2つのアフィン平面曲線は、必ず向きを保つホメオモルフィズムをもつのか？
• RQ3 曲線のブレードモノドロミーは、無限遠直線を含む射影的閉包の向き付き位相型を決定できるか？
• RQ4 非同相な共役平面曲線が存在する最小の次数は何か？ これは既知の上限を下回るか？
• RQ5 計算群論をどのように効果的に応用して、ブレードモノドロミーの同値性をテストし、位相的差を検出できるか？

主な発見

• 著者らは、有限群表現とGAP4を用いてブレードモノドロミーの有効な不変量を構築し、共役性のみでは見えない位相的差を検出可能にした。
• アフィン曲線のブレードモノドロミーは、P² と Cϕ ∪ L∞ の対の向き付き位相型を決定する。ここで Cϕ は曲線 C とすべての非横断的垂直線を含む。
• 数体上に共役な方程式を持つが、向きを保つホメオモルフィズムで同相でない一対の曲線を、次数32で構成した。これは以前の上限（825）よりも顕著に低い。
• ブレードモノドロミー同値性を検証するためのプログラムは、Pentium III 866 MHz マシンで約10時間実行された。これにより、計算的手法の実行可能性が示された。
• 本手法は、擬似コクセター要素が共役であるにもかかわらず、ブレード群作用の下で同じ軌道に属しない2つのブレードモノドロミー組を、うまく区別できた。
• アルゴリズムは、σ₁ および σ₁⋯σₙ₋₁ の作用による軌道を構築し、共通要素の有無をチェックすることで非同値性を検出する。軌道が安定化するか、分離するまでこのプロセスが継続され、その時点で停止する。