[論文レビュー] Roots of characteristic polynomials and intersection points of line arrangements

Takuro Abe|arXiv (Cornell University)|Feb 15, 2013

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

ひとこと要約

本稿は、線形配置の特性多項式の根とその交点の組合せ幾何学的構造との間に深い関係を確立する。Betti数を分析し、多配置に対する代数的組合せ論を用いることで、根が配置内の直線および外部の直線上の交点数を制約することを証明し、自由性の新しい基準および任意の体上での古典的定理の一般化を導く。これには、特性多項式の共通根による自由性の組合せ的特徴付けが含まれる。

ABSTRACT

We study a relation between roots of characteristic polynomials and intersection points of line arrangements. Using these results, we obtain a lot of applications for line arrangements. Namely, we give (i) a generalized addition theorem for line arrangements, (ii) a generalization of Faenzi-Vallès' theorem over a field of arbitrary characteristic, (iii) a partial result on the conjecture of Terao of line arrangements, and (iv) a new sufficient condition for freeness over finite fields. Also, a higher dimensional version of main results is considered.

研究の動機と目的

• 特性多項式の根と線形配置の交点構造との関係を調査すること。
• 特にFaenzi-Vallèsの定理を含む自由配置に関する古典的結果を、任意の特性を持つ体へ一般化すること。
• 特性多項式の根に基づいた線形配置の自由性の組合せ的基準を提供すること。
• これらの結果を高次元の超平面配置および多配置へ拡張すること。

提案手法

• 補集合多様体のBetti数に関する代数的・組合せ論的技法を用い、位相的不変量と配置幾何学とを関連付ける。
• 2次元の多配置の指数に関する最近の結果を適用し、超平面の追加によるBetti数の上限を導出する。
• 削除・制限の公式と組合せ的制限写像を用いて、超平面を追加した際のBetti数の変化を分析する。
• 特性多項式の判別式とBetti数の下界を用いて、交点数に関する不等式を導出する。
• 超平面を追加すると、その超平面上の交点数以上に第二Betti数が増加することを示す重要な補題を導入する。
• 次元と超平面数に関する二重帰納法を用いて、本質的配置のBetti数の下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 線形配置の特性多項式の根は、配置内の直線上の交点数をどのように制約するか？
• RQ2 線形配置の自由性は、その特性多項式の根を用いて組合せ的に決定可能か？
• RQ3 特性多項式の根は、配置に属さない直線上の交点数をどの程度制限するか？
• RQ4 線形配置に関するこれらの結果を高次元の超平面配置へどのように拡張できるか？
• RQ5 特性多項式は、任意の特性を持つ体上での配置の自由性を決定する上で果たす役割は何か？

主な発見

• 特性多項式 χ(𝒜,t) = (t−a)(t−a−b) の根は、任意の直線 H に対して、|a| ≤ |a+b| ならば、|𝒜∩H| が |a| と |a+b| の真の間には取り得ないことを制約する。
• 配置に属しない任意の直線 L に対しても、|𝒜∩L| が |a| と |a+b| の真の間には取り得ない。これは、組合せ論が幾何的制約を符号化していることを示す。
• a,b ∈ ℤ≥0 であり、|𝒜∩H| = a または a+b を満たす直線 H が存在するならば、配置 𝒜 は自由である。これは自由性の新たな十分条件を提供する。
• 削除対 (𝒜,𝒜′) が自由であることは、χ(𝒜,t) と χ(𝒜′,t) が共通根を持つことと同値である。自由性の完全な組合せ的基準を確立する。
• ℂℓ 内の超平面配置において、超平面 H 上の交点数 |𝒜∩H| は、特性多項式の判別式の根によって定義される開区間内には取り得ない。
• 3次元において、χ(𝒜,t) = (t−2)(t−3)(t−8) である配置では、6 ≤ |𝒜∩L| ≤ 8 を満たす平面 L は存在しない。これは補題7.7により確認される。