Abstract:In these lectures we give an introduction to the reduction theory of binary forms starting with quadratic forms with real coefficients, Hermitian forms, and then define the Julia quadratic for any degree $n$ binary form. A survey of a reduction algorithm over $\mathbb Z$ is described based on recent work of Cremona and Stoll.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include two aspects:
1. **For any binary form \( f \) defined on the number field \( K \), find a \( GL_2(K) \)-equivalent form \( f' \) such that the height of \( f' \) is minimized.**
Specifically, given a number field \( K \) and a binary form \( f(X,Z) \), the paper hopes to find a binary form \( f'(X,Z) \) equivalent to \( f \) such that the height (height) of \( f' \) under the action of \( GL_2(K) \) reaches the minimum value. Here, the height refers to some indicators for measuring the complexity of polynomials, such as the maximum absolute value of coefficients.
2. **Given a fixed discriminant \( \Delta \) or a set of invariants, enumerate all binary forms \( f \) with the given discriminant or invariants up to \( SL_2(\mathcal{O}_K) \)-equivalence classes.**
This means that if the discriminant \( \Delta \) of a binary form or some specific invariants are known, the goal of the paper is to list all possible binary forms and classify them into \( SL_2(\mathcal{O}_K) \)-equivalence classes. Here, \( \mathcal{O}_K \) represents the ring of integers of the number field \( K \).
### Key Concepts and Methods
In order to achieve the above - mentioned goals, the paper mainly relies on the following theories and techniques:
- **Reduction theory of quadratic forms**: In particular, the reduction of positive definite quadratic forms is achieved by mapping them to the fundamental region of the complex upper half - plane \( \mathcal{H}_2 \).
- **Reduction of Hermitian forms**: Consider Hermitian forms defined on complex numbers and study their behaviors in the hyperbolic upper half - space \( \mathcal{H}_3 \).
- **Julia invariant**: An invariant proposed by Julia is introduced to deal with the reduction problem of higher - degree binary forms.
- **Algorithm design**: Based on the above theories, specific algorithms are designed to realize the reduction of binary forms and enumerate the reduced forms with fixed discriminants.
### Conclusion
Through these methods, the paper not only provides profound insights into the structure of binary forms, but also provides effective tools for practical calculations and applications. In particular, it solves the problems of how to find equivalent forms with the minimum height and how to enumerate binary forms with a given discriminant.