[論文レビュー] Non-recursive freeness and non-rigidity of plane arrangements

Takuro Abe, Michael Cuntz+2 more|arXiv (Cornell University)|Oct 13, 2014

Advanced Combinatorial Mathematics参考文献 12被引用数 6

ひとこと要約

本稿は、ℚ 上で定義された自由だが再帰的自由でない平面配置のうち、13および15本の超平面をもつ最初の既知の例を構成し、13本の配置がそのようなものの中で最小であることを証明している。組合せ的分類とコンピュータ支援の検証を用いて、12本以下の超平面をもつすべての自由配置が再帰的自由であることを示しており、再帰的自由性と組合せ論およびモジュライ空間との関係に関する長年の未解決問題を解決している。

ABSTRACT

In the category of free arrangements, inductively and recursively free arrangements are important. In particular, in the former, Terao's open problem asking whether freeness depends only on combinatorics is true. A long standing problem whether all free arrangements are recursively free or not was settled by the second author and Hoge very recently, by giving a free but non-recursively free plane arrangement consisting of 27 planes. In this paper, we construct free but non-recursively free plane arrangements consisting of 13 and 15 planes, and show that the example with 13 planes is the smallest in the sense of the cardinality of planes. In other words, all free plane arrangements consisting of at most 12 planes are recursively free. To show this, we completely classify all free plane arrangements in terms of inductive freeness and three exceptions when the number of planes is at most 12. Several properties of the 15 plane arrangement are proved by computer programs. Also, these two examples solve negatively a problem posed by Yoshinaga on the moduli spaces, (inductive) freeness and, rigidity of free arrangements.

研究の動機と目的

• ℂ³における中心的配置としての自由だが再帰的自由でない配置の最小超平面数を特定すること。
• ℂ³における中心的自由配置を、帰納的自由性および再帰的自由性の観点から、12本以下の超平面について分類すること。
• ヨシナガの問題、すなわちモジュライ空間、(帰納的)自由性、および自由配置の剛性に関する問題を解決すること。
• ℚ 上で定義された、13および15本の超平面をもつ自由だが再帰的自由でない配置の具体的な例を構成すること。
• これらの例において非剛性および非再帰的自由性を示すことにより、自由性が組合せ論のみによって決定されないことを示すこと。

提案手法

• 交差ラティス L₂(𝒜) の組合せ的解析を用いた、12本以下の超平面をもつすべての自由配置の分類。
• Saitoの基準および加算削除定理を用いて、自由性および再帰的自由性のテスト。
• Singular および GAP を用いたコンピュータ支援の検証により、15本の超平面配置の解析と、さまざまな超平面の追加に対する再帰的自由性の確認。
• 文献[3]のアルゴリズムを用いて15本の超平面配置のモジュライ空間を計算し、ラティスが同一型のまま保たれる特殊化 λ ∈ ℂ \ Z を同定。
• 双対ヘッセ型配置を用いた13本の超平面例の構成およびその自由性と非再帰的構造の検証。
• 交差ラティスの対称性群および自己同型の分析により、Aut(L(𝒜ₜ)) ≅ ℤ/2ℤ ≀ 𝔖₃ ≅ B₃ 反射群であることを示した。

実験結果

リサーチクエスチョン

• RQ1 ℂ³における自由だが再帰的自由でない配置で、13本未満の超平面をもつものはあるか？
• RQ2 Teraoの未解決問題が示唆するように、配置の自由性は交差ラティスによって完全に決定されるのだろうか？
• RQ3 ℚ 上で定義された自由だが再帰的自由でない配置において、最小の超平面数は何か？
• RQ4 自由配置のモジュライ空間には、再帰的自由および非再帰的自由な実現が両方含まれるのだろうか？
• RQ5 自由性が組合せ論ではなく幾何的実現に依存する自由配置は存在するのだろうか？

主な発見

• 自由だが再帰的自由でない平面配置の最小構成は13本の超平面からなり、12本以下の超平面をもつすべての自由配置は再帰的自由である。
• |𝒜| ≤ 8 または |𝒜| = 10 のすべての自由配置は帰納的に自由であり、低複雑度の状況において強い自由性の性質が確認された。
• 15本の超平面配置は1次元のモジュライ空間を持ち、ラティスが同型のまま保たれる特殊化 λ ∈ ℂ \ Z が11個存在するが、そのうち6つしか再帰的自由な配置を生成しない。
• 15本の超平面配置は自由であり、指数が (1,7,7) であるが、再帰的自由ではない。その自己同型群は B₃ 型のワイル群と同型である。
• 13本の超平面例は、ℚ 上で定義された最初の自由だが再帰的自由でない配置であり、長年の未解決問題を解決した。
• 本稿は、12本以下の超平面をもつ自由配置を完全に分類した：帰納的に自由であるか、あるいは3つの例外型（双対ヘッセ型、五角形型、モノミアル G(4,4,3)）のいずれかである。