[논문 리뷰] Voronoi-Dickson Hypothesis on Perfect Forms and L-types

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

Geometric and Algebraic Topology참고 문헌 15인용 수 7

한 줄 요약

이 논문은 모든 차원에서 양정부호 이차형식의 원뿔의 $L$-형식 분할이 항상 훌륭한 형식 분할을 정밀화한다는 추측한 바이던 버노이-딕슨 추측을 반증한다. 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$-형식 분할이 훌륭한 형식 분할을 정밀화한다는 장기적인 추측을 검증하기 위해.
• 6차원에서 훌륭한 영역의 경계를 넘어서 $L$-형식 분할이 안정적인지 확인하기 위해.
• 데라운이 타일링과 그 중간 형태를 분석하여 이 추측에 대한 반례를 제공하기 위해.
• 특히 훌륭한 영역 간의 접합부에서의 재분할 복합체의 기하학적 및 대수적 구조를 명확히 하기 위해.

제안 방법

• 저자들은 6차원에서 서로 인접한 두 훌륭한 영역에 해당하는 $E_6$ 및 $E_6^*$ 격자의 데라운이 타일링을 분석한다.
• 두 훌륭한 형식 사이를 연결하는 일련의 형태 $\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}_{D_4} = \mathcal{G}_{E_6} \cap \mathcal{G}_{E_6^*}$ 의 작용을 사용한다.
• 중점 $\varphi_{1/2}$ 에 대한 데라운이 타일링이 $\mathcal{D}_R$ 과 동형이며, 이는 $\mathcal{D}_{E_6}$ 와 $\mathcal{D}_{E_6^*}$ 의 공통 정밀화임을 확인하고, 이 타일링이 $\mathcal{D}_{E_6}$ 나 $\mathcal{D}_{E_6^*}$ 와 동치가 아니므로, 별개의 $L$-형식임을 증명한다.

실험 결과

연구 질문

• RQ1 버노이와 딕슨이 추측한 바와 같이, 6차원에서 $L$-형식 분할이 훌륭한 형식 분할을 정밀화하는가?
• RQ2 $\varphi_{E_6}$ 와 $\varphi_{E_6^*}$ 를 연결하는 선분을 따라 데라운이 타일링은 어떻게 변화하는가?
• RQ3 $(0,1)$ 에서 어떤 $t$ 값에서 $L$-형식이 변화하는가? 이는 $L$-분할이 훌륭한 형식 분할을 정밀화하지 않는다는 것을 의미한다.
• RQ4 $\varphi_{E_6}$ 와 $\varphi_{E_6^*}$ 의 데라운이 타일링은 $GL(6,\mathbb{Z})$ 에 대해 동치인가?
• RQ5 두 훌륭한 영역 사이의 벽면의 중심축에 위치한 형태 중에서, 양 끝점의 $L$-형식과 다를 수 있는 형태가 존재하는가?

주요 결과

• 6차원에서 $L$-형식 분할이 훌륭한 형식 분할을 정밀화하지 않으며, 이는 버노이-딕슨 추측이 반증됨을 의미한다.
• $\varphi_{1/2}$ 에 대한 데라운이 타일링은 $\mathcal{D}_R$ 과 동형이며, 이는 $E_6$ 와 $E_6^*$ 타일링의 공통 정밀화이지만, 이 타일링은 $\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$-분할이 훌륭한 형식 분할을 정밀화하지 않음을 증명한다.
• $\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$-분할이 훌륭한 형식 분할을 정밀화하지 않음을 확인한다.