세일럼 수와 산술 초월체 하이퍼볼릭 다양체의 동등성 클래스

초록

세일럼 수 λ와 그 실수 부분 λ+λ⁻¹가 정의하는 전수 실수체 k에 대해, 차원 n≥deg_k(λ)−1인 경우 k 위에 정의된 산술 초월체 하이퍼볼릭 n-다양체들 중 λ의 로그 길이를 갖는 지오데시가 존재하는 서로 다른 동등성 클래스가 무한히 많음을 증명한다.

상세 분석

본 논문은 세일럼 수와 산술 초월체(arithmetic of simplest type) 하이퍼볼릭 다양체 사이의 미묘한 관계를 심도 있게 탐구한다. 먼저 세일럼 수 λ는 실수 대수정수이며, 그 모든 켤레 중 λ와 λ⁻¹만이 절댓값이 1이 아닌 특성을 가진다. 이러한 λ는 λ=e^{ℓ(γ)} 형태의 로소드로믹(isometry) 원소 γ의 변환 길이 ℓ(γ)와 직접 연결된다. 기존 연구(Emery‑Ratcliffe‑Tschantz, 2019)는 λ가 주어지면 차원 n≥deg_k(λ)−1인 경우 하나의 산술 격자 Γ가 존재함을 보였지만, 동등성 클래스가 유일하다는 점만을 다루었다. 저자들은 여기서 한 걸음 더 나아가, 같은 k와 n에 대해 서로 비동등(비commensurable)인 격자들을 무한히 많이 구축한다는 주장을 제시한다.

핵심 기술은 Bayer‑Fluckiger의 Hasse 원리 결과를 활용한 ‘특성 다항식(F)’을 갖는 등거리(isometry) 존재 조건이다. F는 λ의 최소 다항식과 연관된 ε‑대칭(ε=±1) 다항식이며, 이를 타입 0,1,2의 곱으로 분해한다. 특히 세일럼 수에 대응하는 경우 F는 하이퍼볼릭(모든 실근이 1보다 크거나 같은)이며, 이는 해당 이차형식(V,q) 내에 원하는 로소드로믹 원소가 존재함을 보장한다. 저자들은 이 조건을 전역(전수체 k)과 국소(각 완비체 k_ν)에서 동시에 만족시키는 충분조건을 명시한다.

다음 단계는 이러한 이차형식들을 통해 정의되는 산술 격자들의 동등성 클래스를 구분하는 것이다. Maclachlan의 매개변수화에 따르면, 동등성은 Witt 불변량 c(q)와 판별식 disc(q)의 행동에 의해 결정된다. 저자들은 클래스 필드 이론을 이용해 k의 무한히 많은 소소이데얼(prime ideals) 집합을 선택하고, 각각을 포함·제외함으로써 서로 다른 ramification 집합을 갖는 사원수 대수와 이차형식을 만든다. 이렇게 구성된 각 q는 Bayer‑Fluckiger 조건을 만족하면서도 c(q)·⊗k(√disc(q))가 서로 다르게 되므로, 대응하는 격자들은 서로 비동등하게 된다.

결과적으로, 주어진 λ와 k에 대해 n≥deg_k(λ)−1이면, λ의 로그 길이를 포함하는 지오데시를 갖는 산술 초월체 하이퍼볼릭 n-다양체들의 동등성 클래스가 무한히 존재한다는 정리(A)를 증명한다. 또한 정리(B)에서는 이러한 λ를 실현하기 위한 구체적인 유한 조건들을 제시하고, 이를 통해 Q·L(Γ) (합리적 길이 스펙트럼)의 구조를 기술한다. 논문은 기존의 ‘필요조건 → 충분조건’ 구성을 완전한 ‘필요충분조건’ 형태로 끌어올리며, 산술 기하와 대수수론 사이의 교차점을 명확히 제시한다.