[논문 리뷰] On continued fraction expansions of quadratic irrationals in positive characteristic

Paulin, Frédéric, Uri Shapira|arXiv (Cornell University)|2018. 01. 30.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 1

한 줄 요약

이 논문은 양의 특성에서 이차 무리수의 연속 분수 전개를 조사하며, 고전적 실수 경우와는 달리 이러한 전개에서 계수의 차수는 극도로 비정상적인 양상을 보임을 보여준다: $ P^n f $와 같은 수열에서는 한 계수의 차수가 나머지 계수들보다 크게 증가하여 'c-차수-탈출' 행동을 보인다. 브하트-티츠 트리 위의 동역학과 헤크 레이어에서 질량의 탈출 현상을 이용하여, 저자들은 이러한 비정상성이 뿐만 아니라 일반적임을 증명하며, 고차수 계수의 비율이 양의 비율을 차지하는 불가측한 많은 수의 수열이 존재함을 보였다.

ABSTRACT

Let $P$ be a prime polynomial in the variable $Y$ over a finite field and let $f$ be a quadratic irrational in the field of formal Laurant series in the variable $Y^{-1}$. We study the asymptotic properties of the degrees of the coefficients of the continued fraction expansion of quadratic irrationals such as $P^nf$ and prove results that are in sharp contrast to the analogue situation in zero characteristic.

연구 동기 및 목표

• 양의 특성에서 이차 무리수의 연속 분수 계수의 渐近적 행동을 이해하는 것, 특히 $ P^n f $와 같은 수열을 중심으로 한다.
• 이러한 행동을 $\mathbb{Q}$에서의 고전적 경우와 대조하는 것 — 여기서는 계수들이 극한에서 균일하게 분포한다.
• 양의 특성에서 연속 분수 계수의 차수가 비정상적으로 크게 될 수 있음을 입증하여 'c-차수-탈출' 전개를 이끌어내는 것.
• 동역학 시스템과 기하학적 군론을 이용하여 $\mathrm{PGL}_2$의 브하트-티츠 빌딩 위의 작용을 통해 이러한 전개의 구조를 분석하는 것.
• 이러한 비정상적 행동이 불가측한 많은 수의 수열에서 발생하며, 특정 군 작용에 대해 안정됨을 증명하는 것.

제안 방법

• 연속 분수 전개를 $\mathcal{M} = \mathcal{O} \setminus \{0\}$ 공간 위의 동역학과 연결하기 위해 아르틴 사상 $\Psi$를 사용한다. 여기서 $\mathcal{O} = \mathbb{F}_q[[Y^{-1}]]$이다.
• 모듈리 공간 $X = \Gamma \backslash \mathrm{PGL}_2(\widehat{K})$ 상에서 $\mathrm{PGL}_2(\widehat{K})$의 대각 부분군 $A \subset \mathrm{PGL}_2(\widehat{K})$ 작용을 위한 크로스섹션 $C$를 구성하며, $C$에서 $\mathcal{M}$으로 가는 사상 $\Theta_2: C \to \mathcal{M}$를 정의하여 첫 번째 재진입 사상 $T$와 아르틴 사상 $\Psi$를 연결한다.
• KePS[ ]에서의 질량 탈출 현상을 $X$ 내의 헤크 레이어를 따라 $A$-불변 측도에 적용한다.
• 브하트-티츠 트리 위의 지오데식 흐름의 기하학적 해석을 통해 $X$ 상의 높이 함수 $\mathrm{ht}_\infty$ 를 연속 분수 계수의 최대 차수와 연결한다.
• 헤크 트리 $T_P(x)$를 이용하여, $ \gamma_n' \cdot f $ 가 $ c $-차수-탈출 전개를 갖는 불가측한 많은 수의 수열 $ (\gamma_n') $을 구성한다.
• KePS[ ]의 정리 4를 적용하여 측도 $\mu_{x_n^k}$ 의 약한-*극한을 분석함으로써, $ F(\mu_{x_n^k}) / \|F(\mu_{x_n^k})\| $ 가 $ F(\mu_y) $ 의 양의 배수로 수렴함을 보여, 비퇴화된 질량 탈출을 확보한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 이차 무리수의 연속 분수 전개는 고전적 $\mathbb{Q}$-사례와 같이 계수 차수의 균일 분포를 보이는가?
• RQ2 특히 $ P^n f $와 같은 수열을 따라, 이러한 전개에서 계수의 차수가 다른 계수들에 비해 비정상적으로 크게 될 수 있는가?
• RQ3 이러한 비정상성의 근본적인 동역학적 또는 기하학적 메커니즘은 무엇인가?
• RQ4 c-차수-탈출 전개 현상은 희귀한가 아니면 일반적인가? 그리고 이는 불가측한 많은 수의 수열에서 실현 가능한가?
• RQ5 헤크 트리의 구조와 $\mathrm{PGL}_2$ 가 브하트-티츠 빌딩 위에 작용하는 방식은 계수 차수의 분포에 어떻게 영향을 미치는가?

주요 결과

• 모든 이차 무리수 $ f \in \widehat{K} $ 와 기약 다항식 $ P \in \mathbb{F}_q[Y] $ 에 대해, 수열 $ (P^n f)_n $ 은 어떤 $ c = c_{f,P} > 0 $ 에 대해 $ c $-차수-탈출 연속 분수 전개를 갖는다.
• 일부 $ f $ 와 $ P $ 에 대해, 계수 차수의 정규화된 최대 차수의 상한극한이 차수 합에 대한 비율로 정확히 1이 되며, 이는 계수 차수 분포에서 질량의 완전한 탈출을 나타낸다.
• 불가측한 많은 수의 수열 $ (\gamma_n') $ 이 $ \mathrm{PGL}_2(\mathbb{F}_q[Y, P^{-1}]) $ 내에 존재하며, $ (\gamma_n' \cdot f)_n $ 이 어떤 $ c > 0 $ 에 대해 $ c $-차수-탈출 전개를 갖는다.
• 주기적 부분에서의 계수 최대 차수는 총 차수 합에 대한 어떤 선형 함수보다도 더 빠르게 증가하므로, 극한에서 고차수 계수의 양의 비율이 존재함을 의미한다.
• 이 증명은 헤크 레이어를 따라 $ A $-오빗에서의 질량 탈출에 의존하며, 높이 함수 $ \mathrm{ht}_\infty $ 가 최대 계수 차수를 제어한다.
• 결과는 고전적 사례와 뚜렷하게 대비된다: $ \mathbb{Q} $-이차 무리수에서는 계수 차수의 등분포가 나타나지만, 양의 특성에서는 강한 비정상성과 고차수 집중 현상이 나타난다.