---
title: Shintani's Invariant in Real Quadratic Fields
url: https://www.emergentmind.com/topics/shintani-s-invariant
type: topic
---

# Shintani's Invariant in Real Quadratic Fields

Shintani’s invariant most commonly denotes a family of special real numbers attached to ray classes of real quadratic fields, defined from partial zeta functions and originally expressed through the double sine function. In that sense, these invariants are conjectured to generate abelian extensions of real quadratic fields and therefore belong to the conjectural real-quadratic analogue of explicit class field theory and Hilbert’s 12th problem [2408.07309]. In adjacent literatures, the same phrase is also used more broadly for residues or special values of Shintani-type zeta functions, especially those attached to binary cubic forms, so the term is context-sensitive and requires disambiguation [2206.00880].

## 1. Definition in the real quadratic setting

Let \(K=\mathbb{Q}(\sqrt{d})\) be a real quadratic field, let \(\mathcal{O}_K\) be its ring of integers, and let \(\varepsilon\) be its fundamental unit. For a ray class \(\mathfrak{C}\) with conductor \(\mathfrak{f}\), Shintani defined the partial zeta function
\[
\zeta(s,\mathfrak{C})=\sum_{\mathfrak{a}\in \mathfrak{C},\ \mathfrak{a}\ \text{integral}} \mathfrak{N}(\mathfrak{a})^{-s},
\]
and the corresponding invariant
\[
X(\mathfrak{C})=X_1(\mathfrak{C})X_2(\mathfrak{C}),
\qquad
X_1(\mathfrak{C})=\exp(\zeta'(0,\mathfrak{C})),
\qquad
X_2(\mathfrak{C})=\exp(\zeta'(0,\mathfrak{C}')).
\]
Here \(\mathfrak{C}'\) is the auxiliary ray class appearing in Shintani’s construction [2408.07309].

For principal ideals, the literature also writes \(X(\mathfrak{f})\) for the invariant attached to the identity class, with \(\mathfrak{f}=(u+v\sqrt d)\) in the notation of the recent reformulations. In that setting one again has a factorization
\[
X(\mathfrak{f})=X_1(\mathfrak{f})X_2(\mathfrak{f}),
\]
now written in terms adapted to explicit product formulas [2508.18320].

The central arithmetic claim attached to these numbers is conjectural but very specific: Shintani’s invariants are conjectured to generate abelian extensions of real quadratic fields. This is the precise sense in which they are said to provide a conjectural solution to Hilbert’s 12th problem for real quadratic fields [2408.07309].

## 2. Classical analytic construction and geometric background

Shintani originally expressed the invariant by means of the double sine function. In the formulation recorded in the recent literature,
\[
\mathcal{S}(\omega,z)=\frac{\zeta_2'(0,1+\omega-z,(1,\omega))}{\zeta_2'(0,z,(1,\omega))},
\]
and for the trivial ray class one has a finite product of double sine values of the form
\[
X_1(\mathfrak{f})=\prod_{k=1}^{g(\mathfrak{f})}\mathcal{S}(\varepsilon,z_k),
\]
with analogous formulas for the second factor \(X_2\) [2408.07309].

This analytic construction sits inside a broader geometric method. Shintani’s method decomposes the positive cone, or equivalently a torus modulo a lattice, into simplicial cones and uses that decomposition to compute Hecke \(L\)-functions at integer points; in particular, one version proves the analytic class number formula for a totally real field directly at \(s=0\) [2407.01269]. The same geometric infrastructure underlies the calculation of abelian \(L\)-functions by cone-wise summation.

A practical refinement is the theory of signed fundamental domains for the action of the totally positive units \(E_+\) on \(\mathbb{R}_+^n\). In that framework one has
\[
\sum_{\sigma\in S_{n-1}}\sum_{\varepsilon\in E_+} w_\sigma \chi_{C_\sigma}(\varepsilon x)=1
\qquad
\forall x\in \mathbb{R}_+^n,
\]
where the \(C_\sigma\) are \(k\)-rational cones and \(w_\sigma\in\{0,\pm1\}\) are explicit orientation weights [1303.3989]. These signed domains are stated to be as useful as Shintani’s true ones for calculating abelian \(L\)-functions, but they have the computational advantage that they can be constructed from any set of fundamental units, whereas in practice there is no algorithm producing Shintani’s \(k\)-rational cones [1303.3989].

A cohomological reformulation of this method is given by the Shintani cocycle on \(\mathrm{GL}_n\), where the cocycle property is achieved by introducing an auxiliary perturbation vector \(Q\). That formalism yields a new proof of the theorem of Diaz y Diaz and Friedman on signed fundamental domains and a cohomological reformulation of Shintani’s proof of the Klingen–Siegel rationality theorem on partial zeta functions of totally real fields [1411.0954].

## 3. Reformulation via \(q\)-Pochhammer symbols

A major recent development is the replacement of the double sine function by \(q\)-series expressions. Yamamoto had observed that the double sine can be written in terms of \(q\)-Pochhammer symbols, and this observation is pushed substantially further in the recent note on Shintani’s invariants [2408.07309].

The relevant \(q\)-Pochhammer function is
\[
f(x,y,\tau)=\prod_{k\geq 0}\left(1-e^{2\pi i(k\tau+x\tau+y)}\right),
\]
equivalently the two-variable notation
\[
(x,y;\tau)_\infty=\prod_{k\geq 0}\left(1-e^{2\pi i(k\tau+x\tau+y)}\right).
\]
In this language, the double sine function is represented as a limit of a ratio of such products, and the invariant is recast as a limit along a discrete modular geodesic [2408.07309].

One explicit form is
\[
X_1(\mathfrak{f})
=
\lim_{n\to\infty}
\left|
\frac{(x,y;\tau_{n-g})_\infty}{(x,y;\tau_{n+g})_\infty}
\right|,
\qquad
X_2(\mathfrak{f})
=
\lim_{n\to\infty}
\left|
\frac{(x,y;\tau_{-n-g})_\infty}{(x,y;\tau_{-n+g})_\infty}
\right|,
\]
where the sequence \(\tau_n\) traces a discrete modular geodesic in the upper half-plane and is constructed from powers of a matrix \(U\) determined by the fundamental unit \(\varepsilon\) [2508.18320].

The same note also gives a product formula using only one base \(q=e^{-2\pi\sqrt d}\), together with a further trigonometric-hyperbolic product expression involving sine and hyperbolic sine functions [2408.07309]. The significance of these formulas is twofold. First, they replace the double sine function by classical \(q\)-analogues. Second, they expose explicit modular-geometric data—continued fractions, modular geodesics, and Chebyshev polynomials—that were more implicit in the original analytic presentation [2408.07309].

## 4. Cyclic quantum dilogarithm and algebraic approximation

A further reformulation expresses Shintani’s invariant in terms of the cyclic quantum dilogarithm. In the 2025 announcement by Yalkinoglu, the cyclic quantum dilogarithm is defined by
\[
D_{m/n}(x,y)
=
\prod_{k=1}^{n-1}
\left(
1-e^{2\pi i\left(k\frac{m}{n}+x\frac{m}{n}+y\right)}
\right)^{\frac{k}{n}},
\]
for \(m,n\in\mathbb{Z}\), \(n>1\), \(\gcd(m,n)=1\), and \(x,y\in\mathbb{Q}\) [2508.18320].

The new limit formulas are
\[
X_1(\mathfrak{f})
=
\lim_{n\to\infty}
\left|
\frac{D_{\mathfrak t_n}(y,x)}{D_{\mathfrak t_{n+g}}(y,x)}
\right|,
\qquad
X_2(\mathfrak{f})
=
\lim_{n\to\infty}
\left|
\frac{D_{\mathfrak t_n}(x,y)}{D_{\mathfrak t_{n+g}}(x,y)}
\right|,
\]
where
\[
\mathfrak t_n=\frac{T_{n-1}(a)}{T_n(a)}
\]
and \(T_n(a)\) are Chebyshev polynomials of the first kind [2508.18320]. In the special case \(\mathfrak f=(u)\), the formula simplifies to
\[
X_1(\mathfrak{f})=X_2(\mathfrak{f})
=
\lim_{n\to\infty}
\left|
\frac{D_{\mathfrak t_n}(1/u)}{D_{\mathfrak t_{n+g}}(1/u)}
\right|.
\]

The conceptual point of this reformulation is that each finite step in the limit lies in a Kummer extension of a cyclotomic field, since the bases are roots of unity and the exponents are rational [2508.18320]. This moves the presentation from transcendental functions such as the double sine and \(q\)-Pochhammer symbols toward finite products encoding cyclotomic data. The paper explicitly presents this as a new arithmetic perspective on Shintani’s construction and as a possible bridge to explicit class field theory, modular and quantum topology, and Manin’s “real multiplication” program [2508.18320]. Since the paper is an announcement, the detailed proofs are deferred to a forthcoming full account [2508.18320].

## 5. Relation to Shintani zeta functions and binary cubic forms

A common source of confusion is the distinction between Shintani’s invariant in the real quadratic setting and the Shintani zeta function attached to binary cubic forms. The latter is the Dirichlet series
\[
\xi^+(s)
:=
\sum_{x\in \mathrm{SL}_2(\mathbb{Z})\backslash V_{\mathbb Z,\ \operatorname{Disc}(x)>0}}
\frac{1}{|\operatorname{Stab}(x)|}\,|\operatorname{Disc}(x)|^{-s},
\]
which counts \(\mathrm{SL}_2(\mathbb{Z})\)-equivalence classes of integral binary cubic forms by discriminant [1112.1397]. In the binary cubic literature, “Shintani’s invariant” is used in a looser sense for the residue at the principal pole or a special value of this zeta function, relating to counting cubic rings and number fields [2206.00880].

The analytic behavior of the binary-cubic zeta function is markedly different from that of standard automorphic \(L\)-functions. Frank Thorne proved that the Shintani zeta function for binary cubic forms cannot be written as a finite sum of Euler products, even though it admits representations as infinite sums of Euler products [1112.1397]. This negative result answers a question of Wright and shows that the arithmetic of cubic field discriminants is not captured by any finite list of multiplicative building blocks.

Recent work has nevertheless established strong analytic bounds. For the completed linear combinations
\[
\zeta_{\mathrm{add}}(s)=32\zeta^+(s)+\zeta^-(s),
\qquad
\zeta_{\mathrm{sub}}(s)=3\zeta^+(s)-\zeta^-(s),
\]
the completed functions are degree \(4\) with analytic conductor \(\asymp T^4\) in the \(t\)-aspect, convexity gives \(T^{1+\varepsilon}\), and the main theorem proves the subconvexity estimate
\[
\zeta_{\mathrm{add}}(1/2+iT),\ \zeta_{\mathrm{sub}}(1/2+iT)
\ll_\varepsilon T^{9/10+\varepsilon}
\]
[2104.13558]. The twisted Maass-form version satisfies
\[
L^+\!\left(\tfrac12+iT,\phi\right)\ll_{\phi,\varepsilon} T^{7/9+\varepsilon},
\]
despite the absence of a known functional equation in the twisted case [2206.00880]. The papers emphasize that this is a non-Eulerian setting: the untwisted zeta function has functional equations, whereas the twisted version is handled by an approximate functional equation without a full functional equation [2206.00880].

These results do not redefine the original real-quadratic invariant, but they show how the phrase “Shintani’s invariant” migrates into arithmetic statistics, where it refers to special values or residues of zeta functions enumerating integral orbits in prehomogeneous vector spaces [2104.13558].

## 6. Extensions, analogues, and adjacent constructions

The classical Shintani lift is another major branch of the subject. It associates to a modular form of even integral weight \(2k\) a modular form of half-integral weight \(k+\frac12\), with Fourier coefficients given by period integrals over geodesic cycles attached to binary quadratic forms. Bringmann, Guerzhoy, and Kane extended this lift from cusp forms to integral-weight weakly holomorphic modular forms and, in the process, obtained new cycle-integral formulas for the coefficients of the classical Shintani lift and new formulas for \(L\)-values of Hecke eigenforms [1405.4590]. Their construction also introduces a Hecke-equivariant “fractional derivative” between half-integral-weight harmonic weak Maass forms and half-integral-weight weakly holomorphic modular forms [1405.4590].

A \(p\)-adic analogue appears in the rigid-analytic setting. The rigid Shintani lift attaches to a cuspidal rigid cocycle \(J\) a modular form
\[
\mathcal{RS}(J)\in S_{k+\frac12}(\Gamma_0(4p),\chi),
\]
whose Fourier coefficients are expressed in terms of residues of \(J\) and pairings with quadratic forms. The paper explicitly states that for certain cocycles \(J_{k,D}\), these residues correspond to periods of modular forms associated to Zagier’s forms and provide \(p\)-adic analogues to Shintani’s invariants associated with real quadratic fields [2404.12936]. This situates Shintani-type invariants within the nascent \(p\)-adic Kudla program.

In the cohomological theory of zeta values, Shintani cocycles on \(\mathrm{GL}_n\) yield signed cone decompositions, integral Eisenstein cocycles, and \(p\)-adic \(L\)-functions of totally real fields. After smoothing at an auxiliary prime \(\ell\), certain specializations of the smoothed class yield the \(p\)-adic \(L\)-functions of totally real fields, and the resulting cohomological construction is combined with a theorem of Spiess to obtain the lower bound on the order of vanishing predicted by Gross’s conjecture [1411.0954]. This is not the same object as the real-quadratic invariant \(X(\mathfrak C)\), but it belongs to the same methodological lineage.

Finally, the word “Shintani” also enters representation theory through Shintani descent and Shintani twisting for finite groups of Lie type. There the relevant statement is that Shintani twisting preserves the span of geometric Lusztig series, and in type \(A_{n-1}\) with \(n\) prime it is shown to commute with Jordan decomposition after a suitable choice of parametrization [2007.08819]. This usage is terminologically related but conceptually separate from the real-quadratic invariant.

Taken together, these developments show that “Shintani’s invariant” names a specific real-quadratic class invariant in its strictest sense, while also designating a broader family of special-value phenomena generated by Shintani’s methods: cone decompositions, zeta functions of prehomogeneous vector spaces, theta-type lifts, and \(p\)-adic or representation-theoretic analogues.

Source: https://www.emergentmind.com/topics/shintani-s-invariant