Elliptic Gamma Functions

• Elliptic gamma functions are multivariate meromorphic functions that generalize classical theta and Barnes gamma functions, playing a central role in explicit class field theory.
• They satisfy rich modular transformation laws under higher-rank groups like SL₃(ℤ), which enable their use in constructing abelian extensions and understanding L-value interpretations.
• Their special values are conjectured to generate ray class fields and generalized elliptic units, bridging analytic properties with deep arithmetic applications.

The elliptic gamma function is a multivariate meromorphic function intimately connected with the theory of special functions, modular forms, and the explicit construction of units and abelian extensions in number fields—particularly those with complex multiplication and, conjecturally, more general fields with one complex place. Its properties generalize those of the classical Jacobi theta and Barnes gamma functions, and its special values conjecturally generate ray class fields over complex cubic (and higher-degree) fields, thus contributing to the analytic side of Hilbert’s twelfth problem. Transformation laws under higher-rank modular groups and connections with Kronecker limit formulae are central features, and applications range from explicit class field theory to the computation of Stark units and generalized elliptic units in arithmetic geometry.

1. Classical Context: Theta Functions and Elliptic Units

For imaginary quadratic fields, the analytic construction of abelian extensions centers on the Jacobi theta function and related elliptic units. The classical odd Jacobi theta function,

$$\vartheta_0(z, \tau) = \prod_{n \geq 0} (1 - e^{2\pi i(n\tau + z)})(1 - e^{2\pi i((n+1)\tau - z)}),$$

satisfies functional equations under shifts by integral and lattice periods and transforms with a well-understood multiplier under $\mathrm{SL}_2(\mathbb{Z})$.

If $K$ is an imaginary quadratic field, $\tau$ a CM-point, $v \in \mathbb{Q}$, and $N\geq2$, then

$$u = \frac{\vartheta_0(v, \tau)^N}{\vartheta_0(Nv, N\tau)}$$

defines an elliptic unit in the narrow ray class field of $K$. The Galois action permutes these values via the Artin map, and the (absolute value of the) unit admits a Kronecker limit formula relating $\log |u|$ to derivatives at $s=0$ of partial zeta functions (Bergeron et al., 2023, Morain, 17 Jan 2026). This analytic framework realizes Hilbert's 12th problem for imaginary quadratic fields as detailed by Robert and further classical sources.

2. Definition and Analytic Properties of the Elliptic Gamma Function

The elliptic gamma function, due to Ruijsenaars, generalizes theta and double gamma functions to a triple complex-variable setting,

$$\Gamma(z; \tau, \sigma) = \prod_{j,k\geq0} \frac{1 - e^{2\pi i ((j+1)\tau + (k+1)\sigma - z)}}{1 - e^{2\pi i (j\tau + k\sigma + z)}},$$

where $(z, \tau, \sigma) \in \mathbb{C}^3$ with $\operatorname{Im}\tau > 0$, $\operatorname{Im}\sigma>0$.

The function is 1-periodic in $z$ and satisfies functional equations: $$\Gamma(z+1; \tau, \sigma) = \Gamma(z; \tau, \sigma),$$

$$\Gamma(z+\tau; \tau, \sigma) = \vartheta_0(z; \sigma)\, \Gamma(z; \tau, \sigma),$$

with a symmetric $\sigma$-shift. The transformation theory, due to Felder–Varchenko, extends modularity to $\mathrm{SL}_3(\mathbb{Z})$ via cocycle constructions: $$\Gamma_{a,b}(w, z; L) = \prod_{\delta \in C_{+-}(a,b)/\mathbb{Z}\gamma} \left(1 - e^{-2\pi i (\delta(z)-w)/\gamma(z)}\right) / \prod_{\delta \in C_{-+}(a,b)/\mathbb{Z}\gamma} \left(1 - e^{2\pi i (\delta(z)-w)/\gamma(z)}\right),$$ where $a, b$ are primitive vectors, $C_{+-}, C_{-+}$ are rational cones, and the function is built from the basic $\Gamma$ via period manipulations (Bergeron et al., 2023).

3. Elliptic Gamma Values as Generalized Elliptic Units: Constructions and Conjectures

Recent developments extend the role of special values of the elliptic gamma function (and its multivariate analogs) to the explicit construction of conjectural units in ray class fields of number fields $K$ with one complex place (notably complex cubic, quartic, and quintic fields) (Bergeron et al., 2023, Morain, 17 Jan 2026).

Given a complex cubic field $K$, a narrow ray conductor $\mathfrak{f}$, an ideal $\mathfrak{b} \perp \mathfrak{f}$, and a smoothing prime $\mathfrak{a}$, the following defines the conjectural elliptic gamma unit: $$u_{L, \mathfrak{a}} = \frac{ \Gamma_{a,b}(h(x), x; \mathfrak{a}^{-1}L) }{ \Gamma_{a,b}(h(x), x; L)^{N(\mathfrak{a})} }, \qquad L = \mathfrak{f}\mathfrak{b}^{-1}$$ with parameters specified by the field embeddings and Artin reciprocity data. These units are conjectured to lie in the narrow ray class field $K(\mathfrak{f})$ and satisfy an explicit Galois reciprocity: $$\sigma_{\mathfrak{c}} (u_{L, \mathfrak{a}}) = u_{\mathfrak{c}^{-1}L, \mathfrak{a}},$$ mirroring Shimura's theory (Bergeron et al., 2023).

More generally, for higher-degree fields with one complex place, generalized elliptic units are constructed via multiple elliptic gamma functions $G_r$: $$u_{k, \mathfrak{b}} = \prod_{\rho\in S_{n-2}} \prod_{j=1}^{t_\rho} \frac{ G_{n-2}(k m_\rho/q + \delta_{j,\rho}; \tau_{1,\rho},\ldots,\tau_{n-1,\rho})^{\nu_\rho N} }{ G_{n-2}(N(k m_\rho/q + \delta_{j,\rho}); N\tau_{1,\rho},\ldots,N\tau_{n-1,\rho})^{\nu_\rho} }$$ which are predicted to generate the full corresponding abelian extensions (Morain, 17 Jan 2026).

4. Modular Properties, Functional Equations, and Higher Analyticity

The modular and functional properties of the elliptic gamma function are essential for both analytic continuation and arithmetic applications:

• Under elements of $\mathrm{SL}_3(\mathbb{Z})$, the transformations of $\Gamma_{a,b}(w,z;L)$ mirror those of theta functions with respect to $\mathrm{SL}_2(\mathbb{Z})$ but in higher rank.
• Pseudo-periodicity and inversion formulae for the multivariate case involve multiple Bernoulli polynomials and connect to zeta-regulators.
• These properties guarantee the compatibility required for Galois actions on constructed units, distribution relations, and Artin reciprocity.

The multiple elliptic gamma functions $G_r$ generalize this structure to $r+1$ periods, incorporating pseudo-periodicity: $$G_r(z+\tau_j; \tau_0,\ldots, \tau_r) = G_r(z; \tau_0,\ldots,\tau_r)\, G_{r-1}(z; \tau_0,\ldots,\hat{\tau}_j,\ldots,\tau_r),$$ and modular relations via products over parameters, relating the analytic aspect to the underlying algebraic extension (Morain, 17 Jan 2026).

5. Kronecker Limit Formulae and L-Value Interpretations

A core feature of the elliptic gamma construction is the Kronecker limit formula, which relates logarithmic absolute values of the constructed gamma-units to derivatives of partial zeta functions evaluated at $s=0$: $$\zeta'_{\mathfrak{f}, \mathfrak{a}}(\mathfrak{b}, 0) = \log |u_{\mathfrak{f}\mathfrak{b}^{-1}, \mathfrak{a}}|^2$$ for suitable $\mathfrak{a}, \mathfrak{b}, \mathfrak{f}$ (Bergeron et al., 2023, Morain, 17 Jan 2026). This is a direct generalization of the classical Kronecker limit formula for imaginary quadratic fields and establishes the deep connection between the analytic side (periods, gamma values) and arithmetic invariants (zeta-derivatives, class fields).

In computational practice, these relations are confirmed to high precision ($>1000$ digits) and coincide with the roots of class field polynomials and known Stark units in numerous explicit cases.

6. Open Problems, Evidence, and Further Directions

Despite extensive computational evidence, the algebraicity of these higher elliptic gamma units beyond the imaginary quadratic (classically proven) and complex cubic (partially resolved for the regulator) cases remains conjectural (Morain, 17 Jan 2026). Open questions pertain to:

• Explicit determination of sign and shift data for higher-degree fields (involving Shintani cone decompositions).
• Cohomological and automorphic approaches aiming to generalize Eisenstein cocycles and p-adic interpolations to the one-complex-place setting.
• Full solution to Hilbert’s 12th problem for fields with multiple or more complex places via analytic generators.

No explicit counterexample has been discovered in optimal computed cases. The analytic machinery developed here thus provides the strongest current candidate for generalizing explicit class field theory to non-CM fields with one complex place.

7. Summary Table: Key Constructions and Properties

Field Type	Special Functions Used	Nature of Units
Imaginary quadratic	Jacobi theta, Dedekind eta	Constructive, classical
Complex cubic/quartic/...	Elliptic gamma, multivariate $G_r$	Conjectural, analytic
All (n=1)	Roots of unity	Cyclotomic

These constructions realize an emerging unification of analytic and arithmetic methods across a broad spectrum of number fields, with the elliptic gamma function as a central analytic object linking analysis, algebraic number theory, and arithmetic geometry (Bergeron et al., 2023, Morain, 17 Jan 2026).