모듈러 감소로 탄생한 새로운 하이퍼볼릭 4다면체

본 논문은 추상 정다면체와 키랄 다면체에 대한 모듈러 감소 기법을 체계적으로 정리하고, 이를 활용해 새로운 정규 4다면체를 구성한다는 두 가지 목표를 가지고 있다. 첫 번째 부분에서는 다면체 이론의 기본 개념을 소개한다. n‑다면체는 −1부터 n까지의 계층적 순서를 가지는 부분집합이며, 플래그는 최대 사슬을 의미한다. 정다면체는 자동군 Γ(P)가 모든 플래그에 대해 전이 작용을, 키랄 다면체는 두 개의 플래그 궤도를 가지며 인접 플래그는 서로 다른 궤에 속한다. 이러한 대칭 구조는 문자열 C‑그룹으로 기술되며, 생성자 ρ_i는 i‑인접 플래그를 바꾸는 반사이며 (ρ_i ρ_j)^{p_{ij}}=1이라는 Coxeter 관계를 만족한다. 회전 생성자 σ_i=ρ_i ρ_{i−1}는 회전 부분군 Γ⁺(P)를 만든다. 두 번째 부분에서는 모듈러 감소의 일반적 틀을 제시한다. 기본적으로 정수환 D 위의 자유 모듈 V와 그 위의 선형군 G⊂GL_n(D)를 선택하고, 이상 J⊂D에 대해 D→D/J를 적용해 G를 G_J⊂GL_n(D/J)로 사상한다. 핵심 문제는 G_J가 여전히 문자열 C‑그룹 구조를 유지하는가이다. 이를 위해 저자는 크리스털로그래픽 Coxeter 군을 중심으로 논의를 전개한다. 크리스털로그래픽 Coxeter 군은 p_{ij}∈{2,3,4,6,∞}인 경우에만 정수 격자를 보존하므로 D를 ℤ로 잡아 모든 소수 p에 대해 모듈러 감소가 가능하다. 또한 비정수 경우, 특히 황금비 τ=(1+√5)/2를 포함하는 이차체 ℚ(√5)의 정수환 ℤ