---
title: Lens Hyperbolic Gamma Solution
url: https://www.emergentmind.com/topics/lens-hyperbolic-gamma-solution
type: topic
---

# Lens Hyperbolic Gamma Solution

Searching arXiv for recent papers on the lens hyperbolic gamma function and related integrability/algebraic structures.
The **lens hyperbolic gamma solution** is the lens-space extension of hyperbolic hypergeometric constructions that appear simultaneously in supersymmetric partition functions, exactly solvable lattice models, and modular-double representation theory. In this setting, “lens” refers not to an optical device but to the squashed lens space \(S_b^3/\mathbb Z_r\) and, algebraically, to the presence of a continuous variable together with a discrete \(\mathbb Z_r\)-valued label. The central objects are the hyperbolic gamma function \(\gamma^{(2)}\), its lens-space refinement \(\gamma_h(u,y)\), and the sum–integral identities built from them. These identities furnish solutions of the star-triangle and star-star relations, while an intertwining integral operator built from the same kernel realizes a lens hyperbolic hypergeometric solution of the Yang–Baxter equation [2511.06400], [2112.15161].

## 1. Basic special-function structure

At the foundational level, the construction uses the standard hyperbolic gamma function
\[
\gamma^{(2)}(u;\omega_1,\omega_2)
=
e^{B_{2,2}(u;\omega_1,\omega_2)}
\frac{(e^{2\pi i u/\omega_1}\widetilde q;\widetilde q)_\infty}{(e^{2\pi i u/\omega_2};q)_\infty},
\qquad
(t;q)_\infty=\prod_{k=0}^{\infty}(1-tq^k),
\]
with
\[
q=e^{2\pi i\omega_1/\omega_2},
\qquad
\widetilde q=e^{-2\pi i\omega_2/\omega_1},
\]
and
\[
B_{2,2}(u;\omega_1,\omega_2)
=
\frac{1}{\omega_1\omega_2}
\left(
\left(u-\frac{\omega_1+\omega_2}{2}\right)^2
-\frac{\omega_1^2+\omega_2^2}{12}
\right).
\]
A parallel presentation used in the lens-partition-function literature writes
\[
\gamma^{(2)}(z;\omega_{1},\omega_{2})
=
e^{\frac{\pi i}{2}B_{2,2}(z;\omega_{1},\omega_{2})}
\frac{(e^{2\pi i z/\omega_{2}};\tilde q)_\infty}{(e^{2\pi i z/\omega_{1}};q)_\infty},
\]
with the reflection identity
\[
\gamma^{(2)}(\omega_1+\omega_2-z;\omega_1,\omega_2)\gamma^{(2)}(z;\omega_1,\omega_2)=1.
\]
These equivalent formulations encode the same hyperbolic special-function input [2511.06400], [2112.15161].

The lens refinement is the **lens hyperbolic gamma function**
\[
\gamma_h(u,y)
=
\gamma^{(2)}(u+\omega_1 y;\omega_1 r,\omega_1+\omega_2)\,
\gamma^{(2)}(u+\omega_2(r-y);\omega_2 r,\omega_1+\omega_2),
\]
where the discrete variable \(y\) records the \(\mathbb Z_r\) sector. Its first-order shift relations are
\[
\gamma_{h}(u+\omega_1,y-1;\omega_1,\omega_2)
=
2i\sin\!\frac{\pi}{\omega_2 r}(u-\omega_2 y)\,\gamma_{h}(u,y;\omega_1,\omega_2),
\]
and
\[
\gamma_{h}(u+\omega_2,y+1;\omega_1,\omega_2)
=
2i\sin\!\frac{\pi}{\omega_1 r}(u+\omega_1 y)\,\gamma_{h}(u,y;\omega_1,\omega_2).
\]
These relations are structurally decisive because they turn integral kernels into finite-difference operators. A plausible implication is that the lens construction is not merely a discrete decoration of the hyperbolic theory; it reorganizes the analytic structure so that continuous and discrete shifts are intertwined from the outset [2511.06400].

## 2. Gauge-theoretic origin on squashed lens spaces

A major origin of the lens hyperbolic gamma solution is the partition function of \(3d\), \(\mathcal N=2\) gauge theories on the squashed lens space
\[
S_b^3/\mathbb{Z}_r.
\]
The squashed three-sphere is described by
\[
S_b^3=\{(x,y)\in \mathbb C^2\mid b^2|x|^2+b^{-2}|y|^2=1\},
\]
and the lens quotient is
\[
(x,y)\mapsto \left(e^{\frac{2\pi i}{r}}x,\;e^{-\frac{2\pi i}{r}}y\right).
\]
The resulting partition function takes the form
\[
Z=\sum_m\int d\mu\, e^{-S_{\rm cl}}\,Z_{\rm 1-loop},
\]
with measure
\[
d\mu=\frac{1}{|\mathcal W|}\prod_{j=1}^{\mathrm{rank}\,G}\frac{dz_j}{2\pi i r},
\]
and holonomy
\[
m=\frac{r}{2\pi}\int_C A_\mu\,dx^\mu.
\]
The lens character is visible in the simultaneous presence of the integral over Cartan variables and the sum over discrete holonomies [2112.15161].

The one-loop determinants are written in terms of the improved double sine function \(\hat s_{b,m}\),
\[
\hat{s}_{b, -m}(z)
=
e^{i\pi\phi([\![m]\!])}\gamma^{(2)}\left(iz+m\omega_1+\frac{\omega}{2};\omega_1r,\omega\right)
\gamma^{(2)}\left(iz+\omega_2(r-m)+\frac{\omega}{2};\omega_2r,\omega\right),
\]
with
\[
\phi([\![m]\!])=\frac{1}{2r}\Big([\![m]\!](r-[\![m]\!])-(r-1)[\![m]\!]^2\Big),
\qquad \omega=\omega_1+\omega_2.
\]
The vector and chiral multiplet contributions are
\[
Z_{\rm vector}=\prod_{\alpha}\frac{1}{\hat s_{b,\alpha(m)}\!\left(i\frac Q2+\alpha(z)\right)},
\]
and
\[
Z_{\rm matter}
=
\prod_i\prod_{\rho_i}\prod_{\phi_i}
\hat s_{b,-\rho_i(m)-\phi_i(n)}
\left(i\frac Q2(1-\Delta_i)-\rho_i(z)-\phi_i(\Phi)\right),
\]
where \(Q=b+b^{-1}\). Equality of such lens partition functions under Seiberg-like dualities yields hyperbolic hypergeometric integral identities, and through the gauge/YBE correspondence those identities become integrability relations for lattice models [2112.15161].

## 3. Hyperbolic hypergeometric identities

The phrase “solution” most naturally refers to a class of sum–integral identities whose kernels are built from the lens hyperbolic gamma function or its \(\gamma^{(2)}\)-based equivalent. A central example is the identity associated with the \(SU(2)\) / \(SU(6)\) dual pair, with balancing conditions
\[
\sum_{i=1}^6 a_i=\omega_1+\omega_2,
\qquad
\sum_{i=1}^6 u_i=0.
\]
Its left-hand side is a discrete sum over \(y\) and a continuous integral over \(z\), weighted by products of \(\gamma^{(2)}\) functions with parameters \((-i\omega_1 r,-i\omega)\) and \((-i\omega_2 r,-i\omega)\), while the right-hand side factorizes into a product over pairs \(1\le i<j\le 6\). In the gauge-theory interpretation, this is the equality of lens partition functions for Theory A, an \(SU(2)\) gauge theory with six chiral multiplets and flavor symmetry \(SU(6)\), and Theory B, a gauge-singlet theory with 15 chiral multiplets in the antisymmetric tensor of \(SU(6)\) [2112.15161].

A second, more directly named result is the **new star-star identity** with eight chiral parameters. It is written as a pair of sum–integral expressions related by explicit products of \(\gamma^{(2)}\)-factors and shifted parameters
\[
\tilde a_i=a_i+s,\quad \tilde u_i=u_i+p \quad (i=1,2,3,4),
\]
\[
\tilde a_i=a_i-s,\quad \tilde u_i=u_i-p \quad (i=5,6,7,8),
\]
where
\[
s=\frac12\left(\omega_1+\omega_2-\sum_{i=1}^{4}a_i\right),
\qquad
p=-\frac12\left(\sum_{i=1}^{4}u_i\right),
\]
and the balancing conditions are
\[
\sum_{i=1}^{8}a_i=2(\omega_1+\omega_2),
\qquad
\sum_{i=1}^{8}u_i=0.
\]
For \(r=1\), this reduces to the hyperbolic identity of Sarkissian et al. The appearance of an eight-parameter star-star relation is important because it extends the catalog of known hyperbolic hypergeometric solutions beyond the more familiar star-triangle class [2112.15161].

In the later modular-double formulation, the same analytic content is recast as a **hyperbolic beta-type integral identity**
\[
\sum_{y=0}^{[r/2]}\epsilon(y)\int_{-\infty}^{\infty} \frac{ \prod_{i=1}^6 \gamma^{(2)}(-i(a_i\pm z)-i\omega_1(u_i\pm y);-i\omega_1 r,-i\omega) }{ \gamma^{(2)}(\pm2iz\pm2i\omega_1 y;-i\omega_1 r,-i\omega) }
\]
\[
\times
\frac{ \gamma^{(2)}(-i(a_i\pm z)-i\omega_2(r-(u_i\pm y));-i\omega_2 r,-i\omega) }{ \gamma^{(2)}(\pm2iz-i\omega_2(r\pm2y);-i\omega_2 r,-i\omega) } \frac{dz}{2r\sqrt{-\omega_1\omega_2}}
=
\prod_{1\le i<j\le 6} \gamma^{(2)}(\cdots)\gamma^{(2)}(\cdots),
\]
with
\[
\sum_{i=1}^6 a_i=\omega,
\qquad
\sum_{i=1}^6 u_i=0.
\]
This is described as the “lens hyperbolic hypergeometric” identity and functions as the analytic core of the Yang–Baxter solution [2511.06400].

## 4. Statistical-mechanical interpretation

Through the gauge/YBE correspondence, the same identities define Boltzmann weights for exactly solvable lattice models. The spins are
\[
\sigma=(x,m),
\qquad
x\in\mathbb C,\quad m\in\mathbb Z_r,
\]
so each spin carries both a continuous and a discrete component. The horizontal edge weight is
\[
W_{\alpha_i,\tilde{\alpha}_i}(x_i,x_j;m_i,m_j)
=
\gamma_h(-\alpha_i+x_i\pm x_j,\,-\tilde{\alpha}_i+m_i\pm m_j)\,
\gamma_h(-\alpha_i-x_i\pm x_j,\,-\tilde{\alpha}_i-m_i\pm m_j),
\]
and the vertical edge weight is
\[
\overline W_{\alpha_i,\tilde{\alpha}_i}(x_i,x_j;m_i,m_j)
=
\gamma_h(\eta+\alpha_i+x_i\pm x_j,\,n_\eta+\tilde\alpha_i+m_i\pm m_j)\,
\gamma_h(\eta+\alpha_i-x_i\pm x_j,\,n_\eta+\tilde\alpha_i-m_i\pm m_j),
\]
with
\[
\eta=\sum_i\alpha_i,
\qquad
n_\eta=\sum_i \tilde\alpha_i.
\]
The self-interaction is
\[
S(\sigma_0)=\frac{\epsilon(n)}{\gamma_h(\pm 2u,\pm 2n)}.
\]
This makes the lens hyperbolic gamma function the direct special-function input of the lattice model rather than a posteriori normalization factor [2511.06400].

Integrability is encoded in the star-triangle relation
\[
\sum_{m_0}\int dx_0\, S(\sigma_0)\,
W_{\alpha_1,\tilde\alpha_1}(\sigma_1,\sigma_0)
W_{\alpha_2,\tilde\alpha_2}(\sigma_2,\sigma_0)
W_{\alpha_3,\tilde\alpha_3}(\sigma_3,\sigma_0)
=
\mathcal R\, \prod_{j=1}^3
W_{\eta-\alpha_j,n_\eta-\tilde\alpha_j}(\sigma_k,\sigma_\ell),
\]
where the right-hand side is the product over the three pairs \((k,\ell)\) and \(\mathcal R\) is a spin-independent normalization. In the gauge-theory presentation, satisfaction of the star-triangle relation implies that transfer matrices commute, while the star-star relation implies an IRF-type Yang–Baxter equation. The discrete prefactor
\[
\epsilon(y)=2
\]
except at \(y=0\) and \(y=\lfloor r/2\rfloor\), where \(\epsilon=1\), is a specifically lens-space feature of these constructions [2112.15161].

A common misconception is to interpret the adjective “lens” geometrically in the optical sense. In this context, the term instead refers to the quotient structure \(S_b^3/\mathbb Z_r\) and to the associated discrete holonomy sectors. The “solution” is therefore a hyperbolic hypergeometric or Yang–Baxter solution indexed by lens-space data, not a solution describing physical refraction.

## 5. The lens hyperbolic modular double

The algebraic culmination of the subject is the construction of the **lens hyperbolic modular double**, introduced as a new algebraic structure whose intertwining operator produces a lens hyperbolic hypergeometric solution of the Yang–Baxter equation. It is a lens-space generalization of the hyperbolic modular-double framework, and in the limit \(r\to 1\) it collapses to the standard hyperbolic modular double [2511.06400].

Its key operator is the intertwiner \(M(t,p)\), acting on functions of a continuous variable and a discrete \(\mathbb Z_r\)-label. The kernel is
\[
M(t,p)_{z,m;\,x,j}
=
\sum_{j=0}^{r/2}\int_{-\infty}^{\infty}
\frac{
\gamma_h(-t+z\pm x,\,m-p\pm j)\,
\gamma_h(-t-z\pm x,\,-m-p\pm j)\,
\epsilon(j)\,dx
}{
2r\sqrt{-\omega_1\omega_2}\,
\gamma_h(-2t,-2p)\,
\gamma_h(\pm2x,\pm2j)
}.
\]
The kernel is symmetric under the lens reflection
\[
(z,m)\longleftrightarrow (-z,r-m),
\]
which yields, as \(t\to0\),
\[
\lim_{t\to0} M(t,0)_{z,m;x,j}f(x,j)
=
\frac12\big(f(z,m)+f(-z,r-m)\big),
\]
so that \(M(0,0)=1\) after the appropriate residue analysis. This limiting property shows that the intertwiner interpolates between identity-type behavior and a nontrivial transformation controlled by the lens hyperbolic gamma kernel [2511.06400].

The operator satisfies modular-double type finite-difference relations:
\[
M\!\left(t+\frac{\omega_1}{2},\,p-\frac12\right)
=
\frac{-2i}{\sin\!\frac{2\pi}{\omega_2 r}(z+\omega_2(r-m))}
\,\sin\!\left(\frac{\omega_1}{2}\partial_z-\frac12\partial_{\omega_1 m}\right) M(t,p),
\]
\[
M\!\left(t+\frac{\omega_2}{2},\,p+\frac12\right)
=
\frac{2i}{\sin\!\frac{2\pi}{\omega_1 r}(z+\omega_1 m)}
\,\sin\!\left(\frac{\omega_2}{2}\partial_z+\frac12\partial_{\omega_2 m}\right) M(t,p).
\]
Iterating them exposes the two dual shift directions associated with \(\omega_1\) and \(\omega_2\). The algebra itself has generators \(A,B,C,D\) obeying trigonometric commutation relations with
\[
q=e^{\frac{\pi}{\omega_2 r}(\omega_1+\omega_2)},
\]
and a dual copy \(\tilde A,\tilde B,\tilde C,\tilde D\) obtained by exchanging
\[
\omega_1\leftrightarrow\omega_2,
\qquad
1\leftrightarrow -1.
\]
The intertwiner simultaneously satisfies
\[
M(t,p)\,A(t,p)=A(-t,-p)\,M(t,p),
\qquad \text{etc.}
\]
for both untilded and tilded generators. This simultaneous intertwining property is precisely what justifies the term “modular double” in the lens setting [2511.06400].

## 6. Limits, reductions, and broader significance

Several reductions organize the subject. First, when
\[
r=1,
\]
the discrete lens structure disappears. On the gauge-theory side, lens-space partition-function identities reduce to the ordinary squashed-sphere identities on \(S_b^3\). On the algebraic side, the lens hyperbolic modular double reduces to the standard hyperbolic modular double, and the lens hyperbolic gamma function reduces to its usual hyperbolic form [2511.06400], [2112.15161].

Second, in the **fundamental representation**
\[
(t,p)=\left(\frac{\omega_1}{2},-\frac12\right),
\]
the lens hyperbolic gamma factors collapse to trigonometric functions, and the reduced operator becomes a \(2\times2\) Lax matrix with entries built from
\[
\cos\bigg(\frac{2\pi}{\omega_2 r}(z-\omega_2 m)\bigg)
\]
and shift operators. This gives a concrete bridge from the hypergeometric integral kernel to a Lax representation of the Yang–Baxter structure [2511.06400].

Third, gauge symmetry breaking and asymptotic decoupling produce further lens hyperbolic identities. The partition-function analysis uses the asymptotics of \(\gamma^{(2)}\) to implement reductions such as
\[
SU(2)\to U(1),
\]
together with flavor-symmetry reductions including
\[
SU(6)\to SU(3)\times SU(3)
\quad\text{and}\quad
SU(8)\to SU(4)\times SU(4).
\]
These generate additional integral identities, including \(U(1)\)-gauge versions of the lens-space duality and broken star-star relations. A plausible implication is that the lens hyperbolic gamma solution should be regarded as a hierarchy of related identities rather than a single formula [2112.15161].

Finally, the subject occupies a junction of several research programs. It is the hyperbolic degeneration of lens elliptic identities; it encodes equality of supersymmetric partition functions on \(S_b^3/\mathbb Z_r\); it provides exactly solvable Boltzmann weights for continuous-discrete spin systems; and it admits an operator-theoretic formulation through the lens hyperbolic modular double. In that precise sense, the lens hyperbolic gamma solution is both a special-function construction and a unifying mechanism linking gauge theory, hypergeometric analysis, and quantum integrability [2511.06400], [2112.15161].

Source: https://www.emergentmind.com/topics/lens-hyperbolic-gamma-solution