삼차원 디리클레 스테레오헤드라 면수 상한: 쿼터 입방군 연구

본 논문은 3차원 유클리드 공간에서 결정학적 군 G가 작용하는 궤도 Gp에 대한 디리클레 영역 Vor_G(p)를 스테레오헤드라라 정의하고, 그 스테레오헤드라가 가질 수 있는 최대 면(또는 facet) 수를 연구한다. Hilbert의 18번째 문제와 연관된 이 주제는 오래전부터 관심을 받아왔으며, Delone는 군의 ‘aspect’(번역군의 지수) 를 이용해 일반적인 상한 2^d(a+1)−2 를 제시했지만, 실제 가능한 면 수는 훨씬 작다. Engel은 1980년에 군 I4₁32에 대해 38면을 가진 스테레오헤드라를 발견했으며, 이는 기존 이론적 상한보다 크게 낮은 값이다. Sabariego와 Santos는 이전 연구에서 ‘풀’ 입방군(27종, 그 중 14종 무반사) 에 대해 최대 25면이라는 강력한 상한을 증명하였다. 이때 사용된 방법은 군의 구조적 특성을 이용한 기하학적 분석과 컴퓨터 검증을 결합한 것이었다. 그러나 입방군 중 ‘쿼터’ 군(8종) 은 아직 상한이 알려지지 않았다. ‘쿼터’ 군은 Conway·Delgado‑Friedrichs·Huson·Thurston의 최신 분류에 따라, 홀수 부분군이 Q (군명 P2₁3)인 군을 의미한다. Q는 삼중 회전(triad rotation)만을 포함하고, 회전축이 서로 교차하지 않는 특성을 가진다. 논문은 먼저 쿼터 군의 구조를 상세히 설명한다. Q의 번역 부분은 기본 입방 격자이며, 정규화군 N(Q)는 I4₁g3₂d 로, 그 몫 N(Q)/Q 는 이십면체(D₈)와 동형이다. 따라서 N(Q) 의 궤도에 속하는 타일은 8개의 동등한 클래스로 나뉜다. 다음으로 저자들은 ‘보조 테셀레이션’ 𝒯 를 정의한다. 각 타일 T∈𝒯 에 대해 확장된 Voronoi 영역 VorExt_G(T) 를 구성하는데, 이는 모든 점 q∈T 에 대해 Vor_G(q) 가 포함되는 최소 영역이다. 이를 구하기 위해 Lemma 2.4와 Lemma 2.5 를 활용한다. Lemma 2.4는 회전축 ℓ와 회전각 α 를 가진 회전에 대해, ℓ 를 중심으로 ±α/2 만큼 회전한 두 반평면 H′₁, H′₂ 로 정의된 이등분각 부채꼴이 Vor_G(q) 를 포함함을 보인다. Lemma 2.5는 평행이동 벡터 v 에 대해, v에 평행한 두 평면을 v/2 만큼 이동시킨 H′₁, H′₂ 사이의 스트립이 Vor_G(q) 를 포함함을 증명한다. 실제 구현에서는 250여 개 이상의 회전과 200여 개 이상의 평행이동을 고려했으며, 각 제한 영역이 비볼록일 수 있기에 직접적인 다중 교차는 계산적으로 어려웠다. 이를 해결하기 위해 저자들은 ‘타일 집합’ 접근법을 도입했다. 먼저 VorExt_G(T₀) 를 포함하는 충분히 큰 타일 집합을 선택하고, 각 회전·평행이동에 대해 해당 타일이 제한 영역과 교차하는지 여부만 검사한다. 이렇게 하면 매 단계마다 두 개의 영역(현재 타일과 제한 영역)만 교차 검사를 하면 되므로 연산량이 크게 감소한다. Lemma 2.3 은 정규화군 N(G) 의 원소 ρ 가 두 타일 T₁, T₂=ρT₁ 를 연결할 경우, VorExt_G(T₂)=ρVorExt_G(T₁) 및 Influence_G(T₂)=ρInfluence_G(T₁) 임을 보이며, 따라서 전체 무한 공간을 N(Q) 의 궤도 대표 타일 몇 개만 계산하면 충분함을 보장한다. 이러한 절차를 통해 각 쿼터 군에 대해 ‘영향 영역’ Influence_G(T₀) 안에 포함되는 군 원소의 개수를 상한으로 산출하였다. 단계별 결과는 표 1에 정리되어 있으며, (1) 트라이디얼 회전, (2) 축이 좌표축과 평행한 다이아드 회전, (3) 대각선 다이아드 회전, (4) 평면 투영 교차 등 네 단계로 나뉜다. 최종적으로 모든 쿼터 군에 대해 최대 92개의 면을 초과하지 않음이 확인되었다. 정리하면, 본 논문은 1) ‘풀’ 입방군에 이어 ‘쿼터’ 입방군까지 모든 입방군에 대한 상한을 제공, 2) 정규화군과 보조 테셀레이션을 이용한 효율적인 컴퓨터 보조 증명을 제시, 3) 3차원 디리클레 스테레오헤드라의 면 수가 92 이하라는 전역적인 상한을 확립하였다. 이 결과는 기존의 80면 상한(비입방군)보다 약간 높은 값이지만, 입방군 전체에 대한 최초의 전반적 상한이며, 향후 실제 최대 면 수를 찾는 연구와 고차원 일반화에 중요한 기반을 제공한다.