Decorated Sphere Path Integral

• Decorated sphere path integrals are constructions that enhance spherical quantization by integrating curvature, bundle, and gauge-fixing data into the path integral.
• They unify diverse approaches across superstring theory, short-time quantum mechanics, fermionic systems, and Berezin quantization through tailored geometric and algebraic enhancements.
• This framework provides robust, well-defined propagators and measures by explicitly incorporating curvature corrections, spinorial structures, and effective potentials.

“Decorated sphere path integral” designates, in the literature considered here, a family of constructions in which a sphere or super-sphere is not treated as a bare background, but as a geometry equipped with additional data that materially enter the integral: puncture supermoduli and superghost insertions, shortest-geodesic cutoffs together with Van Vleck and DeWitt factors, spherical spinors and angular-momentum projectors, coherent-state kernels, or loop-level gauge-fixing data. The collected literature suggests that the expression functions less as a single canonical formalism than as a structural theme: path integration on spherical geometry becomes well defined only after the relevant curvature, bundle, spin, gauge, or support data are made explicit (Skliros, 2023, Miyanishi, 2013, Lackman, 2024, Mühlmann, 2022).

1. Semantic range and unifying structure

Several technically distinct sphere-based path-integral formalisms fall under this theme. In heterotic superstring theory, the “decorated sphere” is a super Riemann surface of sphere topology whose NS punctures or handle operators are promoted to supermoduli and integrated against a globally smooth measure. In low-energy Schrödinger theory on $S^2$, the sphere is decorated by the shortest-geodesic action, the Van Vleck determinant, and the DeWitt curvature correction. In fermionic and Dirac settings, the decoration consists of spherical spinors, angular operators such as $\hat K$, and nontrivial radial reductions. In Berezin-type quantization, the decoration is a propagator kernel, typically the normalized Bergman kernel on $S^2\cong \mathbb{CP}^1$. In timelike Liouville theory, the sphere partition function is dressed by saddle-point data, Fadeev–Popov factors, and loop corrections (Skliros, 2023, Miyanishi, 2013, Banerjee et al., 2023, Lackman, 2024, Mühlmann, 2022).

Setting	Decoration	Resulting object
Heterotic super-sphere	NS puncture supermoduli $(v,\bar v|\chi)$, smooth gauge slice, Berezinian	globally defined path integral measure
Short-time quantum mechanics on $S^2$	shortest geodesics, Van Vleck determinant, $e^{iRt/12}$	time-sliced propagator approximation
Free Dirac theory in spherical coordinates	spherical spinors, $\hat K$, radial transformation	Green’s function / determinant reduction
$S^2\cong\mathbb{CP}^1$ quantization	normalized Bergman kernel $\Omega$	Berezin-Toeplitz quantization
Timelike Liouville on $S^2$	round-sphere saddle, FP determinant, loop diagrams	two-sphere partition function

A unifying feature is that the relevant integral is never exhausted by the round metric alone. The operator, measure, or state space must also carry the geometric data appropriate to the problem. This is explicit in the superstring case, where the puncture position itself is a supermodulus; in the short-time Schrödinger case, where curvature produces both a Van Vleck amplitude and a DeWitt phase; and in the coherent-state case, where the path integral is encoded by a reproducing kernel rather than by a naive coordinate-space measure (Skliros, 2023, Miyanishi, 2013, Lackman, 2024).

2. Supermoduli, punctures, and the heterotic super-sphere

The most literal use of the term occurs for heterotic superstring perturbation theory on a super Riemann surface of sphere topology. The construction begins with two superconformal charts $\hat K$0 and $\hat K$1, glued by

$\hat K$2

up to a sign choice $\hat K$3. A globally defined super-Riemann-surface analogue of a conformal metric is introduced,

$\hat K$4

with associated super curvature

$\hat K$5

This metric is not used as an ordinary distance/area metric; it is a global gauge-fixing device that encodes the curvature of the super-sphere locally. Because curvature is built into the local expression, one chart is enough for the super-sphere in this presentation, and the point at infinity is effectively trivialized (Skliros, 2023).

The central geometric operation is a smooth gauge slice that is the super-analogue of Polchinski’s “as flat as possible” condition at the puncture: $\hat K$6 At the puncture, all purely holomorphic and purely antiholomorphic derivatives of the conformal factor are set to zero, while mixed derivatives are retained because they encode the genuine local super curvature. The corresponding superconformal map is an $\hat K$7 transformation depending smoothly on $\hat K$8: $\hat K$9 The gauge slice fixes

$S^2\cong \mathbb{CP}^1$0

while a residual phase is not globally removable because of the Euler-number/topological obstruction (Skliros, 2023).

The sphere is “decorated” by NS punctures or handle operators whose positions are the supermoduli being integrated over. A fixed $S^2\cong \mathbb{CP}^1$1-picture NS vertex operator at $S^2\cong \mathbb{CP}^1$2 is translated into an integrated $S^2\cong \mathbb{CP}^1$3-picture insertion by smearing over the puncture supermodulus $S^2\cong \mathbb{CP}^1$4 together with the corresponding superghost zero-mode saturating operators. The induced measure is

$S^2\cong \mathbb{CP}^1$5

Equivalently,

$S^2\cong \mathbb{CP}^1$6

The resulting integrated operator is

$S^2\cong \mathbb{CP}^1$7

This gives an explicit $S^2\cong \mathbb{CP}^1$8-picture $S^2\cong \mathbb{CP}^1$9 $(v,\bar v|\chi)$0-picture map (Skliros, 2023).

This formalism differs sharply from the Sen–Witten vertical-integration framework. There, one starts with local PCO insertions and local delta-function gauge fixing of the gravitino, partitions moduli space into regions, and restores BRST invariance on overlaps by adding vertical-integration correction terms. Here, one chooses a single smooth gauge slice from the outset, so that no patch-by-patch PCO bookkeeping is needed for the sphere case. BRST invariance is checked by showing that, after including the worldsheet action, $(v,\bar v|\chi)$1 becomes a sum of ordinary supermoduli derivatives. The curvature-dependent terms are therefore treated as genuine local contributions, rather than as fictitious patch-overlap artifacts (Skliros, 2023).

3. Curvature-decorated short-time path integrals on $(v,\bar v|\chi)$2

For the Schrödinger propagator on the standard sphere $(v,\bar v|\chi)$3, the basic short-time ingredients are the geodesic distance

$(v,\bar v|\chi)$4

the action

$(v,\bar v|\chi)$5

the Van Vleck amplitude $(v,\bar v|\chi)$6, and the DeWitt curvature correction $(v,\bar v|\chi)$7 with $(v,\bar v|\chi)$8, hence $(v,\bar v|\chi)$9. The construction restricts to the shortest path by a bump function $S^2$0 supported in a small geodesic ball. This removes long paths and the antipodal singularities of the Van Vleck determinant. The one-step operator is

$S^2$1

Its time-sliced product $S^2$2 converges strongly on $S^2$3, and for finite sums of spherical harmonics no spectral cutoff is needed; however, the convergence is not uniform in operator norm on all of $S^2$4 (Miyanishi, 2013).

A complementary reformulation appears in the worldline treatment of a particle on maximally symmetric spaces, especially $S^2$5. In Riemann normal coordinates, the nonlinear sigma model is replaced by a linear sigma model with free quadratic kinetic term and an effective scalar potential: $S^2$6 The central identity is that the heat equation for the bidensity kernel reduces to a flat Laplacian plus $S^2$7. For the sphere, $S^2$8. This linearized representation is used to compute diagonal heat kernels and, through order $S^2$9, the Seeley–DeWitt coefficients needed for type-A trace anomalies in $e^{iRt/12}$0 and $e^{iRt/12}$1 (Bastianelli et al., 2017).

In numerical many-body theory, the spherical decoration becomes explicit in both the short-time density matrix and the Monte Carlo measure. For $e^{iRt/12}$2 particles on a sphere of radius $e^{iRt/12}$3, with metric

$e^{iRt/12}$4

the scalar curvature is $e^{iRt/12}$5, and the short-time density matrix is written as

$e^{iRt/12}$6

The kinetic action involves the geodesic distance, while interactions are treated in the primitive approximation $e^{iRt/12}$7. Free-particle paths on the sphere exhibit slowed local motion near the poles, attributed to the measure factor $e^{iRt/12}$8 and the metric factor in the kinetic action, and linked in the paper to the hairy ball theorem. For fermions and anyons, restricted path integrals are used to manage the sign problem; the method is exact for noninteracting fluids but only approximate for interacting systems (Fantoni, 21 Mar 2026).

4. Spinorial decorations: fermions and Dirac propagators in spherical coordinates

In fermionic systems, the sphere is decorated not merely by curvature but by spin structure and by the angular algebra of the Dirac operator. For the finite-temperature Euclidean path integral of a free spin-$e^{iRt/12}$9 Dirac gas in flat spacetime, the spherical-coordinate Dirac operator is

$\hat K$0

The terms $\hat K$1 and $\hat K$2 are essential; the operator is not obtained by a naive replacement of Cartesian derivatives by spherical ones. A unitary field redefinition aligns the spinor basis with the spherical frame, leaves the Grassmann measure invariant, and allows expansion in generalized spherical harmonics with angular eigenvalues

$\hat K$3

After squaring the operator, the determinant reduces to a Klein–Gordon-type radial operator with centrifugal term $\hat K$4. The final determinant matches the standard Cartesian free-fermion result, thereby establishing equivalence between Cartesian and spherical formulations. The same machinery is presented as a consistency check for fermionic determinants in the Schwarzschild background and its near-horizon thermodynamic limit (Briggs et al., 2011).

A related but distinct construction derives the free Dirac Green’s function in spherical coordinates by reducing the first-order problem to a second-order one and then separating the angular and radial sectors. The angular operator

$\hat K$5

has eigenvalues $\hat K$6, while the second-order radial Hamiltonian becomes

$\hat K$7

The angular basis is built from spherical spinors

$\hat K$8

and the radial path integral is rendered exactly solvable by the transformation

$\hat K$9

After handling the quartic term generated by this change of variables, the radial problem maps to an isotropic harmonic oscillator and yields a Green’s function written in terms of spherical Bessel and Hankel functions together with spherical-spinor projectors $S^2\cong\mathbb{CP}^1$0. The final expression agrees with previous non-path-integral solutions (Banerjee et al., 2023).

These constructions underscore a recurring point: on the sphere, fermionic path integration requires the correct spinorial basis, self-adjoint radial momentum, and angular decomposition. The decoration is therefore algebraic as well as geometric.

5. Kernel quantization, design curves, and exact sphere integration

In the axiomatization of path integral quantization, the central object is a propagator

$S^2\cong\mathbb{CP}^1$1

satisfying normalization, strict off-diagonal decay, Hermiticity, a reproducing/composition property, and an integrability/boundedness condition. The paper proves that such propagators are equivalent to abstract coherent-state, or Berezin, quantization. For the standard sphere $S^2\cong\mathbb{CP}^1$2 with symplectic form $S^2\cong\mathbb{CP}^1$3,

$S^2\cong\mathbb{CP}^1$4

the propagator is the normalized Bergman kernel

$S^2\cong\mathbb{CP}^1$5

The quantization map is

$S^2\cong\mathbb{CP}^1$6

For $S^2\cong\mathbb{CP}^1$7, the coordinate functions are identified with the Pauli matrices. The same framework also produces explicit quantizations of a quartic-zero Poisson structure and of the Podleś sphere, the latter through a Bergman kernel written using coefficients involving $S^2\cong\mathbb{CP}^1$8 (Lackman, 2024).

A different, measure-theoretic sphere-path-integral notion arises from spherical $S^2\cong\mathbb{CP}^1$9-design curves and hybrid $\Omega$0-designs. A closed, piecewise smooth curve

$\Omega$1

defines a normalized path integral

$\Omega$2

and $\Omega$3 is a spherical $\Omega$4-design curve when this equals $\Omega$5 for all $\Omega$6. The construction uses geodesic arcs, Euler cycles in projected edge graphs of convex polytopes, and group orbits. Hybrid designs combine a point set $\Omega$7 and a curve $\Omega$8 through

$\Omega$9

A notable explicit example is a hybrid $S^2$0-design on $S^2$1, with $S^2$2 induced by the edges of the 600-cell, $S^2$3 given by the vertices of the 120-cell, and balancing weight

$S^2$4

The construction involves 720 geodesic arcs and 600 points. This suggests a quadrature interpretation of a decorated sphere path integral: the sphere is integrated by a convex combination of point masses and normalized curve measures (Ehler, 11 Feb 2025).

When such sphere integrals reduce to monomials, radial weights, or fixed-direction observables, exact formulas are available in terms of Gamma functions and Pochhammer symbols. For the normalized surface measure $S^2$5 on the real sphere,

$S^2$6

and for fixed $S^2$7,

$S^2$8

Complex analogues replace $S^2$9 by $\hat K$00. These formulas supply closed forms for decorated observables whenever the path integral factorizes into radial and angular pieces (Kaptanoğlu, 2017).

6. Sphere partition functions, gauge fixing, and recurrent conceptual issues

The sphere partition function in timelike Liouville theory provides a loop-level gravitational example of the decorated-sphere theme. In Weyl gauge one writes

$\hat K$01

and the timelike Liouville action on $\hat K$02 is

$\hat K$03

with $\hat K$04. The path integral is expanded around the constant round-sphere saddle

$\hat K$05

A central subtlety is the infinite $\hat K$06 conformal Killing volume. The gauge fixing removes three of the six zero modes by setting the $\hat K$07 spherical harmonics of the fluctuation to zero and introduces an explicit Fadeev–Popov determinant. The fluctuation series is then computed to three-loop order. The paper reports that all logarithmically divergent terms cancel, leaving only a small set of finite structures at order $\hat K$08, and that the perturbative partition function exhibits the sphere anomaly factor $\hat K$09. Comparison with the analytically continued DOZZ expression leads to a scheme-dependent matching and to the suggestion that a second complex saddle contributes, motivated by the family

$\hat K$10

for which the metric remains unchanged (Mühlmann, 2022).

Across these disparate constructions, several recurrent issues appear. One is that coordinate change on the sphere is rarely innocuous: the fermionic determinant in spherical coordinates requires the nontrivial $\hat K$11 and $\hat K$12 terms in the Dirac operator, while short-time kernels on $\hat K$13 require the shortest-path cutoff and the Van Vleck determinant rather than a flat-space phase alone (Briggs et al., 2011, Miyanishi, 2013). Another is that curvature rarely enters only through the classical action. It also appears in DeWitt phases, effective scalar potentials, Berezinians, FP determinants, and normalized reproducing kernels (Bastianelli et al., 2017, Skliros, 2023, Lackman, 2024, Mühlmann, 2022). A third is that exactness is often conditional: the $\hat K$14 time-slicing result is strong but not uniform on all of $\hat K$15; restricted path integrals for fermions and anyons on the sphere are exact in the noninteracting case but become approximations for interacting systems; and in the superstring setting the choice between global smooth slices and vertical integration reflects different ways of enforcing BRST consistency (Miyanishi, 2013, Fantoni, 21 Mar 2026, Skliros, 2023).

The literature therefore presents the decorated sphere path integral not as a single recipe but as a general strategy for making spherical path integration technically meaningful. The sphere is rendered calculable by attaching the correct geometric and algebraic structures to it: supermoduli for punctures, curvature corrections for short-time propagation, spinor harmonics for fermions, reproducing kernels for quantization, or gauge-fixed fluctuation data for gravitational partition functions.