[论文解读] Voronoi-Dickson Hypothesis on Perfect Forms and L-types

Robert Erdahl, Konstantin Rybnikov|ArXiv.org|Dec 11, 2001

Geometric and Algebraic Topology参考文献 15被引用 7

一句话总结

本文推翻了Voronoi-Dickson猜想，该猜想曾推测在所有维度中，正定二次型锥的$L$-型划分总是细化完美形式划分。通过在6维空间中对$E_6$和$E_6^*$格进行显式分析，作者证明了定义$L$-型的Delaunay剖分在完美域边界处发生不连续变化，从而证明该猜想在6维中不成立。

ABSTRACT

George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres in lower dimensions. In his investigations Voronoi heavily relied on that in dimensions less than 6 the partition of the cone of positive quadratic forms into L-types refines the partition of this cone into perfect domains. Voronoi conjectured implicitely and Dickson (1972) explicitely that the L-partition is always a refinement of the partition into perfect domains. This was proved for n =< 5 (Voronoi, Delaunay, Ryshkov, Baranovskii). We show that Voronoi-Dickson conjecture fails already in dimension 6.

研究动机与目标

• 研究正定二次型锥划分为完美形式与$L$-型之间的关系。
• 检验Voronoi（1908–1909年）隐含、Dickson（1972年）明确提出的长期猜想，即$L$-型划分是完美形式划分的细化。
• 确定在6维中，$L$-型划分是否在完美域边界处保持稳定。
• 通过分析$E_6$和$E_6^*$格及其中间形式的Delaunay剖分，提供该猜想的反例。
• 阐明6维中重划分复形的几何与代数结构，特别是在完美域界面处的特性。

提出的方法

• 作者分析了对应于6维中两个相邻完美域的$E_6$和$E_6^*$格的Delaunay剖分。
• 他们构造了一个单参数形式族$\varphi_t = (1-t)\varphi_{E_6} + t\varphi_{E_6^*}$，其中$t \in [0,1]$，在两个完美形式之间进行插值。
• 他们计算了中间形式$\varphi_t$的Delaunay剖分，发现剖分在$t = \frac{2}{5}$处发生不连续变化，表明$L$-型发生了跳跃。
• 他们利用群$\mathcal{G}_{D_4} = \mathcal{G}_{E_6} \cap \mathcal{G}_{E_6^*}$的作用，证明在完美域之间的墙面上，唯一的$\mathcal{G}_{D_4}$-不变形式位于中心轴上，从而确认了转变的位置。
• 他们验证了$\varphi_{1/2}$的Delaunay剖分与$\mathcal{D}_R$相同，$\mathcal{D}_R$是$\mathcal{D}_{E_6}$和$\mathcal{D}_{E_6^*}$的公共细化，且该剖分不等价于$\mathcal{D}_{E_6}$或$\mathcal{D}_{E_6^*}$，从而证明了不同的$L$-型。

实验结果

研究问题

• RQ1 在6维中，$L$-型划分是否如Voronoi与Dickson所猜想的那样，是完美形式划分的细化？
• RQ2 在连接代表相邻完美域的$\varphi_{E_6}$与$\varphi_{E_6^*}$形式的线段上，Delaunay剖分发生了什么变化？
• RQ3 是否存在$t \in (0,1)$使得$L$-型发生变化，从而表明$L$-划分并非完美形式划分的细化？
• RQ4 $\varphi_{E_6}$与$\varphi_{E_6^*}$的Delaunay剖分在$GL(6,\mathbb{Z})$作用下是否等价？
• RQ5 完美域$\mathcal{P}_{E_6}$与$\mathcal{P}_{E_6^*}$之间的墙的中心轴上，是否存在一个$L$-型不同于两端点的形？

主要发现

• 在6维中，$L$-型划分并非完美形式划分的细化，从而推翻了Voronoi-Dickson猜想。
• $\varphi_{1/2}$的Delaunay剖分同构于$\mathcal{D}_R$，即$E_6$与$E_6^*$剖分的公共细化，但该剖分不等价于$\mathcal{D}_{E_6}$或$\mathcal{D}_{E_6^*}$，表明存在不同的$L$-型。
• $L$-型在$\varphi_t = (1-t)\varphi_{E_6} + t\varphi_{E_6^*}$线段上于$t = \frac{2}{5}$处发生不连续变化，证明$L$-划分并非完美形式划分的细化。
• $\varphi_{2/5}$位于完美域$\mathcal{P}_{E_6}$与$\mathcal{P}_{E_6^*}$之间墙的中心轴上，且是该墙上唯一的$\mathcal{G}_{D_4}$-不变形式。
• $\varphi_t$的Delaunay剖分在$0 < t < \frac{1}{2}$与$\frac{1}{2} < t < 1$区间内保持不变，但在$t = \frac{2}{5}$处发生变化，表明在该线段内部存在非平凡的$L$-型转变。
• $\varphi_{1/2}$的$L$-型不同于$\varphi_{E_6}$与$\varphi_{E_6^*}$，从而确认在6维中$L$-划分并非完美形式划分的细化。