[論文レビュー] Deletion theorem and combinatorics of hyperplane arrangements

Takuro Abe|arXiv (Cornell University)|Sep 18, 2017

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

ひとこと要約

この論文は、自由な超平面配置の削除定理が組合せ論的であることを確立している。すなわち、ある超平面を削除しても自由性が保たれるかどうかは、交差格子にのみ依存する。主な結果は、特性多項式を用いた明確な条件であり、特に、すべての関連するフラットに対して、制限の特性多項式が元の多項式を割り切るという条件である。これにより、自由性の削除に関する完全な組合せ論的基準が得られる。

ABSTRACT

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient and necessary condition for the deletion theorem in terms of characteristic polynomials. This gives a lot of corollaries including the existence of free filtrations. The proof is based on the result about the form of minimal generators of a logarithmic derivation module of a multiarrangement which satisfies the $b_2$-equality.

研究の動機と目的

• ある超平面を削除した後の超平面配置の自由性が、その組合せ的構造（交差格子）にのみ依存するかどうかを特定すること。
• 配置理論における長年の未解決問題である、削除定理が組合せ論的かどうか、特にTeraoの自由性の組合せ論的性質に関する予想に関連して解決すること。
• 自由性の削除後の十分かつ必要条件を、代数的・幾何的データに依存せずに特性多項式の観点から提示すること。
• 自由フィルトレーションの存在および修正されたOrlikの予想が、組合せ論的性質であることを確立すること。
• $b_2$-等式および対数的微分作用素モジュールの構造を応用して、自由性に関する組合せ論的基準を導出すること。

提案手法

• 多様配置における$b_2$-等式条件を活用し、対数的微分作用素モジュールの構造を分析する。
• $b_2$-等式が成り立つときの$D({\tilde{\mathcal{A}}}, m)$の最小生成元の構造定理を適用し、代数的性質と組合せ論を結びつける。
• 次元$\ell$に関する帰納法を用い、問題を低次元の制限に還元し、帰納法の仮定を適用する。
• Zieglerの制限および局所的自由性の議論を用いて、制限下での特性多項式の振る舞いを分析する。
• Teraoの加法・削除定理および特性多項式の割り切り性を応用し、必要十分条件を導出する。
• 層の完全列およびサポート上の点におけるスターリング解析を用い、仮定が成り立たない場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 自由配置の削除定理は組合せ論的か、すなわち$\mathcal{A} \setminus \{H\}$の自由性が交差格子$L(\mathcal{A})$にのみ依存するか。
• RQ2 特性多項式$\chi(\mathcal{A}^H; t)$が$\chi(\mathcal{A}; t)$を割り切るとき、制限$\mathcal{A}^H$の自由性を組合せ論的に決定できるか。
• RQ3 自由配置における自由フィルトレーションの存在は、交差格子にのみ依存するか。
• RQ4 修正されたOrlikの予想（$\chi(\mathcal{A}^H; t) \mid \chi(\mathcal{A}; t)$の下で$\mathcal{A}^H$が自由であるかどうか）は組合せ論的性質か。
• RQ5 自由な配置$\mathcal{A}$に対して、$\mathcal{A} \setminus \{H\}$が自由であるための正確な代数的・組合せ論的条件は何か。

主な発見

• 自由配置の削除定理は組合せ論的である：$\mathcal{A} \setminus \{H\}$は、すべての$X \in L_i(\mathcal{A}^H)$（$2 \leq i \leq \ell - 1$）に対して$\chi(\mathcal{A}^H_X; t)$が$\chi(\mathcal{A}_X; t)$を割り切るときかつそのときに限り自由である。
• この条件は必要かつ十分であり、交差格子$L(\mathcal{A})$にのみ依存するため、削除後の自由性は組合せ論的である。
• 自由配置における自由フィルトレーションの存在は、組合せ論的性質である。これは反復的な削除条件への還元によって示される。
• $\ell \leq 4$のとき、$\chi(\mathcal{A}^H; t)$が$\chi(\mathcal{A}; t)$を割り切るならば、$\mathcal{A}$が自由であることと$\mathcal{A}^H$が自由であることは同値である。
• 修正されたOrlikの予想は組合せ論的である：$\chi(\mathcal{A}^H; t) \mid \chi(\mathcal{A}; t)$の仮定の下で、$\mathcal{A}^H$の自由性は$L(\mathcal{A})$にのみ依存する。
• $H \in \mathcal{A}_X$における$b_2$-等式条件および根条件$|\mathcal{A}_X| - |\mathcal{A}_X^H|$が$\chi(\mathcal{A}_X; t)$の根であることの2つは、削除定理が成り立つことと同値であり、これにより代替的な組合せ論的基準が得られる。