Fuzzy Sphere Fibre in Kaluza–Klein Models

• Fuzzy Sphere Fibre is a noncommutative construct that replaces the classical smooth S² fibre with a finite-dimensional matrix algebra characterized by an SU(2)-covariant differential calculus.
• It enables quantum Kaluza–Klein models to generate finite or truncated mode spectra, with internal gauge and scalar fields emerging naturally from the algebraic structure.
• The approach provides new insights into noncommutative metric geometry, bundle structures, and dynamical transitions, bridging matrix models with emergent internal geometries.

Searching arXiv for recent and foundational papers on fuzzy sphere fibre and related Kaluza–Klein constructions. Fuzzy sphere fibre denotes the use of a fuzzy sphere $S_F^2$, or an equivalent finite noncommutative $SU(2)$-covariant sphere algebra, as an internal geometric factor in a product space, bundle, or Kaluza–Klein construction. In this setting, the ordinary notion of a smooth spherical fibre is replaced by a matrix algebra or by the fuzzy-sphere algebra generated by noncommuting coordinates, while fields over the total space become matrix-valued or mode-decomposed objects. Across the literature, the phrase does not refer to a single universally fixed formalism. Rather, it encompasses several related constructions: quantum Kaluza–Klein models with fibre algebra $A_f$ given by a fuzzy sphere (Liu et al., 2023, Liu et al., 2024, Liu et al., 29 Jul 2025), principal-bundle-like fuzzy fibrations whose base is $S_F^2$ or $S_F^2\times S_F^2$ (Acharyya et al., 2013, Acharyya et al., 2013), and Hopf-fibration-inspired matrix constructions in which fuzzy $S^2$ emerges as the base while the fibre survives only in reduced or discrete form (0903.3966, Nastase et al., 2010). A recurrent theme is that the fuzzy sphere is not merely a finite approximation to $S^2$; it functions as an internal noncommutative geometry with its own differential calculus, Dirac operator, representation theory, and topological sectors.

1. Algebraic and geometric definition of the fuzzy sphere fibre

The standard fuzzy sphere is defined by noncommuting coordinate operators satisfying an $SU(2)$-type algebra. One common presentation uses generators $X_i$ obeying

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$

with the finite-dimensional representation usually taken with spin $SU(2)$0 (Digal et al., 2011). In compact quantum metric formulations, the finite-dimensional algebra is

$SU(2)$1

with coordinate matrices

$SU(2)$2

satisfying

$SU(2)$3

(D'Andrea et al., 2012).

In the quantum Kaluza–Klein literature, the internal fibre is often the fuzzy sphere algebra $SU(2)$4, generated by $SU(2)$5 with

$SU(2)$6

or, in equivalent notation,

$SU(2)$7

(Liu et al., 2023, Liu et al., 29 Jul 2025). For discrete values

$SU(2)$8

the algebra reduces to

$SU(2)$9

so the fibre becomes a finite matrix algebra (Liu et al., 2023).

A defining structural property in the Kaluza–Klein models is the existence of a central basis of one-forms $A_f$0. The fuzzy sphere differential calculus is described by

$A_f$1

with associated derivations

$A_f$2

(Liu et al., 2023). This calculus is 3-dimensional rather than 2-dimensional, so the internal cotangent structure is $A_f$3-framed rather than the ordinary tangent bundle of a classical 2-sphere. This distinction is central to the fibre interpretation: the internal space is sphere-like in symmetry and representation content, but its differential geometry is inherently noncommutative.

2. Fuzzy sphere as an internal fibre in quantum Kaluza–Klein geometry

In quantum Kaluza–Klein models, the total coordinate algebra is the tensor product

$A_f$4

or specifically

$A_f$5

with $A_f$6 a Lorentzian spacetime and $A_f$7 a fuzzy-sphere algebra (Liu et al., 2024, Liu et al., 2023). The differential calculus splits as

$A_f$8

and the spinor bundle factorizes as

$A_f$9

(Liu et al., 2024). The fibre thus contributes a finite internal spinor space, while the base contributes the usual spin geometry.

A key result of the quantum Riemannian geometry approach is that the most general quantum metric is forced into a Kaluza–Klein-like form. One formulation is

$S_F^2$0

where $S_F^2$1 is the spacetime metric, $S_F^2$2 the mixed spacetime–internal field, and $S_F^2$3 the internal fibre metric (Liu et al., 2023). In a closely related notation,

$S_F^2$4

with quantum symmetry imposing

$S_F^2$5

(Liu et al., 29 Jul 2025).

The noncommutative nature of the fibre has a strong structural consequence. Because the fibre 1-forms $S_F^2$6 are central and the fibre algebra has trivial center $S_F^2$7, the coefficients $S_F^2$8 must commute with the fibre algebra and therefore depend only on spacetime. The resulting restriction is precisely the Kaluza–Klein cylinder ansatz,

$S_F^2$9

with no internal-coordinate dependence (Liu et al., 29 Jul 2025). This directly links the fuzzy sphere fibre to the emergence of a classical spacetime theory with gauge and scalar sectors.

The effective spacetime fields are then identified geometrically. The mixed components $S_F^2\times S_F^2$0 become an $S_F^2\times S_F^2$1-valued Yang–Mills field, and the internal metric $S_F^2\times S_F^2$2 becomes a real-symmetric-matrix-valued Liouville-sigma model field (Liu et al., 2023). In the round constant case,

$S_F^2\times S_F^2$3

the Ricci scalar reduces to

$S_F^2\times S_F^2$4

where

$S_F^2\times S_F^2$5

(Liu et al., 2023). A later analysis frames the same reduction as a low-energy mechanism for the emergence of gravity plus Yang–Mills from quantum gravity on the fuzzy sphere fibre, with coupling relations

$S_F^2\times S_F^2$6

(Liu et al., 29 Jul 2025).

A common misconception is that the fuzzy sphere fibre is simply a finite truncation of spherical harmonics inserted by hand. In the quantum Riemannian treatment, the metric form, gauge field, and scalar sector are not ad hoc reductions; they are derived from the internal noncommutative geometry and the requirement of a central quantum metric (Liu et al., 2023, Liu et al., 29 Jul 2025).

3. Spinors, Dirac operators, and finite Kaluza–Klein spectra

The fermionic sector gives one of the most explicit realizations of the fuzzy sphere fibre idea. In the product geometry $S_F^2\times S_F^2$7, the Dirac operator is constructed geometrically from a spinor connection $S_F^2\times S_F^2$8 and Clifford action $S_F^2\times S_F^2$9 as

$S^2$0

For the product geometry, Proposition 3.1 yields

$S^2$1

or explicitly

$S^2$2

(Liu et al., 2024).

The internal spinor structure is controlled by the decomposition of the fuzzy sphere algebra into irreducible $S^2$3 representations. The total internal angular momentum is

$S^2$4

and the internal spinor space decomposes as

$S^2$5

with the surviving states arranged into multiplets of total spin

$S^2$6

(Liu et al., 2024). A single spinor on the total space appears in spacetime as a tower of spinor fields $S^2$7, each with definite $S^2$8 Yang–Mills charge.

The masses are determined by the fibre Dirac eigenvalues. After the chiral rotation used in the paper, the spacetime masses are

$S^2$9

For the reduced fuzzy sphere $S^2$0, the internal algebra truncates to $S^2$1, so only $S^2$2 occur. The resulting spacetime multiplets are one $S^2$3 doublet from $S^2$4, one $S^2$5 quadruplet from $S^2$6, and another $S^2$7 doublet from the second $S^2$8 eigenspace, with mass ratios

$S^2$9

(Liu et al., 2024). The paper presents this as proof of concept that noncommutative fibre algebras can generate particle multiplets geometrically.

An analogous scalar mechanism appears in the bosonic quantum Kaluza–Klein model. A massless real scalar field on the product decomposes into internal-spin multiplets, one for each integer spin $SU(2)$0, with

$SU(2)$1

in the constant round case (Liu et al., 2023). For the reduced case $SU(2)$2, only $SU(2)$3 appear, yielding a massless singlet, a massive triplet, and a massive quintet with mass ratio

$SU(2)$4

relative to the $SU(2)$5 mode (Liu et al., 2023).

These constructions show that a fuzzy sphere fibre produces a finite Kaluza–Klein tower when the internal algebra is a matrix algebra $SU(2)$6, and an infinite one for generic deformation parameter $SU(2)$7. A plausible implication is that fuzzy internal geometry provides a controlled alternative to classical compactification, in which representation-theoretic truncation replaces harmonic cutoff by construction.

4. Bundle, fibration, and monopole structures

A second major use of the term concerns noncommutative bundle structures in which the fuzzy sphere is the base, or part of the base, of a principal-bundle-like construction. In the continuum setting, the compact base $SU(2)$8 of the conifold is described as a principal $SU(2)$9 bundle over $X_i$0, with

$X_i$1

and coordinates

$X_i$2

on the base sphere (Acharyya et al., 2013). The fuzzy version replaces the coordinates $X_i$3 by oscillators and realizes the fuzzy sphere through a Jordan–Schwinger-like map

$X_i$4

satisfying

$X_i$5

(Acharyya et al., 2013). Fuzzy monopole line bundles then appear as operator spaces

$X_i$6

with topological charge measured by

$X_i$7

so only even monopole charges occur (Acharyya et al., 2013).

A higher-dimensional analogue is the fuzzy base $X_i$8, constructed as the analogue of a principal $X_i$9 bundle over

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$0

(Acharyya et al., 2013). Two commuting fuzzy-sphere triples are generated by

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$1

satisfying

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$2

(Acharyya et al., 2013). The fuzzy bundle is encoded not by literal circle fibres but by a $$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$3-grading. The charge operator

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$4

acts on operator modules

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$5

with

$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$6

(Acharyya et al., 2013). In this sense, the classical fibre $$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$7 is replaced by an algebraic grading, while sections of associated line bundles become rectangular operator modules.

The following table organizes the principal fibre-type constructions directly described in the literature.

Construction	Base	Fibre / charge structure
$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$8	$$[X_i,X_j]= i\,\alpha\, \epsilon_{ij}{}^{k}X_k, \qquad \sum_i X_i^2 = R^2,$$9	Principal $SU(2)$00 bundle; even monopole charges (Acharyya et al., 2013)
$SU(2)$01	$SU(2)$02	Noncommutative $SU(2)$03-graded bundle via $SU(2)$04 (Acharyya et al., 2013)
$SU(2)$05	spacetime $SU(2)$06	Fuzzy sphere internal fibre $SU(2)$07 in Kaluza–Klein geometry (Liu et al., 2023, Liu et al., 2024)

A common confusion is to treat these bundle constructions as ordinary fibre bundles with pointwise fibres. The papers explicitly replace pointwise geometry by operator algebras, graded bimodules, or finite matrix spaces. Thus the “fibre” is frequently algebraic rather than set-theoretic.

5. Hopf-fibration reductions and bifundamental realizations

Several matrix-theory constructions interpret fuzzy sphere fibre structure through the Hopf fibration

$SU(2)$08

In the ABJM context, the fluctuation algebra around the ground-state or funnel solutions approaches the space of functions on $SU(2)$09, not $SU(2)$10, in the large-$SU(2)$11 limit (0903.3966). The relevant matrices $SU(2)$12 play the role of noncommutative Hopf spinor coordinates, while bilinears

$SU(2)$13

generate the fuzzy $SU(2)$14 algebra (0903.3966). The paper argues that the Hopf $SU(2)$15 fibre is not fully present as a continuous circle; instead, the matrix construction reduces the fibre to a two-point structure, with the $SU(2)$16 factor acting as the remnant of the fibre. This is one of the clearest instances in which “fuzzy sphere fibre” refers to a reduced or partially retained internal direction rather than a full higher-dimensional geometry.

A closely related formulation develops a bifundamental version of the fuzzy 2-sphere, based on the GRVV algebra

$SU(2)$17

(Nastase et al., 2010). The matrices $SU(2)$18 transform as bifundamentals and are interpreted as discrete analogues of Killing spinors. Bilinears

$SU(2)$19

satisfy the usual fuzzy-sphere commutation relations

$SU(2)$20

(Nastase et al., 2010). The construction is shown to be completely equivalent to the standard adjoint fuzzy sphere.

The Hopf-fibration interpretation is explicit in the large-$SU(2)$21 limit: $SU(2)$22 where $SU(2)$23 are coordinates on $SU(2)$24, with the phase providing the $SU(2)$25 fibre (Nastase et al., 2010). Once the phase is removed, the residual variables describe the $SU(2)$26 base. This suggests a general pattern: in matrix realizations motivated by brane systems, the fuzzy sphere often appears as the geometrically robust base, while the fibre survives only as a phase, a grading, or a finite remnant.

The literature also contains a projected “double-sheet” version. The squashed fuzzy sphere $SU(2)$27, obtained by orthogonal projection onto the equatorial plane, is interpreted as two coincident disks or sheets with opposite Poisson structures (Andronache et al., 2015). The projected geometry is not a classical fibration, but the sheet label $SU(2)$28 or $SU(2)$29 acts as a discrete internal degree of freedom. Off-diagonal matrix components behave as strings linking the two sheets, with covariant derivatives involving the gauge-field difference

$SU(2)$30

and semiclassically reducing to the Landau problem (Andronache et al., 2015). Although the paper does not use bundle language formally, it provides a layered internal structure closely allied to fibre ideas.

6. Metric, topological, and dynamical aspects of fuzzy sphere fibres

The fuzzy sphere fibre is not solely an internal-space device for dimensional reduction; it also carries metric, topological, and dynamical information.

From the viewpoint of noncommutative metric geometry, the fuzzy sphere is a compact quantum metric space equipped with Connes’ spectral distance

$SU(2)$31

Bloch coherent states

$SU(2)$32

serve as the “points” of the fuzzy sphere, and the induced distances converge to the round-sphere geodesic distance as $SU(2)$33 (D'Andrea et al., 2012). The coherent-state map

$SU(2)$34

is $SU(2)$35-equivariant (D'Andrea et al., 2012). This yields a fibre-like interpretation in which the classical sphere parametrizes a family of quantum states inside the matrix algebra.

Topological stability is particularly important when the fuzzy sphere appears as the spatial arena of a field theory. In the $SU(2)$36 scalar theory on $SU(2)$37, the hedgehog configuration

$SU(2)$38

is a winding-one map whose stability is protected both by topology and by the nonlocal infrared structure of the fuzzy sphere (Digal et al., 2011). The observable

$SU(2)$39

monitors the $SU(2)$40 channel, and the fluctuation

$SU(2)$41

decreases in the noncommutative limit with fit

$SU(2)$42

(Digal et al., 2011). By contrast, uniform condensates remain unstable. This shows that the noncommutative sphere can support robust ordered configurations that are unavailable in ordinary 2D commutative field theory.

Dynamical matrix models provide a further perspective. In the three-matrix model

$SU(2)$43

the low-temperature phase is a fuzzy sphere

$SU(2)$44

which evaporates into a commuting matrix phase at a limiting temperature

$SU(2)$45

(O'Connor et al., 2013). The near-critical scaling exponents

$SU(2)$46

agree with theoretical predictions $SU(2)$47, $SU(2)$48, and $SU(2)$49 (O'Connor et al., 2013). Here the fuzzy sphere is an emergent geometrical phase rather than a preassigned fibre, but it reinforces the broader point that fuzzy-sphere geometry has independent thermodynamic and stability content.

A plausible implication is that fuzzy sphere fibre models should not be viewed as purely kinematical compactifications. The internal geometry can carry its own curvature dynamics, support topological sectors, and undergo stability transitions.

7. Related constructions, terminology, and interpretive boundaries

The phrase “fuzzy sphere fibre” is used most precisely in the quantum Kaluza–Klein papers, where the internal compact fibre is explicitly a fuzzy sphere algebra (Liu et al., 2023, Liu et al., 2024, Liu et al., 29 Jul 2025). Elsewhere the same idea appears more loosely through graph realizations, projected sheets, or emergent matrix geometries. In the graph-to-matrix framework, the fuzzy sphere is realized by a simple unbranched line graph whose zero-mode surface is spherical (Sykora, 2016). The paper does not define a fibre bundle, but it does support an informal “edge-as-string” or “cylinder-to-sphere” intuition. Similarly, in the construction based on confining potentials and energy cutoffs, a particle constrained near $SU(2)$50 yields a finite-dimensional fuzzy sphere whose projected coordinates generate the full matrix algebra of observables (Fiore et al., 2017). This is not a fibre model, but it shows how fuzzy spheres can arise dynamically from ordinary quantum mechanics.

Gauge-theory compactifications on $SU(2)$51 offer another bridge to the fibre terminology. In a $SU(2)$52 gauge theory over

$SU(2)$53

the fuzzy sphere acts as an internal matrix geometry, and tracing over it yields a low-energy action on $SU(2)$54 (Kurkcuoglu et al., 2016). After equivariant reduction under combined $SU(2)$55 rotations of the fuzzy sphere and an embedded $SU(2)$56, the reduced model becomes essentially a

$SU(2)$57

abelian Higgs theory with vortex solutions on $SU(2)$58 (Kurkcuoglu et al., 2016). This is a conventional extra-dimension construction recast in noncommutative language.

In phenomenological orbifold models, twisted fuzzy spheres arise as dynamically generated extra dimensions in chiral gauge theories (Chatzistavrakidis et al., 2010). The vacuum scalars satisfy

$SU(2)$59

and after untwisting one recovers the ordinary fuzzy-sphere algebra (Chatzistavrakidis et al., 2010). These vacua lead to finite Kaluza–Klein towers and chiral zero modes. Although the phrase “fuzzy sphere fibre” is not the paper’s terminology, the construction clearly places fuzzy spheres in the role of internal compact directions.

Two interpretive cautions are therefore necessary. First, not every occurrence of a fuzzy sphere in the literature is a fibre construction. A fuzzy sphere may be a background, an emergent phase, a projected membrane, or a finite regularization. Second, when the term fibre is used, it may denote different mathematical structures: an internal factor in a tensor-product algebra, a principal $SU(2)$60-bundle grading, a Hopf-fibration remnant, or a coherent-state family over a classical base. The unifying feature is that the fuzzy sphere supplies a noncommutative internal geometry whose symmetry is $SU(2)$61-covariant and whose finite-dimensional representation theory organizes the physical degrees of freedom.

Taken together, these works establish the fuzzy sphere fibre as a versatile concept at the intersection of noncommutative geometry, matrix models, quantum gravity, and Kaluza–Klein theory. In the strictest sense, it is the replacement of a classical spherical fibre by a fuzzy sphere algebra with central differential calculus and finite or truncated mode content (Liu et al., 2023, Liu et al., 2024, Liu et al., 29 Jul 2025). In the broader sense used across adjacent literatures, it is any construction in which fuzzy $SU(2)$62 supplies the internal, base, or fibre-like component of a larger geometric structure (0903.3966, Nastase et al., 2010, Acharyya et al., 2013, Acharyya et al., 2013).