[論文レビュー] Plus-one generated and next to free arrangements of hyperplanes

Takuro Abe|arXiv (Cornell University)|Aug 14, 2018

Advanced Combinatorial Mathematics参考文献 17被引用数 7

ひとこと要約

本稿では、自由配置に非常に近い代数的構造である'プラスワン生成'配置を導入する。自由配置と比較して、対応する対数的導出モジュールの最小自由分解に1つの生成子が余分に存在する。主な結果として、自由配置から超平面を削除すると、自由または厳密にプラスワン生成の配置が得られることを示し、相対的自由性の新たな代数的基準を提供するとともに、組合せ的コンmutative代数における削除定理を拡張する。

ABSTRACT

We introduce a new class of arrangements of hyperplanes, called (strictly) plus-one generated arrangements, from algebraic point of view. Plus-one generatedness is close to freeness, i.e., plus-one generated arrangements have their logarithmic derivation modules generated by dimension plus one elements, with relations containing one linear form coefficient. We show that strictly plus-one generated arrangements can be obtained if we delete a hyperplane from free arrangements. We show a relative freeness criterion in terms of plus-one generatedness. In particular, for plane arrangements, we show that a free arrangement is in fact surrounded by free or strictly plus-one generated arrangements. We also give several applications.

研究の動機と目的

• 自由配置に近く、代数的に近い新しい超平面配置のクラス、すなわちプラスワン生成配置を定義し、その性質を研究すること。
• 自由配置とその削除との間の構造的関係を確立し、このような削除が自由または厳密にプラスワン生成の配置をもたらすことを示すこと。
• プラスワン生成性を用いた相対的自由性の基準を提供し、配置理論における削除定理を一般化すること。
• 非自由導出モジュールの代数的構造が、この新しいクラスを介して体系的に分析可能であることを示し、特性多項式が失敗する場合でも有効であることを示すこと。

提案手法

• 最小自由分解において1つの生成子が余分に存在し、線形係数関係を満たすことで、プラスワン生成配置の概念を導入する。
• 分解における非ゼロのレベル係数を要請することで、厳密にプラスワン生成配置を定義し、自由配置とは明確に異なる一意な代数的構造を保証する。
• オイラー導出の分解を用いて、分解を超平面の定義形式の核に埋め込み、モジュール構造の代数的制御を可能にする。
• 特性多項式およびベッチ数の理論を適用し、分解を分析し、完全な分解計算なしに第一および第二ベッチ数が計算可能であることを示す。
• 帰納法および局所自由性の議論を用いて、削除定理が特性多項式の根条件に基づいて再定式化可能であることを証明する。
• 具体的な例（反射配置や対称配置など）に応用し、非自由性および非近似自由性を検証するとともに、プラスワン生成構造の妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 自由配置から超平面を削除して得られる配置は、代数的に分類可能か？ もし可能であれば、それらがどのような構造を持つのか？
• RQ2 導出モジュールの代数的不変量を用いて、自由配置を超える一般化された削除定理は存在するか？
• RQ3 非自由対数的導出モジュールの代数的構造は、自由と非自由の間の中間的クラスを用いて体系的に記述可能か？
• RQ4 厳密にプラスワン生成であるという性質は、配置自身またはその制限に、組合せ的または位相的制約をもたらすか？
• RQ5 削除定理における自由性の条件を、局所化における超平面数のみに完全に再表現できるか？

主な発見

• 自由配置から超平面を削除すると、自由または厳密にプラスワン生成の配置が得られ、明示的な指数およびレベルは差 |A'| - |A^H| によって定まる。
• 厳密にプラスワン生成配置の最小自由分解は、0 → S[-d-1] → S[-d] ⊕ ⨁ S[-d_i] → D(A) → 0 の形をとり、d はレベルであり、係数 α は非ゼロである。
• 平面配置において、自由配置の周囲には自由または厳密にプラスワン生成の配置が存在し、自由性に近い局所的な代数的構造が確認される。
• 自由配置に一般超平面を追加すると得られる配置も、厳密にプラスワン生成であり、指数およびレベルは超平面の新たな数え上げによって定まる。
• 削除定理は組合せ論的に再定式化可能である：A’ = A ∓ {H} が自由であることは、すべての X ∈ L(A^H) に対して -( |A_X| - |A_X^H| )^{-1} が特性多項式 π(A_X; t) の非ゼロの根であることと同値である。
• 具体例により、一部の配置は自由でも、近似自由でもないが、厳密にプラスワン生成であることが示され、自由性を超える非自明な代数的構造の存在が裏付けられる。