The typical elasticity of a quadratic order

Steve Fan,Paul Pollack
2024-11-14
Abstract:For an atomic domain $D$, the $elasticity$ $\rho(D)$ of $D$ is defined as $\sup\{r/s: \pi_1\cdots \pi_r = \rho_1 \cdots \rho_s,~ \text{where each $\pi_i, \rho_j$ is irreducible}\}$; the elasticity provides a concrete measure of the failure of unique factorization in $D$. Fix a quadratic number field $K$ with discriminant $\Delta_K$, and for each positive integer $f$, let $\mathcal{O}_f = \mathbb{Z} + f\mathcal{O}_K$ denote the order of conductor $f$ in $K$. Results of Halter-Koch imply that $\mathcal{O}_f$ has finite elasticity precisely when $f$ is $\textit{split-free}$, meaning not divisible by any rational prime $p$ with $(\Delta_K/p)=1$. When $K$ is imaginary, we show that for almost all split-free $f$, \[ \rho(\mathcal{O}_f) = f/(\log{f})^{\frac{1}{2}\log\log\log{f} + \frac{1}{2}C_K+o(1)}, \] for a constant $C_K$ depending on $K$. When $K$ is real, we prove under the assumption of the Generalized Riemann Hypothesis that \[ \rho(\mathcal{O}_f)= (\log{f})^{\frac12 +o(1)} \] for almost all split-free $f$. Underlying these estimates are new statistical theorems about class groups of orders in quadratic fields, whose proofs borrow ideas from investigations of Erdős, Hooley, Li, Pomerance, Schmutz, and others into the multiplicative groups $(\mathbb{Z}/m\mathbb{Z})^\times$. One novelty of the argument is the development of a weighted version of the Turán--Kubilius inequality to handle a variety of sums over split-free integers.
Number Theory
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper mainly discusses the elasticity problem in quadratic fields \(K\). Specifically, when \(K\) is a fixed quadratic number field, the author studies the elasticity \(\rho(O_f)\) of its order \(O_f=\mathbb{Z}+fO_K\), where \(f\) is a positive integer and \(O_K\) is the ring of integers of \(K\). #### Research background and motivation 1. **Measure of the failure of unique factorization**: - For a non - uniquely factored integral domain \(D\), the elasticity \(\rho(D)\) is defined as the maximum value of the ratio of all products of irreducible elements, that is: \[ \rho(D)=\sup\left\{\frac{r}{s}:\pi_1\cdots\pi_r = \rho_1\cdots\rho_s,\text{ where each }\pi_i,\rho_j\text{ is an irreducible element}\right\} \] - Elasticity provides a specific measure to gauge the degree of failure of unique factorization in \(D\). 2. **Elasticity in quadratic number fields**: - Fix a quadratic number field \(K\) and its discriminant \(\Delta_K\). For each positive integer \(f\), define \(O_f = \mathbb{Z}+fO_K\) as the conductor in \(K\). - Halter - Koch's result shows that \(O_f\) has finite elasticity if and only if \(f\) is split - free, that is, \(f\) is not divisible by any rational prime \(p\) such that \(\left(\frac{\Delta_K}{p}\right)=1\). 3. **Elasticity estimation**: - When \(K\) is an imaginary quadratic number field, for almost all split - free \(f\), the elasticity \(\rho(O_f)\) can be expressed as: \[ \rho(O_f)=\frac{f}{(\log f)^{1/2}\log\log\log f+\frac{1}{2}C_K + o(1)} \] where \(C_K\) is a constant depending on \(K\). - When \(K\) is a real quadratic number field, under the generalized Riemann hypothesis (GRH), for almost all split - free \(f\), the elasticity \(\rho(O_f)\) can be expressed as: \[ \rho(O_f)=(\log f)^{1/2}+o(1) \] #### Main contributions - By introducing new statistical theorems and class group theories, especially by developing a weighted version of the Turán–Kubilius inequality, the paper solves the problem of estimating the elasticity of conductors in quadratic fields. - These results not only deepen the understanding of the unique factorization properties in quadratic fields but also provide more accurate elasticity estimates, which are helpful for further research on related problems in number theory. In summary, this paper aims to deeply explore and quantify the elasticity of conductors in quadratic fields through rigorous mathematical analysis and innovative methods, so as to better understand the unique factorization characteristics in these structures.