[论文解读] 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

一句话总结

本文確立了在二維局部域中，非線性變換下富比尼定理成立的條件，特別關注多項式變換下的積分。結果顯示，由於殘留域不完美，富比尼定理在正特徵下可能失效，並基於分歧理論與多項式結構提供了明確的成立條件。

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.

研究动机与目标

• 建立非線性變換下二維局部域中富比尼定理的嚴謹框架。
• 研究由於殘留域不完美，富比尼定理在正特徵下失效的原因。
• 透過非線性變換，將平移不變積分推廣至二維局部域上的代數群。
• 將變換下積分的行為與阿貝斯與齊藤的分歧理論聯繫起來。
• 解決關於特定條件下形式為 $ f^0(x, y - h(x)) $ 的函數的迭代積分相等性的猜想。

提出的方法

• 透過 $ \frak{o}_F $ 上的特徵函數，將殘留域 $ \bar{F} $ 上的哈爾可積函數提升至 $ F $，從而構造二維局部域上的可積函數空間。
• 透過定義 $ \bar{F} \times \bar{F} $ 上函數的提升，將積分理論擴展至 $ F \times F $，並研究重複積分何時可交換。
• 分析滿足 $ h(x) \big\bracevert \text{ 屬於平移分數理想} $ 的預像 $ \big\bracevert x \big\bracevert $，並将其分解為平移分數理想的不相交並集。
• 利用多項式映射 $ h(X) = h(0) + t^R q(X) $（其中 $ q \notin t\frak{o}_F[X] $）的結構，分析可積性與富比尼性質。
• 在非阿基米德域中應用反函數定理，參數化 $ \rho(Y) = v $ 的非奇異解，從而實現積分中的變換。
• 使用關鍵的輔助積分恆等式（命題 A.1），透過涉及 $ \rho' $ 的變換，將 $ K \times K $ 上的迭代積分關聯起來，並透過變換與富比尼定理證明其相等性。

实验结果

研究问题

• RQ1 在二維局部域上，對於形如 $ (x,y) \to (x, y - h(x)) $ 的非線性變換，富比尼定理在何種條件下成立？
• RQ2 為何當殘留域不完美時，富比尼定理在正特徵下會出乎意料地失效？
• RQ3 阿貝斯與齊藤的分歧理論如何與二維局部域中迭代積分的可積性與對稱性相關？
• RQ4 能否對一般多項式 $ h $ 證明猜想 $ \bigintss_{F} \bigintss_{F} f^0(x, y - h(x)) \thinspace dy dx = \bigintss_{F} \bigintss_{F} f^0(x, y - h(x)) \thinspace dx dy $？
• RQ5 哈塞-赫布蘭德函數在分歧背景下，於纖維上重複積分的解釋中扮演何種角色？

主要发现

• 當 $ h $ 為線性函數，或 $ h $ 的所有係數屬於 $ \frak{o}_F $ 時，富比尼定理在 section 5 中已證明成立。
• 當 $ h(X) = h(0) + t^R q(X) $ 且 $ R = -1 $，且 $ \bar{q} $ 不為純粹不可分時，由於預像的有利分解，迭代積分的猜想成立。
• 當 $ R < -1 $ 時，函數 $ y \to \bigintss_F f^0(x, y - h(x)) \thinspace dx $ 可能不可積，進而導致富比尼定理失效。
• 富比尼定理在正特徵下失效，直接與殘留域的不完美性有關，此點由反例證實。
• 輔助積分恆等式（命題 A.1）證明了 $ \bigintss_K J(v) \thinspace dv = \bigintss_K \bigintss_K f(\rho, u) \thinspace d\rho du $，在變換下確認了富比尼型相等性。
• 哈塞-赫布蘭德函數自然地作為纖維上的重複積分出現，其結構反映了纖維基數的變化。