[论文解读] On real determinantal quartics

Alex Degtyarev, Ilia Itenberg|arXiv (Cornell University)|Jul 18, 2010

Polynomial and algebraic computation参考文献 12被引用 11

一句话总结

本文对 ℙ³ 中具有非空谱半形区域的通用实行列式四次曲面的十个节点的所有可能排列进行了分类。通过非奇异四次曲面的退化及格理论中的算术不变量，作者证明了位于谱半形区域边界上的实节点数与不在此区域内的实节点数均为偶数，且二者之和在 2 到 10 之间。所有满足 2 ≤ m + n ≤ 10 的此类偶数对 (m, n) 均可实现，从而解决了 B. Sturmfels 提出的问题：是否所有十个节点都可能位于谱半形区域的边界上。

ABSTRACT

We describe all possible arrangements of the ten nodes of a generic real determinantal quartic surface in $\Cp3$ with nonempty spectrahedral region.

研究动机与目标

• 对 ℙ³ 中具有非空谱半形区域的通用实行列式四次曲面的十个节点的所有可能构型进行分类。
• 确定位于边界或外部的实节点排列在几何上是否可实现。
• 解决 B. Sturmfels 提出的问题：此类曲面的全部十个节点是否可能都位于谱半形区域的边界上。
• 证明位于谱半形区域边界上的节点数与不在此区域内的节点数均为偶数，且其和至少为 2，至多为 10。

提出的方法

• 利用整格理论分析 ℙ³ 中复四次曲面空间的等 singularity strata。
• 通过其单值群和退化行为识别横截行列式四次曲面的 stratum。
• 应用退化技术，将实行列式四次曲面与具有两个嵌套球面的非奇异双曲四次曲面联系起来。
• 在 Néron-Tate 格中利用算术不变量来构造或排除特定退化。
• 使用反射群和多面体基本域来描述 Néron-Tate 格中的消失循环。
• 通过模 2 格中的正交向量构造可接受的消失循环系统，满足推论 4.3.3 和定理 4.3.6 的条件。

实验结果

研究问题

• RQ1 一个通用实行列式四次曲面的全部十个节点是否可能都位于谱半形区域的边界上？
• RQ2 实节点在谱半形区域边界与外部之间的可能偶数分布有哪些？
• RQ3 哪些偶数对 (m, n) 满足 2 ≤ m + n ≤ 10，且分别对应边界与外部的节点数？
• RQ4 是否存在关于等 singularity 变形的此类节点排列的完整分类？
• RQ5 哪些算术与格理论障碍会阻止在节点退化中出现特定的消失循环构型？

主要发现

• 所有满足 2 ≤ m + n ≤ 10 的非负整数偶数对 (m, n) 均可实现为谱半形区域边界与外部的实节点数。
• 位于谱半形区域边界上的节点数与不在此区域内的节点数均为偶数，且其和至少为 2。
• 谱半形区域非空当且仅当不存在对应于内球面收缩的类型 5.2.4(1) 消失循环（实）。
• 所有十个消失循环之和模 2Lc⁺ 同余于 h，且该条件是可实现性的必要条件。
• 通过格 Lc⁺/2Lc⁺ 中的正交向量构造了可接受的消失循环系统，给出了 r′_i, r′′_j 以及 1/2(t′_k ± t_k) 的显式公式。
• 在 Lc⁻ 中存在五个平方为 −4 的两两正交向量且其和模 2Lc⁻ 同余于 h 的情况被禁止，从而排除了 m = n = 0 的情形。