Transcendence of simple geodesics on finite modular covers

기술 요약: 유한 모듈러 피복 위의 단순 측지선의 초월성

문제 정의
본 논문은 모듈러 오비폴드 $M = \text{PSL}_2(\mathbb{Z})\backslash \mathbb{H}$의 유한 모듈러 피복 위에서 단순 측지선(simple geodesics)의 끝점(endpoints)이 갖는 산술적 성질을 조사한다. 구체적으로, 연분수 전개에 기초한 실수 분류인 유리수, 이차 무리수, 또는 초월수의 삼분법(trichotomy) 문제를 다룬다.

핵심 문제는, $\mathbb{H}$ 상의 측지선 $\xi = (\xi_-, \xi_+)$의 투영 $\xi'$이 유한 지표 부분군 $\Gamma' \subset \Gamma$에 의한 유한 피복 $M' = \Gamma'\backslash \mathbb{H}$ 상에서 단순 측지선(즉, $M'$ 내에서 횡단 자기 교차가 없는 측지선)일 때, 그 끝점 $\xi_+ \in \mathbb{RP}^1$의 산술적 분류를 결정하는 것이다.

유리수 끝점은 첨점(cusp)으로 탈출하는 측지선에 대응하고, 이차 무리수 끝점은 주기 궤도에 축적되는 측지선에 대응한다는 점은 잘 알려져 있으나, 이러한 범주에 속하지 않는 단순 측지선의 상태는 여전히 미해결 과제로 남아 있다. 본 논문은 이러한 측지선들이 반드시 초월수와 대응할 것이라고 가정하며, 이는 모듈러 피복의 기하학적 설정으로 확장된 킨친(Khintchine)의 오랜 추측(유계 연분수를 갖는 수에 관한 추측)을 다룬다.

방법론
본 논문은 저차원 위상수학, 기호 역학(symbolic dynamics), 그리고 디오판토스 근사론의 결합을 활용한다:

1. 기하-조합적 대응: 저자들은 $\mathbb{H}$ 내의 측지선과 쌍대 삼중 트리(dual trivalent tree) $T$ 상의 경로 사이의 쌍대성을 이용한다. 유한 피복 $M'$에서의 단순 측지선은 quotient graph $T' = T/\Gamma'$ 상의 조합론적 측지선에 대응한다. 단순성 조건은 연분수 전개의 부분 몫(partial quotients)에 제약을 가하며, 이는 피복의 최대 첨점 폭(maximal cusp width)에 의해 유계임을 보장한다.
2. 기호 역학 및 복잡도: 단순 측지선의 궤적은 유한 알파벳(유클리드 모노이드의 생성자로부터 유도됨) 위의 수열 $X$로 인코딩된다. 저자들은 이러한 수열의 인자 복잡도(factor complexity)(길이가 $n$인 서로 다른 부분 단어의 수)를 분석한다.
   • **최소 측지선 라미네이션(minimal geodesic laminations)**의 잎(leaf)을 형성하는 측지선의 경우, 저자들은 연관된 기호 수열이 아선형 복잡도(sub-affine complexity)(구체적으로 대략 선형 복잡도)를 가짐을 입증한다.
   • 이러한 낮은 복잡도는 수열 구조 내에 "긴 반복(long repetitions)"의 존재를 의미한다.
3. 초월성 판정 기준: 저자들은 슈미트 부분 공간 정리(Schmidt Subspace Theorem)와 아담제비치(Adamczewski), 부게디(Bugeaud) 등이 개발한 초월성 판정 기준을 적용한다.
   • 정리 1.8 & 1.9: 이 기준들은 유계 연분수가 아선형 복잡도(또는 구체적으로 긴 반복)를 가질 경우, 그에 대응하는 실수가 이차 무리수이거나 초월수임을 명시한다.
   • 본 논문은 이를 더욱 정교화하여, 초월수의 마를레 지수(Mahler exponents)($w_n$ 및 $\hat{w}_n$)를 제한함으로써 이들을 마를레 클래스(Mahler classes) $S$ 또는 $T$(또는 라그랑주 상수가 유계되지 않을 경우 $U_2$)로 분류한다.

주요 기여 및 결과

1. 주요 추측 (Conjecture 0.3 / 2.3): 본 논문은 임의의 유한 지표 부분군 $\Gamma' \subset \text{PSL}_2(\mathbb{Z})$에 대하여, 피복 $M'$ 내의 측지선 $\xi'$이 단순하다면 그 끝점 $\xi_+$는 유리수, 이차 무리수, 또는 초월수 중 하나라는 것을 제안한다.
2. 최소 라미네이션에 대한 증명 (Theorem 0.4 / 2.7): 단순 측지선이 최소 측지선 라미네이션의 잎인 경우에 대해 이 추측을 증명한다.
   • 결과: 만약 $\Xi' \subset M'$가 최소 라미네이션이라면, 끝점 $\xi_\pm$는 이차 공액(quadratic conjugates)이거나 둘 다 초월수이다.
   • 정교화: 초월수인 경우, 마를레 지수는 유계이다. 구체적으로, $w_2(\xi_\pm) = \infty$ (마를레 클래스 $U_2$)이거나, $w_d(\xi_\pm) \leq \exp(c(\log 3d)^3 (\log \log 3d)^2)$를 만족하는 상수 $c$가 존재하여, 이들을 마를레 클래스 $S$ 또는 $T$에 위치시킨다.
3. 모듈러 토러스 케이스 (Section 3): 유도 부분군 $\Gamma' = [\Gamma, \Gamma]$에 의한 모듈러 토러스 피복에 대한 상세한 분석을 제공한다.
   • 이는 마르코프 유리수/이차 무리수(주기적 단순 측지선과 연관됨)와 스투름(Sturmian) 초월수(비주기적 단순 측지선과 연관됨)를 구분함으로써 특정 피복에 대한 추측을 확인한다.
   • 라그랑주 상수 $L(\xi_+)$와 위상적 유형 사이의 관계를 밝힌다: $L(\xi_+) > 3$은 마르코프 수에 대응하고, $L(\xi_+) = 3$은 스투름 초월수에 대응한다.
4. 마를레 스펙트럼 및 프로파인이트 단순 수(Profinite Simple Numbers): 저자들은 모든 유한 모듈러 피복에서 발생하는 단순 측지선으로부터 유도되는 수들을 "프로파인이트 단순 수"로 정의한다. 이 집합들의 하우스도르프 차원이 0임을 언급하며, 라그랑주 및 마를레 스펙트럼의 메트릭 위상에 관한 의문을 제기한다.

의의 및 주장

본 논문은 단순 측지선(특히 최소 라미네이션에 속하는 경우)의 초월성 문제를 연분수의 아선형 인자 복잡도와 연결함으로써 해결한다.

• 통합: 기하학적 단순성(자기 교차 없음)을 디오판토스 성질(연분수의 유계성 및 반복성)과 통합한다.
• 킨친 추측의 확장: 유계 연분수가 유리수, 이차 무리수, 또는 초월수라는 킨친의 추측에 대하여, 수열이 단순히 유계될 뿐만 아니라 낮은 복잡도를 갖는 최소 라미네이션이라는 특수한 기하학적 상황을 통해 이를 입증한다.
• 정량적 경계: 기존의 질적 초월성 결과와 달리, 본 연구는 초월수로부터 발생하는 마를레 지수에 대한 명시적인 상한을 제공한다.

저자들은 모든 단순 측지선(최소 라미네이션에 국한되지 않는)에 대한 일반적인 추측은 여전히 열려 있다고 명시하면서도, 특히 프로파인이트 단순 수와 congruence subgroup 간의 관계를 중심으로 향후 조사를 위한 강력한 근거와 프레임워크를 제공한다. 이 연구는 저차원 위상수학, 기호 역학, 디오판토스 근사론의 접점에 위치하며, 측지선 흐름의 산술적 성질에 대한 새로운 관점을 제시한다.