Search arXiv⌕ Search

arXiv · 2610.10365

Cocycle Relations and Elliptic Gamma Values

Abstract

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$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Teymour Gray. 2026-10-07. Cocycle Relations and Elliptic Gamma Values. https://arxiv.org/abs/2610.10365

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The integer group determinants for GA(1,p) and related semidirect products

We consider the integer group determinants for groups that are semidirect products of $\mathbb Z_p$ and $\mathbb Z_n$ with $p$ prime and $n\mid p-1$. We give a complete description of the integer group determinants for the general affine groups of degree one GA(1,$p$) when $p=5,7,11$ and $23$, and for $\mathbb Z_7\rtimes \mathbb Z_3,$ $\mathbb Z_{11}\rtimes \mathbb Z_5$ and $\mathbb Z_{13}\rtimes \mathbb Z_6,$ showing that the obvious divisibility and congruence conditions arising from the form of the group determinant when $n=p-1$ or $\frac{1}{2}(p-1)$, can be sufficient as well as necessary for these types of groups (although in the latter case we must work with norms of integers in a quadratic field). For $p=13$ this also happens for the remaining groups of this type, $\mathbb Z_{13}\rtimes_5 \mathbb Z_4$ and $\mathbb Z_{13}\rtimes \mathbb Z_3$, (working in an appropriate cubic and quartic field).

math.NT↗

The density of elliptic curves over $\mathbb{Q}_p$ with a rational 3-torsion point or a rational 3-isogeny

We determine the probability that a random Weierstrass equation with coefficients in the $p$-adic integers defines an elliptic curve with a non-trivial $3$-torsion point, or with a degree $3$ isogeny, defined over the field of $p$-adic numbers. We determine these densities by calculating the corresponding $p$-adic volume integrals and analyzing certain modular curves. Additionally, we explore the case of $\ell$-torsion for $\ell>3$ prime.

math.NT↗