2025-11-20T23:55:15.319591

Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

Chen, Rowley

Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined.

academic

유한 기약 Coxeter 군의 추상 정규 다면체

기본 정보

논문 ID: 2501.01288
제목: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
저자: Malcolm Hoong Wai Chen, Peter Rowley
분류: math.GR (군론), math.CO (조합론)
발표 시간: 2025년 1월 2일
논문 링크: https://arxiv.org/abs/2501.01288

초록

본 논문은 유한 기약 Coxeter 군의 추상 정규 다면체를 연구한다. Coxeter 군 $D_n$ ( $n > 4$ )에 대해, 그 추상 정규 다면체의 최대 계수(rank)가 $n$ 이 짝수일 때 $n-1$ 이고 $n$ 이 홀수일 때 $n$ 임을 증명했다. 더 나아가 $W$ 가 모든 계수 $r$ 의 추상 정규 다면체를 가지고 있음을 증명했으며, 여기서 $n$ 이 짝수일 때 $3 \leq r \leq n-1$ 이고 $n$ 이 홀수일 때 $3 \leq r \leq n$ 이다. 동시에 예외 유한 기약 Coxeter 군의 추상 정규 다면체의 가능한 계수를 결정했다.

연구 배경 및 동기

문제 배경

Coxeter 군과 정규 다면체의 연관성: 유한 Coxeter 군은 수학 문헌에서 다양한 형태로 나타난다—반단순 리 대수의 Weyl 군, 반사군, 그리고 정규 다면체의 자기동형군으로서. 본 논문은 마지막 측면에 초점을 맞춘다.
추상 정규 다면체 이론: McMullen과 Schulte의 업적에 따르면, 추상 정규 다면체 연구는 군의 C-문자열(C-strings) 연구와 동치이다.
기존 결과의 한계:
- $A_n$ 형과 $B_n$ 형 Coxeter 군의 최대 계수는 알려져 있음
- $D_n$ 형 군(Dynkin 그래프가 문자열 형태가 아님)의 관련 결과는 부재
- 예외 Coxeter 군의 경우는 체계적 연구 필요

연구 동기

이 문제의 중요성은 다음과 같이 나타난다:

이론적 완전성: Coxeter 군 분류에서 $D_n$ 형의 공백 채우기
기하학적 의미: 추상 정규 다면체는 고전 정규 다면체의 일반화
군론 응용: 군의 생성집합 연구에 새로운 관점 제공

핵심 기여

$D_n$ 형 Coxeter 군의 최대 C-문자열 계수 결정:
- $n$ 이 짝수일 때: $r_{\max}(D_n) = n-1$
- $n$ 이 홀수일 때: $r_{\max}(D_n) = n$
중간 계수의 존재성 증명: 모든 중간 계수 $r$ ( $3 \leq r \leq r_{\max}$ )에 대한 C-문자열 구성
예외 Coxeter 군의 분류 완성: $H_3, H_4, F_4, E_6, E_7, E_8$ 의 최대 C-문자열 계수 결정
명시적 구성 제공: 구체적인 C-문자열 구성 방법 및 Schläfli 유형 제시

방법론 상세 설명

작업 정의

유한 기약 Coxeter 군 $W$ 의 C-문자열 연구, 즉 다음 조건을 만족하는 대합 집합 $S = \{s_1, \ldots, s_r\}$ :

생성성: $S$ 가 군 $W$ 를 생성
교집합 성질: 모든 $J,K \subseteq I$ 에 대해, $W_J \cap W_K = W_{J \cap K}$
문자열 성질: $|i-j| \geq 2$ 일 때, $s_i s_j = s_j s_i$

핵심 기술 방법

1. 임베딩 기법

보조정리 2.1을 이용하여 $D_n$ 을 $\text{Sym}(2n)$ 에 임베딩: $\beta_0 = (1, n+1)(2, n+2), \quad \beta_i = (i, i+1)(n+i, n+i+1)$

2. 독립집합 이론

Whiston 정리 적용: 대칭군 $\text{Sym}(m)$ 의 최대 독립집합 크기는 $m-1$ 이며, 상한 증명에 사용됨.

3. 구성적 방법

홀수 경우( $n$ 이 홀수): 생성원 정의: $t_1 = \prod_{j=2}^n (j, n+j), \quad t_i = (i-1, i)(n+i-1, n+i) \text{ for } 2 \leq i \leq n$

짝수 경우( $n$ 이 짝수): 서로 다른 계수의 C-문자열 구성:

계수 3: 기초 경우 특수 구성
계수 $r$ ( $4 \leq r \leq n-1$ ): 대칭군의 C-문자열 확장 기반

4. 검증 기법

보조정리 2.6과 2.7을 사용하여 교집합 성질 검증:

보조정리 2.6: 경계 조건 검사를 통한 C-군 성질 검증
보조정리 2.7: 귀납법을 통한 더 일반적 경우 검증

기술적 혁신점

홀짝성 분석: $D_n$ 의 최대 계수가 $n$ 의 홀짝성에 의존함을 발견—중요한 구조적 발견
임베딩과 사영의 결합: $D_n = S \cdot N$ 구조의 교묘한 활용, 여기서 $S \cong \text{Sym}(n)$ , $N$ 은 부호 변환 부분군
계수 축약 정리 적용: Brooksbank-Leemans 정리를 사용하여 최대 계수 C-문자열에서 모든 중간 계수 구성

실험 설정

계산 검증

Magma 계산 대수 시스템을 사용하여 예외 군의 결과 검증:

군	총수	계수 3	계수 4	계수 5	계수 6	계수 7
$H_3$	8(1)	8(1)	0	0	0	0
$H_4$	59(6)	45(2)	14(4)	0	0	0
$F_4$	5(1)	3(0)	2(1)	0	0	0
$E_6$	147(18)	87(12)	50(4)	10(2)	0	0
$E_7$	3662(10)	1577(10)	1525(0)	465(0)	95(0)	0
$E_8$	11689(142)	6746(117)	3584(22)	986(2)	310(0)	63(1)

주: 괄호 내는 자기쌍대 다면체의 개수.

검증 방법

구성 검증: 구성된 C-문자열의 성질을 명시적 계산으로 검증
컴퓨터 보조: Magma를 사용한 예외 군의 완전 열거
이론적 증명: 군론과 조합 기하학 방법의 결합

실험 결과

주요 정리

정리 1.1: $W$ 를 Coxeter 군 $D_n$ 이라 하자, $n \geq 5$ .

$n$ 이 짝수이면, $r_{\max}(W) = n-1$
$n$ 이 홀수이면, $r_{\max}(W) = n$

정리 1.2: $D_n$ 은 모든 계수 $r$ 의 C-문자열을 가지며, 여기서 $3 \leq r \leq r_{\max}(W)$ .

정리 1.3: 예외 유한 기약 Coxeter 군의 최대 계수:

$I_2(m), H_3, H_4, F_4$ : Coxeter 계수와 같음
$E_6, E_7, E_8$ : 각각 5, 6, 7

구체적 구성 결과

$D_n$ ( $n$ 이 홀수):
- 최대 계수 C-문자열: Schläfli 유형 $\{4, 3^{n-2}\}$
- 완전한 계수 스펙트럼: $3 \leq r \leq n$
$D_n$ ( $n$ 이 짝수):
- 최대 계수는 $n-1$ , 계수 $n$ 의 C-문자열 없음
- 계수 3: Schläfli 유형 $\{12, n-1\}$
- 계수 $r$ ( $4 \leq r \leq n-1$ ): 유형 $\{3^{r-4}, 6, n-r+3, 4\}$