Towards a Nicolai map for supergravity

1. Problem Statement

The authors investigate the existence of a Nicolai map for minimal supergravity in four dimensions.

• The Nicolai Map: A nonlocal, nonlinear field transformation $T_g$ that relates quantum correlation functions of a supersymmetric theory at a coupling $g$ to those of a free (or simpler) bosonic theory at $g=0$. Specifically, it allows the computation of interacting correlators via a free theory average: $\langle Y[\phi] \rangle_g = \langle Y[T_g^{-1}\phi] \rangle_0$.
• The Challenge: While such maps are well-established for globally supersymmetric theories (like Super-Yang-Mills in critical dimensions) and rely on off-shell supersymmetry, their construction for local supersymmetry (supergravity) is obstructed. The paper aims to determine if a map exists for 4D supergravity expanded around Minkowski space and, if not, to identify the specific obstructions.

2. Methodology

The authors employ a perturbative approach based on the coupling flow operator formalism. The methodology involves:

1. Off-Shell Construction Attempt:

   • They start with the off-shell locally supersymmetric action of minimal supergravity, which includes the vierbein $e^a_\mu$, gravitino $\psi_\mu$, and auxiliary fields ($S, P, A_\mu$).
   • They attempt to express the action as a supersymmetry variation (a "supervariation") of a functional $M_\alpha$, which is the standard prerequisite for deriving the flow operator $R_g$.
   • They introduce gauge fixing (de Donder gauge for diffeomorphisms, Lorentz gauge, and Rarita-Schwinger gauge) and BRST quantization to handle the local symmetries.

2. Rescaling and Flow Operator Analysis:

   • To handle the coupling $\kappa$ (gravitational coupling), they rescale fields ($\tilde{\phi} = \kappa \phi$) to make the coupling explicit.
   • They derive the rescaled flow operator $\tilde{R}$ and check if its leading order term ($\kappa \to 0$) reproduces the Euler operator $E = \int \phi \frac{\delta}{\delta \phi}$. This is a necessary condition for a perturbative Nicolai map to exist.

3. On-Shell "Brute Force" Approach:

   • When the off-shell approach fails, they abandon the requirement of off-shell supersymmetry.
   • They adopt an ansatz for the map based on the structure of the interaction terms (quadratic in fields, second-order derivatives) and attempt to satisfy the "free-action condition" ($S^{(0)}_0[T^{(0)}_g \phi] = S^{(0)}_g[\phi]$) by adjusting coefficients.
   • They also analyze the determinant-matching condition (Jacobian of the map vs. fermion determinant) to check for quantum consistency.

3. Key Obstacles Identified

The paper identifies three fundamental obstructions to constructing a standard Nicolai map for 4D supergravity:

1. Density vs. Scalar (Off-Shell Obstruction):

   • In supergravity, the Lagrangian is a superspace density, not a scalar. Consequently, the action cannot be written entirely as a supervariation of a functional.
   • Result: The flow equation acquires a multiplicative measure factor ($Z_\kappa$), preventing a pure differential flow equation. This implies only a "partial" Nicolai map is possible, accompanied by a non-trivial path integral measure.

2. Non-Commutativity of Symmetries (Gauge Fixing Obstruction):

   • In supergravity, supersymmetry transformations do not (graded) commute with the BRST variations used for gauge fixing.
   • Result: This generates an additional multiplicative term in the flow equation involving the anticommutator $\{\delta_\alpha, s\}$. Unlike in Super-Yang-Mills (where these terms cancel in critical dimensions), here they persist, further complicating the flow.

3. Failure of the Euler Operator Test (Perturbative Obstruction):

   • The authors test if the leading term of the rescaled flow operator matches the Euler operator (required for a perturbative expansion).
   • Result: The test fails. The mismatch is proportional to the trace of the metric fluctuation ($\phi = \eta^{ab}\phi_{ab}$). This suggests that the standard off-shell perturbative construction is fundamentally obstructed. The authors speculate that a unimodular variant of supergravity (where the metric determinant is fixed) might resolve this.

4. Key Results

• Failure of On-Supersymmetry Construction:

  • The authors attempted to construct a map using only on-shell supersymmetry (similar to the successful Super-Yang-Mills case).
  • They found that the graviton self-interaction (cubic term in the Einstein-Hilbert action) cannot be generated as a supervariation of the leading order map. The system of equations derived from matching the cubic Lagrangian is overdetermined and inconsistent.

• Existence of a "Brute-Force" Map:

  • By relaxing the requirement that the map coefficients must arise from a supervariation, the authors constructed a four-parameter family of first-order Nicolai maps.
  • This map satisfies the free-action condition (matching the free action of the transformed field to the interacting action) to leading order in $\kappa$.
  • The map takes the form:
    $$T_\kappa \phi_{ab}(x) = \phi_{ab}(x) - \kappa \int d^4y \, \Box^{-1}(x-y) \left[ -\frac{1}{2}\Box\phi \phi_{ab} + \frac{1}{2}\Box(\phi \cdot \phi)_{ab} + \partial_c \partial_d \phi^{cd} \phi_{ab} - 2 \partial_c \partial_d \phi_{ac} \phi_{bd} \right] + \dots$$

• Determinant Matching (Open Question):

  • The paper notes that while the free-action condition is satisfied, the determinant-matching condition (matching the Jacobian of the transformation to the fermion determinant) has not been fully verified.
  • The leading order fermion determinant contribution vanishes, but the Jacobian of the constructed map depends on free parameters ($\lambda_9 \dots \lambda_{12}$). Satisfying the determinant condition likely requires fixing these parameters, which may only be possible at the second order in $\kappa$ or by including quantum corrections ($\mathcal{O}(\hbar)$).

5. Significance and Conclusions

• Theoretical Barrier: The paper provides strong evidence that a standard, off-shell Nicolai map does not exist for minimal 4D supergravity due to the density nature of the action and the non-commutativity of local supersymmetry with gauge fixing.
• Partial Success: Despite the obstructions, a "brute-force" map exists that satisfies the classical free-action condition. This suggests that while the elegant algebraic structure of the Nicolai map breaks down, a computational tool for relating supergravity correlators to flat-space correlators might still be constructed, albeit with a more complex measure and potentially non-universal coefficients.
• Future Directions:
  • Unimodular Supergravity: The failure of the Euler operator test suggests that fixing the metric determinant (unimodular gravity) might remove the obstruction, allowing for a proper perturbative flow.
  • Higher Orders: The "brute-force" map must be pushed to second order in $\kappa$ and to the quantum level ($\mathcal{O}(\hbar)$) to verify the determinant-matching condition and fix the remaining free parameters.
  • Partial Maps: The implications of the multiplicative measure factors (partial maps) need further investigation, as they may be relevant even for Super-Yang-Mills outside critical dimensions.

In summary, the paper demonstrates that while the ideal Nicolai map is obstructed in 4D supergravity, a modified, parameter-dependent map can be constructed to leading order, opening a potential (though technically challenging) pathway for non-perturbative calculations in quantum supergravity.