[論文レビュー] The ABC Theorem for Meromorphic Functions

Machiel van Frankenhuijsen|ArXiv.org|May 12, 2008

Meromorphic and Entire Functions参考文献 10被引用数 3

ひとこと要約

本稿では、形式的高さ-根号恒等式と、アーチメデス的寄与に対する解析的評価を用いて、メラモーフィック関数に対するabc定理の新しい証明を提示する。対数的高さが完成した根号によって有界であることを示し、対数的導関数補題を用いてアーチメデス的項を制御することで、有限測度の集合を除き、$2\log h + O(\log\log h)$ のオーダーの有効な誤差項が得られる。

ABSTRACT

Using a `height-to-radical' identity, we define the archimedean contribution to the radical, $r_\arch$, and we give a new proof of the abc theorem for the field of meromorphic functions. The first step of the proof is completely formal and yields that the height is bounded by the radical, $h\leq r$, where $r=r_ a+r_\arch$ is the radical completed with the archimedean contribution. The second step is analytic in nature and uses the lemma on the logarithmic derivative to derive a bound for $r_\arch$.

研究の動機と目的

• 形式的および解析的要素を分離する二段階的アプローチを用いて、メラモーフィック関数に対するabc定理を再証明すること。
• 古典的定式化に欠けている、根号へのアーチメデス的寄与を定義し、分析すること。
• abc予想における誤差項を、アーチメデス的付値に起因するものとして再解釈すること。
• アーチメデス的寄与を含む完成した根号を導入することで、ネヴァンリンナ理論と数論的abc予想を結びつけること。
• abc予想における誤差項 $\psi(h)$ を、寄与そのものではなく、アーチメデス的根号寄与の上界とみなすべきであると提唱すること。

提案手法

• すべての $\rho \geq 1$ に対して $h(P,\rho) \leq r_{\text{na}}(P,\rho) + r_{\text{arch}}(P,\rho)$ を得る形式的高さ-根号恒等式を導入する。
• アーチメデス的寄与を $r_{\text{arch}}(P,\rho) = \int_{|z|=\rho} h_z((b/c)^\ell, (c/a)^\ell, (a/b)^\ell) \frac{dz}{2\pi i z} - h_\infty((b/c)^\ell, (c/a)^\ell, (a/b)^\ell)$ として定義する。
• 対数的導関数補題を適用して、全長が有限な集合 $E \subset (1,\infty)$ を除き、$r_{\text{arch}}(P,\rho) \leq 2\log h(P,\rho) + O(\log\log h(P,\rho))$ を得る。
• 関数論的abc不等式 $h(P,\rho) \leq r_{\text{na}}(P,\rho) + 2\log h(P,\rho) + O(\log\log h(P,\rho))$ を、$\rho \geq 1$ および $\rho \notin E$ に対して確立する。
• abc予想の誤差項 $\psi(h)$ を、寄与そのものではなく、アーチメデス的根号寄与の上界とみなすべきであると再解釈を提唱する。
• 完成した根号 $r(P) = r_{\text{na}}(P) + r_{\text{arch}}(P)$ を定義し、$h(P) \leq r(P)$ を証明するプログラムを提唱するが、その鍵となる解析的課題は $r_{\text{arch}}(P) \leq \psi(h(P))$ の評価である。

実験結果

リサーチクエスチョン

• RQ1 形式的恒等式を用いて、高さと根号の成分を分離する手法により、メラモーフィック関数に対するabc定理をどのように再証明できるか？
• RQ2 ネヴァンリンナ理論の文脈において、根号へのアーチメデス的寄与の正しい定義は何か？
• RQ3 abc予想の誤差項を、寄与そのものではなく、アーチメデス的根号寄与の上界と解釈することは可能か？
• RQ4 高さ関数に関して、アーチメデス的根号寄与の鋭い解析的評価は何か？
• RQ5 アーチメデス的寄与を含む完成した根号は、数論における古典的abc予想とどのように関係するか？

主な発見

• 高さ-根号恒等式により、すべての $\rho \geq 1$ に対して $h(P,\rho) \leq r(P,\rho)$ が成り立ち、ここで $r(P,\rho) = r_{\text{na}}(P,\rho) + r_{\text{arch}}(P,\rho)$ である。これは形式的abc不等式を確立する。
• アーチメデス的根号寄与は、対数的導関数の積分を用いて定義され、座標の不変性と解析的取り扱いやすさを保証する。
• 対数的導関数補題を用いることで、全長が有限な集合 $E$ を除き、$r_{\text{arch}}(P,\rho) \leq 2\log h(P,\rho) + O(\log\log h(P,\rho))$ が得られる。
• その結果、関数論的abc定理として、$\rho \geq 1$ および $\rho \notin E$ に対して $h(P,\rho) \leq r_{\text{na}}(P,\rho) + 2\log h(P,\rho) + O(\log\log h(P,\rho))$ が成立する。
• 本稿では、数論的abc予想における誤差項 $\psi(h)$ を、寄与そのものではなく、アーチメデス的根号寄与の上界とみなすべきであると提唱する。
• より強い結果として $\psi(h) = O(\sqrt{h}/\log h)$ が成り立てば、$h \leq C r$ が得られ、大指数におけるフェルマーの最終定理の解決に繋がる可能性がある。