[論文レビュー] Singular loci of reflection arrangements and the containment problem

Ben Drabkin, Alexandra Seceleanu|arXiv (Cornell University)|Feb 13, 2020

Commutative Algebra and Its Applications参考文献 34被引用数 5

ひとこと要約

この論文は、複素反射群から生じる反射配置の特異点集合を定義する radical なイデアルの記号的・通常的冪について調査する。不変理論とサイジィ構造を用いて、包含関係 $J^{(3)} \not\subseteq J^2$ が成立しない場合の完全な分類を確立し、それが $G_{24}, G_{27}, G_{29}, G_{33}, G_{34}$ および $m,n\geq3$ を満たす $G(m,m,n)$ においてのみ発生することを示す。さらに、ランク3の場合に $r\geq3$ に対して $J^{(2r-1)} \subseteq J^r$ が成り立つことを証明する。

ABSTRACT

This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals.

研究の動機と目的

• どの反射配置の特異点集合が包含関係 $J^{(3)} \subseteq J^2$ を満たさないかを特定すること。
• 複素反射群の文脈において、記号的冪の包含関係に関する先行研究を一般化・統合すること。
• codimension 2 のイデアルにおいて、Harbourne が予想した包含関係 $J^{(2r-1)} \subseteq J^r$ が $r \gg 0$ に対して成り立つかを検証すること。
• 線形サイジィが $J^{(3)} \subseteq J^2$ の失敗を決定づける役割を同定すること。
• すべての帰納的自由、再帰的自由、超可解な反射配置が包含関係 $J^{(3)} \subseteq J^2$ を満たすことを確立すること。

提案手法

• Shephard-Todd による非可約複素反射群 $G(m,p,n)$ および $G_4$ から $G_{37}$ までの分類を用いて、特異点集合を分析する。
• Chevalley–Shephard–Todd の定理を適用し、反射群の多項式不変量と基本微分を特徴付ける。
• 基本微分から導かれる行列の最大小行列を用いて、radical イデアル $J(\mathcal{A})$ の最小生成集合を求める。
• 包含関係 $J^{(3)} \subseteq J^2$ が成り立つための必要十分条件として、$J(\mathcal{A})$ の最小生成元間に線形サイジィが存在することを用いる。
• α-不変量とregularityの技法を用いて、特に $r \geq 3$ の $J^{(2r-1)} \subseteq J^r$ のような高次の記号的冪の包含関係を検証する。
• 特定のケース（$A_3$, $B_3$, $D_3$, $G(3,1,3)$ など）の包含関係を検証するために、[16], [24], [25], [27] の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 どの複素反射群において包含関係 $J^{(3)} \subseteq J^2$ が失敗するか？
• RQ2 線形サイジィの存在と $J^{(3)} \subseteq J^2$ の失敗との間の正確な関係は何か？
• RQ3 ランク3の反射配置において、$r \geq 3$ に対して改善された包含関係 $J^{(2r-1)} \subseteq J^r$ が成り立つか？
• RQ4 帰納的自由、再帰的自由、超可解な配置のどのクラスが $J^{(3)} \subseteq J^2$ を満たすか？
• RQ5 $r \gg 0$ に対して、Harbourne の包含関係の安定版 $J^{(2r-1)} \subseteq J^r$ が反射配置の特異点集合に対して検証可能か？

主な発見

• 包含関係 $J^{(3)} \subseteq J^2$ が失敗するのは、群 $G$ が $G_{24}, G_{27}, G_{29}, G_{33}, G_{34}$、または $m,n \geq 3$ を満たす $G(m,m,n)$ と非可約因子をもつ場合に限る。
• $J(\mathcal{A})$ の最小生成元間に線形サイジィが存在することは、包含関係 $J^{(3)} \subseteq J^2$ が成立することと同値である。
• すべてのランク3の非可約反射群において、すべての整数 $r \geq 3$ に対して包含関係 $J^{(2r-1)} \subseteq J^r$ が成り立つ。
• すべての帰納的自由、再帰的自由、超可解な反射配置は $J^{(3)} \subseteq J^2$ を満たす。
• α-不変量の議論により、$G = G(3,1,3)$ および $G_{25}$ に対して $J^{(5)} \subseteq J^3$ が確認され、$A_3$ では $r \geq 3$ に対して $J^{(r)} \subseteq J^{r-2}$ が成り立つ。
• regularity および α-不変量の境界を用いた解析により、すべてのランク3の反射配置において $r \geq 3$ に対して $J^{(2r-1)} \subseteq J^r$ が成り立つことが示された。