Diophantine transference principle over function fields

Sourav Das,Arijit Ganguly
2024-01-27
Abstract:We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani to the function field set-up, we extend many results from homogeneous Diophantine approximation to the realm of inhomogeneous Diophantine approximation over function fields. This also yields the inhomogeneous Baker-Sprindzuk conjecture over function fields as a consequence. Furthermore, we prove the upper bounds for the general non-extremal scenario.
Number Theory
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? The main purpose of this paper is to study the Diophantine transference principle over function fields. Specifically, the author attempts to generalize the method proposed by Beresnevich and Velani in homogeneous Diophantine approximation to the function - field setting of inhomogeneous Diophantine approximation. This not only extends many existing results but also verifies the inhomogeneous Baker - Sprindžuk conjecture over function fields. In addition, the paper also proves some upper bounds in the general non - extreme cases. #### Overview of the main content 1. **Background introduction**: - The paper starts from the classical Diophantine approximation theory, reviews Mahler's conjecture and its subsequent development, especially the conjectures of Baker and Sprindžuk. - It emphasizes the difference between homogeneous and inhomogeneous Diophantine approximation and introduces the concept of the transference principle. 2. **Function - field setting**: - It defines the function field \(F_q(X)\) and its completion \(F_q((X^{-1}))\) in detail and introduces the corresponding absolute value and metric structure. - It defines the norm and topology on the matrix space \(F^{m\times n}\). 3. **Main concepts and theorems**: - It defines the inhomogeneous exponents \(\omega(Y,\theta)\), the uniform inhomogeneous exponent \(\hat{\omega}(Y,\theta)\) and the multiplicative inhomogeneous exponent \(\omega^{\times}(Y,\theta)\). - It proposes the concepts of strongly contracting measure and friendly measure and discusses their properties. 4. **Main results**: - It proves the equivalence of almost everywhere contracting measure in homogeneous and inhomogeneous cases. - It verifies the inhomogeneous Baker - Sprindžuk conjecture over function fields. - It gives some upper - bound estimates in non - extreme cases. 5. **Methods and tools**: - It uses the Diophantine transference principle, especially its application in the inhomogeneous case. - It applies the ultrametric inequality and some combinatorial techniques to handle specific inequality systems. Through these works, the author successfully generalizes many results in homogeneous Diophantine approximation to the inhomogeneous case and obtains new conclusions in the function - field setting. This provides an important basis and tools for future research.