[論文レビュー] On transfer inequalities in Diophantine approximation

Laurent Michel|ArXiv.org|Mar 6, 2007

Mathematical Dynamics and Fractals被引用数 12

ひとこと要約

本稿は、点 $\Theta \in \mathbb{R}^n$ が次元 $d$ の有理線形部分多様体によってどれほどよく近似されるかを測る指数 $\omega_d(\Theta)$ の間で、$n-1$ 個の中間的転送不等式を導入することにより、ディオファントス近似におけるキンチンの転送原理を精緻化する。幾何学的・多重線形代数的アプローチとして、プルーバー座標とミンコフスキーの定理を用い、Going-up および Going-down の転送により $\omega_d(\Theta)$ と $\omega_{d-1}(\Theta)$ の間の鋭い下界を確立する。古典的結果を回復・強化する。

ABSTRACT

Let $Θ$ be a point in ${\bf R}^n$. We split the classical Khintchine's Transference Principle into $n-1$ intermediate estimates which connect exponents $ω_d(Θ)$ measuring the sharpness of the approximation to $Θ$ by linear rational varieties of dimension $d$, for $0\le d \le n-1$. We also review old and recent results related to these $n$ exponents.

研究の動機と目的

• キンチンの転送原理を、近似指数 $\omega_d(\Theta)$ 間の $n-1$ 個の中間的転送不等式に分解すること。
• $\mathbb{P}^n(\mathbb{R})$ 内の異なる次元の有理線形部分多様体による近似の関係を明確にすること。
• プルーバー座標と多重ベクトルを用いた幾何学的・代数的枠組みを提供し、これらの指数を分析すること。
• Going-up および Going-down の転送を用いて、$\omega_d(\Theta)$ と $\omega_{d-1}(\Theta)$ の間の鋭い下界を確立すること。
• 一様で射影的な定式化を用いて、シュミットおよびヤルニクの古典的結果を回復・精緻化すること。

提案手法

• $\omega_d(\Theta)$ を、無限個の有理 $d$ 次元線形部分多様体 $L$ に対して $\mathrm{d}(\Theta, L) \leq H(L)^{-1-\omega}$ を満たすような $\omega$ の上限として定義する。
• $\Theta$ の斉次座標 $\mathbf{y}$ と、$L$ をプルーバー座標で表す分解可能多重ベクトル $\mathbf{X} \in \Lambda^{d+1}(\mathbb{Z}^{n+1})$ を用いる。
• 距離 $\mathrm{d}(\Theta, L)$ を外積を用いて表す：$\mathrm{d}(\Theta, L) \asymp |\mathbf{y} \wedge \mathbf{X}| / (|\mathbf{X}| \cdot |\mathbf{y}|)$。
• $\mathbf{X}$ の張る空間の直交補空間 $W$ に、ミンコフスキーの凸体定理を適用して、格子 $\Lambda \subset W$ 内の短いベクトル $\xi$ を得る。
• $\xi$ の.lift $\mathbf{x} \in \mathbb{Z}^{n+1}$ を用いて、新たな多重ベクトル $\mathbf{X}' = \mathbf{x} \wedge \mathbf{X}$ を構成し、ハダールドの不等式を用いて $|\mathbf{y} \wedge \mathbf{X}'|$ を評価する。
• 範数と外積の評価を組み合わせることで、Going-up 転送不等式を導出し、$\omega_{d+1}(\Theta) \geq \frac{(n-d)\omega_d(\Theta) + 1}{n-d-1}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 キンチンの転送原理は、近似指数 $\omega_d(\Theta)$ 間の $n-1$ 個の中間不等式にどのように分解できるか？
• RQ2 $1 \leq d \leq n-1$ のとき、$\omega_d(\Theta)$ と $\omega_{d-1}(\Theta)$ の正確な関係は何か？
• RQ3 プルーバー座標や格子削減といった幾何学的・代数的道具を用いて、古典的転送不等式をどのように精緻化できるか？
• RQ4 新たな転送不等式の鋭さは何か？ また、シュミットとヤルニクの既知の結果とどのように関係するか？
• RQ5 多重ベクトルの構成とミンコフスキーの定理は、ディオファントス近似における最適な境界の導出にどの程度有効か？

主な発見

• Going-up 転送不等式 $\omega_{d+1}(\Theta) \geq \frac{(n-d)\omega_d(\Theta) + 1}{n-d-1}$ は $0 \leq d \leq n-2$ に対して成り立ち、シュミットの以前の結果を精緻化する。
• Going-down 転送不等式 $\omega_{d-1}(\Theta) \geq \frac{d\,\omega_d(\Theta)}{\omega_d(\Theta) + d + 1}$ は $1 \leq d \leq n-1$ に対して成り立ち、シュミットの定理10と整合する。
• Going-up および Going-down 不等式を繰り返し適用することで、$d=0$, $k=n-1$ の場合にキンチンの元々の転送原理が特殊ケースとして回復される。
• 境界は鋭い。これは、ヤルニクによる元々のキンチン不等式の古典的鋭さ結果により確認される。
• $\Lambda^{d+1}(\mathbb{Z}^{n+1})$ 内の分解可能多重ベクトルの使用により、指数 $\omega_d(\Theta)$ の等価かつ計算に有用な定式化が得られる。
• 証明は、$d+1$ 個の整数ベクトルが張る格子の直交補空間にミンコフスキーの定理を適用し、短いベクトルを取得することに依拠しており、その外積が次の指数を与える。