[論文レビュー] Addition-deletion results for the minimal degree of logarithmic derivations of arrangements

Takuro Abe, Alexandru Dimca+1 more|arXiv (Cornell University)|Aug 19, 2019

Advanced Combinatorial Mathematics参考文献 27被引用数 4

ひとこと要約

本論文は、超平面配置における対数的微分作用素の最小次数についての加法・除去定理を確立し、三重点が5個以下である場合、Jacobian関係の最小次数を測る不変量 $ r({\rm A}) $ が組合せ的に決定されることを証明する。三重点が6個以上ある場合にのみ、同様の組合せ的不変量の非一意性が生じることを示し、新たな同型交差格子を持つ線形配置のペアを構成することで、$ n_3 \geq 6 $ の場合にのみ非組合せ的 $ r({\rm A}) $ が存在することを確認した。また、Tjurina最大配置が多数の新しい配置においても存在することを裏付けた。

ABSTRACT

We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number $n_3\geq 6$ of triple points. Moreover, we show that such examples are not possible for line arrangements having only double and triple points, with $n_3 \leq 5$.

研究の動機と目的

• 超平面配置における超平面の追加または削除に伴う対数的微分作用素の最小次数 $ r({\mathcal{A}}) $ の変化を理解すること。
• 二重点と三重点のみを含む線形配置について、$ r({\mathcal{A}}) $ が組合せ的に決定されるかどうかを特定すること。
• 交差格子が同型だが $ r({\mathcal{A}}) $ が異なる線形配置の新しい例を、特に $ n_3 \geq 6 $ の場合に構成し、$ n_3 \leq 5 $ の場合にはそのような例が不可能であることを示すこと。
• 以前に知られていなかった配置において、Tjurina最大線形配置が存在することを証明すること。

提案手法

• 著者たちは、超平面を配置に追加または削除する際の $ r({\mathcal{A}}) $ の挙動を分析するために、加法・除去定理を用いる。
• 対数的微分作用素を特徴づけるために、Jacobian関係 $ \sum a_i f_{x_i} = 0 $ を適用し、$ r({\mathcal{A}}) $ の最小次数と関連付ける。
• 次数 $ d \geq 7 $、$ n_3 \leq 5 $ の配置における三重点の配置を分析し、2つのケースに分類する：(A) ある直線が唯一の三重点を含む場合、(B) そのような直線が2本存在する場合。
• SINGULARを用いた計算的検証により、7本の直線からなる配置について $ r({\mathcal{B}}) = 3 $ であることを確認し、加法・除去フレームワークを支持した。
• Zieglerの例（$ d=9 $、$ n_3=6 $）を一般化し、任意の $ d \geq 9 $、$ n_3 \geq 6 $ に対して、二重点を通る一般線を追加することで、非組合せ的 $ r({\mathcal{A}}) $ の例を拡張した。
• 定理3.3を適用し、一般線を追加することで $ r({\mathcal{A}}) $ が1増加し、組合せ的構造は保たれるが $ r({\mathcal{A}}) $ の値が変化することを示した。

実験結果

リサーチクエスチョン

• RQ1 二重点と三重点のみを含む線形配置について、対数的微分作用素の最小次数 $ r({\mathcal{A}}) $ はその組合せ構造によって決定されるか？
• RQ2 三重点数 $ n_3 \geq 6 $ の場合に、交差格子が同型だが $ r({\mathcal{A}}) $ が異なる線形配置のペアを新たに構成できるか？
• RQ3 三重点数 $ n_3 = 5 $ の配置にどのような構造的制約があるのか、そしてなぜこの場合に $ r({\mathcal{A}}) $ が組合せ的に決定されるのか？
• RQ4 Tjurina最大配置の存在は、従来知られていた場合以外の新しい配置に対しても拡張可能か？
• RQ5 一般線の追加が、組合せ的構造を保ちながら $ r({\mathcal{A}}) $ を変化させる役割は何か？

主な発見

• 三重点数 $ n_3 \leq 5 $ の線形配置について、不変量 $ r({\mathcal{A}}) $ は完全に組合せ的構造によって決定され、Corollary 4.20で示された。
• $ n_3 \geq 6 $ の場合、$ r({\mathcal{A}}) $ は組合せ的に決定されない。本論文では、任意の $ d \geq 9 $ および $ n_3 \geq 6 $ に対して、同一の交差格子を持つが $ r({\mathcal{A}}) $ が異なる配置のペアを構成した。
• この構成は、Zieglerの元々の $ d=9 $、$ n_3=6 $ の例において、二重点を通る一般線を追加することに依拠しており、$ r({\mathcal{A}}) $ を1増加させつつ組合せ的構造を保った。
• 本論文では、$ n_3 = 4 $（例：$ d=7 $）および $ n_3 = 5 $（例：$ d=8 $）の配置について $ r({\mathcal{A}}) = d - 3 $ が可能であることを証明し、極値例を示した。
• Tjurina最大線形配置が、従来の結果を拡張して多数の新しい配置においても存在することが確認された。
• 解析により、二重点と三重点のみを含む配置について $ r({\mathcal{A}}) \geq (d-2)/2 $ であり、この場合の一般線の分割型は $ d $ によって決定されることを確認した。