[論文レビュー] On continued fraction expansions of quadratic irrationals in positive characteristic

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

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}]]$ である。
• 行列式部分群 $A \subset \mathrm{PGL}_2(\widehat{K})$ の作用に対するモジュライ空間 $X = \Gamma \backslash \mathrm{PGL}_2(\widehat{K})$ におけるクロスセクション $C$ を構成し、写像 $\Theta_2: C \to \mathcal{M}$ を定義する。この写像は、最初の戻り写像 $T$ とアーティン写像 $\Psi$ を intertwine する。
• ケプスらの結果 [KePS] における質量の散逸現象を、$X$ 内のヘッケ線に沿った $A$-不変測度のコンパクトな $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] $ に対して、ある $ c = c_{f,P} > 0 $ を用いて、列 $ (P^n f)_n $ は $ c $-次数発散連分数展開を持つ。
• 特定の $ f $ と $ P $ に対して、正規化された最大係数次数の上限が、次数総和に対する比として正確に 1 に達する。これは、係数次数分布における完全な質量の散逸を示している。
• $ \mathrm{PGL}_2(\mathbb{F}_q[Y, P^{-1}]) $ 内の非可算個の列 $ (\gamma_n') $ が存在し、ある $ c > 0 $ を用いて $ (\gamma_n' \cdot f)_n $ が $ c $-次数発散展開を持つ。
• $ P^n f $ の周期的部分における係数の最大次数は、総次数和の任意の線形関数よりも速く増加する。これは、極限において高次係数が正の割合を占めることを示唆する。
• 証明は、ヘッケ線に沿った $ A $-軌道における質量の散逸に依拠しており、高さ関数 $ \mathrm{ht}_\infty $ が最大係数次数を制御する。
• この結果は古典的ケースとは著しく対照的である。$ \mathbb{Q} $-二次無理数では係数次数が等分布するが、正の特性では強い不規則性と高次係数の集中が観察される。