[論文レビュー] Voronoi-Dickson Hypothesis on Perfect Forms and L-types

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

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

ひとこと要約

この論文は、任意の次元において、正定値二次形式の錐の $L$-タイプ分割が常に完全形式分割を refine するというヴォロノイ＝ディクソン予想を反証する。6次元における $E_6$ および $E_6^*$ 格子の明示的解析により、デローラン図形（$L$-タイプを定義する）が完全領域の境界を越えて不連続に変化することを示し、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$-タイプ分割との関係を調査すること。
• ヴォロノイ（1908–1909年）の暗黙の仮説およびディクソン（1972年）の明示的仮説である、$L$-タイプ分割が完全形式分割を refine するという長年の予想を検証すること。
• 6次元において、$L$-タイプ分割が完全領域の境界を越えて安定しているかを特定すること。
• $E_6$ および $E_6^*$ 格子のデローラン図形とその中間形式の分析を通じて、この予想の反例を提供すること。
• 特に完全領域の境界における、再分割複体の幾何学的・代数的構造を明確にすること。

提案手法

• 著者らは、6次元における2つの隣接する完全領域に対応する $E_6$ および $E_6^*$ 格子のデローラン図形を分析する。
• 2つの完全形式の間を補間する1パラメータ族 $\varphi_t = (1-t)\varphi_{E_6} + t\varphi_{E_6^*}$（$t \in [0,1]$）を構成する。
• 中間形式 $\varphi_t$ におけるデローラン図形を計算し、$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}$ におけるデローラン図形が、$\mathcal{D}_{E_6}$ および $\mathcal{D}_{E_6^*}$ の共通の refinement である $\mathcal{D}_R$ と同型であることを検証し、この図形が $\mathcal{D}_{E_6}$ や $\mathcal{D}_{E_6^*}$ と同値でないことを示し、別個の $L$-タイプを証明する。

実験結果

リサーチクエスチョン

• RQ1 ヴォロノイおよびディクソンが予想したように、6次元において $L$-タイプ分割は完全形式分割を refine するか？
• RQ2 隣接する完全領域を表す形式 $\varphi_{E_6}$ と $\varphi_{E_6^*}$ を結ぶ線分に沿って、デローラン図形はどのように変化するか？
• RQ3 ある $t \in (0,1)$ において $L$-タイプが変化するか？これにより、$L$-分割が完全形式分割を refine しないことが示される。
• RQ4 $GL(6,\mathbb{Z})$ の下で、$\varphi_{E_6}$ および $\varphi_{E_6^*}$ のデローラン図形は同値か？
• RQ5 完全領域 $\mathcal{P}_{E_6}$ と $\mathcal{P}_{E_6^*}$ の壁の中央軸上に、両端点の $L$-タイプと異なる $L$-タイプを持つ形式は存在するか？

主な発見

• 6次元において $L$-タイプ分割は完全形式分割を refine しない。ヴォロノイ＝ディクソン予想は反証された。
• 中点 $\varphi_{1/2}$ におけるデローラン図形は $\mathcal{D}_R$ と同型であり、これは $E_6$ および $E_6^*$ 図形の共通の refinement であるが、$\mathcal{D}_{E_6}$ や $\mathcal{D}_{E_6^*}$ とは同値でないため、別個の $L$-タイプを示している。
• $\varphi_t = (1-t)\varphi_{E_6} + t\varphi_{E_6^*}$ の線分上において、$t = \frac{2}{5}$ で $L$-タイプが不連続に変化することを示し、$L$-分割が完全形式分割を refine しないことを証明する。
• $\varphi_{2/5}$ は、完全領域 $\mathcal{P}_{E_6}$ と $\mathcal{P}_{E_6^*}$ の壁の中央軸上にあり、この壁上に存在する唯一の $\mathcal{G}_{D_4}$-不変形式である。
• $\varphi_t$ のデローラン図形は $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$-分割が完全形式分割を refine しないことを確認する。