[論文レビュー] Free, not recursively free and non rigid arrangements

Michael Cuntz|arXiv (Cornell University)|Jun 24, 2014

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

ひとこと要約

この論文は、特性0におけるすべての自由配置が帰納的自由または剛性であるという Yoshinaga の予想に対する、最初の既知の反例を構成する。13本の超平面からなる1次元モジュライ空間を持つ配置を用いて、帰納的自由でも剛性でもない自由配置を示し、超平面配置理論における長年の仮定に反する最小の例を提供する。

ABSTRACT

We construct counterexamples to Yoshinaga's conjecture that every free arrangement is either inductively free or rigid in characteristic zero. The smallest example has $13$ hyperplanes, its intersection lattice has a one dimensional moduli space, and it is free but not recursively free.

研究の動機と目的

• 特性0におけるすべての自由配置が帰納的自由または剛性であるという Yoshinaga の予想を反証すること。
• 帰納的自由ではなく、剛性でもない自由配置の明示的例を構成し、自由配置の構造に関する一般的な直感に挑戦すること。
• 特に3次元において、交差ラティスの1次元モジュライ空間内の自由性の性質を調査すること。
• 超平面配置における自由性、帰納的自由性、剛性、および組合せ的不変性の関係を明確にすること。

提案手法

• 複素数パラメータ $ t $ でパrameter化された配置の族を構成し、固定された交差ラティス $ L $ を持つように、$ \mathbb{C}^3 $ 内の特定の一次形式の集合を用いる。
• 交差ラティス $ L(\mathcal{A}_t) $ を計算し、$ \mathcal{V}_{\mathbb{C}}(L) = \{ \mathcal{A}_\omega \mid \omega \in \mathbb{C} \setminus Z \} $ を示すことにより、モジュライ空間 $ \mathcal{V}_{\mathbb{C}}(L) $ が1次元であることを証明する。ここで $ Z $ は例外的値の有限集合である。
• Singular コンピュータ代数システムを用いて、モジュライ空間内のすべての配置が自由であり、一貫した指数 $ \{1,5,7\} $ を持つことを確認し、配置 $ \mathcal{A}_t $ が帰納的自由でないことを検証する。
• ラティス $ L(\mathcal{A}_t) $ の自己同型群を分析し、$ \mathbb{Z}/3\mathbb{Z} \rtimes S_3 $ に同型であることを示し、非剛性を示す。
• 特別な値 $ \omega \in Z $ における配置を比較し、一部の配置は超平面の数が同じであるが、交差ラティスが異なることから、モジュライ空間が非自明であることを確認する。
• 15本の超平面を持つ例にこの構成を拡張し、モジュライ空間が $ \mathbb{C} \setminus Z' $ に同型となるようにし、$ Z' $ には $ \frac{3}{2} \pm \sqrt{2} $ のような値が含まれる。同様の自由性および非帰納的自由性の性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 特性0における自由配置で、帰納的自由でも剛性でもないものが存在するか？
• RQ2 1次元モジュライ空間に自由でない配置を含む場合、Terao の予想の反例となるか？
• RQ3 帰納的自由でなく、非自明なモジュライ空間を持つ自由配置を構成することは可能か？
• RQ4 3次元において、帰納的自由でない自由配置に必要な最小の超平面数はいくつか？
• RQ5 このような配置の対称性群およびラティス構造は、自由性および帰納的自由性の性質とどのように関係するか？

主な発見

• 本論文は、13本の超平面からなる配置を提示し、これは自由であるが帰納的自由でなく、1次元のモジュライ空間を持つ。これは Yoshinaga の予想に対する最小の既知の反例である。
• 13本の超平面例におけるモジュライ空間 $ \mathcal{V}_{\mathbb{C}}(L) $ に属するすべての配置は自由であり、指数 $ \{1,5,7\} $ を持つ。これは自由性が族全体にわたって保存されることを確認する。
• Singular を用いた計算的代数的手法により、配置 $ \mathcal{A}_t $ が帰納的自由でないことが検証されたが、自由である。
• モジュライ空間 $ \mathcal{V}_{\mathbb{C}}(L) $ は1次元であり、超平面数やラティス構造が異なる例外的パrameter $ \omega \in Z $ が有限個ある。
• 15本の超平面例では、モジュライ空間も1次元であり、$ \mathcal{V}_{\mathbb{C}}(L) = \{ \mathcal{A}_\omega \mid \omega \in \mathbb{C} \setminus Z' \} $ である。配置 $ \mathcal{A}_t $ は指数 $ \{1,7,7\} $ を持つが、自由であるが帰納的自由でない。
• 13本の超平面ラティスの自己同型群は $ \mathbb{Z}/3\mathbb{Z} \rtimes S_3 $ であり、15本の超平面ラティスでは $ \mathbb{Z}/2\mathbb{Z} \wr S_3 $ である。両方とも非自明であり、配置が剛性でないことを確認する。