---
title: Real Left-Invariant Spin Gaussian Fields
url: https://www.emergentmind.com/topics/real-left-invariant-spin-gaussian-fields
type: topic
---

# Real Left-Invariant Spin Gaussian Fields

Real left-invariant spin Gaussian fields are real-valued Gaussian random fields on \(SO(3)\) obtained as the real part of complex spin random fields, and they provide a group-theoretic representation of spin-weighted data such as Cosmic Microwave Background polarization. In the representation-theoretic formulation of spin fields, a spin-\(s\) random section over \(S^2\) is encoded by a type-\(s\) random function on \(SO(3)\), with isotropy of the section corresponding to invariance in law under the left regular action of the group. Passing to the real part yields a real field on \(SO(3)\) that is left-invariant in law but, for \(s\neq 0\), not isotropic on \(SO(3)\) in the usual scalar sense. This framework combines harmonic analysis on \(SO(3)\), homogeneous line bundles, and Gaussian geometry, and underlies both exact formulas for excursion-set Lipschitz–Killing curvatures and Wiener–Itô chaos decompositions of level-set area [1310.0321], [2406.04850], [2507.08550].

## 1. Group-theoretic and bundle-theoretic formulation

The foundational construction begins with a compact group \(G\) acting transitively on a homogeneous space \(X=G/K\), where \(K\) is the isotropy subgroup of a base point \(x_0\in X\). A random field \(T=(T_x)_{x\in X}\) is taken to be almost surely square integrable, and isotropy is formulated in the strict sense by invariance in law of the linear functionals
\[
T(f)=\int_X T_x \overline{f(x)}\,dx
\]
under the left regular action \(L_g\) [1310.0321]. For centered second-order isotropic fields, the covariance kernel
\[
R(x,y)=\mathbb E[T_x\overline{T_y}]
\]
is \(G\)-invariant and is encoded by the positive definite function
\[
\phi(g)=R(gx_0,x_0),
\]
which is continuous, bi-\(K\)-invariant, and positive definite [1310.0321].

The scalar construction on homogeneous spaces is based on a convolution square root. Every such \(\phi\) admits a representation
\[
\phi=f*\breve f,\qquad \breve f(g)=\overline{f(g^{-1})},
\]
for some \(f\in L^2(G)\) that is bi-\(K\)-invariant; if \(\phi\) is real-valued, \(f\) may be chosen real-valued [1310.0321]. Given an isometry \(S\) from \(L^2(G)\) into a Gaussian Hilbert space, one defines
\[
T_x^f=S(L_g f),\qquad gx_0=x.
\]
Because \(f\) is \(K\)-invariant, this is well defined. The resulting field is centered, Gaussian, mean-square integrable, and isotropic, with covariance determined by inner products of left translates of \(f\) [1310.0321].

For spin fields on \(S^2\), the same mechanism is transferred from functions on a homogeneous space to sections of homogeneous line bundles. For \(s\in\mathbb Z\), the spin \(s\) line bundle \(\xi_s\) is
\[
\xi_s = SO(3)\times_{\chi_s}\mathbb C,
\]
where \(\chi_s:K\to U(1)\) is the character defining the bundle action [1310.0321]. A section corresponds uniquely to a function \(f:SO(3)\to\mathbb C\) of type \(s\), meaning
\[
f(gk)=\chi_s(k^{-1})f(g).
\]
The induced action on sections,
\[
(U_hu)(x)=h\,u(h^{-1}x),
\]
gives the notion of isotropy for random sections, and the paper proves that isotropy of a section is equivalent to isotropy of the pullback random field on \(SO(3)\) [1310.0321].

A key structural point is the distinction between scalar and spin cases. For \(s=0\), real isotropic Gaussian fields on homogeneous spaces arise from real \(K\)-invariant kernels. For \(s\neq 0\), spin random fields are inherently complex-valued as bundle sections: the covariance under the \(K\)-action prevents a nontrivial spin field from being real. This is precisely why the later literature studies the real part of a complex spin field as a real Gaussian field on \(SO(3)\), rather than as a real spin section on \(S^2\) [1310.0321], [2406.04850].

## 2. Harmonic analysis on \(SO(3)\) and the spin series model

On \(S^2\), with \(G=SO(3)\) and \(K\simeq SO(2)\), the irreducible unitary representations are the Wigner matrices \(D^\ell\), \(\ell\ge 0\), with entries \(D^\ell_{m,n}(g)\), and the Peter–Weyl expansion organizes square-integrable functions on the group [1310.0321]. For type-\(s\) functions, only the \((-s)\)-th Wigner column appears, and every type-\(s\) function admits the decomposition
\[
f=\sum_{\ell\ge|s|}\sqrt{2\ell+1}\sum_{m=-\ell}^{\ell}\widehat f(\ell)_{-s,m}D^\ell_{m,-s}.
\]
The spin harmonics are obtained from Wigner matrix coefficients through
\[
{}_{-s}Y_{\ell,m}(x) = \theta\!\left(g,\sqrt{\frac{2\ell+1}{4\pi}}\ \overline{D^\ell_{m,s}(g)}\right), \qquad x=gK,
\]
and they form an orthonormal basis of \(L^2(\xi_s)\) [1310.0321].

The modern probabilistic model used for real left-invariant spin Gaussian fields starts from the complex Gaussian series
\[
X=\sum_{l=|s|}^{\infty} c_l \sum_{m=-l}^{l}\gamma^l_{m,s}\, D^l_{m,s},
\]
where \(D^l_{m,s}\) are Wigner \(D\)-matrix coefficients, the \(\gamma^l_{m,s}\) are i.i.d. complex Gaussian variables, and the \(c_l>0\) specify the angular power spectrum [2406.04850]. The field satisfies the right-spin covariance relation
\[
X(pR_3(\psi))=X(p)e^{-is\psi},
\]
which expresses the usual spin-weighted transformation law under a change of local tangent frame [2406.04850].

The associated real field is defined by
\[
f=\Re(X).
\]
This real part is the object of geometric analysis because, in the formulation given in the 2024 work, the real and imaginary parts are completely correlated and therefore carry equivalent statistical information [2406.04850]. The 2025 analysis uses the same model and imposes the normalization
\[
1=\operatorname{Var}(f(P))=\sum_{l=|s|}^{\infty}\frac{c_l^2}{2}, \qquad \forall P\in SO(3),
\]
together with the frequency parameter
\[
\xi^2:=\sum_{l=|s|}^{\infty}\frac{c_l^2}{2}\,\frac{l(l+1)-s^2}{2}>0,
\]
which determines the local second-order geometry induced by the field [2507.08550].

A useful way to interpret this harmonic expansion is that the complex spin section over \(S^2\) and the lifted complex field on \(SO(3)\) encode the same statistical content, while the real left-invariant field \(f\) is the natural real-valued surrogate for geometric and topological questions on the group manifold. This suggests that the passage from \(S^2\) to \(SO(3)\) is not merely a coordinate convenience but a structural re-expression of spin covariance in terms of group actions [2507.08550].

## 3. Left invariance, right-spin covariance, and non-isotropy

The defining symmetry of the complex spin model is right covariance under the circle subgroup generated by rotations about the vertical axis:
\[
X(PR_3(\psi))=X(P)e^{-is\psi}.
\]
Taking real parts yields
\[
f(PR_3(\psi))=
\begin{cases}
f(P)\cos(s\psi)+f\!\left(PR_3\!\left(\frac{\pi}{2s}\right)\right)\sin(s\psi), & s\neq 0,\\[0.4em]
f(P), & s=0.
\end{cases}
\]
In particular, for \(s\neq 0\),
\[
f(P)=-f\!\left(PR_3\!\left(\frac{\pi}{s}\right)\right),
\qquad
f(P)\ \text{and}\ f\!\left(PR_3\!\left(\frac{\pi}{2s}\right)\right)\ \text{are independent}
\]
[2507.08550].

At the same time, the field is left-invariant in law:
\[
f(R\cdot)\sim f(\cdot),\qquad \forall R\in SO(3),
\]
and is also invariant in law under the right \(S^1\)-action generated by \(R_3(\psi)\):
\[
f(\cdot\,R_3(\psi))\sim f(\cdot)
\]
[2507.08550]. In covariance form, this becomes
\[
E[f(p)f(q)] = K(p^{-1}q)=\frac12\sum_{l\ge |s|} c_l^2 \Re D^l_{s,s}(p^{-1}q)
\]
for the 2024 formulation [2406.04850], and more generally
\[
C(P,Q)=C\!\left(I,\,R_3(-\psi)P^{-1}QR_3(\psi)\right)
\]
in the 2025 formulation [2507.08550].

A recurring misconception is to identify left invariance with isotropy on \(SO(3)\). The later papers explicitly reject this equivalence. The field is not isotropic on \(SO(3)\) in the usual scalar sense, because it is not right-invariant under the full group and its covariance is not a function of distance alone [2507.08550]. Right invariance would be a much stronger symmetry and occurs only in the special homothetic case \(g^f\propto g\) [2406.04850]. Thus the term “real left-invariant spin Gaussian field” refers to a real field whose law is invariant under left translations, while its residual right-structure retains the spin information.

This asymmetry is essential rather than accidental. The physical polarization signal is not scalar, and the right \(S^1\)-action corresponds to frame rotations around the line of sight. A plausible implication is that the non-isotropic character of \(f\) on \(SO(3)\) is the geometric trace of the underlying bundle-valued nature of the spin field on \(S^2\) [2507.08550].

## 4. Geometry on \(SO(3)\) and the Adler–Taylor metric

The geometric analysis is carried out on \(SO(3)\) equipped with its standard Riemannian metric \(g=g_{R^6}\). In Euler-angle coordinates \(p=R(\varphi,\theta,\psi)\), the Gram matrix of \(g\) is
\[
\Sigma_{(1,1)}(\theta)=
\begin{pmatrix}
1 & 0 & \cos\theta\\
0 & 1 & 0\\
\cos\theta & 0 & 1
\end{pmatrix}
\]
[2406.04850]. The 2025 paper describes the same geometry through the embedding
\[
\iota:SO(3)\hookrightarrow \mathbb R^6,\qquad P\mapsto (Pe_2,Pe_3),
\]
and the projection
\[
\pi:SO(3)\to S^2,\qquad \pi(P)=Pe_3,
\]
which is a Riemannian submersion whose fibers are circles of length \(2\pi\) [2507.08550].

For a nondegenerate smooth Gaussian field \(f\), the field-induced metric is the Adler–Taylor metric
\[
g^f_p(v,v)=E|d_pf(v)|^2.
\]
In the spin setting, this is another left-invariant metric \(g_{\xi,s}\), with local Gram matrix
\[
\Sigma_{(\xi,s)}(\theta)=
\begin{pmatrix}
\xi^2\sin^2\theta+s^2\cos^2\theta & 0 & s^2\cos\theta\\
0 & \xi^2 & 0\\
s^2\cos\theta & 0 & s^2
\end{pmatrix},
\]
which at \((0,\pi/2,0)\) reduces to
\[
\Sigma_{(\xi,s)}=
\begin{pmatrix}
\xi^2 & 0 & 0\\
0 & \xi^2 & 0\\
0 & 0 & s^2
\end{pmatrix}
\]
[2406.04850], [2507.08550]. Relative to the standard metric, the eigenvalues are constant:
\[
a_1=a_2=\xi^2,\qquad a_3=s^2
\]
[2406.04850].

The metric is therefore non-homothetic in general. The classical Adler–Taylor Gaussian kinematic formula applies directly when
\[
g^f=\xi^2 g,
\]
but spin fields on \(SO(3)\) are not homothetic except in the special case \(\xi=|s|\) [2406.04850]. This distinction is central to later developments, because the Lipschitz–Killing curvatures are computed with respect to the background geometry \(g\), not merely the field-induced geometry \(g^f\).

The 2025 paper further decomposes the gradient into horizontal and vertical components. Writing
\[
V(P)=\left.\frac{\partial}{\partial\psi}\right|_{\psi=0}PR_3(\psi),
\qquad
\Ho(P)=V(P)^{\perp_g},
\]
one has
\[
\nabla f=\nabla^H f + (\partial_\psi f)\,V,
\]
with orthogonality for both \(g\) and \(g^f\) [2507.08550]. Moreover,
\[
\frac{1}{s}\partial_\psi f = f\!\left(PR_3\!\left(\frac{\pi}{2s}\right)\right),
\]
and
\[
\|\nabla f\|_{g^f}^2=\xi^2\|\nabla^H f\|^2+s^2\|V\text{-component}\|^2
\]
[2507.08550]. This makes the spin contribution geometrically explicit: \(\xi\) controls the horizontal directions, while \(s\) controls the fiber direction.

The curvature of \(g^f\) can also be computed explicitly. Its scalar curvature is constant:
\[
\scal^f=\frac{2}{\xi^2}-\frac{s^2}{2\xi^4},
\]
and the corresponding Lipschitz–Killing curvatures of \((SO(3),g^f)\) include
\[
\mathcal L_3^f(SO(3))=8\pi^2\xi^2|s|,
\qquad
\mathcal L_1^f(SO(3))=4|s|\pi\left(1-\frac{s^2}{4\xi^2}\right),
\]
with \(\mathcal L_0^f(SO(3))=\chi(SO(3))=0\) and \(\mathcal L_2^f(SO(3))=0\) [2406.04850].

## 5. Excursion geometry and expected Lipschitz–Killing curvatures

The excursion set of the real field is
\[
A_u(f)=\{p\in SO(3): f(p)\ge u\}.
\]
For unit-variance fields, the 2024 paper states that \(A_u(f)\) is almost surely a smooth manifold with boundary, and derives explicit, non-asymptotic formulas for the expected Lipschitz–Killing curvatures measured with respect to the background metric \(g\) [2406.04850].

The theorem gives
\[
E\,\mathcal L_3(f\ge u)=8\pi^2(1-\Phi(u)),
\]
\[
E\,\mathcal L_2(f\ge u)=4\pi e^{-u^2/2}\,\text{(explicit function of }\xi,s\text{)},
\]
\[
E\,\mathcal L_1(f\ge u)=2\sqrt{2\pi}\,u e^{-u^2/2}\,\text{(explicit function of }\xi,s\text{)}+3\pi(1-\Phi(u)),
\]
and
\[
E\,\mathcal L_0(f\ge u)=2e^{-u^2/2}\,\text{(explicit function of }\xi,s\text{)}
\]
[2406.04850]. The \(L_2\) and \(L_1\) terms are expressed via the auxiliary expectations
\[
E_1(a_1,a_2,a_3):=E\frac{\sum_{i=1}^3 a_i^2\gamma_i^2}{\sum_{i=1}^3 a_i\gamma_i^2},
\qquad
E_2(a_1,a_2,a_3):=E\sqrt{\sum_{i=1}^3 a_i\gamma_i^2},
\]
with \(\gamma_i\sim N(0,1)\) independent, specialized in the spin case to \((a_1,a_2,a_3)=(\xi^2,\xi^2,s^2)\) [2406.04850].

Conceptually, these quantities are the Minkowski functionals in dimension three: volume, half the boundary area, Euler characteristic, and a curvature-sensitive functional involving mean and scalar curvature [2406.04850]. Their role in cosmology is to detect geometric and topological deviations from Gaussianity and isotropy not visible in the power spectrum alone, particularly for the spin-2 polarization field relevant to LiteBIRD and to tests of inflationary physics and primordial gravitational waves [2406.04850].

The comparison with previous asymptotic work is also explicit. The exact formulas are presented as coherent with the asymptotic high-frequency results for spin-2 fields, and after identifying metric conventions they recover the same leading behavior [2406.04850]. This suggests that real left-invariant spin Gaussian fields admit both an exact finite-frequency geometric theory and a high-frequency asymptotic regime, with the former sharpening the constants left implicit in earlier analyses.

## 6. Chaos decomposition of level-set area and the spin-sensitive fluctuation regime

The 2025 paper studies the level-set area
\[
L(B):=\operatorname{Area}\big(f^{-1}(t)\cap B\big), \qquad B\subset SO(3)\ \text{measurable},
\]
especially for sets \(B=\pi^{-1}(D)\) that are unions of fibers over \(D\subset S^2\) [2507.08550]. This is the second Lipschitz–Killing curvature of the excursion boundary in the geometric setting adapted to polarization.

The area measure admits the Wiener–Itô decomposition
\[
L(\pi^{-1}(D))=\mathbb E[L(\pi^{-1}(D))]+\sum_{q=1}^{\infty}L[2q](\pi^{-1}(D)),
\]
with convergence in \(L^2\), and only even chaos orders appear [2507.08550]. A central ingredient is the fiberwise spin norm
\[
\|f\|_{T_x^s}:=|X(P)|,\qquad \pi(P)=x\in S^2,
\]
which is well defined because \(|X(PR_3(\psi))|=|X(P)|\) [2507.08550]. The resulting chaos expansion is
\[
\frac{L_{f-t}(\pi^{-1}(D))}{\xi}[q]
=
\sum_{\substack{a,b\in\mathbb N\\ a+b=q/2}}
e^{-t^2/2}\, \kappa_t(a,b,s^2/\xi^2)
\int_D \Sigma_a\!\left(\|f\|_{T_x^s}^2\right)
\Sigma_b\!\left(\frac{\|\nabla_x^H f\|^2}{\xi^2}\right)\,dx,
\]
for \(s\neq 0\), where \(\kappa_t\) is given explicitly in terms of hypergeometric and Beta factors [2507.08550].

The coefficient is written as
\[
\kappa_t(a,b,s^2/\xi^2) =
\sum_{i=0}^{b}
{}_2F_1\!\left( b-\frac12,\, i+\frac12;\, b+\frac32;\, 1-\frac{s^2}{\xi^2} \right)
\left(\frac{s^2}{\xi^2}\right)^i
\nu(i,\beta,a)\,
\frac{H_{2-2i}(t)}{H_{2-2i}(0)},
\]
with \(\beta=b-i\), while the derivation starts from a general nodal-chaos identity involving the Hermite terms \(H_{2a}(f(P))\) and a vertical-gradient chaos polynomial \(\widetilde H_{2b}(d_Pf)\) [2507.08550].

The zero-spin case collapses to the scalar spherical model. When \(s=0\),
\[
f=\phi\circ\pi
\]
for an isotropic Gaussian field \(\phi\) on \(S^2\), and
\[
L_{f-t}(\pi^{-1}(D))=2\pi\,L_{\phi-t}(D),
\]
so the area problem on \(SO(3)\) becomes a nodal-length problem on the sphere [2507.08550]. The corresponding chaos expansion then replaces the spin-dependent fiber terms by scalar Hermite terms on \(S^2\).

A principal conclusion of the 2025 work is the separation between first-order and higher-order behavior. The leading expectation becomes asymptotically spin-blind in the high-frequency regime:
\[
\kappa_t(a,b,s/\xi)\to \kappa_t(a,b,0) \qquad (\xi\to\infty,\ s\ \text{fixed}),
\]
so the expected geometry has the same leading asymptotics for all spins [2507.08550]. By contrast, higher chaos orders remain spin-sensitive because of the terms
\[
\Sigma_a\!\left(\|f\|_{T_x^s}^2\right),
\]
and the paper records the inequality
\[
\Sigma_a\!\left(\|f\|_{T_x^s}^2\right)
=
(2a)!\,4\pi^{3/2}\frac{\Gamma(a+\frac12)}{a!}
\le
(2a)!\,4\pi^2
=
2\pi\,H_{2a}(\phi(x))
\]
[2507.08550]. The stated implication is that expectations may lose sensitivity to spin at high frequency, whereas variances and higher-order fluctuations do not.

## 7. Relation to classical spin bundles and applications to CMB polarization

The representation-theoretic formulation is compatible with the classical spin-bundle formalism. The 2013 paper identifies the homogeneous line bundle \(\xi_{-s}\) with the usual spin-\(s\) bundle on \(S^2\) by showing that the transition functions in local charts are
\[
\lambda_{i,j}(x)=\chi_s(k_{i,j}(x)),
\]
which coincide with the classical spin transition factors \(e^{is\psi_{j,i}(x)}\) [1310.0321]. This establishes that the global \(SO(3)\)-based formulation and the local coordinate-based Newman–Penrose and Geller–Marinucci descriptions are equivalent, while the group-theoretic version is cleaner for representation-theoretic purposes [1310.0321].

The cosmological motivation is explicit in both recent papers. Spherical spin random fields are used to model Cosmic Microwave Background polarization, and polarization is a spin-\(2\) object rather than a scalar field [2406.04850], [2507.08550]. The lift to \(SO(3)\) is natural because the right \(S^1\)-action encodes rotation of the local polarization frame around the line of sight [2507.08550]. In this setting, real left-invariant spin Gaussian fields provide a real-valued geometric observable whose excursion sets and level sets can be analyzed with exact differential-geometric and stochastic tools.

Two complementary lines of investigation therefore meet in this topic. The first is representational: every isotropic complex Gaussian spin section arises from a bi-\(s\)-associated \(L^2\)-kernel via convolution square roots on \(SO(3)\) [1310.0321]. The second is geometric-probabilistic: the real part of the lifted field admits explicit formulas for expected Lipschitz–Killing curvatures and for Wiener–Itô chaos decompositions of level-set area [2406.04850], [2507.08550]. Taken together, these results place real left-invariant spin Gaussian fields at the intersection of harmonic analysis on compact groups, Gaussian random geometry, and the statistical theory of polarized cosmological data.

Source: https://www.emergentmind.com/topics/real-left-invariant-spin-gaussian-fields