Abstract:In this paper we study the density and distribution of CM elliptic curves over $\mathbb{Q}$. In particular, we prove that the natural density of CM elliptic curves over $\mathbb{Q}$, when ordered by naive height, is zero. Furthermore, we analyze the distribution of these curves among the thirteen possible CM orders of class number one. Our results show that asymptotically, $100\%$ of them have complex multiplication by the order $\mathbb{Z}\left[\frac{-1 + \sqrt{-3}}{2} \right]$, that is, have $j$-invariant 0. We conduct this analysis within two different families of representatives for the $\mathbb{Q}$-isomorphism classes of CM elliptic curves: one commonly used in the literature and another constructed using the theory of twists. As part of our proofs, we give asymptotic formulas for the number of elliptic curves with a given $j$-invariant and bounded naive height.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the density and distribution of elliptic curves with the Complex Multiplication (CM) property defined over the field of rational numbers \( \mathbb{Q} \). Specifically, the authors study the natural density of CM elliptic curves among all elliptic curves when sorted by the naive height, and analyze the distribution of these curves among the thirteen possible CM orders with class number one.
### Main Findings:
1. **Natural Density of CM Elliptic Curves**:
- It is proven that the natural density of elliptic curves with the CM property among all elliptic curves is zero. That is, when considering all elliptic curves, elliptic curves with the CM property are very scarce.
2. **Distribution of CM Elliptic Curves**:
- The distribution of these CM elliptic curves among the thirteen possible CM orders with class number one is studied. The results show that asymptotically, 100% of CM elliptic curves have a CM structure given by \( \mathbb{Z}\left[\frac{-1 + \sqrt{-3}}{2}\right] \), that is, their \( j \)-invariants are 0.
### Specific Results:
- **Theorem 1.1**: The set \( E_{\text{cm}} \) of elliptic curves with the CM property has a natural density of zero in the set \( E \) of all elliptic curves, that is:
\[
d(E_{\text{cm}}) = \lim_{X \to \infty} \frac{\#E_{\text{cm}}(X)}{\#E(X)} = 0.
\]
- **Theorem 1.5**: Elliptic curves with \( j \)-invariant equal to 0 account for 100% of all CM elliptic curves, that is:
\[
d(E_0) = \lim_{X \to \infty} \frac{\#E_0(X)}{\#E_{\text{cm}}(X)} = 1.
\]
### Methods and Tools:
- **Height Function**: Use the naive height \( h_{\text{naive}}(E_{A,B}) = \max\{4|A|^3, 27|B|^2\} \) to measure the size of elliptic curves.
- **Asymptotic Formula**: Estimate the number of elliptic curves with a specific \( j \)-invariant through asymptotic formulas, for example:
\[
\#E_j(X) = O(X^{1/m(j)}),
\]
where \( m(j) \) depends on the specific value of the \( j \)-invariant.
- **Modular Forms Theory**: Utilize the theory of modular forms and the Riemann zeta function to derive asymptotic formulas.
### Conclusion:
This paper, through rigorous mathematical analysis, proves that the natural density of elliptic curves with the CM property among all elliptic curves is zero, and analyzes in detail the distribution of these curves in different CM orders. These results are of great significance for understanding the structure and properties of elliptic curves.