[論文レビュー] Expanding maps and continued fractions

Michael Magee, Hee Oh+1 more|arXiv (Cornell University)|Dec 13, 2014

Analytic Number Theory Research参考文献 15被引用数 15

ひとこと要約

本稿は、連分数に関連する半群合同問題における格子点数の誤差項に、パワー・セービングな項を確立する。これは、合同的側面における移行作用素の均一な有界性を用いて達成される。OhとWinterの最近の研究を適応し、NaudおよびBourgain-Gamburd-Sarnakの結果を基盤とすることで、SL₂(ℤ)における乗法的組み合わせ論に関する予想を仮定した下で、Zarembaの予想における例外的集合のサイズを縮小する改良された推定値が得られる。

ABSTRACT

We obtain a power saving in the error term for a semigroup congruence lattice point count related to continued fractions. This is done by adapting arguments from recent work of Oh and Winter (2014) that give uniform bounds for certain transfer operators in the congruence aspect. Our arguments also build crucially on work of Naud (2005) and Bourgain, Gamburd and Sarnak (2011). The result we obtain, together with a certain conjecture about the multiplicative combinatorics of $\mathrm{SL}_2(\mathbf{Z})$ that we highlight in the sequel, can be used to obtain an improvement on the size of the exceptional set in Bourgain and Kontorovich's work (2014) on Zaremba's conjecture.

研究の動機と目的

• 連分数に関連する合同的側面における格子点数の誤差項を改善すること。
• カントール集合上の力学系を用いて、移行作用素の均一なスペクトル有界性を合同的設定に拡張すること。
• これらの有界性を応用し、SL₂(ℤ)における乗法的組み合わせ論に関する予想を仮定した下で、Zarembaの予想における例外的集合のサイズを縮小すること。
• 虚部が大きい・小さい両方の部分を持つ移行作用素に対して、均一なDolgopyat型作用素フレームワークを確立すること。
• 連分数の力学とモジュラー群の幾何学的構造、およびその合同商との関連を結びつけること。

提案手法

• OhとWinterの均一な移行作用素有界性を、C¹関数のバナッハ空間上のスペクトル論を用いて、合同的側面に適応する。
• 非局所的可積分性（NLI）と新たな部分空間構造を活用して、均一なDolgopyat作用素を構成し、スペクトル半径を制御する。
• 混合推定とSL₂(ℤ)における半群の(MIX)性質を用いて、実軸付近の移行作用素を制御する。
• Ruelle-Perron-Frobeniusの定理と最大固有関数の持ち上げを用い、カントール集合上の力学と群Γ全体との関係を結ぶ。
• 有限型の部分シフトと写像Tとシフトσの間の同相性を用いた記号的力学の枠組みを採用する。
• 境界上の再生方程式と、最大固有関数h_{-δτ}と関数C_*(γ,g)とのペアリングを用いて、主要項を抽出する。

実験結果

リサーチクエスチョン

• RQ1 連分数に関連する合同的設定における格子点数の誤差項に、パワー・セービングな項を確立できるか？
• RQ2 合同的側面における移行作用素の均一有界性は、連分数理論における既存の推定値をどの程度改善するか？
• RQ3 SL₂(ℤ)における乗法的組み合わせ論に関する予想を仮定した下で、Zarembaの予想における例外的集合のサイズは、移行作用素のスペクトル有界性によってどの程度縮小可能か？
• RQ4 (MIX)性質は、合同商における移行作用素のスペクトル半径を制御するために果たす役割は何か？
• RQ5 群Γ上の最大固有関数h_*は、カントール集合K上の固有関数をどの程度うまく近似できるか？

主な発見

• 合同的格子点数の誤差項にパワー・セービングな項が得られ、誤差はO(e^{(δ−ε)a})からO(e^{(δ−ε')a})に改善され、ε' > 0である。
• 格子点数の主要項は、e^{δa}/|Γ_q|に重み関数C_*(γ₀,g)を乗じた形で漸近的に比例することが示され、スペクトルデータに明示的な依存関係を示す。
• 誤差項は、あるC > 0およびスペクトルパrameterに依存するε' > 0に対して、O((‖φ‖(‖g‖_{C¹} + ‖G‖_∞) q^C e^{(δ−ε')a})で有界である。
• この結果は、SL₂(ℤ)における乗法的組み合わせ論に関する予想に依存しており、これが真であれば、BourgainとKontorovichのZarembaの予想に関する研究における例外的集合のサイズが顕著に縮小される。
• 均一なDolgopyat作用素の構成により、虚部が小さいsに対しても、新たな部分空間構造と(MIX)性質を活用することで、すべてのqに対してスペクトル制御が可能になる。
• 本稿は、移行作用素形式を用いて、連分数の力学とモジュラー群の幾何学的構造、およびその合同商Γ_qとの間の明確な関係を確立する。