Hyperbolic-Ball Partition Function

• Hyperbolic-ball partition function is an ambiguous term encompassing both one-loop methods on non-compact hyperbolic space and cluster constructions in Chern–Simons theory.
• The one-loop approach uses heat-kernel techniques to analyze the spectral gap and ultraviolet divergences for free fields on hyperbolic spaces.
• Cluster partition functions employ quiver mutations and quantum dilogarithms to realize state-sum models for complex gauge groups on hyperbolic 3-manifolds.

Searching arXiv for recent/relevant papers on hyperbolic-space or hyperbolic-ball partition functions and related Chern–Simons/cluster constructions. The expression hyperbolic-ball partition function is not a standard designation for a single canonical object in the cited literature. In the closest precise usages, it denotes either a one-loop partition function for free massive quantum fields on real hyperbolic space $\mathbb{H}^n(\mathbb{R})$, organized through heat-kernel traces and their small-time asymptotics, or a cluster-theoretic realization of the Chern–Simons path integral on hyperbolic $3$-manifolds and knot complements. The second construction is explicitly distinguished from a partition function on a hyperbolic ball: it is a cluster partition function, not a literal hyperbolic-ball partition function. This suggests that the phrase is best treated as terminologically ambiguous, with one geometric-QFT meaning and one topological-quantum meaning (Hatzinikitas, 2017, Romo, 2017).

1. Terminological scope and principal referents

Two technically precise constructions are adjacent to the phrase.

Construction	Background	Defining representation
One-loop partition function	$\mathbb{H}^n(\mathbb{R})$, $n\ge 2$	Heat-kernel trace of Laplace-type operators
Cluster partition function	Mapping tori / knot complements	Operator trace or state-sum from quiver mutations

In the hyperbolic-space setting, the Euclidean partition function is introduced as

$Z = |D|e^{-S_E},$

and the non-compactness of $\mathbb{H}^n(\mathbb{R})$ implies that the partition function is volume divergent, so the calculation is organized by heat-kernel traces and interpreted either per unit volume or after a reference subtraction. In the Chern–Simons setting, the object of interest is the partition function for a complex gauge group, especially $G=SL(N,\mathbb{C})$, on hyperbolic $3$-manifolds such as knot complements, with the cluster formalism providing a computational framework rather than a partition function on a hyperbolic ball (Hatzinikitas, 2017, Romo, 2017).

This distinction matters conceptually. The hyperbolic-space construction is a one-loop effective-action problem on a fixed negatively curved background. The cluster construction is a quantization problem for moduli of flat connections and mapping-class-group actions. A common source of confusion is to identify the latter with a geometric partition function on a hyperbolic domain; the cited review explicitly rules out that identification.

2. One-loop partition functions on $\mathbb{H}^n(\mathbb{R})$

For free massive fields on $\mathbb{H}^n(\mathbb{R})$, the scalar and Abelian gauge sectors are treated separately. After partial integration and gauge fixing, the scalar Euclidean action is

$3$0

and the corresponding one-loop effective action is

$3$1

The Abelian gauge sector uses

$3$2

with Fadeev–Popov ghost fields $3$3, and

$3$4

The ghost subtraction is therefore intrinsic to the gauge-field partition function (Hatzinikitas, 2017).

A structurally important point is the spectral gap. Because of the mass term, the spectrum is bounded below by

$3$5

so the analysis has no infrared problem in the sense emphasized in the paper; only ultraviolet divergences remain. Since $3$6 is homogeneous and isotropic, the coincident heat kernel controls the trace:

$3$7

The one-loop partition function is thus reduced to the analysis of $3$8.

This framework gives the most concrete meaning, within the supplied literature, to a partition function associated with hyperbolic space itself. It is not formulated as a path integral on a compact “hyperbolic ball”; rather, it is a one-loop functional on non-compact $3$9.

3. Heat-kernel construction and ultraviolet structure

The central analytic device is the heat kernel

$\mathbb{H}^n(\mathbb{R})$0

with radial dependence $\mathbb{H}^n(\mathbb{R})$1 on the geodesic distance $\mathbb{H}^n(\mathbb{R})$2. In geodesic polar coordinates, the heat equation becomes

$\mathbb{H}^n(\mathbb{R})$3

The paper then gives recurrence relations linking the fundamental solutions in different dimensions:

$\mathbb{H}^n(\mathbb{R})$4

and

$\mathbb{H}^n(\mathbb{R})$5

with basic kernels

$\mathbb{H}^n(\mathbb{R})$6

and

$\mathbb{H}^n(\mathbb{R})$7

These formulas underwrite the dimension-by-dimension construction of the one-loop partition function (Hatzinikitas, 2017).

The ultraviolet structure is extracted from the small-$\mathbb{H}^n(\mathbb{R})$8 expansion. In odd dimensions,

$\mathbb{H}^n(\mathbb{R})$9

and the truncation at $n\ge 2$0 is identified as a special feature of odd-dimensional hyperbolic space in this formulation. For $n\ge 2$1,

$n\ge 2$2

The one-loop effective action is written through the standard heat-kernel identity

$n\ge 2$3

so the divergent part is precisely the contribution of those asymptotic coefficients that produce negative or logarithmically singular powers of $n\ge 2$4.

For $n\ge 2$5, the paper gives the regular part explicitly:

$n\ge 2$6

This result is presented as recovering the known result of Giombi–Maloney–Yin in the indicated limit. A plausible implication is that, in odd dimensions, the hyperbolic-space one-loop partition function is especially amenable to closed-form regularization because the coincident heat kernel has a finite asymptotic series in this formulation.

4. DeWitt coefficients and Abelian gauge heat kernels

The DeWitt or WKB expansion provides both a check on the explicit kernel constructions and an extension of the first coefficients to arbitrary dimension. The scalar heat kernel is written as

$n\ge 2$7

with

$n\ge 2$8

At coincidence, the first three scalar coefficients are

$n\ge 2$9

and

$Z = |D|e^{-S_E},$0

Because $Z = |D|e^{-S_E},$1 has constant curvature, these become explicit dimension-dependent constants (Hatzinikitas, 2017).

For the Abelian gauge field, the kernel is a bi-tensor and is written in the maximally symmetric form

$Z = |D|e^{-S_E},$2

where $Z = |D|e^{-S_E},$3 is the chordal distance variable and $Z = |D|e^{-S_E},$4 is the parallel propagator. The solution uses Fourier analysis on $Z = |D|e^{-S_E},$5, specifically Helgason’s Fourier transform, the spherical eigenfunctions

$Z = |D|e^{-S_E},$6

and the Harish-Chandra $Z = |D|e^{-S_E},$7-function

$Z = |D|e^{-S_E},$8

The trace of the vector heat kernel is then extracted spectrally. For $Z = |D|e^{-S_E},$9, the massless trace is given in closed form as

$\mathbb{H}^n(\mathbb{R})$0

The gauge-sector DeWitt coefficients are presented analogously:

$\mathbb{H}^n(\mathbb{R})$1

$\mathbb{H}^n(\mathbb{R})$2

and, for the traced second coefficient,

$\mathbb{H}^n(\mathbb{R})$3

The paper notes that the same coefficients are obtained from the explicit Fourier-based heat kernel and from the WKB recursion. This convergence of methods is significant because it ties the one-loop partition function to both harmonic analysis and local curvature invariants.

5. Cluster partition functions on hyperbolic $\mathbb{H}^n(\mathbb{R})$4-manifolds

A distinct use of partition-function language arises in Chern–Simons theory with complex gauge group on hyperbolic $\mathbb{H}^n(\mathbb{R})$5-manifolds, especially knot complements. The formal partition function is

$\mathbb{H}^n(\mathbb{R})$6

with

$\mathbb{H}^n(\mathbb{R})$7

For knot complements

$\mathbb{H}^n(\mathbb{R})$8

boundary conditions are imposed by fixing holonomy eigenvalues along peripheral cycles, and the boundary phase space is

$\mathbb{H}^n(\mathbb{R})$9

The bulk Lagrangian submanifold is cut out by equations

$G=SL(N,\mathbb{C})$0

which reduce to the usual A-polynomial relation for $G=SL(N,\mathbb{C})$1 (Romo, 2017).

The cluster construction enters after quantization of the boundary phase space and the introduction of Fock–Goncharov coordinates on moduli of framed flat $G=SL(N,\mathbb{C})$2 connections. For a quiver with adjacency matrix $G=SL(N,\mathbb{C})$3,

$G=SL(N,\mathbb{C})$4

and the quantum mutation operator is

$G=SL(N,\mathbb{C})$5

Here the quantum dilogarithm $G=SL(N,\mathbb{C})$6 is the essential special function ensuring consistency of the mutation operator and enabling the state-sum representation. Given a mutation-permutation sequence, the cluster partition function on a mapping cylinder is defined as an operator matrix element, while for a mapping torus $G=SL(N,\mathbb{C})$7 it becomes

$G=SL(N,\mathbb{C})$8

A central subtlety is the possible nontrivial center of the cluster algebra. Central elements are

$G=SL(N,\mathbb{C})$9

and are interpreted geometrically as longitudinal holonomy variables for knot complements. The resulting trace must be regulated by inserting delta functions fixing these central variables. In this sense, the cluster partition function is a state-sum or operator-trace realization of the Chern–Simons wavefunction, built from quiver mutations and quantum dilogarithms rather than from a field theory directly posed on hyperbolic space.

6. Semiclassical geometry, limitations, and the “hyperbolic-ball” comparison

The relation to hyperbolic geometry is strongest when

$3$0

with $3$1 hyperbolic, meaning $3$2. In that case one gets a hyperbolic knot complement. The classical Chern–Simons saddle points are flat $3$3 connections, and the semiclassical expansion of the cluster partition function takes the form

$3$4

with coefficients computed by a Feynman-diagram expansion around critical points of a potential obtained from the small-$3$5 asymptotics of the quantum dilogarithm. This places the cluster partition function in direct contact with perturbative $3$6-manifold invariants, character varieties, and A-polynomial data (Romo, 2017).

The literature also emphasizes significant caveats. For knot complements, especially at $3$7, the classical A-polynomial has a factor $3$8 corresponding to the abelian branch, whereas the cluster or state-integral framework based on the Fock–Goncharov quiver is believed in many cases to capture only the nonabelian branch, effectively a quantization of $3$9. For $\mathbb{H}^n(\mathbb{R})$0, additional branches associated to partitions

$\mathbb{H}^n(\mathbb{R})$1

raise further unresolved issues: there is no systematic method to determine $\mathbb{H}^n(\mathbb{R})$2 for arbitrary $\mathbb{H}^n(\mathbb{R})$3, no general method to find the corresponding mutation sequences realizing the mapping class group action, and no uniform inclusion of the abelian branch. The admissible contour for the multi-integral representation is also not fully classified, particularly in the analytically continued theory.

These limitations sharpen the comparison with the hyperbolic-space one-loop construction. The latter is a local spectral problem on non-compact $\mathbb{H}^n(\mathbb{R})$4, with ultraviolet divergences governed by heat-kernel coefficients and a finite remainder obtained after subtraction (Hatzinikitas, 2017). The former is a topological-quantum construction on mapping tori and knot complements, whose semiclassical limit knows about hyperbolic geometry but which is explicitly not a partition function on a hyperbolic ball (Romo, 2017). A plausible summary is therefore that the phrase hyperbolic-ball partition function can only be used carefully: as a literal term it is unsupported by the cited Chern–Simons review, while as a geometric shorthand it is closest to the one-loop partition function on $\mathbb{H}^n(\mathbb{R})$5.