[論文レビュー] Unexpected hypersurfaces and where to find them

Brian Harbourne, Juan Migliore+2 more|arXiv (Cornell University)|May 27, 2018

Algebraic Geometry and Number Theory参考文献 19被引用数 6

ひとこと要約

本稿は、代数幾何、表現論、計算手法を用いて、任意の次元の射影空間における予期しない超曲面の概念を一般化する。有限個の点の集合に対して、一般の点における多重度 $m$ の予期しない超曲面が存在するすべての三つ組 $(n,d,m)$ の完全な分類を提示し、根系、錐、弱Lefschetz性質の失敗との関連を明らかにする。

ABSTRACT

In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using constructions which appeal to algebra, geometry, representation theory and computation, we obtain a coarse but complete classification of unexpected hypersurfaces. In particular, we determine each $(n,d,m)$ for which there is some finite set of points $Z\subset\mathbb P^n$ with an unexpected hypersurface of degree $d$ in $\mathbb P^n$ having a general point $P$ of multiplicity $m$. Our constructions also give new insight into the interesting question of where to look for such $Z$. Recent work of Di Marca, Malara and Oneto \cite{DMO} and of Bauer, Malara, Szemberg and Szpond \cite{BMSS} give new results and examples in $\mathbb P^2$ and $\mathbb P^3$. We obtain our main results using a new construction of unexpected hypersurfaces involving cones. This method applies in $\mathbb P^n$ for $n \geq 3$ and gives a broad range of examples, which we link to certain failures of the Weak Lefschetz Property. We also give constructions using root systems, both in $\mathbb P^2$ and $\mathbb P^n$ for $n \geq 3$. Finally, we explain an observation of \cite{BMSS}, showing that the unexpected curves of \cite{CHMN} are in some sense dual to their tangent cones at their singular point.

研究の動機と目的

• $n \geq 2$ に対して、予期しない曲線の概念を $\mathbb{P}^n$ における予期しない超曲面へ拡張すること。
• 有限個の点の集合 $Z \subset \mathbb{P}^n$ が、一般の点における多重度 $m$ の予期しない超曲面を有するようなすべての三つ組 $(n,d,m)$ を分類すること。
• 予期しない超曲面を生成する幾何学的・代数的構造（例えば、錐や根系）を同定すること。
• 最近の研究で観察された、特異点における予期しない超曲面とその接錐の間の双対性を、高次元へ一般化すること。

提案手法

• $n \geq 3$ に対して、$\mathbb{P}^n$ 内の有限点集合の上に錐を構成することで、予期しない超曲面を構成し、広範な例のクラスを提供する。
• 表現論と根系構造（例えば、$B_n$、$F_4$、$H_3$、$H_4$）を応用し、対称的配置を生成することで、予期しない超曲面を導出する。
• 特定の次数付き環における弱Lefschetz性質の失敗を、予期しない超曲面の存在の背後にある代数的メカニズムとして用いる。
• 線型系統 $|I_Z \cap I_X|_d$（$X = mP$ は重み付き点）の次元を予想値と比較し、条件の独立性の欠如を検出する。
• 形式 $F(a,x)$ と $F(x,a)$ の双対性を用い、特異点 $P$ における接錐を定義する $F(x,a)$ と関連付けることで、$\mathbb{P}^2$ で観察された双対性を高次元へ一般化する。
• 計算ツールと先行研究（例：[CHMN], [DMO], [BMSS]）の既知の例を活用し、構成の妥当性を検証し、構造的パターンを探索する。

実験結果

リサーチクエスチョン

• RQ1 どの三つ組 $(n,d,m)$ に対して、有限個の点の集合 $Z \subset \mathbb{P}^n$ が、一般の点における多重度 $m$ の予期しない超曲面を有するか？
• RQ2 高次元において、特異点における予期しない超曲面とその接錐との双対性は、どの程度成立するか？
• RQ3 任意の予期しない曲線を有する有限点集合 $Z$ は、その曲線を保存する自由な双対直線配置に常に拡張可能か？
• RQ4 根系のどの構造的性質が、$B_{n+1}$ のようなものに予期しない超曲面が存在するのに対し、$A_{n+1}$ のようなものには存在しない理由を説明するか？
• RQ5 線型系統 $|I_{Z+mP}|_d$ の基底付属 $B_Z = \bigcap_P B_Z(P)$ は、予期しない超曲面の特徴付けにおいて、どのような役割を果たすか？

主な発見

• 本稿は、予期しない超曲面が存在するすべての $(n,d,m)$ の完全な分類を提示する：このような超曲面が存在するのは $d \geq m$ かつ $n \geq 2$ の場合に限られ、$\mathbb{P}^n$ 内の特定の配置の存在に明示的な条件が結びついている。
• $n \geq 3$ の場合に、$\mathbb{P}^n$ 内の有限点集合の上に作られる錐を用いた新しい構成により、予期しない超曲面が得られ、その存在が弱Lefschetz性質の失敗と関連づけられる。
• 根系に基づく構成（特に $B_{n+1}$、$F_4$、$H_3$、$H_4$）により、予期しない超曲面が得られ、計算的証拠により、すべての $n \geq 3$ に対して $d=m=4$、$n \geq 5$ に対して $d=m=3$ が成立することが示唆される。
• 特異点 $P$ における予期しない超曲面を定義する形式 $F(a,x)$ と、その接錐を定義する $F(x,a)$ の双対性は、$B_4$、$F_4$、$D_4$ において成立し、一部のケースでは符号の違いが観察される。
• 集合 $Z$ に関連する基底付属 $B_Z$ が重要な不変量であることが示された。次元が 0 の場合、$Z$ を厳密に含むことがあるため、より深い幾何的制約があると考えられる。
• 既存の未解決問題である「非可約な予期しない曲線は常に自由な直線配置から生じるか」に対して、本稿は否定的解決を示す：いいえ、しかし常にその曲線を保存する自由な配置に拡張可能である。