[论文解读] 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

一句话总结

本文将出乎意料的曲线概念推广至任意维数射影空间中的出乎意料超曲面，运用代数几何、表示论和计算方法。它完整分类了所有满足条件的三元组 $(n,d,m)$，即在 $\mathbb{P}^n$ 中存在有限个点的集合 $Z$，使得存在一个关于一般点具有 $m$ 重数的 $d$ 次出乎意料超曲面，揭示了其与根系、锥面以及弱 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.

研究动机与目标

• 将出乎意料曲线的概念扩展至 $\mathbb{P}^n$ 中的出乎意料超曲面，其中 $n \geq 2$。
• 对所有三元组 $(n,d,m)$ 进行分类，使得存在一个有限个点的集合 $Z \subset \mathbb{P}^n$，其允许一个关于一般点具有 $m$ 重数的 $d$ 次出乎意料超曲面。
• 识别生成出乎意料超曲面的几何与代数结构，例如锥面和根系。
• 探讨出乎意料超曲面与其在奇点处的切锥之间的对偶性，这一现象在近期研究中已被观察到。

提出的方法

• 通过在 $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$ 处的切锥联系起来，推广了在 $\mathbb{P}^2$ 中观察到的对偶性。
• 借助计算工具和先前研究中的已知例子（例如 [CHMN]、[DMO]、[BMSS]）验证构造方法并探索结构模式。

实验结果

研究问题

• RQ1 对于哪些三元组 $(n,d,m)$，存在一个有限个点的集合 $Z \subset \mathbb{P}^n$，使得其允许一个关于一般点具有 $m$ 重数的 $d$ 次出乎意料超曲面？
• RQ2 在高维中，出乎意料超曲面与其在奇点处切锥之间的对偶性在多大程度上成立？
• RQ3 每个允许不可约出乎意料曲线的有限点集 $Z$ 是否总能扩展为一个集合 $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$。
• 形式 $F(a,x)$（定义出乎意料超曲面）与 $F(x,a)$（定义其在奇点处的切锥）之间的对偶性在 $B_4$、$F_4$ 和 $D_4$ 中成立，某些情况下存在符号差异。
• 与 $Z$ 关联的基点 $B_Z$ 被证明是关键不变量；当其为零维时，可能严格包含 $Z$，暗示更深层的几何约束。
• 本文解决了关于不可约出乎意料曲线是否总是源于自由线排列的开放问题：答案是否定的，但总可将其扩展为保持曲线不变的自由排列。