Bulk-to-bulk photon propagator in AdS

This paper computes the bulk-to-bulk photon propagator in Anti-de Sitter space across various gauges using momentum and position space techniques, ensuring gauge invariance through BRST symmetry and identifying the Fried-Yennie gauge as providing the simplest position space expression with improved infrared behavior.

The Gist

Imagine you are trying to send a message across a vast, curved ocean. In physics, this "ocean" is a universe called Anti-de Sitter space (AdS), which has a very specific, bowl-like shape. The "message" is a photon (a particle of light), and the "rules of the ocean" are the laws of electromagnetism.

The problem? In this curved ocean, the rules for how light moves are tricky. There are many ways to describe the path of the light, much like there are many ways to describe a route on a map: you could say "go North," "go East," or "go straight." In physics, these different descriptions are called gauges.

This paper, written by Radu Moga and Kostas Skenderis, is essentially a master guidebook for calculating exactly how a photon moves through this curved ocean, no matter which "map" (gauge) you choose to use.

Here is the breakdown using everyday analogies:

1. The Problem: The "Ghost" in the Machine

In the world of quantum physics, calculating how a particle moves is like trying to solve a puzzle where some pieces are invisible.

• The Photon: The visible piece you want to track.
• The Gauge: The coordinate system you use to measure the photon.
• The Ghosts: In quantum math, when you fix a gauge (pick a coordinate system), you accidentally introduce "ghost" particles. These aren't real monsters; they are mathematical tools that ensure the math stays consistent.

The authors discovered a crucial secret: The photon and the ghost are best friends. If you know how the ghost moves, you automatically know a specific part of how the photon moves. This relationship is called BRST invariance. Think of it like a dance: if you know the steps of the lead dancer (the photon), you can predict the steps of the partner (the ghost) because they are locked in a specific rhythm. The authors used this "dance" to solve the equations much faster than before.

2. The Three Maps (Gauges)

The paper explores three different ways to draw the map of the ocean. Each map has its own pros and cons:

• The Axial Gauge (The "Vertical" Map):

  • Analogy: Imagine looking at the ocean from the side, where you only care about the depth and ignore the side-to-side movement.
  • Pros: It's very simple to write down the math for this map, especially if you are looking at the "surface" of the ocean (the boundary).
  • Cons: It breaks the symmetry of the ocean; it treats the depth differently from the width. It's like saying "Up is special, but Left and Right are just background noise."

• The Coulomb Gauge (The "Surface" Map):

  • Analogy: Imagine you are a boat captain who only cares about the water's surface currents, ignoring the deep currents.
  • Pros: It's also very simple mathematically and respects the symmetry of the surface.
  • Cons: Like the Axial gauge, it treats the depth of the ocean differently from the surface.

• The Covariant Gauge (The "All-Around" Map):

  • Analogy: This is the most "fair" map. It treats every direction in the ocean (depth, left, right, forward) exactly the same.
  • Pros: It respects the natural curvature of the universe. It's the most elegant.
  • Cons: The math is usually a nightmare. It's like trying to solve a 10,000-piece puzzle where every piece looks identical.

3. The Big Discovery: The "Fried-Yennie" Sweet Spot

The authors found a special setting within the "All-Around" map (the Covariant gauge) called the Fried-Yennie gauge.

• The Analogy: Imagine you are trying to walk through a crowded room.
  • In most settings, you bump into people (mathematical infinities) constantly.
  • In the Fried-Yennie gauge, the room magically rearranges itself so that you can walk straight through without bumping into anyone.
• Why it matters: In this specific setting, the math becomes incredibly simple. The complex "ghost" dance simplifies, and the photon's path looks like a clean, straight line. The authors found that in this gauge, the photon behaves in a way that is "transverse" (sideways) to the distance between points, which makes calculations for complex loops (like multiple photons interacting) much easier and less prone to errors.

4. Why Should You Care?

You might ask, "Who cares about photons in a curved math universe?"

• The Hologram Connection: There is a famous theory (AdS/CFT) that says our 3D universe might be a hologram of a higher-dimensional space like this AdS ocean. To understand the "hologram" (our universe), physicists need to know exactly how things move in the "source" (AdS). This paper provides the precise instructions for that movement.
• Looping the Loop: Physicists are now trying to calculate what happens when particles interact in loops (like a photon splitting and recombining). To do this, they need these "bulk-to-bulk" propagators (the path from one point in the ocean to another). This paper gives them the cleanest, most reliable formulas to do that.
• The Flat Space Limit: Even though this is about a curved universe, the math here helps us understand our own "flat" universe better, especially in situations where things get messy or infinite.

Summary

Think of this paper as the ultimate instruction manual for navigating a curved, quantum ocean.

1. The authors mapped out the rules for three different navigation styles (gauges).
2. They discovered a secret handshake (BRST invariance) between the photon and its mathematical "ghost" partner that simplifies the math.
3. They found a "Golden Route" (Fried-Yennie gauge) where the math is surprisingly simple and elegant, avoiding the usual traffic jams of complex calculations.

By providing these formulas, they are handing future physicists the tools to build better models of the universe, from the smallest particles to the largest cosmic structures.

Technical Summary

1. Problem Statement

The paper addresses the computation of the bulk-to-bulk photon propagator in Euclidean Anti-de Sitter (AdS) spacetime ($EAdS_{d+1}$) across various gauge choices. While the propagator is a fundamental component of perturbation theory and essential for calculating Witten diagrams (both tree-level and loop-level) in the AdS/CFT correspondence, explicit expressions for gauge fields in AdS are scarce compared to flat space.

Key challenges identified include:

• Gauge Dependence: The form of the propagator varies significantly depending on the gauge fixing condition (Axial, Coulomb, Covariant).
• BRST Consistency: In gauge theories, the gauge field propagator and the ghost propagator are not independent; they are linked by BRST invariance. Previous computations often focused only on the gauge field, potentially missing consistency constraints or incorrect ghost sectors required for loop calculations.
• Complexity: Covariant gauge expressions in AdS are notoriously complicated, and previous results (e.g., by Allen & Jacobson, Liu & Tseytlin) often relied on on-shell conditions or specific gauge choices that obscure the general structure.

2. Methodology

The authors employ a rigorous path-integral approach using BRST quantization to derive the propagators. Their methodology involves two complementary techniques:

A. Momentum Space Approach

• Setup: They work in Poincaré coordinates $(z, \vec{x})$ and Fourier transform along the boundary directions $\vec{x}$, leaving the radial coordinate $z$ in position space.
• Decomposition: The propagator $\tilde{G}_{\mu\nu}(z, z', \vec{p})$ is decomposed into independent tensor structures (transverse and longitudinal components) with scalar form factors $A, B, C_1, C_2, D$.
• Solving Differential Equations: The equations of motion for these form factors are coupled second-order differential equations in $z$.
• BRST Constraint Utilization: A crucial methodological innovation is the use of the BRST constraint equation (derived from the Ward identity $\nabla_\mu G^{\mu\nu} = \xi \partial^\nu G_{ghost}$) to decouple and solve the system. Instead of solving the full coupled system directly, they use the BRST relation to express longitudinal components in terms of the ghost propagator, significantly simplifying the algebra.

B. Position Space Approach

• Invariance: They assume the propagator depends only on the unique AdS-invariant distance (geodesic distance $\mu$, chordal distance $\xi$, or $u$).
• Ansatz: They propose an ansatz for the propagator in terms of bitensors constructed from the geodesic distance: $G_{\mu\rho'} = A(\mu)\nabla_\mu\nabla_{\rho'}\mu + B(\mu)\nabla_\mu\mu\nabla_{\rho'}\mu$.
• Boundary Conditions: Solutions are fixed by requiring:
  1. Correct short-distance behavior (matching the flat space limit).
  2. Normalizability/vanishing at large separation (Dirichlet boundary conditions).

3. Key Contributions and Results

A. Propagators in Specific Gauges

The authors derive explicit expressions for the photon and ghost propagators in three main gauges:

1. Axial Gauge ($n^\mu A_\mu = 0$):

   • Result: The propagator is simple in momentum space. The longitudinal part vanishes, and the ghost propagator is non-propagating (step function).
   • Insight: This gauge exploits the translational invariance of the boundary directions, making momentum space the natural domain.

2. Coulomb Gauge ($g^{ij}\partial_j A_i = 0$):

   • Result: Also simple in momentum space. The transverse part is identical to the axial gauge, but the $00$-component is non-zero.
   • Relation: The authors explicitly demonstrate that the Coulomb gauge propagator can be obtained from the Axial gauge propagator via a specific gauge transformation that enforces transversality on-shell.

3. Standard Covariant Gauge ($\nabla_\mu A^\mu = 0$):

   • Result: The expressions are generally complex. However, the authors derive the full solution for arbitrary gauge parameter $\xi$ and dimension $d$.
   • Fried-Yennie Gauge ($\xi = \frac{d}{d-2}$): This is a major highlight. The authors identify that in this specific gauge, the position space propagator simplifies dramatically. The form factor $B(\mu)$ vanishes, leaving a single tensor structure:
     $$G_{\mu\rho'}(\mu) \propto \frac{1}{\sinh^{d-2}(\mu)} \nabla_\mu \nabla_{\rho'} \mu$$
   • Significance: This gauge renders the propagator "position-space transverse" (contracting with the geodesic vector yields zero), analogous to the Landau gauge in flat space but improving IR behavior rather than UV behavior.

B. BRST Consistency Checks

• The paper rigorously verifies that the derived propagators satisfy the BRST constraint equations in all gauges.
• They demonstrate that the longitudinal part of the gauge field propagator is exactly cancelled by the ghost propagator contributions, ensuring perturbative unitarity.
• They provide explicit formulas for the ghost propagators in all gauges, correcting or clarifying previous literature where ghost sectors were often ignored or mismatched.

C. Flat Space Limits and $d=2$ Case

• Flat Space Limit: The authors verify that their AdS results correctly reduce to known flat space propagators as the AdS radius $L \to \infty$.
• Special Case $d=2$: They analyze the $d=2$ case (3D bulk), noting that the standard power-law fall-off is replaced by logarithmic behavior due to the massless nature of the theory in 3D, leading to IR divergences and a dependence on an arbitrary scale constant.

4. Significance and Impact

• Loop Calculations in AdS/CFT: By providing consistent, gauge-fixed propagators that include the correct ghost sectors, this work enables reliable loop-level computations of Witten diagrams. Previous works often relied on on-shell approximations which are insufficient for loops.
• IR Improvement: The identification of the Fried-Yennie gauge in AdS is significant. Just as the Landau gauge improves UV convergence in flat space, the Fried-Yennie gauge improves IR behavior in AdS, potentially simplifying calculations involving large separations or infrared divergences.
• Generalization to Non-Abelian Theories: The authors note that since the propagator equations rely only on the quadratic part of the action, these results extend directly to Yang-Mills fields (with color factors), facilitating studies of non-Abelian gauge theories in AdS.
• Methodological Framework: The paper establishes a robust framework for solving gauge field propagators in curved spacetimes by combining momentum space techniques with BRST constraints, a method that can be extended to higher-spin fields (e.g., gravitons).

5. Conclusion

Moga and Skenderis provide a definitive and comprehensive treatment of the photon bulk-to-bulk propagator in AdS. They resolve ambiguities in previous literature by ensuring BRST consistency across all gauges. Their discovery of the simplicity of the Fried-Yennie gauge in position space offers a powerful new tool for AdS/CFT calculations, particularly for loop diagrams and studies of IR physics. The inclusion of Mathematica notebooks and explicit results for various dimensions ($d=3,4,5,6$) makes these results immediately applicable to the broader high-energy physics community.