Abstract:Explicit models of families of genus 2 curves with multiplication by $\sqrt D$ are known for $D= 2, 3, 5$. We obtain generic models for genus 2 curves over $\mathbb Q$ with real multiplication in 12 new cases, including all fundamental discriminants $D < 40$. A key step in our proof is to develop an algorithm for minimisation of conic bundles fibred over $\mathbb{P}^2$. We apply this algorithm to simplify the equations for the Mestre conic associated to the generic point on the Hilbert modular surface of fundamental discriminant $D < 100$ computed by Elkies--Kumar.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a general model of genus 2 curves with the Real Multiplication (RM) property and parameterize these curves. Specifically, the goals of the paper can be divided into two main parts:
1. **Constructing a general model**: For a given fundamental discriminant \(D\), the paper aims to provide a general model of genus 2 curves with RM \(D\). These models should be able to cover all genus 2 curves with RM \(D\) (in the sense of twisting transformation).
2. **Parameterizing curves**: The paper also attempts to parameterize these genus 2 curves by simplifying the Mestre conic. The Mestre conic is a geometric object used to describe genus 2 curves. By simplifying this object, it is easier to generate specific genus 2 curve models.
### Specific problems and methods
- **Known situations**: For \(D = 2, 3, 5\), there already exist some known families of genus 2 curves. However, these families do not provide a simple method to parameterize genus 2 curves with RM \(D\).
- **New method**: The paper proposes a new method that can construct a general model of genus 2 curves with RM \(D\), and this method is applicable to more fundamental discriminants \(D\). Specifically, the paper successfully constructs genus 2 curve models for 12 new fundamental discriminants \(D\), including all fundamental discriminants \(D < 40\).
- **Key steps**: The key step in the paper is to develop an algorithm for minimizing conic bundles of fibers on \(\mathbb{P}^2\). This algorithm is applied to simplify the equations of Mestre conics related to Hilbert modular form surfaces with fundamental discriminants \(D < 100\).
### Main results
- **Theorem 1.1**: For \(D\in\{5, 8, 12, 13, 17, 21, 24, 28, 29, 33, 37, 44, 53, 61\}\) and a field \(k\) of characteristic 0, the paper gives a family of genus 2 curves consisting of 5 parameters and 2 relations, and these curves have RM \(D\).
- **Corollaries 1.2 and 1.3**: The paper also provides specific examples, such as families of genus 2 curves for \(D = 12\) and \(D = 17\), which can be represented with fewer parameters.
- **Theorem 1.5**: For the above values of \(D\), the paper proves that the Mestre conic \(L_D\) can be represented as \(X^2 - DY^2 - q_DZ^2 = 0\), where \(q_D\) is a rational function.
- **Theorem 1.8**: When \(D\equiv1\pmod{8}\), the Mestre conic \(L_D\) can be simplified to \(X^2 - DY^2 - Z^2 = 0\), that is, \(q_D = 1\).
### Applications
- **Counting problems**: These explicit models can be used to estimate the number of genus 2 curves with RM \(D\), which is helpful for studying the number of weight 2 newforms.
- **Moduli spaces**: These models can also be used to study the moduli spaces of genus 2 curves, especially the relationship between Hilbert modular form surfaces and Humbert surfaces.
In conclusion, through the development of new algorithms and methods, this paper successfully constructs a general model of genus 2 curves with the real multiplication property and provides specific parameterization methods for these models. These achievements not only expand the existing theory but also provide new tools and directions for future research.