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.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the applicability of Fubini's theorem on two - dimensional local fields, especially the integration problems under non - linear variable transformations. Specifically, the author explores whether Fubini's theorem still holds when the integration region is a two - dimensional local field, especially in the case of positive - characteristic local fields where Fubini's theorem may fail due to their imperfection.
### Main Problem Description
The core problem of the paper is to verify the following conjecture:
\[
\int_F \int_F g(x, y - h(x)) \, dy \, dx = \int_F \int_F g(x, y - h(x)) \, dx \, dy
\]
where \( g \) is a Schwartz - Bruhat function and \( h(X) \) is a polynomial. The author is particularly concerned with whether the above equation holds for appropriate functions \( g \) and polynomials \( h \).
### Specific Problem Decomposition
1. **Fubini's Theorem under Non - linear Variable Transformations**: The paper studies the influence of non - linear variable transformations (such as \((x, y)\mapsto(x, y - h(x))\)) on Fubini's theorem on two - dimensional local fields.
2. **Imperfection of Positive - characteristic Local Fields**: The paper points out that in positive - characteristic local fields, Fubini's theorem may unexpectedly fail due to their imperfection. The author demonstrates this through specific examples and discusses its relationship with ramification theory.
3. **Development of Integration Theory**: The author extends the previous work and proposes a new framework of integration theory, aiming to deal with integration problems on two - dimensional local fields, especially those involving non - linear variable transformations.
4. **Specific Verification of the Conjecture**: The paper discusses in detail the validity of the above conjecture under different conditions (such as the degree, coefficients of \( h(X) \), etc.) and gives specific proofs and counterexamples.
### Conclusion
Through a series of technical means, including polynomial decomposition, application of ramification theory, etc., the paper finally concludes that under certain specific conditions, Fubini's theorem may indeed fail, especially in positive - characteristic local fields. This provides a new perspective for understanding the integration theory on two - dimensional local fields and points out the direction for future research.
### Future Work
The author also discusses possible future research directions, including further exploring a wider class of polynomials and different types of local fields, in the hope of establishing a more complete framework of integration theory.
---
In summary, this paper aims to explore and verify the applicability of Fubini's theorem on two - dimensional local fields, especially in the case of non - linear variable transformations, and reveals the influence of the special properties of positive - characteristic local fields on it.