[論文レビュー] Freeness and near freeness are combinatorial for line arrangements in small degrees

Alexandru Dimca, Denis Ibadula+1 more|arXiv (Cornell University)|Dec 12, 2017

Advanced Combinatorial Mathematics参考文献 28被引用数 8

ひとこと要約

この論文は、複素射影平面における13本の直線の配置について、Teraoの予想を証明し、自由性が交差ラティスの組合せ的構造によって決定されることを示している。さらに、12本までの配置について、近似的自由性が組合せ的であることを、連立一次方程式とNormaliz計算を用いて非組合せ的配置が存在しないことを示すことによって確立している。

ABSTRACT

We prove Terao conjecture saying that the freeness is determined by the combinatorics for arrangements of 13 lines in the complex projective plane and that the property of being nearly free is combinatorial for line arrangements of up to 12 lines in the complex projective plane.

研究の動機と目的

• 複素射影平面における13本の直線配置について、自由性が組合せ的不変量であるというTeraoの予想を検証すること。
• 12本までの直線配置について、近的自由性が組合せ的であることを確立すること。
• 14本の直線配置におけるTeraoの予想を、13本の直線配置における近的自由性の組合せ的性質に還元すること。
• Zieglerの多重制限と多重配置の自由性基準を、組合せ的性質の証明における主要な道具として用いること。
• 組合せ的データを符号化する連立一次方程式の解析にNormaliz計算を用い、非組合せ的実現が存在しないことを排除すること。

提案手法

• Yoshinagaの多重配置理論を適用し、C^3における自由性と2-多重配置の自由性を関連付ける。
• Zieglerの多重制限を用いて、命題2.2を介して組合せ的自由性の十分条件を導出する。
• 各直線上の多重点の数（二重点、三重点など）に基づいて、可能な直線タイプを分類する。
• 多重点の総数と直線タイプを符号化する連立一次方程式を構成し、オイラー特性と次数の公式からの制約を課す。
• Normalizソフトウェアを用いて、非負整数解の存在を計算し、近的自由配置に対して解が存在しないことを証明する。
• すべての直線が少なくとも5つの多重点を持つと仮定し、6つの多重点を丁度持つ直線が存在しないと仮定した場合に矛盾が生じることを示すことにより、14本の直線の場合を13本の直線の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 複素射影平面における13本の直線配置の自由性は、交差ラティスによってのみ決定されるか？
• RQ2 12本までの直線配置について、近的自由性は組合せ的か？
• RQ3 14本の直線配置におけるTeraoの予想は、13本の直線配置における近的自由性の組合せ的性質に還元可能か？
• RQ4 近的自由配置の組合せ的データを符号化する連立一次方程式は、13本の直線配置に対して非負整数解をもつのか？
• RQ5 直線上の多重点分布にどのような制約を課すと、特定の指数をもつ近的自由配置が存在しなくなるのか？

主な発見

• 13本の直線配置についてTeraoの予想が成立：自由性は組合せ的不変量である。
• 12本までの直線配置について近的自由性は組合せ的である。対応する連立方程式系に対して適格な解が存在しないため。
• 指数 (6,6) または (6,7) をもつ13本の直線の近的自由配置について、直線タイプと多重点数を符号化する連立方程式系には非負整数解が存在しない。
• 14本の直線配置におけるTeraoの予想は、13本の直線配置における近的自由性の組合せ的性質に還元可能である。これは、6つの多重点を丁度持つ直線が存在しないと仮定した場合に矛盾が生じることで示された。
• 指数 (6,7) で、すべての直線が5つまたは6つの多重点を持つ14本の直線配置について、連立方程式系には非負整数解が存在しない。これにより、このような配置は必ず6つの多重点を持つ直線を含むことが証明された。
• Normaliz計算により、指定された制約のもとで近的自由配置が存在しないことが確認され、低次の近的自由性の組合せ的性質が支持された。