정수체 위 반사군과 추상 정다각형의 새로운 연결

본 논문은 ‘정수체 위 반사군과 추상 정다각형’이라는 주제에 대해 세 번째이자 마지막 파트를 제시한다. 앞선 두 편에서 제시된 기본 개념—즉, 결정적 코시터 군 Γ 의 표준 표현을 홀수 소수 p 로 모듈러 축소해 얻어지는 유한 군 G^p —을 다시 한 번 정리하고, 이를 통해 얻어지는 군이 언제 문자열 C‑그룹, 즉 유한 추상 정다각형 P(G^p) 의 자동군이 되는지를 새로운 구조적 기준으로 탐구한다. ### 1. 기본 설정 및 용어 정의 - **Coxeter 군 G**: 결정적이며 문자열 다이어그램을 갖는 선형 반사군. - **표준 표현**: 실수 n‑공간 V 위에서의 반사 생성자 ρ_i 를 행렬로 나타낸 것. - **모듈러 축소**: 행렬 원소를 ℤ 에서 ℤ_p 로 사상해 얻는 군 G^p ⊂ GL_n(ℤ_p). - **직교 공간 V**: 대칭 이중선형형 x·y 에 의해 정의된(특이 가능) ℤ_p‑벡터공간. - **generic 소수**: p≥5 또는 p=3 이면서 다이어그램에 6표기가 없을 때; 이 경우 모든 루트 b_i 가 비특이적이며 반사 r_i 가 그대로 정의된다. ### 2. 문자열 C‑그룹 판정 기준 문자열 C‑그룹 여부는 교차 성질(Intersection Property) (1) 을 만족하는가에 달려 있다. 이는 모든 부분집합 I,J⊆{0,…,n‑1} 에 대해 ⟨r_i|i∈I⟩∩⟨r_j|j∈J⟩=⟨r_k|k∈I∩J⟩이 성립해야 함을 의미한다. 이를 검증하기 위해 저자들은 다음과 같은 구조적 정리를 제시한다. #### 정리 2.1 (끝점 구형/3‑그룹) G^p_0 또는 G^p_{n‑1} 가 구형(spherical)이고 다른 하나가 3‑차원 문자열 C‑그룹이면 전체 군 G^p 는 C‑그룹이다. 비generic 경우에도 GAP 계산을 통해 검증 가능하다. #### 정리 2.2 (양쪽 직교형, 중간 비특이) 양쪽 끝 부분군 G^p_0, G^p_{n‑1} 이 직교형이고 중간 부분공간 V_{0,n‑1} 이 비특이적이면, 교차 부분군 G^p_{0,n‑1} 이 전체 직교군 O(n‑2,p,ε) 와 동형일 때 전체 군이 C‑그룹이 된다. #### 정리 2.3 (다양한 특이·비특이 조합) - (a) 양쪽 끝이 비특이이고 두 부분군이 O(V) 또는 O₁(V) 이면 교차 부분군은 O(V_{0,n‑1}) 또는 O₁(V_{0,n‑1}) 와 일치한다. - (b) 중간 부분공간이 특이인 경우, 교차 부분군은 점대점(stabilizer) 군 bO(V_{0,n‑1}) 와 그 스핀노름 핵 bO₁(V_{0,n‑1})  사이에 놓인다. - (c) 한쪽 끝만 특이인 경우에도 유사한 구조가 성립한다. 이 정리들은 기존 4차원까지의 분류를 넘어, 차원 n≥5 에서도 교차 성질을 귀납적으로 검증할 수 있는 강력한 도구를 제공한다. ### 3. ‘3‑∞’ 군의 일반 차원 분석 ‘3‑∞’ 군은 다이어그램이 …‑3‑∞‑… 형태인 무한 코시터 군을 의미한다. 저자들은 다음과 같은 절차로 이를 분석한다. 1. 다이어그램에서 3‑엣지와 ∞‑엣지를 차례로 제거해 부분군을 만든다. 2. 각 단계에서 부분군이 직교형인지, 그리고 해당 부분공간이 비특이·특이인지 판단한다. 3. 정리 2.1~2.3을 적용해 교차 성질을 확인한다. 주요 결과는 다음과 같다. - 모든 k,m≥2 에 대해