[論文レビュー] On the splitting types of bundles of logarithmic vector fields along plane curves

Takuro Abe, Alexandru Dimca|arXiv (Cornell University)|Jun 16, 2017

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

ひとこと要約

本稿は、単純な平面曲線に沿った対数的ベクトル場バンドルの全Tjurina数と一般の分解型の間の公式を確立し、分解型による近自由曲線の特徴付けを可能にする。主な貢献は、分解型とTjurina数に基づく自由性および近自由性の判定基準であり、特に、1本の直線が高々4つの基本点をもつ線形配置に対して、Terao予想の形の証明を含む応用がなされている。

ABSTRACT

We give a formula relating the total Tjurina number and the generic splitting type of the bundle of logarithmic vector fields associated to a reduced plane curve. By using it, we give a characterization of nearly free curves in terms of splitting types. Several applications to free and nearly free arrangements of lines are also given, in particular a proof of a form of Terao's Conjecture for arrangements having a line with at most 4 intersection points.

研究の動機と目的

• 単純な平面曲線 C に対して、対数的ベクトル場バンドルの全Tjurina数 τ(C) と一般の分解型 (d₁ᴸ₀, d₂ᴸ₀) の間の明確な関係を確立すること。
• 既知の自由性基準を拡張し、近自由曲線の分解型による特徴付けを提供すること。
• 結果を線形配置に応用し、特に、組合せ的制約下でTerao予想の形を証明すること。
• 1本の直線 H が高々4つの基本点をもつ線形配置に対して、自由性または近自由性が特性多項式 χ(A;t) のみに依存することを示すこと。

提案手法

• 不変量 ν(C) = dim N(f)_[T/2] を通じて、全Tjurina数 τ(C) とバンドル E_C の一般の分解型 (d₁ᴸ₀, d₂ᴸ₀) を関連付ける公式を導出する。
• E_C のチャーン多項式と関係式 c₂(E_C) − d₁ᴸ₀d₂ᴸ₀ = ν(C) を用いて、自由性および近自由性を特徴付ける。
• 一般および任意の直線における分解型を、不変量 I(C,L) = (d−1)² − d₁ᴸd₂ᴸ を用いて分析する。
• 線形配置に理論を適用する際、直線 H に制限し、Ziegler制限写像と制限配置の指数を分析する。
• 直線に少ない数の基本点をもつ配置について、Ziegler制限の組合せ的性質が既知の結果であることを活用する。
• チャーン多項式が実根をもつ場合、d₁ᴸ₀ = mdr(f) が成り立つことを利用し、代数的および幾何的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 単純な平面曲線 C に対して、対数的ベクトル場バンドル E_C の全Tjurina数 τ(C) と一般の分解型 (d₁ᴸ₀, d₂ᴸ₀) の関係は何か？
• RQ2 近自由曲線は、分解型のみによって特徴付けられるか？ また、これはTjurina数と不変量 ν(C) とどのように関係するか？
• RQ3 1本の直線 H が高々4つの基本点をもつ線形配置に対して、自由性または近自由性は特性多項式 χ(A;t) のみに依存するか？
• RQ4 E_C のチャーン多項式が実根をもつ条件は何か？ そして、これは分解型と不変量 ν(C) とどのように関係するか？
• RQ5 1本の直線 H が高次元の基本点をもつ場合、線形配置の近自由性は交差格子 L(A) のみに依存するか？

主な発見

• 全Tjurina数は τ(C) = I(C,L₀) − ν(C) を満たす。ここで I(C,L₀) = (d−1)² − d₁ᴸ₀d₂ᴸ₀ であり、d₁ᴸ₀, d₂ᴸ₀ は一般の直線 L₀ における一般の分解型不変量である。
• 単純な平面曲線 C が自由であるための必要十分条件は I(C,L₀) = τ(C) であり、近自由であるための必要十分条件は I(C,L₀) = τ(C) + 1 である。
• E_C のチャーン多項式が実根をもつための必要十分条件は τ(C) ≥ ¾(d−1)² であり、このとき mdr(f) = d₁ᴸ₀ が成り立つ。
• 1本の直線 H が高々4つの基本点をもつ線形配置に対して、自由性または近自由性は特性多項式 χ(A;t) のみに依存し、Terao予想の形が証明される。
• 1本の直線 H が |A|/2 以上の重複度の点をもつ場合、配置の近自由性は交差格子 L(A) のみに依存する。これは、自由性に関する既知の結果を拡張する。