[论文解读] 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數，提出了一個自由與近乎自由的判別準則，並應用於線性排列，包括在某條直線的基點數不超過四個的情況下，證明了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.

研究动机与目标

• 建立約化平面曲線上對數向量場叢的總Tjurina數與其一般分裂類型之間的精確關係。
• 透過分裂類型特徵化近乎自由曲線，延伸已知的自由性準則。
• 將結果應用於線性排列，特別是證明在組合約束下Terao猜想的一種形式。
• 表明對於包含至多四個基點的直線的線性排列，其自由性或近乎自由性僅取決於特徵多項式。

提出的方法

• 透過不變量 ν(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，總Tjurina數 τ(C) 與對數向量場叢 E_C 的一般分裂類型 (d₁ᴸ₀, d₂ᴸ₀) 之間有何關係？
• RQ2 能否僅透過分裂類型特徵化近乎自由曲線？這與Tjurina數及不變量 ν(C) 有何關聯？
• RQ3 對於包含至多四個基點的直線 H 的線性排列，其自由性或近乎自由性是否僅取決於特徵多項式 χ(A;t)？
• RQ4 在何種條件下，E_C 的陳類多項式具有實根？這與分裂類型及不變量 ν(C) 有何關聯？
• RQ5 當直線 H 包含高重複度的基點時，線性排列的近乎自由性是否僅取決於交集格 L(A)？

主要发现

• 總Tjurina數滿足 τ(C) = I(C,L₀) − ν(C)，其中 I(C,L₀) = (d−1)² − d₁ᴸ₀d₂ᴸ₀，且 d₁ᴸ₀, d₂ᴸ₀ 為一般分裂類型不變量。
• 約化平面曲線 C 為自由曲線，當且僅當 I(C,L₀) = τ(C)；近乎自由曲線，當且僅當 I(C,L₀) = τ(C) + 1。
• E_C 的陳類多項式具有實根，當且僅當 τ(C) ≥ ¾(d−1)²，這意味著當陳類多項式具有實根時，有 mdr(f) = d₁ᴸ₀。
• 對於包含至多四個基點的直線 H 的線性排列，其自由性或近乎自由性僅由特徵多項式 χ(A;t) 決定，從而證明了Terao猜想的一種形式。
• 若直線 H 包含重複度 ≥ |A|/2 的點，則排列的近乎自由性僅取決於交集格 L(A)，從而推廣了已知的自由性結果。