Perturbative Nicolai-Map Diagrammatics: Application to Poincaré Supergravity

Abstract: We develop a perturbative, diagrammatic framework for constructing Nicolai maps and apply it to four-dimensional $\mathcal{N}=1$ Poincaré supergravity expanded around flat Minkowski space. It provides an alternative to the coupling-flow-operator construction, which faces several obstructions when extended to local supersymmetry. Expanding the bosonic effective action and the Nicolai map jointly in the gravitational coupling $κ$ and the loop-counting parameter $\hbar$, we derive the Nicolai-map defining conditions, i.e. the free-action and determinant-matching conditions, order by order. The diagrammatics enumerates all admissible local terms in the Nicolai-map ansatz from the effective-action diagrams and reduces the construction to a finite system of nonlinear polynomial equations. Carried through order $κ<sup>{2}$, the resulting constraints are found to be independent of the detailed bosonic input and hierarchical, order-$κ<sup>{2}$ consistency further restricting the order-$κ$ data. A consistent Nicolai-map construction for the Einstein--Hilbert graviton sector is found to require the Rarita--Schwinger gravitino already at this order: Einstein gravity admits a Nicolai map only through its $\mathcal{N}=1$ supersymmetric completion, Poincaré supergravity, supporting Nicolai's characterization of supersymmetry.

• The paper develops a diagrammatic, computer-assisted method that constructs Nicolai maps by matching effective-action and Jacobian diagrams order by order in ℏ and κ.
• The analysis shows that determinant matching through O(κ²) forces the one-loop coefficients p=4 and q=−1, uniquely selecting the Rarita–Schwinger gravitino couplings of N=1 Poincaré supergravity.
• The framework yields explicit low-order map solutions but leaves map non-uniqueness, coincident-point regularization, and extension to O(κ³) as important open problems.

Overview

The paper develops a perturbative, diagrammatic framework for constructing Nicolai maps and applies it to four-dimensional $\mathcal{N}=1$ pure Poincaré supergravity expanded around flat Minkowski space (2605.29990). The Nicolai map $T_\kappa c$ is a nonlocal, nonlinear field redefinition of the bosonic fields that maps the interacting supersymmetric theory to a free Gaussian one, satisfying

$$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$

where $S[c;\kappa]$ is the bosonic effective action obtained by integrating out all fields except the vielbein perturbation $c^a{}_\mu$. Existing constructions rely on the coupling-flow operator $R_g$ of Lechtenfeld and Rupprecht, which works for rigidly supersymmetric theories but faces documented obstructions when extended to local supersymmetry. The present work abandons the flow operator entirely: it returns to the defining identity directly, expands both sides jointly in the loop parameter $\hbar$ and the gravitational coupling $\kappa$, and enforces consistency by matching diagrams order by order.

The central result is that a consistent Nicolai-map construction for the Einstein–Hilbert graviton sector through order $\kappa^2$ requires the Rarita–Schwinger gravitino with precisely the couplings induced by the $\mathcal{N}=1$ supergravity action. In other words, within this framework Einstein gravity admits a Nicolai map only through its supersymmetric completion — a perturbative instance of Nicolai's original characterization of supersymmetry.

Gauge-fixed on-shell action and BRST structure

The starting point is the second-order form of the pure $T_\kappa c$0 supergravity action, with the spin connection eliminated in favor of the vielbein and gravitino. Three local symmetries (local supersymmetry, diffeomorphisms, local Lorentz) are gauge-fixed via Faddeev–Popov using fourteen conditions: the gamma-trace (Rarita–Schwinger) gauge for the gravitino, the de Donder gauge in vielbein language, and the symmetric-vielbein gauge, the last enforced by taking a gauge parameter $T_\kappa c$1 so that the vielbein fluctuation becomes symmetric. The background field method gives free kinetic terms for $T_\kappa c$2 and $T_\kappa c$3 plus a ghost sector whose kinetic terms are diagonalized by redefining the Lorentz ghost tensor.

A notable technical point is that BRST invariance fails off-shell in this on-shell formulation; the variation produces an anomalous term at order $T_\kappa c$4 involving the ghost bilinear $T_\kappa c$5. The authors restore BRST invariance order by order by modifying the gravitino transformation à la Kallosh and adding the compensating four-ghost counterterm $T_\kappa c$6, which cancels the remnant from the gauge-fixing term through $T_\kappa c$7. This counterterm is specific to the on-shell treatment and has no analogue in off-shell constructions.

Order-by-order defining conditions

Expanding both the bosonic effective action $T_\kappa c$8 and the map $T_\kappa c$9 yields six defining conditions through order $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$0: the tree-level free-action conditions ($$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$1 through $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$2), which involve only $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$3-products, and the loop-level determinant-matching conditions ($$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$4, $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$5, $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$6), which carry the log-Jacobian term $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$7 matched against the gravitino–ghost determinant. This split mirrors Nicolai's two-part characterization: only the determinant-matching half knows about supersymmetry.

Diagrammatic construction

The paper introduces a compact graphical language in which dashed lines denote vielbein insertions, solid lines denote scalar propagators $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$8, closed solid loops denote coincident-point objects such as $$S[c;\kappa] = S[T_\kappa c,0,0,0;0] - i\hbar\,\ln\!\left(\frac{\delta T_\kappa c}{\delta c}\right),$$9, and a triangle operator $S[c;\kappa]$0 records derivative counts. Two operations are given direct graphical readings: the $S[c;\kappa]$1 product removes one propagator and reconnects endpoints, while functional differentiation detaches a dashed line and the trace reconnects dots to free coordinates.

A five-step algorithm extracts the admissible basic structures of each map component $S[c;\kappa]$2 from the effective-action diagrams: identify target diagrams, read off minimal structures reproducing them, detect "anomalous" diagrams generated on the ansatz side but absent from the effective action, add internal counterterm classes to cancel them, and verify self-consistency against higher-order conditions. For example, $S[c;\kappa]$3 requires a Y-shaped vertex with two dashed lines and one propagator carrying two derivatives; $S[c;\kappa]$4 splits into two classes, one reproducing the X-shaped four-dashed-line vertex of $S[c;\kappa]$5 and one serving as a counterterm to cancel the spurious diagram produced by $S[c;\kappa]$6. Crucially, the counterterms demanded at order $S[c;\kappa]$7 are independently required by the trace term in the same or higher-order conditions, so the full set of structures is mutually consistent rather than ad hoc.

Computational solution

The combinatorics are handled by an automated Python pipeline. Index assignments and derivative placements are enumerated exhaustively (with a loop-parity rule eliminating odd derivatives on single-propagator loops), duplicates removed under the relevant symmetries, and integration-by-parts relations among diagrammatic factors reduced to a linearly independent basis via Gauss–Jordan elimination. Matching coefficients then reduces the defining conditions to polynomial equations for the undetermined coefficients $S[c;\kappa]$8: 16 linear equations involving the 72 first-type variables ($S[c;\kappa]$9, $c^a{}_\mu$0), and 736 equations mixing these quadratically with the 17,669 second-type variables ($c^a{}_\mu$1, $c^a{}_\mu$2).

Two structural findings emerge. First, after eliminating the second-type variables, exactly two non-pivot rows survive as quadratic constraints on the first-type variables — so the order-$c^a{}_\mu$3 data cannot be determined from the order-$c^a{}_\mu$4 conditions alone, and even imposing the order-$c^a{}_\mu$5 conditions leaves an infinite family of solutions, some with $c^a{}_\mu$6 and some without. The authors state plainly that uniqueness presumably requires extending to $c^a{}_\mu$7. Second, the constraints are universal: they depend only on the bosonic sector and act as a filter on admissible order-$c^a{}_\mu$8 gravitino couplings, independent of the detailed fermionic input at higher orders. A representative explicit solution through $c^a{}_\mu$9 is provided, containing seven nonzero $R_g$0 coefficients and vanishing $R_g$1.

Supersymmetry as a consequence of map existence

The key physical result comes from generalizing beyond pure supergravity to any theory of gravity coupled to massless fermions with $R_g$2 as the sole coupling. Because the schematic classes of fermionic interactions coincide across this class, changing the fermion content changes only numerical coefficients in $R_g$3, $R_g$4, $R_g$5, not the basic structures. Replacing the two coefficients of $R_g$6 by free parameters $R_g$7, the two quadratic residuals can be written exactly as completed squares,

$R_g$8

using exact rational-coefficient linear identities derived by Gauss–Jordan elimination. Existence of a second-order solution forces $R_g$9, hence uniquely $\hbar$0, $\hbar$1 — precisely the value obtained from the Rarita–Schwinger gravitino and Faddeev–Popov ghost determinants of $\hbar$2 Poincaré supergravity:

$\hbar$3

This is the paper's strongest claim: among gravity-plus-gravitino theories with $\hbar$4 as their only coupling, it is the determinant-matching conditions — not the free-action conditions, which leave the gravitino couplings open — that select the supersymmetric completion. Asking the Nicolai map to exist through $\hbar$5 already forces the correct locally supersymmetric extension of Einstein gravity. The authors note this should be regarded as a perturbative instance of Nicolai's characterization rather than a nonperturbative proof, and the uniqueness statement applies to the one-loop tensor structure of $\hbar$6, not to the map itself, which retains residual freedom.

Relation to the coupling-flow approach

Compared with the coupling-flow analysis of Arrighi et al., the two works share the same background, gauge fixing, and the qualitative observation that order-$\hbar$7 data is hierarchically constrained by higher orders. They diverge structurally: the earlier work retains the off-shell auxiliary multiplet with nilpotent BRST transformations and attempts to lift $\hbar$8 to local supersymmetry, encountering three obstructions (the density obstruction from the Lagrangian not being a complete supervariation, the failure of $\hbar$9, and the conformal-mode obstruction where the degree-zero flow operator fails to reduce to the Euler operator by terms proportional to the metric-fluctuation trace). The present construction circumvents all three because it never invokes supervariations, BRST Ward identities, or any reduction test onto the Euler operator; the conformal mode enters the ansatz as an ordinary degree of freedom. The price is a much larger combinatorial problem, handled computationally. Both approaches share the non-uniqueness of the low-order map and the untreated regularization of coincident-point objects.

Limitations and open questions

Several limitations are stated explicitly. The order-$\kappa$0 map remains non-unique even after imposing order-$\kappa$1 conditions; removing the residual freedom presumably requires analysis at $\kappa$2, which has not been carried out. The coincident-point objects $\kappa$3, $\kappa$4, and their derivatives appearing throughout the loop-corrected map are treated as unregularized symbols; no regularization scheme is fixed, so the map cannot yet be used to compute correlators or test Ward identities. The determinant-matching condition is verified only through the order worked out here, and its validity beyond $\kappa$5 remains open. Finally, the universality argument assumes the class of theories with $\kappa$6 as sole coupling and massless fermions; extensions to other matter sectors or to extended supersymmetry are not addressed.

Conclusion

The paper establishes a viable alternative to coupling-flow methods for constructing Nicolai maps in locally supersymmetric theories, reducing the problem to finite systems of nonlinear polynomial equations solvable by automated algebra. Its main physical output is the demonstration, through completed-square residuals fixed uniquely at $\kappa$7, that the existence of a perturbative Nicolai map for the Einstein–Hilbert sector through $\kappa$8 singles out the Rarita–Schwinger gravitino determinant of $\kappa$9 Poincaré supergravity — supporting Nicolai's characterization of supersymmetry in a concrete, computationally verifiable setting, while leaving uniqueness of the map itself and its regularization as clearly posed open problems.