Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper derives a multivariable Euler product generating function for the Tamagawa product of elliptic curves over $\mathbb{Q}$ in short Weierstrass form, encoding the product of local Tamagawa numbers. By analyzing this generating function, the authors compute limiting distributions, exact covariances, and moment/tail bounds for statistics on the Tamagawa number, revealing that over half of such curves have a trivial Tamagawa product. The work leverages a specialization of an Euler product indexed by local reduction data derived from Tate's algorithm, with results autoformalized in Lean.
Over 50% of elliptic curves over $\mathbb{Q}$ have a trivial Tamagawa product, a statistically significant finding enabled by a novel Euler product generating function.
For elliptic curves $E/\mathbb{Q}$ in short Weierstrass form \[ E=E(a_4,a_6): y^2=x^3+a_4x+a_6, \] we derive a multivariable Euler product generating function which encodes the Tamagawa product $Tam(E)=\prod_p c_p(E)$. Using this generating function, we compute limiting distributions, exact covariances, and moment and tail bounds for four important statistics on the Tamagawa number; for example we show that more than half of all curves in this height ordering have trivial Tamagawa product, about $42.2\%$ have exactly one prime with nontrivial local Tamagawa number, and only about $6.8\%$ have exactly two such primes. The product is obtained by specializing an Euler product indexed by local reduction data that we derive from Tate's algorithm. The results in this paper were autoformalized in Lean by AxiomProver.