Abstract:We give an elementary proof of a recent result by Fishman, Kleinbock, Merrill and Simmons about rational points on quadratic surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the positive definite quadratic form \( f(x) \) and the approximation problem of rational points. Specifically, the paper focuses on how to find rational points that satisfy specific conditions given a positive definite quadratic form \( f(x) \).
### Main problems:
1. **Approximation of positive definite quadratic forms and rational points**:
- Given a positive definite quadratic form \( f(x)=\sum_{i,j = 1}^n f_{i,j}x_i x_j \), where \( f_{i,j}=f_{j,i} \) and the coefficients are integers.
- Consider the indefinite quadratic form \( F(z)=f(x)-y^2 \), where \( z=(x_1,\ldots,x_n,y)\in\mathbb{R}^{n + 1} \).
- Define the set \( S_f=\{x\in\mathbb{R}^n:|f(x)|<1\} \), and its volume is denoted as \( v_f \).
2. **Main results**:
- If the indefinite quadratic form \( F(z) \) is isotropic (that is, there exists a non - zero lattice point \( g\neq0 \) such that \( Q(g) = 0 \)), then for any \( T\geq1 \), there exists a rational point \( r = \left(\frac{a_1}{q},\ldots,\frac{a_1}{q}\right) \), where \( a_1,\ldots,a_n\in\mathbb{Z} \), \( q\in\mathbb{Z} \), satisfying the following conditions:
- \( 1\leq q\leq T \)
- \( f(\alpha - r)=f\left(\alpha_1-\frac{a_1}{q},\ldots,\alpha_n-\frac{a_n}{q}\right)\leq\kappa_f\frac{1}{qT} \)
- \( f(r)=f\left(\frac{a_1}{q},\ldots,\frac{a_n}{q}\right)=1 \)
3. **Constant definition**:
- Define the constant \( \kappa_f = 6\max\left\{1,(n + 1)^{2(n+1)}\cdot6^{2n}\cdot2^{2n^2}\cdot v_f^{-(n+1)}\right\} \).
### Solution methods:
- The paper uses Minkowski's theorem on successive minima and Cassels' zero - point theorem on isotropic forms to prove the above results.
- These tools help the author construct a short proof, which only depends on basic number theory and geometric methods, without the need for complex dynamical system theory.
### Extended results:
- For more general cases, the paper also proves that there exist \( n + 1 \) linearly independent integer points \((a_k^1,\ldots,a_k^n,q_k)\in\mathbb{Z}^{n+1} \), satisfying similar approximation conditions, and the quadratic form values of these points are also 1.
### Summary:
The main contribution of this paper is to provide an effective method to approximate rational points on positive definite quadratic forms, and give explicit error bounds and constant estimates. This result is not only of great theoretical significance, but also provides a valuable tool in practical applications.