$S$-arithmetic groups acting simply transitively on products of Bruhat-Tits trees

기술 요약: 브루아트-티츠 트리의 곱에 대해 단순 추이적으로 작용하는 S-산술 군

문제 정의
본 논문은 $p$-산술 군이 브루아트-티츠 트리의 정점 집합에 대해 단순 추이적(simply transitive)인 작용을 하는가에 대한 루보츠키(Lubotzky)의 질문을 다룬다. 마르굴리스(Margulis)와 루보츠키-필립스-사른(LPS)이 특정 산술 군이 이러한 트리들에 대해 추이적(transitive)으로 작용하며, 주 합동 부분군(principal congruence subgroups)이 종종 단순 추이적으로 작용한다는 것을 확립했으나, 임의의 수체 위에서 클래스 넘버 1을 갖는 전적으로 정의된 사원수 대수(totally definite quaternion algebras)의 극대 순서(maximal orders)를 위한 단순 추이적 부분군을 구성하는 일반적인 방법론은 미해결 상태로 남아 있었다.

이 문제는 더 높은 차원으로 확장된다: 즉, $S$-산술 격자(S-arithmetic lattices)가 브루아트-티츠 트리의 곱(특히 동일한 밸런시를 가진 트리들의 곱)에 대해 단순 추이적으로 작용하도록 구성하는 것이다. 이러한 작용은 라마누잔 케일리 그래프(Ramanujan Cayley graphs) 및 라마누한 케일리 정규 입방 복합체(Ramanujan Cayley regular cubical complexes)를 생성하는 데 중요하며, 이는 코딩 이론 및 트리의 곱 위에 작용하는 격자(버거-모제스 군) 연구에 응용된다.

방법론
저자들은 산술적 분류, 유한군 이론, 그리고 계산 대수학의 결합을 사용하여 이 문제를 해결한다.

1. 순서의 분류: 본 연구는 키르슈머(Kirschner)와 보이트(Voight)가 열거한, 차수가 최대 5인 수체 위의 전적으로 정의된 사원수 대수의 클래스 넘버 1인 극대 순서 분류에 의존한다. 이는 해당 대수들의 유한 목록을 제공한다.
2. 보완적 삼중항(Complementary Triples): 핵심적인 기술적 혁신은 보완적 삼중항 $(T, \pi, H)$의 도입이다.
   • $T$는 분기된 소수(ramified primes)의 집합이다.
   • $\pi$는 $T$-산술 군 $\Gamma_{O,T}$로부터 유한군 $G$(일반적으로 아이디얼 $C$에 대한 환원)로의 단사 호모모피즘이다.
   • $H$는 $G$ 내에서 $\pi(\Gamma_{O,T})$에 대해 보완적인 부분군이다 (즉, $H \cap \pi(\Gamma_{O,T}) = \{1\}$ 이고 $H \cdot \pi(\Gamma_{O,T}) = G$ 이다).
   • 이러한 삼중항의 존재는 트리 곱의 정점 집합에 단순 추이적으로 작용하는 부분군 $\Gamma = \pi^{-1}(H)$의 구성을 가능하게 한다.
3. 유한군 계산: 저자들은 다음을 수행하기 위해 컴퓨터 대수 시스템인 Magma를 활용한다:
   • 키르슈머-보이트 분류에 따른 순서들의 단위원(units) 및 노멀라이저(normalizers) 열거.
   • 유한 몫 $G[C]$의 치환 표현(permutation representations) 계산.
   • 유한 군 내에서의 보완적 부분군 $H$ 탐색.
   • 트레이스-제로 원소(trace-zero elements)와 축소 노름(reduced norms)으로부터 유도된 **토션 장애 집합(torsion obstruction sets)**을 사용하여 토션-프리(torsion-freeness) 검증.
4. 메타커뮤테이션(Metocommutation): 본 논문은 결과물인 격자들이 필요한 케일리 구조를 갖도록 보장하기 위해 메타커뮤테이션(Chari) 이론을 활용하여 결과적인 격자의 명시적 프레젠테이션을 도출한다.

주요 기여 및 결과

• 정리 A (단일 트리 경우): 임의의 전적으로 실수인 수체 $K$, 전적으로 정의된 사원수 대수 $B/K$, 그리고 클래스 넘버 1인 극대 순서 $O$에 대하여, 모든 (유한한 소수 아이디얼을 제외한) 소수 아이디얼 $p$에 대해 브루아트-티츠 트리 $T(K_p)$의 정점 집합에 단순 추이적으로 작는 congruence 산술 격자 $\Gamma$가 $\Gamma_{O,p}$와 공치(commensurable) 관계에 존재한다. 이는 클래스 넘버 1인 순서들에 대한 루보츠키의 질문을 긍정적으로 확인한다.
• 정리 B (트리의 곱): 이 결과는 $S$-산술 설정으로 확장된다. 임의의 소수 집합 $S$(고정된 유한 집합과 서로소인)에 대하여, 트리들의 곱 $T_{S_0} = \prod_{p \in S_0} T(K_p)$에 단순 추이적으로 작용하는 congruence 격자가 존재한다.
• 정리 C (동일 밸런시): 저자들은 $1 \leq n \leq 5$ 범위에서 $n$개의 동일한 밸런시를 가진 트리들의 곱에 대해 단순 추이적으로 작용하는 수체 위의 사원수 대수로부터 유도된 $S$-산술 격자를 무수히 많이 구성한다. 이는 수체 위에서 이 성질을 갖는 가약적(irreducible) 산술 군의 첫 번째 명시적 예시를 제공한다(이전에는 양의 표수(positive characteristic) 환경에서 Stix와 Vdovina에 의해 알려진 바 있음).
• 토션-프리(Torsion-Freeness): 저자들은 유한 몫에서의 트레이스-제로 축소 노름과의 교집합을 분석함으로써 구성된 격자들이 토션-프리임을 보장하는 기준(Proposition 43)을 확립한다. 정리 50은 $\mathbb{Q}$ 위의 definite class number one 대수들에 대해, 이러한 구성을 통해 얻어지는 무수히 많은 torsion-free $S$-산술 군이 존재함을 증명한다.
• 명시적 프레젠테이션: 본 논문은 메타커뮤테이션 관계가 어떻게 군 구조를 정의하는지 보여주는 격자의 명시적 프레젠테이션(예: 예시 18 및 19)을 제공한다.

의의
본 논문은 다음과 같은 분야에서 의의를 갖는다:

1. 미해결 문제의 해결: 클래스 넘버 1인 극대 순서에 대한 단순 추이적 작용의 존재 여부에 관한 루보츠키의 질문에 답한다. 이는 오랫동안 미해결 상태로 남아 있던 문제였다.
2. 새로운 라마누잔 대상의 생성: 이 구성은 새로운 라마누잔 케일리 그래프 및 라마한 정규 입방 복합체 군(Ramanujan Cayley regular cubical complexes)의 무한한 가족을 생성한다. 이는 스펙트럼 그래프 이론 및 고차원 확장자(high-dimensional expanders) 연구에서 중요하다.
3. 트리의 곱에 대한 산술 격자: 트리 인자가 동일한 밸런시를 갖는 수체 상의 사례를 제공함으로써, 버거-모제스(Burger–Mozes) 군과 같이 트리의 곱 위에 작용하는 격자 이론의 공백을 메운다. 이는 이전에는 주로 양의 표수 환경이나 서로 다른 밸런시를 갖는 $\mathbb{Q}$ 상의 특수한 경우에 의존했다.
4. 계산적 분류: 본 논문은 키르슈머와 보이트가 식별한 49개의 클래스 넘버 1인 전적으로 정의된 사원수 대수에 대한 최소 보완적 삼중항의 완전한 계산적 분류를 제공하며, 이는 이러한 군을 구성하기 위한 기초 자원이 된다.
5. 타 분야와의 연결성: 저자들은 이 구성이 복소 곡면의 비아르키메데스적 유니포미제이션(non-archimedean uniformization), 라마누잔 서브시프트(Ramanujan subshifts) 연구, 그리고 손실 없는 정점 확장자(lossless vertex expanders) 및 잠재적인 양자 국소 테스트 가능 코드(quantum locally testable codes)의 개발과 관련이 있음을 언급한다.

본 연구는 서론에서 언급된 코딩 이론 및 확장자와의 확립된 연결 외에 새로운 실험 프로토콜이나 검증되지 않은 응용을 제안하지 않고, 분류와 유한군 계산에 의존하는 엄격한 산술적 구성을 제시한다.