[論文レビュー] Realization of finite Abelian groups by nets in P^2

Sergey Yuzvinsky|arXiv (Cornell University)|May 16, 2003

Advanced Combinatorial Mathematics参考文献 7被引用数 36

ひとこと要約

この論文は、複素射影平面 ℙ² において、どの有限アーベル群が3-ネットとして実現可能かを調査する。双対平面三次曲線を用いた代数化により、位数が10以上の元をもつ有限アーベル群 H が実現可能であるための必要十分条件は、H が高々2つの円分群の直和であることに等しいことを証明する。この結果は、1つの類が鉛筆である場合の巡回群へも拡張可能であり、著者らは元の位数に関する条件が不要であると予想している。

ABSTRACT

In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc. All known examples of 3-nets in P^2 realize finite Abelian groups. We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.

研究の動機と目的

• 複素射影平面 ℙ² における3-ネットによって実現可能な有限アーベル群を特定すること。
• 線形配置の補集合のコホロジー研究におけるk-ネットの役割を調査すること。
• 幾何学的および代数的技法を用いて、実現可能な群の構造的制約を確立すること。
• ℙ² における非アーベル3-ネットおよび非代数的3-ネットの存在を探索すること。
• 4-ネット、5-ネット、および高次の元をもつ群の実現可能性に関する未解決問題に取り組むこと。

提案手法

• 3-ネットの代数化として、ネットの直線に対応する双対点が双対射影平面における平面三次曲線上にあることを示すこと。
• ビーゴンの定理とパラメータ化技法を用いて、可約な三次曲線上の同一直線上にある点の操作を分析すること。
• ℂ*, ℂ, および三次曲線の成分間の同型写像を構成し、群に類似した演算をモデル化すること。
• 準群およびループ論を応用して、ネット構造と群の実現との関係を関係づけること。
• すべての類が鉛筆である3-ネットを分類し、巡回群の実現を導出すること。
• 有限アーベル群の不変因子分解を用いて、実現可能性の条件を分析すること。

実験結果

リサーチクエスチョン

• RQ1 ℙ² における3-ネットによって実現可能な有限アーベル群はどれか？
• RQ2 3-ネットが代数的である、すなわちその双対直線が三次曲線上にある条件は何か？
• RQ3 3-ネットは非アーベル群を実現可能か？それともすべての3-ネットは必然的にアーベル的か？
• RQ4 既知のヘシアン配置を超えて、ℙ² に4-ネットや5-ネットは存在するか？
• RQ5 ℙ² に非代数的3-ネットは存在するか？その存在が意味するものは何か？

主な発見

• ℙ² におけるk-ネットの可能なkの値は3, 4, 5に限られ、その中で3-ネットが最も重要なクラスである。
• 3-ネットが有限アーベル群 H を実現するための必要十分条件は、H が高々2つの円分群の直和である、ただし H が位数10以上の元をもつ場合に限る。
• 3-ネットが位数10以上の元をもつ群 H を実現し、かつ1つの類が鉛筆である場合、H は必ず巡回群である。
• ℙ² における既知のすべての3-ネットは有限アーベル群を実現しており、非アーベル3-ネットの例はまだ知られていない。
• 代数化の結果により、3-ネットの双対点は平面三次曲線上にあることが保証され、代数幾何学的手法を用いて群構造を制約できる。
• 予想では、位数制限（≥10）は不要であり、すべての実現可能な有限アーベル群は高々2つの円分群の直和である。