FLRW embeddings in $\mathbb{R}^{n+2}$, differential geometry and conformal photon propagator

This paper introduces differential-geometric methods to embed $n$-dimensional locally conformally flat spaces, specifically FLRW metrics, into $\mathbb{R}^{n+2}$ to derive explicit formulas relating intrinsic and ambient geometric objects and obtain simplified expressions for the photon propagator in four dimensions.

The Gist

The Big Picture: Mapping the Universe onto a Higher-Dimensional Canvas

Imagine you are trying to understand the shape and behavior of our universe (which is expanding and curved). In physics, this is described by something called FLRW space (Friedmann-Lemaître-Robertson-Walker). It's the standard model for how the universe looks on a large scale.

Usually, doing math on this curved, expanding universe is like trying to draw a perfect map of the Earth on a flat piece of paper. It's possible, but you have to deal with distortions, weird angles, and complicated formulas that make the math a nightmare.

The authors' big idea: Instead of trying to do all the hard math on the curved surface of the universe, let's imagine the universe is just a shadow or a slice of a much larger, simpler, flat space. If we can figure out exactly how to "slice" this bigger space, we can do all our calculations in the simple, flat world and then just "project" the answer back onto our universe.

The Core Metaphor: The Shadow Puppet Show

Think of the universe as a shadow puppet on a wall.

• The Wall: This is our 4-dimensional universe (3 dimensions of space + 1 of time). It's curved and complex.
• The Light Source & Screen: This is the "Ambient Space" ($R^{n+2}$). It's a flat, higher-dimensional room (6 dimensions for our 4D universe).
• The Puppet: The physical universe is actually a specific shape (a submanifold) floating inside this big room.

The paper introduces a new, incredibly simple way to cut out that puppet shape from the big room.

1. The "Magic" Embedding Formulas

For decades, physicists knew you could embed our universe into a higher dimension, but the formulas were messy. They were like trying to describe a complex origami crane with a paragraph of confusing instructions.

The authors found a new set of instructions (formulas) that are surprisingly simple.

• The Analogy: Imagine you have a piece of clay (the universe). Previous methods required you to sculpt it by hand, measuring every curve. The authors found a cookie cutter. They showed that if you press a specific, simple shape (defined by a function $f$) against the clay, you get the exact universe you need, whether it's flat, open, or closed.
• Why it matters: Because the "cookie cutter" is so simple, the math describing the universe becomes much easier.

2. The "Conformal" Connection

The universe has a special property called conformal symmetry.

• The Analogy: Imagine taking a photo of a city and zooming in or out. The buildings get bigger or smaller, but their shape (the angles between streets) stays the same. The universe behaves like this photo.
• The authors use a 6-dimensional space (specifically a "null cone" in a 6D room) where this zooming property is obvious and easy to handle. By working in this 6D room, they can see the "shape" of the universe without getting lost in the "size" changes.

3. The Main Achievement: The Photon Propagator

The paper's biggest practical result is about light (photons).

• The Problem: In an expanding universe, calculating how light travels from point A to point B (the "propagator") is notoriously difficult. It's like trying to predict the path of a ball thrown on a trampoline that is constantly stretching and changing shape.
• The Solution: Because the authors found such a clean way to map the universe into the 6D room, they could calculate the path of light in that simple room and then translate it back.
• The Result: They produced new, simplified formulas for how light travels in our universe.
  • The Metaphor: Previously, calculating the path of light was like navigating a maze with a blindfold. The authors gave us a map of the maze from a helicopter view. Suddenly, the path is a straight line.

4. Why This is a "Game Changer"

The paper solves two problems at once:

1. Geometry: It gives a universal, simple recipe for embedding any type of expanding universe (flat, spherical, or saddle-shaped) into a higher dimension.
2. Physics: It uses that geometry to simplify the equations for light (Maxwell's equations).

The "Gauge" Trick:
One of the hardest parts of light physics is "gauge invariance" (the idea that you can change how you measure the electric field without changing the physical reality).

• The Analogy: It's like measuring the height of a mountain. You can measure from sea level, or from the base of the mountain, or from the center of the Earth. The number changes, but the mountain is the same.
• The authors show that in their 6D view, all the confusing "extra" terms that usually appear in the math are just "gauge noise"—they are like measuring the mountain from a slightly different spot. They proved that these extra terms don't actually change the physical result, allowing them to be thrown away to get a much cleaner answer.

Summary

Think of this paper as finding a universal translator between the complex, curved language of our expanding universe and the simple, flat language of higher-dimensional geometry.

• Old Way: Struggle with complex math directly on the curved universe.
• New Way: Use a simple "cookie cutter" to slice the universe out of a 6D flat room, do the easy math there, and project the answer back.

The result is a set of elegant, simple formulas that describe how light travels through the cosmos, making it much easier for physicists to study the early universe, inflation, and the behavior of the cosmos as a whole.

Technical Summary

1. Problem Statement

The paper addresses two interconnected challenges in theoretical physics and differential geometry:

1. Lack of Explicit Embeddings: While the conformal group of $n$-dimensional conformally flat spaces is $SO(2,n)$, which acts naturally on an ambient space $\mathbb{R}^{n+2}$, explicit and simple embedding formulas for generic Friedmann-Lemaître-Robertson-Walker (FLRW) spacetimes into $\mathbb{R}^{n+2}$ have been historically difficult to obtain. Previous attempts often relied on cumbersome coordinate transformations or embeddings in $\mathbb{R}^{n+1}$ that obscured conformal symmetry.
2. Complexity of Field Propagators: Calculating two-point functions (propagators) for conformally invariant fields (specifically the photon/Maxwell field) in FLRW backgrounds is technically challenging due to gauge invariance and the complexity of the spacetime geometry. Existing methods often break manifest conformal invariance or require intricate calculations in intrinsic coordinates.

The authors aim to bridge the gap between the intrinsic geometry of FLRW spacetimes and the ambient geometry of $\mathbb{R}^{n+2}$ to derive simplified, closed-form expressions for photon propagators.

2. Methodology

The authors employ a manifestly covariant ambient space formalism combined with advanced differential geometry techniques:

• Geometric Setup: They define the physical spacetime $X_f$ as the intersection of the null cone $C$ ($y^\alpha y_\alpha = 0$) and a hypersurface $P_f$ defined by a homogeneous function $f(y)$ of degree 1 in $\mathbb{R}^{n+2}$.
  • $X_f = C \cap P_f$.
  • The induced metric on $X_f$ is conformally flat.
• Differential Geometry Framework:
  • They establish a rigorous correspondence between differential forms and operators on the ambient space $\mathbb{R}^{n+2}$ and those on the embedded submanifold $X_f$.
  • They introduce the concepts of transverse and strongly transverse forms. A form is "strongly transverse" if it is annihilated by the interior products with the dilation vector $D$ and the normal vector $F$, and satisfies specific homogeneity conditions.
  • They derive explicit pull-back and extension formulas for differential operators (exterior derivative $d$, codifferential $\delta$, and Laplacians $\square$ and $\Delta$) relating the ambient operators to their intrinsic counterparts.
• Curvature Derivation: Using the defining function $f$, they derive explicit formulas for the Riemann tensor, Ricci tensor, and scalar curvature of $X_f$ solely in terms of ambient quantities (specifically the Hessian of $f$ and the vector $F$).
• Embedding Construction: Leveraging the property that any conformally flat space is conformally related to a maximally symmetric space (Minkowski, de Sitter, or Anti-de Sitter), they construct explicit embedding formulas for FLRW spaces by scaling the coordinates of these base spaces using the conformal factor derived from the FLRW scale factor $a(t)$.

3. Key Contributions

A. New Embedding Formulas for FLRW Spaces

The paper provides remarkably simple, closed-form embedding formulas for FLRW spaces of all curvature types ($k = -1, 0, +1$) into $\mathbb{R}^{n+2}$.

• Method: Instead of solving complex differential equations for an extra coordinate, they utilize the conformal relation between FLRW metrics and the metrics of Einstein spaces (dS, AdS, Minkowski) in specific coordinate systems.
• Result: For a scale factor $a(t)$ and conformal time $t$, the embedding coordinates $y^\alpha$ are given by simple trigonometric or hyperbolic functions scaled by $a(t)$.
  • Example ($k=0$): $y^\mu = a(t)\xi^\mu$, $y^n = \frac{1}{2}a(t)(1+\xi^2)$, $y^{n+1} = \frac{1}{2}a(t)(1-\xi^2)$.
  • These formulas are significantly simpler than previous literature (e.g., those involving integrals or complex coordinate transformations).

B. Generalized Differential Operator Relations

The authors derive a comprehensive set of formulas (Props. 7–12) that relate intrinsic operators on $X_f$ to ambient operators on $\mathbb{R}^{n+2}$.

• They show that for strongly transverse fields, the intrinsic wave operator $\square_f$ is simply the pull-back of the ambient wave operator $\square_\eta$.
• They provide the Weitzenböck formula relating the Laplace-de Rham operator to the Laplace-Beltrami operator on $X_f$ using the curvature derived from $f$.

C. Simplified Photon Propagator

The most significant physical result is the derivation of the photon (Maxwell field) two-point function in FLRW spacetimes.

• Ambient Representation: They express the photon propagator in the ambient space as:
  $$\langle \alpha(x)\alpha(x') \rangle_f = -\frac{1}{8\pi^2} m_f^* \left( \frac{\eta_{\alpha\beta'} dy^\alpha \otimes dy'^{\beta'}}{y \cdot y'} \right)$$
• Gauge Invariance Analysis: They demonstrate that the difference between the propagator in a general FLRW space and its corresponding Einstein space (base space) consists entirely of pure gauge terms.
• Closed-Form Results: By calculating the ambient product $y \cdot y'$ for the new embeddings, they provide explicit, simplified expressions for the photon propagator in $k=0, \pm 1$ FLRW spaces.

4. Key Results

1. Explicit Embeddings: Equations (7) and (9) provide the definitive, simple embedding functions $f_k(y)$ for FLRW spaces of types $k=-1, 0, +1$ in $\mathbb{R}^{n+2}$.
2. Curvature Formulas: Equations (23)–(25) give the Riemann, Ricci, and scalar curvatures of $X_f$ directly in terms of the defining function $f$ and its derivatives in the ambient space.
3. Scalar Field Propagator: The two-point function for a massless conformally coupled scalar field is recovered as a simple restriction of the ambient Green's function (Eq. 32), valid for all conformally flat spacetimes.
4. Photon Propagator:
   • The authors show that $\langle \alpha(x)\alpha(x') \rangle_{FLRW} = \langle \alpha(x)\alpha(x') \rangle_{Einstein} + \text{Pure Gauge Terms}$.
   • This allows the use of the much simpler Einstein space propagator for physical calculations, discarding the gauge terms.
   • Explicit component forms for the field strength two-point function $\langle F(x)F(x') \rangle$ are provided for all $k$ types (Eqs. 43–49), showing they are identical to the Minkowski/dS/AdS forms up to coordinate transformations.

5. Significance

• Unification of Formalism: The paper unifies the treatment of Minkowski, (Anti-)de Sitter, and FLRW spacetimes under a single $SO(2,n)$-covariant framework in $\mathbb{R}^{n+2}$.
• Computational Efficiency: The derived embedding formulas and propagator expressions drastically reduce the algebraic complexity of calculating correlation functions in cosmological backgrounds. This is particularly valuable for inflationary cosmology and quantum field theory in curved spacetime.
• Gauge Clarity: By identifying the extra terms in FLRW propagators as pure gauge, the paper clarifies the physical content of photon correlations in expanding universes, resolving ambiguities present in previous intrinsic-coordinate approaches.
• Future Applications: The simplified formulas are poised to assist in studying cosmological phenomena such as brane-world scenarios, initial singularities, and higher-dimensional physics (Kaluza-Klein theories) where conformal symmetry plays a central role.

In conclusion, this work provides a powerful geometric toolkit that transforms the study of conformally invariant fields in FLRW universes from a difficult intrinsic problem into a manageable ambient space calculation, yielding new, simplified, and physically transparent results.