Abstract:The aim of this paper is to study the product of $n$ linear forms over function fields. We calculate the maximum value of the minima of the forms with determinant one when $n$ is small. The value is equal to the natural bound given by algebraic number theory. Our proof is based on a reduction theory of diagonal group orbits on homogeneous spaces. We also show that the forms defined algebraically correspond to periodic orbits with respect to the diagonal group actions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the product of linear forms over function fields. Specifically, the authors calculate the maximum of the minimum values of linear forms with unit determinant when \(n\) is small, and prove that this value is equal to the natural value given by algebraic number theory. In addition, they also show the relationship between these linear forms and the periodic orbits under the action of the diagonal group.
### Main research content:
1. **Research on the product of linear forms**: The article mainly studies the product of \(n\) linear forms over the function field \(K = F((t^{-1}))\).
2. **Maximum of the minimum values**: For a given \(n\), calculate the maximum of the minimum values \(m_n\) of linear forms with unit determinant.
3. **Relationship of periodic orbits**: Explain how these linear forms correspond to the periodic orbits under the action of the diagonal group.
### Research background:
- The problem of linear forms over function fields has a long history, similar to the study of linear forms with real coefficients.
- The theory of dynamical systems (especially the action of the diagonal group) has played an important role in recent years.
- By studying problems over function fields, the paper hopes to provide new insights into classical unsolved problems, such as the Littlewood conjecture and the Cassels - Swinnerton - Dyer - Margulis conjecture.
### Main conclusions:
- For \(2\leq n\leq q + 1\), we have \(m_n=q^{n - 1}\).
- For \(q + 2\leq n\leq N_q\), we have \(m_n = q^n\), where \(N_q\) is defined as follows:
\[
N_q=\begin{cases}
4&\text{if }q = 2,\\
q+\left\lfloor 2\sqrt{q}\right\rfloor&\text{if }p\mid\left\lfloor 2\sqrt{q}\right\rfloor, e\text{ is odd and }e\geq 5,\\
q+\left\lfloor 2\sqrt{q}\right\rfloor + 1&\text{otherwise}.
\end{cases}
\]
### Formula explanation:
- \(\left\lfloor r\right\rfloor\) represents the largest integer not greater than \(r\).
- \(q = p^e\), where \(p\) is a prime number and \(e\) is a positive integer.
Through the above research, the authors not only provide specific numerical results, but also establish the connection between linear forms and algebraic number theory and arithmetic geometry, further deepening the understanding of these problems.