Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper proves that the conjectural analytic expression for elliptic units in complex cubic fields, proposed as a smoothed quotient of elliptic Gamma functions, is independent of the choice of a "torsion point" $h$. This independence is established by leveraging the cocycle relations satisfied by the smoothed elliptic Gamma function. The result validates a key aspect of the conjecture, aligning it with the requirements for explicit class field theory.
Elliptic unit constructions are proven independent of arbitrary torsion point choices, resolving a critical conjecture for explicit class field theory.
In the recent work of Bergeron-Charollois-García \cite{BCG23}, a conjectural analytic expression for elliptic units for complex cubic fields was proposed: namely, as the value of a smoothed quotient of elliptic Gamma functions. The complex number depended on the conductor ideal, ray class group element, smoothing ideal, and a `torsion point' $h$. If this analytic function is to fit into the framework of explicit class field theory, then, as in the case of torsion points on CM elliptic curves, our choice of $h$ should only depend on its congruence class modulo some lattice $L$. This conjecture has been supported by much numerical evidence. In this paper, we use the cocycle relations satisfied by the smoothed elliptic Gamma function to prove that the construction is indeed independent of $h$.