Algebraically-Special Cosmological Perturbations

• Algebraically-special cosmological perturbations are defined by a vanishing Weyl tensor that maintains conformal flatness even when soft, long-wavelength deformations are introduced.
• They employ large gauge transformations to generate soft modes that preserve the complete suite of explicit and hidden symmetries of the flat FLRW metric.
• The analytic control of deformed conformal, Killing–Yano, and quadratic Killing tensors facilitates closed-form solutions for photon and gravitational-wave trajectories.

Algebraically-special cosmological perturbations are those in which the perturbed Weyl tensor remains identically zero, preserving conformal flatness (Petrov type O) even after the inclusion of long-wavelength, or "soft," modes. In the context of a flat Friedmann–Lemaître–Robertson–Walker (FLRW) background, these perturbations exhibit a custodial structure under large gauge transformations (LGTs), which operate as diffeomorphisms that do not vanish at spatial infinity and carry nontrivial quasi-local charges. The distinctive property of such perturbations is the preservation of the full suite of explicit and hidden symmetries of the background metric—namely, the conformal group SO(4,2), a complete set of conformal Killing vectors (CKVs), and a tower of Killing–Yano and Killing tensors—enabling analytic control of soft-sector cosmological physics (Achour et al., 7 Jan 2026).

1. Petrov Classification and Conformal Flatness

The algebraic classification of the Weyl tensor, known as the Petrov classification, categorizes four-dimensional spacetimes based on the multiplicity of their principal null directions. Petrov type O is uniquely characterized by a completely vanishing Weyl tensor, $C_{\mu\nu\rho\sigma} = 0$, corresponding to conformal flatness. The unperturbed flat FLRW metric,

$$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$

is always of Petrov type O. Any perturbation generated through a diffeomorphism,

$$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$

applied to this Weyl-flat seed leaves the Weyl tensor zero at leading order due to the tensor's invariance under Lie dragging:

$$C_{\mu\nu\rho\sigma}[\bar g + \delta g] = \mathcal{L}_\xi C_{\mu\nu\rho\sigma}[\bar g] + O(\xi^2) = 0.$$

Thus, the algebraically-special property is preserved nonperturbatively for all long-wavelength adiabatic deformations (Achour et al., 7 Jan 2026).

2. Large Gauge Transformations and Parametrization of Soft Modes

Adiabatic soft modes in cosmological perturbation theory are precisely those induced by LGTs—coordinate transformations that modify the mean geometry of a cosmological patch and do not decay at the boundary. In Newtonian (longitudinal) gauge, all first-order adiabatic soft modes are governed by six arbitrary functions of time: $$\xi^0(\eta, x) = m(\eta) + g_i(\eta) x^i, \qquad \xi^i(\eta, x) = c^i(\eta) + \Omega^i{}_j(\eta) x^j,$$ with $\Omega_{ij} = -\Omega_{ji}$. These induce scalar, vector, and tensor components: $$\begin{aligned} \Phi(\eta, x) &= m'(\eta) + m(\eta) + (g'_i + g_i) x^i,\ \Psi(\eta, x) &= -m(\eta) - g_i(\eta) x^i,\ \Phi_i(\eta, x) &= g_i(\eta) - (c^{i\,\prime} + \Omega^i{}_j{}' x^j),\ E_{ij}(\eta, x) &= \tfrac{1}{2}\left[\partial_i\xi_j + \partial_j\xi_i - \tfrac{2}{3} \delta_{ij} \partial_k \xi^k\right]. \end{aligned}$$ All such modes preserve $C_{\mu\nu\rho\sigma} = 0$ due to their origin as diffeomorphisms of the Weyl-flat background (Achour et al., 7 Jan 2026).

3. Preservation and Deformation of Exact and Hidden Symmetries

The flat FLRW metric admits a full set of fifteen conformal Killing vectors, generating SO(4,2) symmetry: spatial translations ($T_i$), rotations ($R_{ij}$), dilatation ($$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$0), four special conformal transformations ($$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$1), time translation ($$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$2), and boosts ($$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$3). Under the action of soft-mode diffeomorphisms $$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$4, each background CKV $$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$5 maps to a deformed CKV via:

$$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$6

The deformed CKVs satisfy the requisite conformal Killing equations with respect to the perturbed metric, ensuring the survival of both explicit and hidden symmetries. The true Killing vectors ($$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$7, $$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$8) remain divergence-free, and the symmetry algebra is preserved in a deformed guise (Achour et al., 7 Jan 2026).

4. Killing–Yano and Quadratic Killing Tensors under Soft Perturbations

The background possesses four rank-2 Killing–Yano (KY) tensors,

$$\bar g_{\mu\nu} dx^\mu dx^\nu = a^2(\eta)\bigl(-d\eta^2 + \delta_{ij} dx^i dx^j\bigr),$$9

all satisfying $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$0. Under diffeomorphisms, they transform as

$$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$1

preserving the generalized KY equation. Quadratic Killing tensors $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$2 also survive, serving as Carter-type invariants for geodesic motion in the presence of soft modes. This structure enables the analytic integration of photon and gravitational-wave trajectories even with large amplitude adiabatic long-wavelength perturbations (Achour et al., 7 Jan 2026).

5. Quasi-local Mean Curvature Energy, Angular Momentum, and Frame Ambiguity

A finite FLRW patch of comoving radius $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$3 admits a quasi-local mean-curvature energy,

$$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$4

where $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$5 and $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$6 are the extrinsic-curvature traces along normal directions to the patch boundary. For the background metric,

$$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$7

Monopole–dipole soft modes alter this energy at leading order as

$$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$8

The functions $$x^\mu \to x^\mu - \xi^\mu(\eta, x^i), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu,$$9 and $$C_{\mu\nu\rho\sigma}[\bar g + \delta g] = \mathcal{L}_\xi C_{\mu\nu\rho\sigma}[\bar g] + O(\xi^2) = 0.$$0 induce genuine shifts in quasi-local energy and modify apparent horizon positions. Axial dipole perturbations tied to $$C_{\mu\nu\rho\sigma}[\bar g + \delta g] = \mathcal{L}_\xi C_{\mu\nu\rho\sigma}[\bar g] + O(\xi^2) = 0.$$1 generate mean-curvature twist and angular momentum,

$$C_{\mu\nu\rho\sigma}[\bar g + \delta g] = \mathcal{L}_\xi C_{\mu\nu\rho\sigma}[\bar g] + O(\xi^2) = 0.$$2

analogous to Kerr spin generation in black-hole perturbation theory. The free monopole–dipole functions signal a residual frame ambiguity that must be resolved via boundary charge selection to facilitate comparison of cosmological observables across time or regions (Achour et al., 7 Jan 2026).

6. Analytic Control and Applications

Because all adiabatic long-wavelength FLRW soft modes are realizable as LGTs of a conformally flat metric, the total spacetime retains Petrov type O. This invariance guarantees the persistence of the full conformal symmetry SO(4,2) with all associated CKVs and an explicit tower of (deformed) Killing–Yano and Killing tensors. As a result, geodesic equations for photons and gravitational waves subject to these soft modes can be solved analytically, and all relevant conserved charges—including mean-curvature energy, angular momentum, and Carter-type invariants—remain available in closed form. This exceptional symmetry control underpins analytic treatments in the “separate-universe" approach, the derivation of infrared consistency relations, and accurate calculation of gravitational lensing in the soft sector (Achour et al., 7 Jan 2026).