[論文レビュー] Divisionally free Restrictions of Reflection Arrangements

Gerhard Roehrle|arXiv (Cornell University)|Oct 1, 2015

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

ひとこと要約

この論文は、Teraoの予想が組合せ論的性質として成り立つクラスの超平面配置の、分割的自由な制限を調査する。分割的自由性は積に関して保存されるが、局所化に関しては閉じていないことが示され、驚くべきことに、分割的自由な配置の制限の一部が分割的自由でないことがある。主な貢献は、非可約複素反射配置のすべての分割的自由な制限の完全な分類であり、特に4次元フラットをもつ$G_{33}$および$G_{34}$の例外ケースを含め、このような制限が分割的自由となる正確な条件を特定している。

ABSTRACT

We study some aspects of divisionally free arrangements which were recently introduced by Abe. Crucially, Terao's conjecture on the combinatorial nature of freeness holds within this class. We show that while it is compatible with products, surprisingly, it is not closed under taking localizations. In addition, we determine all divisionally free restrictions of all reflection arrangements.

研究の動機と目的

• Abeによる分割的自由な反射配置の分類を拡張し、反射配置のどの制限が分割的自由であるかを特定すること。
• 積や局所化といった基本的演算における分割的自由性の振る舞いを調査すること。
• 非可約複素反射配置のすべての分割的自由な制限を同定する未解決問題を解決すること。
• 制限された配置の文脈において、分割的自由性と遺伝的自由性の関係を明確にすること。

提案手法

• Abeが導入した分割的自由な配置の定義を用い、これを帰納的に自由な配置を一般化するもので、このクラス内ではTeraoの予想が成立する。
• ラティス理論的技法と制限配置の理論を用いて、複素反射群$W$の$L(\mathscr{A}(W))$における交差$X$を分析する。
• 既知の反射配置の制限構造に関する結果、特にOrlik-SolomonおよびShephard-Toddの結果に依拠して分類を構築する。
• 特に関係する可除性条件$\chi(\mathscr{A}^X,t) \mid \chi(\mathscr{A},t)$を用いて、自由性および分割的自由性を確認するため、特性多項式とモービウス関数を用いる。
• 積分解法とラティス同型を用いて、問題を非可約の場合に還元する。
• 特に$G(r,r,\ell)$、$G_{24}$、$G_{27}$、$G_{29}$、$G_{33}$、$G_{34}$について、非可約反射群におけるケース・バイ・ケースの分析により結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 反射配置のどの制限が分割的自由であり、その性質を決定づける条件は何か？
• RQ2 分割的自由な配置のクラスは局所化に関して閉じているか。そうでない場合、反例は何か？
• RQ3 制限された配置において、分割的自由性は帰納的自由性および遺伝的自由性とどのように関係するか？
• RQ4 非分割的自由な群の制限が依然として分割的自由となる例外的なケースは存在するか。その場合、どのような条件下で成立するか？

主な発見

• 分割的自由な配置は積構成に関して保存され、関連クラスの既知の閉包性質が拡張される。
• 驚くべきことに、分割的自由性は局所化に関して閉じていない：分割的自由な配置の制限の一部は分割的自由でない。
• 非可約反射配置のすべての制限が分割的自由であることは、それが帰納的に自由であるか、以下の例外ケースに該当する場合に限る：$W = G(r,r,\ell)$で、$\dim X = p$かつ$1 \leq k \leq p-3$の$\mathscr{A}^k_p(r)$、または$W = G_{33}$または$G_{34}$で、$\dim X = 4$。
• 制限$\mathscr{A}(W)^X$が分割的自由であることと、それが遺伝的に分割的自由であることとは同値であり、これは元の反射配置において知られている性質の拡張である。
• 分割的自由性の唯一の例外は、$W = G_{34}$で、$\dim X = 5$のときであり、この場合、制限は分割的自由でない。
• 分類により、$G(r,r,\ell)$について、制限$\mathscr{A}^k_p(r)$が分割的自由となるのは、$p \geq 4$かつ$r,\ell \geq 3$のとき、$k \leq p-3$であるときに限ることが確認された。