Spherical Structures and Applications

• Spherical refers to structures defined by the intrinsic geometry and symmetry of a sphere, influencing areas from convexity to harmonic analysis on S² and SO(3).
• It enables innovative methodologies in signal processing and machine learning, with applications such as spherical CNNs and HEALPix-based transformers for rotation-equivariant learning.
• The concept further extends to algebraic and topological frameworks, supporting developments in spherical varieties, derived category twists, and cosmological models.

Spherical denotes structures whose natural domain, symmetry group, or model is a sphere or a quotient of one. In current research usage, the term ranges from geometry on $S^n$ and harmonic analysis on $S^2$ and $SO(3)$ to rotation-equivariant learning, algebraic transformation groups with open Borel orbits, derived-category objects whose self-Ext algebra is modeled on $H^\bullet(S^2)$, and physical systems such as Kerr geodesics, cosmological bubbles, and positively curved 3-manifolds (Božič et al., 2018, Cohen et al., 2018, Wedhorn, 2015, Teo, 2020).

1. Sphere-based geometry and convexity

The geometric core of the spherical setting is the unit sphere

$S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$

equipped with geodesic distance

$d_{S^n}(x,y)=\arccos(x\cdot y).$

On $S^2$, one standard parametrization uses spherical angles $(\theta,\phi)$ with $\theta\in[0,\pi]$, $\phi\in[0,2\pi)$ and

$S^2$0

Great circles are intersections with planes through the origin; if $S^2$1 is a unit normal, the corresponding great circle is $S^2$2. Small circles and equidistant curves are given by $S^2$3, and closed hemispheres by $S^2$4 (Han et al., 2015, Liu et al., 2021, Yoshino, 2 May 2026).

Curvature and compactness make spherical geometry structurally different from Euclidean geometry. The sphere has no translational invariance, no global coordinate chart that is both distortion-free and seamless, and long-wavelength modes are discrete rather than continuously parameterized. In probabilistic and spectral problems this means that low-frequency behavior is encoded by small integer multipoles $S^2$5, not by a limit $S^2$6, and in counting problems complementarity imposes identities such as $S^2$7 for cap number variance (Božič et al., 2018).

Spherical convexity is usually defined relative to geodesic arcs or hemispherical containment. A set is hemispherical if it is contained in some open hemisphere, and spherical convex if the short great-circle arc joining any two of its points remains in the set. This framework supports several non-Euclidean convex-geometric constructions. For spherical Wulff shapes, the spherical polar transform

$S^2$8

is involutive on the relevant class and is an isometry with respect to the Pompeiu–Hausdorff metric (Han et al., 2015). For centrally symmetric spherical convex bodies, spherical centroid bodies can be defined intrinsically from centroids of hemisphere intersections and extrinsically via the gnomonic projection $S^2$9, which converts them to weighted Euclidean centroid bodies with density $SO(3)$0 (Besau et al., 2019).

2. Harmonic analysis, quadrature, and point distributions

On the sphere, harmonic analysis is organized by spherical harmonics and multipole expansions. For a point configuration $SO(3)$1 on $SO(3)$2, the singular density

$SO(3)$3

admits coefficients $SO(3)$4 and multipole magnitudes $SO(3)$5, leading to the spherical structure factor

$SO(3)$6

This quantity is the natural spherical analogue of the Euclidean structure factor and couples exactly to cap number variance through

$SO(3)$7

Random point sets satisfy $SO(3)$8 for all $SO(3)$9 and therefore $H^\bullet(S^2)$0, whereas hyperuniform spherical configurations are characterized by low-$H^\bullet(S^2)$1 suppression or a low-$H^\bullet(S^2)$2 gap and cap-variance scaling proportional to $H^\bullet(S^2)$3 rather than $H^\bullet(S^2)$4 (Božič et al., 2018).

Sampling theory on the sphere uses equal-weight quadrature rules that are exact for spherical polynomials. A finite set $H^\bullet(S^2)$5 is a spherical $H^\bullet(S^2)$6-design if

$H^\bullet(S^2)$7

for every spherical polynomial of degree at most $H^\bullet(S^2)$8. On $H^\bullet(S^2)$9, the variational functional

$S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$0

vanishes exactly on spherical $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$1-designs. Trust-region minimization of $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$2, together with fast nonequispaced spherical Fourier transforms, yields large numerical spherical designs and exposes explicit structure in the gradient and Hessian of $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$3 (Xiao et al., 2023).

These designs support multiscale constructions. Semi-discrete spherical tight framelets built from spherical $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$4-design quadrature inherit exactness properties from the design condition, and their truncated versions form tight frames for finite-dimensional spaces $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$5. The resulting fast spherical framelet transforms enable practical denoising on spherical signals and images, including Wendland-function approximation, ETOPO data processing, and spherical image denoising using local thresholding within spherical caps (Xiao et al., 2023).

3. Spherical signal processing and representation learning

In machine learning, spherical data invalidate the translation-based inductive bias of planar convolution. Spherical CNNs replace planar convolution by a rotation-equivariant cross-correlation. For $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$6,

$S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$7

The output is a function on $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$8, not on $S^n=\{x\in\mathbb R^{n+1}:\|x\|=1\},$9, because the natural motions of a spherical signal are 3D rotations. This correlation satisfies

$d_{S^n}(x,y)=\arccos(x\cdot y).$0

so equivariance is exact at the level of the continuous model. Spectrally, the generalized Fourier theorem replaces scalar products by block-matrix products in the Wigner $d_{S^n}(x,y)=\arccos(x\cdot y).$1 basis, allowing efficient implementation by generalized FFTs on $d_{S^n}(x,y)=\arccos(x\cdot y).$2 and $d_{S^n}(x,y)=\arccos(x\cdot y).$3 (Cohen et al., 2018).

This framework was introduced to avoid the space-varying distortions created by equirectangular and related projections. Empirically, it yields strong rotation generalization: on spherical MNIST, a spherical CNN reaches 0.95 accuracy in the rotated-train/rotated-test setting where a planar CNN obtains 0.23, and the same architecture supports competitive performance on SHREC17 3D shape recognition and QM7 atomization-energy regression (Cohen et al., 2018).

A distinct engineering strategy is the Spherical Transformer module, which makes spherical signals compatible with commodity CNN backbones rather than defining group convolutions directly. It uses HEALPix sampling, with equal-area pixels, a nested hierarchy

$d_{S^n}(x,y)=\arccos(x\cdot y).$4

mostly eight neighbors per pixel, and exactly seven neighbors for 24 special pixels per level. Each pixel is converted into an ordered $d_{S^n}(x,y)=\arccos(x\cdot y).$5 local neighborhood, permitting ordinary $d_{S^n}(x,y)=\arccos(x\cdot y).$6 convolutions and $d_{S^n}(x,y)=\arccos(x\cdot y).$7 pooling to operate unchanged. In this terminology, “Transformer” refers to an STN-like transformation/grid construction, not attention. The method plugs into VGG-11, U-Net, and small CNN backbones, and reports 99.36% accuracy with 32k parameters on spherical MNIST, 93.0% accuracy on ModelNet40 by combining depth-based and rendering-based spherical projections, and 91.3% under the $d_{S^n}(x,y)=\arccos(x\cdot y).$8 protocol for its rotational-robust variant (Liu et al., 2021).

A persistent distinction in this literature is between exact equivariance and approximate robustness. S2CNN and SphericalCNN enforce formal $d_{S^n}(x,y)=\arccos(x\cdot y).$9-equivariance through harmonic or group-convolution machinery, whereas the Spherical Transformer relies on HEALPix locality, ordinary CNN kernels, $S^2$0 branches, and rotated-data augmentation. This makes it simpler to reuse pretrained backbones, but its anti-rotation behavior is empirical rather than exact (Liu et al., 2021).

4. Abstract spherical structures in algebra, geometry, and learning theory

In learning theory, “spherical” can denote a topological relaxation of shattering. The spherical dimension of a concept class $S^2$1 is defined from odd maps into the antipodal part of the realizable-distribution space:

$S^2$2

This construction packages discrete realizability into continuous odd spheres, enabling the use of Borsuk–Ulam and Lyusternik–Shnirel’man arguments. The paper establishes, among other bounds, $S^2$3 and relates the finiteness of spherical dimension to the open question on disambiguations for halfspaces with margin (Chornomaz et al., 13 Mar 2025).

In algebraic transformation groups, a spherical variety is a normal $S^2$4-variety on which a Borel subgroup has an open orbit. Wedhorn extends this to spherical spaces over arbitrary base schemes: a $S^2$5-space over $S^2$6 is spherical if it is flat, separated, of finite presentation, and all geometric fibers are spherical $S^2$7-varieties. Sphericity is stable under base change, is fpqc local on the base, and for subgroup schemes the spherical locus is open and closed. Over arbitrary fields, spherical embeddings are classified by $S^2$8-invariant colored fans, generalizing Luna–Vust theory (Wedhorn, 2015).

Knop’s theory of spherical roots refines the structure of spherical varieties by studying the valuation cone $S^2$9 and its facets. A spherical root is a primitive element $(\theta,\phi)$0 that is non-positive on $(\theta,\phi)$1 and defines a codimension-1 face. The associated little Weyl group $(\theta,\phi)$2, generated by reflections $(\theta,\phi)$3, is finite; $(\theta,\phi)$4 is a finite root system; and when the characteristic is not $(\theta,\phi)$5, the valuation cone is a single Weyl chamber, so $(\theta,\phi)$6 is a simple system. In characteristic $(\theta,\phi)$7, the cone may be only a union of chambers, with a precise list of acute-angle exceptions (Knop, 2013).

In derived categories, Seidel–Thomas spherical objects on a K3 surface are objects $(\theta,\phi)$8 with self-Ext algebra $(\theta,\phi)$9:

$\theta\in[0,\pi]$0

Equivalently, their Mukai vector has square $\theta\in[0,\pi]$1. Such objects define spherical twists, and Huybrechts proves that within Bridgeland’s distinguished component on a projective K3 surface, a stability condition is determined by its central charge together with the phases of spherical objects (Huybrechts, 2010).

A relative version appears in Fourier–Mukai theory. An object $\theta\in[0,\pi]$2 is spherical over $\theta\in[0,\pi]$3 if the induced Fourier–Mukai functor $\theta\in[0,\pi]$4 is spherical in the sense of spherical functors. For objects orthogonal over $\theta\in[0,\pi]$5, this is equivalent to cohomological conditions mirroring the absolute case, notably

$\theta\in[0,\pi]$6

for each closed fiber and an adjoint-identifying canonical morphism being an isomorphism. In geometric terms, this yields spherical fibrations of subschemes over a base (Anno et al., 2010).

5. Quotients of spheres, buildings, and topological dualities

In metric and combinatorial geometry, spherical buildings are simplicial complexes whose apartments are round spheres triangulated by finite Coxeter complexes. Equipped with their natural CAT(1) metric, they support strong convexity and link-angle formalisms. For a thick spherical building $\theta\in[0,\pi]$7, if $\theta\in[0,\pi]$8 is a proper convex subset that is either open or a closed ball of radius $\theta\in[0,\pi]$9, then the maximal subcomplex supported by $\phi\in[0,2\pi)$0 is spherical and non-contractible; more generally, nonempty closed coconvex supported subcomplexes are homotopy Cohen–Macaulay (Schulz, 2010).

In low-dimensional topology, a closed orientable 3-manifold is spherical precisely when it carries a metric of constant sectional curvature $\phi\in[0,2\pi)$1, equivalently when it is a quotient $\phi\in[0,2\pi)$2 by a finite free subgroup of $\phi\in[0,2\pi)$3, equivalently when $\phi\in[0,2\pi)$4 is finite. A recent characterization shows that a closed orientable 3-manifold is dominated by $\phi\in[0,2\pi)$5—that is, admits a non-zero-degree map from $\phi\in[0,2\pi)$6—if and only if it is spherical. The same paper proves that a closed 3-manifold admits a universal link if and only if it is spherical, while complement universal links are strictly weaker and can occur in non-spherical manifolds (González-Acuña et al., 19 Nov 2025).

A different topological use occurs in spherical T-duality. Here one considers oriented $\phi\in[0,2\pi)$7-bundles $\phi\in[0,2\pi)$8 with a 7-flux $\phi\in[0,2\pi)$9. Spherical T-duality fixes $S^2$00 and $S^2$01, exchanges the Euler class with the 7-flux via the Gysin map, and on bases of dimension at most $S^2$02 induces a natural degree-shifting isomorphism

$S^2$03

The kernel of the transform is a canonical Poincaré virtual line bundle on $S^2$04, and the associated spherical Fourier–Mukai transform gives the trivial-bundle model of the duality (Bouwknegt et al., 2015).

In cosmology, spherical manifolds and orbifolds model positively curved cosmic spaces obtained by “closing pieces from the sphere” $S^2$05. Quotients $S^2$06 yield spherical 3-manifolds, while point symmetry under Platonic groups leads to orbifolds $S^2$07. Harmonic analysis on these spaces imposes multipole selection rules on CMB eigenmodes. The paper identifies four orbifolds with volume fractions $S^2$08, $S^2$09, $S^2$10, and $S^2$11 of $S^2$12, and argues that their symmetry can suppress low multipoles through explicit invariance constraints (Kramer, 2010).

6. Physical, optical, and material realizations

In general relativity, spherical orbits around a Kerr black hole are timelike geodesics of constant Boyer–Lindquist radius $S^2$13 that are not necessarily equatorial. They are defined by

$S^2$14

where $S^2$15 is the Kerr radial potential. Teo gives compact analytic expressions for $S^2$16, $S^2$17, and $S^2$18, classifies stable versus unstable, bound versus unbound, and prograde versus retrograde spherical orbits, and derives closed-form solutions in Mino time. In this setting, “spherical” means constant radius rather than confinement to a plane (Teo, 2020).

In cosmological first-order phase transitions, spherical bubbles correspond to the geometry index $S^2$19 in the self-similar fluid equation

$S^2$20

Using the bag equation of state, the paper compares spherical, cylindrical, and planar walls for detonations and deflagrations and finds that the different wall geometries give similar perturbations of the plasma. The efficiency factor $S^2$21 governing kinetic-energy deposition is close across geometries for phenomenologically relevant wall speeds, which is why spherical single-bubble hydrodynamics remains useful in gravitational-wave estimates (Leitao et al., 2010).

In computational materials science, spherical symmetry can be imposed approximately through revised periodic boundary conditions adapted to a curved surface. Instead of translational replicas, a small patch is replicated by small rotations about two axes, generating an almost abelian image system accurate when interaction ranges are small compared with the radius of curvature. Applied to graphene, this yields monolayer values $S^2$22 and $S^2$23, and reduces the required system size by orders of magnitude relative to full-sphere simulations (Koskinen et al., 2010).

In metasurface optics, spherical phase refers to a phase profile that synthesizes a converging spherical wavefront in free space. The proposed phase law

$S^2$24

contrasts with the standard hyperbolic profile

$S^2$25

The argument is that hyperbolic phase distributions mismatch the actual propagation geometry and therefore induce spherical aberration, whereas the spherical profile makes all equiphase normals intersect at the design focus. In simulation, at radius $S^2$26 the spherical phase reduces FWHM by 7.3% and increases peak intensity by 20.4% relative to the hyperbolic design, while the hyperbolic aberration correlates strongly with radius ($S^2$27). The same analysis yields an intrinsic numerical-aperture ceiling $S^2$28 for single-layer spherical-phase metalenses (Yang et al., 5 Jun 2025).

In spherical origami, the underlying sheet is itself curved. On $S^2$29, the Euclidean Huzita–Justin axioms admit spherical analogues with explicit vector formulas, and in three-dimensional folding geodesics are no longer the only relevant crease curves. Equidistant curves, realized as small circles $S^2$30, replace geodesics as generic fold curves, and folds can be implemented as reflections across affine planes in $S^2$31. This broadens the kinematics beyond intrinsic great-circle reflections and supports explicit computer-graphics constructions of spherical origami birds (Yoshino, 2 May 2026).

Across these literatures, “spherical” does not denote a single formal property. It can mean geodesic geometry on $S^2$32, spectral structure in multipole space, equivariance under $S^2$33, quotient geometry with curvature $S^2$34, an open-orbit condition for algebraic group actions, a self-Ext algebra modeled on $S^2$35, or a symmetry/shape constraint in physical systems. The unifying feature is that the sphere is not treated as a mere coordinate convenience: it supplies the native geometry, topology, or symmetry that determines the admissible objects, operators, and invariants.