[論文レビュー] Freeness of hyperplane arrangements and related topics

Masahiko Yoshinaga|arXiv (Cornell University)|Dec 14, 2012

Advanced Combinatorial Mathematics参考文献 36被引用数 8

ひとこと要約

本稿は、代数幾何学、組合せ論、ベクトル束理論とを結びつける超平面配置の自由性についてサーベイする。Teraoの因数分解公式およびSolomon-Teraoの公式を用いて、拡張されたカタラン配置およびシーア配置が自由であることを確立し、EdelmanとReinerの予想を解決する。また、未解決の予想（例えば、Postnikov-Stanleyのリーマン予想および関数等式）を対数的ベクトル場の代数的構造と結びつける。

ABSTRACT

This is the expanded notes of the lecture by the author in "Arrangements in Pyrenees", June 2012. We are discussing relations of freeness and splitting problems of vector bundles, several techniques proving freeness of hyperplane arrangements, K. Saito's theory of primitive derivations for Coxeter arrangements, their application to combinatorial problems and related conjectures.

研究の動機と目的

• 自由超平面配置の理論と代数幾何学・組合せ論との関連をサーベイすること。
• Teraoの因数分解およびSolomon-Teraoの公式を用いて、拡張されたカタランおよび拡張されたシーア配置の自由性を確立すること。
• 対数的ベクトル場の文脈において、Postnikov-Stanleyのリーマン予想や関数等式といった深い予想を調査すること。
• 原始的微分および多重配置の役割を、自由性および組合せ的不変量の理解に用いること。

提案手法

• 射影空間上のねじれ層と次数付き加群の対応を用いて、自由性を反射的層の分解と関連付ける。
• Grothendieckの分解定理およびTeraoの自由配置に関する基礎的結果を応用し、ベクトル束の分解を分析する。
• Coxeter配置に対してK. Saitoの原始的微分の理論を用い、自由性の背後にある代数的構造を導出する。
• 切断されたアフィンワイル配置に対する局所化技術および帰納的議論を用いて、自由性の条件を検証する。
• Solomon-Teraoの公式を適用し、特性多項式と対数的ベクトル場の代数的不変量との関係を関係付ける。
• 対数的ベクトル場の加群 $ D_0(\ncal{A}) $ を分析し、特性多項式における対称性および双対性に関する予想を調べる。

実験結果

リサーチクエスチョン

• RQ1 拡張されたカタランおよび拡張されたシーア配置は自由であるか？また、その自由性に起因する組合せ的帰結は何か？
• RQ2 すべての根系タイプに対して、$ \chi(\mathcal{A}_{\Phi}^{[-a,b]},t) $ のすべての根の実部が $ \frac{(a+b+1)h}{2} $ であるというPostnikov-Stanleyのリーマン予想は成り立つか？
• RQ3 対数的ベクトル場の代数的構造を用いて、関数等式 $ \chi(\mathcal{A}_{\Phi}^{[-a,b]},(a+b+1)h-t) = (-1)^\ell \chi(\mathcal{A}_{\Phi}^{[-a,b]},t) $ を証明できるか？
• RQ4 特性多項式における関数等式およびシフト関係が予想される背後にある、加群 $ D_0(c\mathcal{A}_{\Phi}^{[a,b]}) $ における双対性またはシフト同型が存在するか？
• RQ5 対数的ベクトル場の加群を用いて、多重配置およびその錐の自由性をどの程度特徴づけられるか？

主な発見

• 拡張されたカタランおよび拡張されたシーア配置が自由であることが証明され、EdelmanとReinerの予想が確認された。
• $ \mathcal{A}_{\Phi}^{[-k,k]} $ の特性多項式は $ \chi(t) = \prod_{i=1}^\ell (t - e_i - kh) $ を満たし、$ \mathcal{A}_{\Phi}^{[1-k,k]} $ については $ (t - kh)^\ell $ であることが、Teraoの因数分解定理により検証された。
• PostnikovとStanleyのリーマン予想は、A, B, C, D型において成り立つことが、Athanasiadisによって示されており、本稿では対数的ベクトル場におけるより深い代数的根拠が示唆されている。
• 関数等式 $ \chi(\mathcal{A}_{\Phi}^{[-a,b]},(a+b+1)h-t) = (-1)^\ell \chi(\mathcal{A}_{\Phi}^{[-a,b]},t) $ は、指数の双対性 $ e_i + e_{\ell+1-i} = h $ と同値であり、これはCoxeter配置では既に知られている。
• シフト予想 $ \chi(\mathcal{A}_{\Phi}^{[-a-1,b+1]},t) = \chi(\mathcal{A}_{\Phi}^{[-a,b]},t-h) $ は $ \Phi = A_3 $ において成り立つことが観察され、$ \chi(\mathcal{A}_{A_3}^{[0,2]},t) = \chi(\mathcal{A}_{A_3}^{[1,1]},t-4) $ であるが、一般には一次式に分解できない。
• 提案された同型 $ D_0(c\mathcal{A}_{\Phi}^{[-a,b]})^\vee \simeq D_0(c\mathcal{A}_{\Phi}^{[-a,b]})[(a+b+1)h] $ および $ D_0(c\mathcal{A}_{\Phi}^{[-a-1,b+1]}) \simeq D_0(c\mathcal{A}_{\Phi}^{[-a,b]})[-h] $ は一般には成り立たないことが示され、以前の期待とは対照的である。