[論文レビュー] Fubini's theorem and non-linear change of variables over a two-dimensional local field

Matthew Morrow|arXiv (Cornell University)|Dec 13, 2007

Nonlinear Waves and Solitons参考文献 20被引用数 10

ひとこと要約

本稿は、2次元局所体における非線形変数変換の下で、Fubiniの定理が成り立つ条件を確立する。特に多項式変換を含む積分に焦点を当てる。正標数では不完全な残渣体が原因でFubiniの定理が成立しないことがあることが示され、分岐理論と多項式構造に基づく有効性の明示的基準が提示される。

ABSTRACT

We consider non-linear changes of variables and Fubini's theorem for certain integrals over a two-dimensional local field. An interesting example is presented in which imperfectness of a finite characteristic local field causes Fubini's theorem to unexpectedly fail. The relationship to ramification theory is discussed.

研究の動機と目的

• 2次元局所体における非線形変数変換の下でFubiniの定理を厳密に確立するための枠組みを構築すること。
• 残渣体が不完全なために正標数でFubiniの定理が失敗する理由を調査すること。
• 非線形変換を用いて2次元局所体上の代数群への移行不変積分を拡張すること。
• AbbesとSaitoの意味における分岐理論と、変数変換の下での積分の挙動を結びつけること。
• 特定の条件下で、関数 $ f^0(x, y - h(x)) $ の反復積分の等価性に関する予想を解決すること。

提案手法

• 特徴関数を $ rak{o}_F $ 上に持ち上げることで、残渣体 $ ar{F} $ 上のハール可積分関数を $ F $ に持ち上げ、2次元局所体上の可積分関数の空間を構成する。
• 関数 $ ar{F} imes ar{F} $ の持ち上げを用いて $ F imes F $ 上への積分理論を拡張し、反復積分が可換となる条件を研究する。
• 集合 $ igracevert x igracevert ext{ が } h(x) igracevert ext{ が平行移動された分数イデアルに属するようなもの} を、互いに素な平行移動された分数イデアルの直和に分解する。
• 多項式写像 $ h(X) = h(0) + t^R q(X) $ で $ q otin trak{o}_F[X] $ であるものの構造を用いて、可積分性とFubiniの挙動を分析する。
• 非アーチメデス的体における逆関数定理を適用し、$ ho(Y) = v $ の非特異解をパラメトライズすることで、積分における変数変換を可能にする。
• 補助的積分恒等式（補題A.1）を用いて、$ ho' $ を含む変換を通じて $ K imes K $ 上の反復積分を関連付け、変数変換とFubiniの定理により等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元局所体上で、$ (x,y) o (x, y - h(x)) $ の形の非線形変数変換の下で、Fubiniの定理が成り立つ条件は何か？
• RQ2 なぜ正標数では残渣体が不完全なためにFubiniの定理が予期せず失敗するのか？
• RQ3 AbbesとSaitoの分岐理論は、2次元局所体における反復積分の可積分性と対称性とどのように関係するか？
• RQ4 一般の多項式 $ h $ に対して、$ igintss_{F} igintss_{F} f^0(x, y - h(x)) hinspace dy dx = igintss_{F} igintss_{F} f^0(x, y - h(x)) hinspace dx dy $ の予想は証明可能か？
• RQ5 ハッセ＝ヘルブランド関数は、分岐の文脈におけるファイバー上の反復積分を解釈する上で果たす役割は何か？

主な発見

• Fubiniの定理は、$ h $ が線形であるか、または $ h $ のすべての係数が $ rak{o}_F $ に属する場合に成り立つ。これは第5節で示された。
• $ h(X) = h(0) + t^R q(X) $ で $ R = -1 $ かつ $ ar{q} $ が純粋非可分でない場合、前像の好都合な分解により、反復積分に関する予想が成立する。
• $ R < -1 $ の場合、関数 $ y o igintss_F f^0(x, y - h(x)) hinspace dx $ は可積分でない可能性があり、その結果Fubiniの定理が失敗する。
• 正標数におけるFubiniの定理の失敗は、直接的に残渣体の不完全性に起因しており、反例によって示された。
• 補助的積分恒等式（補題A.1）により、$ igintss_K J(v) hinspace dv = igintss_K igintss_K f( ho, u) hinspace d ho du $ が成り立つことが証明され、変数変換の下でのFubini型等価性が確認された。
• ハッセ＝ヘルブランド関数は自然にファイバー上の反復積分として現れ、その構造はファイバーの濃度の変動を反映する。