[논문 리뷰] On the nonarchimedean quadratic Lagrange spectra

Jouni Parkkonen, Paulin, Frédéric|arXiv (Cornell University)|2018. 01. 24.

advanced mathematical theories참고 문헌 19인용 수 1

한 줄 요약

이 논문은 유한체 위의 형식적 로랑 급수에 대해 비아르키메데스적 버전의 고전적 디오판틴 근사 이론을 정의함으로써, 비아르키메데스적 이차 라그랑주 스펙트럼을 도입한다. 브하트-티츠 수형도에서의 기하학적 군 작용을 이용하여, 스펙트럼이 닫혀 있고 유계임을 증명하고, 홀 레이(무한히 많은 형태의 근사 상수 $q^{-n}$를 포함하는, $n$이 큰 경우)가 존재하며, 허리츠 상수를 계산함으로써 특정 이차 무리수에 대해 최대 근사 상수가 정확히 $q^{-2}$임을 보여주며, 일부 스펙트럼은 간극을 보일 수 있음을 밝힌다.

ABSTRACT

We study Diophantine approximation in completions of functions fields over finite fields, and in particular in fields of formal Laurent series over finite fields. We introduce a Lagrange spectrum for the approximation by orbits of quadratic irrationals under the modular group. We give nonarchimedean analogs of various well known results in the real case: the closedness and boundedness of the Lagrange spectrum, the existence of a Hall ray, as well as computations of various Hurwitz constants. We use geometric methods of group actions on Bruhat-Tits trees.

연구 동기 및 목표

• 유한체 위의 함수체의 완비화에서 비아르키메데스적 이차 라그랑주 스펙트럼을 정의하고 연구하는 것.
• 실수 디오판틴 근사에서의 고전적 결과들—예를 들어 닫힘성, 유계성, 홀 레이 존재성—을 양의 특성 환경으로 확장하는 것.
• 형식적 로랑 급수의 맥락에서 이차 무리수에 대한 허리츠 상수를 계산하는 것.
• 스펙트럼의 구조, 특히 간극의 존재 여부를 조사하는 것.

제안 방법

• 이차 무리수 $\alpha$에 대한 $\mathrm{PGL}_2(R)$ 작용에 의한 궤도 $\Theta_\alpha$를 제외한 $x \notin K \cup \Theta_\alpha$에 대해 근사 상수 $c_\alpha(x)$의 집합으로서 이차 라그랑주 스펙트럼 $\mathrm{Sp}(\alpha)$를 정의한다.
• 근사 품질을 측정하기 위해 높이 함수로 복소도수 $h(\alpha) = |\alpha - \alpha^\sigma|^{-1}$를 사용한다.
• 브하트-티츠 수형도에서 $\mathrm{PGL}_2(R)$의 작용을 이용한 기하학적 방법을 적용하여, 수평공 안의 지오데식 선분의 교차를 분석한다.
• 최대한의 반복성을 갖는 $\mathcal{K}(2)$ 원소의 연분수 전개를 이용해 이차 무리수를 특성화한다.
• 수형도의 거리 구조를 활용하여, 수평공 내 지오데식 선분의 최대 길이를 이용해 근사 상수의 범위를 설정한다.
• $n(f,\alpha)$를 지오데식 선분 $[f^\sigma, f]$와 $[\alpha^\sigma, \alpha]$의 교차 최대 길이라 할 때, $c_\alpha(f) = q^{-n(f,\alpha)}$임을 증명한다.

실험 결과

연구 질문

• RQ1 함수체의 양의 특성 완비화에서 이차 라그랑주 스펙트럼은 실수 라그랑주 스펙트럼과 유사한 성질(예: 닫힘성, 유계성)을 보일까?
• RQ2 비아르키메데스적 이차 라그랑주 스펙트럼에 홀 레이가 존재하는가? 즉, 충분히 큰 $n$에 대해 모든 $q^{-n}$이 포함되는가?
• RQ3 주어진 이차 무리수 $\alpha$에 대해 허리츠 상수 $\max \mathrm{Sp}(\alpha)$의 값은 얼마인가?
• RQ4 스펙트럼이 간극을 가질 수 있는가? 즉, 임의로 작은 상수가 포함되어 있더라도 $q^{-2k+1}$ 같은 특정 값들을 빠뜨릴 수 있는가?
• RQ5 스펙트럼이 정확히 최대 홀 레이와 일치하는 이차 무리수가 존재하는가?

주요 결과

• 이차 라그랑주 스펙트럼 $\mathrm{Sp}(\alpha)$는 닫혀 있고 유계이며, 임의의 $K$ 위의 이차 무리수 $\alpha$에 대해 $\max \mathrm{Sp}(\alpha) \leq q^{-2}$이다.
• 홀 레이가 존재한다: 충분히 큰 모든 $n$에 대해 $q^{-n} \in \mathrm{Sp}(\alpha)$이며, 이는 스펙트럼이 $\{0\} \cup \{q^{-n} : n \geq m_\alpha\}$ 형태의 초기 구간을 포함함을 증명한다.
• 특정 이차 무리수 $\phi = [Y]$에 대해 스펙트럼은 정확히 $\mathrm{Sp}(\phi) = \{0\} \cup \{q^{-n-2} : n \in \mathbb{N}\}$이며, 따라서 $\max \mathrm{Sp}(\phi) = q^{-2}$이다.
• 간극을 가진 이차 무리수가 존재한다: 예를 들어, $k \geq 2$일 때 $q^{-2k+1} \notin \mathrm{Sp}(\alpha)$임을 4.12조문에서 보여주었다.
• $\deg P = 1$인 $\alpha = [P]$의 스펙트럼은 $\mathrm{Sp}([P]) = \{0\} \cup \{q^{-(2+n)} : n \in \mathbb{N}\}$로 주어지며, 이는 홀 레이의 구조를 확인한다.
• 모든 $m \geq 2$에 대해, $\max \mathrm{Sp}(\beta) = q^{-m}$를 만족하는 이차 무리수 $\beta$가 존재함을 보여주며, 이는 이러한 최대 상수들이 모두 실현 가능하다는 것을 확인한다.