Nicolai Map in Supersymmetric Field Theories

• The Nicolai map is a coupling-dependent, nonlocal field redefinition that equates interacting bosonic correlators with those from a free theory.
• Its construction employs ordered exponentials and coupling-flow operators to satisfy free-action and determinant-matching conditions across various supersymmetric models.
• Applications range from supersymmetric Yang–Mills theories and sigma models to lattice formulations and supergravity, highlighting both perturbative and nonperturbative insights.

The Nicolai map is a coupling-dependent, nonlocal, and nonlinear field redefinition of bosonic variables in a supersymmetric quantum field theory, defined so that bosonic correlators in the interacting theory at coupling $g$ are reproduced by correlators in the free theory after application of the inverse map, $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$. After integrating out fermions, auxiliary fields, ghosts, and related non-bosonic variables, one obtains a purely bosonic but generally nonlocal effective action; the Nicolai map encodes the statement that this interacting bosonic measure may be traded for the free bosonic measure together with the Jacobian of the transformation (Arrighi et al., 22 Sep 2025). Since Hermann Nicolai’s original proposal in 1980, the subject has evolved from a characterization of rigid supersymmetric systems into a broader framework covering super-Yang–Mills theories, sigma models with four-fermion interactions, lattice constructions, and current attempts at local supersymmetry and supergravity (Lechtenfeld, 2023).

1. Historical emergence and conceptual scope

Hermann Nicolai proposed the map in 1980 as a characterization of supersymmetric theories by means of a bosonic field transformation whose Jacobian reproduces the fermionic determinant (Lechtenfeld, 2023). In the modern formulation, the map is not merely a computational trick but a structural statement: the nonlocal bosonic theory obtained after integrating out all anticommuting and auxiliary variables is characterized by the existence of an invertible transformation $T_g$ with inverse $T_g^{-1}$, and bosonic expectation values satisfy

$$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$

This identity is the defining property of the Nicolai map in globally supersymmetric theories admitting the standard construction (Lechtenfeld et al., 2021).

The map naturally appears after rewriting the full supersymmetric path integral in bosonic variables alone. In the general loopwise organization used in recent work, the effective bosonic action takes the form

$$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$

where $S_g^{(0)}$ is the tree-level bosonic action and the higher $S_g^{(r)}$ are nonlocal loop corrections. Correspondingly, the map itself admits an $\hbar$-expansion,

$$T_g\phi=T_g^{(0)}\phi+\sum_{r=1}^{\infty}\hbar^r T_g^{(r)}\phi,$$

so the classical and quantum parts of the construction may be separated order by order (Arrighi et al., 22 Sep 2025).

A central distinction in the literature is between theories with off-shell global supersymmetry, where existence is canonically tied to supersymmetry Ward identities, and theories with local supersymmetry, where the same logic encounters obstructions. This division structures most subsequent developments, including the contrast between super-Yang–Mills and supergravity (Arrighi et al., 22 Sep 2025).

2. Defining conditions and ordered-exponential construction

Two conditions summarize the Nicolai-map program at the level of actions. The first is the free-action condition,

$$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$0

which requires that the free bosonic action evaluated on the transformed field reproduce the interacting tree-level bosonic action. The second is the determinant-matching condition, whose one-loop form is

$$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$1

These are the precise conditions that make the Jacobian of the transformation equal to the fermion-induced effective action (Arrighi et al., 22 Sep 2025).

In off-shell globally supersymmetric theories the construction is governed by a coupling-flow operator $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$2. The key input is that one can write the full off-shell supersymmetric action as a spinor supervariation, $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$3, and derive from the supersymmetry Ward identity the flow equation

$$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$4

Solving this flow by a $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$5-ordered exponential yields the formal Nicolai map (Arrighi et al., 22 Sep 2025).

The universal form of the construction is the ordered exponential

$$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$6

with $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$7 denoting ordering in the coupling. This representation applies to scalar superfield theories and, after the appropriate treatment of BRST structure and field rescalings, also to supersymmetric gauge theories (Lechtenfeld et al., 2021).

Perturbatively, the ordered exponential reproduces the familiar tree expansion of the map. In graphical language, the coefficients are fermion-line trees with bosonic leaves; products of homogeneous pieces of the flow operator correspond to branched trees, and inverse-map expansions allow interacting correlators to be computed entirely by free bosonic Wick contractions (Lechtenfeld, 2023).

3. Off-shell and on-shell realizations in supersymmetric gauge theories

Supersymmetric Yang–Mills theory provides the main testing ground for explicit Nicolai maps. In $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$8 SYM, the distinction between off-shell and on-shell constructions is sharp. The on-shell Nicolai map exists in $$\langle Y[\phi]\rangle_g=\langle Y[T_g^{-1}\phi]\rangle_0$$9 dimensions but is constrained to the Landau gauge, whereas the off-shell Nicolai map exists only in $T_g$0 dimensions but for general gauges; explicit perturbative constructions have been carried out to fourth order for the on-shell map and to second order in axial gauge for the off-shell map (Malcha, 2023).

A general off-shell construction method in $T_g$1 $T_g$2 SYM extends the universal coupling-flow formalism from the Landau-gauge hypersurface to arbitrary linear gauges and to the full gauge-field configuration space. The ordered exponential of the flow operator gives the map, and the axial-gauge example makes explicit how ghost-sector terms and covariant projectors enter away from Landau gauge (Lechtenfeld et al., 2021).

Light-cone gauge introduces a different structure. In $T_g$3, the elimination of non-propagating fields generates a four-fermion interaction, but to second order in the coupling this term is harmless: the explicit $T_g$4 Nicolai map still satisfies the free-action condition, determinant-matching, and gauge preservation. In $T_g$5 there is a particularly “simple” form of the map in helicity variables, and the same work emphasizes that apparently different maps may remain perturbatively equivalent at the level of Jacobians (Bhave et al., 2024).

Adding a topological $T_g$6-term can simplify the map dramatically. In $T_g$7 $T_g$8 super-Yang–Mills, the BPS value $T_g$9 produces a chiral version of the map in which the second-order contribution vanishes, antisymmetrizations become more manifest, and all checks are verified to third order. The resulting construction is presented as an all-orders improvement of the non-chiral formulation on the Landau-gauge hypersurface (Lechtenfeld et al., 2022).

For $T_g^{-1}$0 SYM, the coupling-flow operator may be derived either from an $T_g^{-1}$1 off-shell superfield formulation in any gauge or by dimensional reduction from $T_g^{-1}$2 $T_g^{-1}$3 SYM in Landau gauge. Recent work argues that the $T_g^{-1}$4 coupling flow exhibits an $T_g^{-1}$5 R-symmetry ambiguity, so that one obtains a broad class of legitimate Nicolai maps rather than a single distinguished representative (Rupprecht, 2021).

4. Ambiguity, uniqueness, and generalizations beyond quadratic fermions

A recurrent theme in the subject is that the Nicolai map is generally not unique. When several couplings are present, the ordered exponential depends on the chosen integration contour in coupling space. Different contours yield different field maps $T_g^{-1}$6, while bosonic correlators remain contour-independent. The resulting freedom is a functional ambiguity of the construction rather than an ambiguity of observables (Lechtenfeld et al., 2022).

The same analysis isolates a sufficient condition under which the ambiguity disappears and the map collapses to a linear function of the coupling. In the one-dimensional $T_g^{-1}$7 supersymmetric quantum-mechanical toy model with a cubic superpotential and a $T_g^{-1}$8-term, the special values $T_g^{-1}$9 satisfy this criterion, so the map becomes exactly linear in $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$0 and independent of contour. These “magical” $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$1-values also relate the critical points of the map to instanton solutions (Lechtenfeld et al., 2022).

Non-uniqueness also appears in gauge-theory practice. In light-cone SYM, different perturbative maps may satisfy the free-action and determinant-matching conditions to the same finite order, with the residual freedom interpreted as a choice of presentation rather than a failure of the program (Bhave et al., 2024). In six-dimensional $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$2 SYM, a new third-order map distinct from the earlier $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$3-prescription construction exists only in $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$4, highlighting a dimension-specific ambiguity in how one may build the transformation (Ananth et al., 2020).

Originally, most explicit treatments assumed that fermions entered only quadratically. That restriction is no longer regarded as substantial. For nonlinear sigma models with four-fermion interactions, the Nicolai map acquires genuine quantum corrections, and determinant-matching generalizes from a one-loop identity to an infinite hierarchy in fermion-loop order. In this setting the classical map continues to satisfy the free-action condition, but loop-decorated fermionic trees contribute to the full transformation (Casarin et al., 2023).

This generalization has been worked out concretely for supersymmetric sigma models. In the four-dimensional $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$5 model, a chiral Nicolai map has been constructed to third order in the coupling, including all regularized quantum parts; the free-action condition fixes only the one-edge part of the map, while loop decorations are resolved by introducing an auxiliary vector field, which yields a purely classical Nicolai map to second order in a dimensionful coupling (Lechtenfeld, 2024).

5. Diagrammatics, convergence, lattice formulations, and correlator technology

The perturbative expansion of the Nicolai map admits a precise diagrammatic interpretation. The coefficient at order $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$6 is a sum of particular tree diagrams, often described as strictly binary or Otter trees, with bosonic leaves and fermionic propagator structure along the internal edges. This reorganization separates the growth of the map itself from the later combinatorics of free-field contractions (Lechtenfeld, 2022).

In a quantum-mechanical example, the number of such trees grows as $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$7, which implies a finite convergence radius for the formal perturbative expansion of the map. The same analysis gives

$$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$8

for the radius of convergence in the relevant dimensionless combination, and this is interpreted as establishing the non-perturbative existence of the Nicolai map itself. The usual factorial growth of perturbation theory reappears only when one performs free-field Wick contractions to obtain quantum correlators (Lechtenfeld, 2022).

This computational logic underlies several explicit applications. In $$\langle X[\phi]\rangle_g=\langle X[T_g^{-1}\phi]\rangle_{g=0}.$$9 SYM, inverse Nicolai maps permit a fermion- and ghost-free quantization of supersymmetric gauge theories, and the infinite straight-line Maldacena–Wilson loop has been computed to sixth order in the coupling by evaluating the pullback of the loop operator in the free theory (Malcha, 2023).

A distinct line of development uses the map as a nonperturbative regulator on the lattice. For lattice formulations of the two-dimensional $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$0 Wess–Zumino model based on the Nicolai map, supersymmetry and other symmetries are restored in the continuum limit without fine tuning, to all orders in perturbation theory. The argument relies on a $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$1-exact lattice action, trivial local $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$2-cohomology, and the vanishing of potentially dangerous propagators (Kadoh et al., 2010).

The same framework supports numerical studies. In a lattice study of the $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$3D $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$4 Landau–Ginzburg model with cubic superpotential, scalar field configurations were generated by solving the Nicolai map with the Newton–Raphson algorithm on $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$5 lattices, and the susceptibility fit yielded

$$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$6

consistent with the expected $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$7, while the systematic error was estimated as less than $$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$8 (Kawai et al., 2010).

Nicolai mapping also appears in matrix-model studies of supersymmetry breaking. In supersymmetric matrix discretizations of quantum mechanics with twisted fermion boundary conditions, the map remains available and allows computation of the finite-$$S_g[\phi]=S_g^{(0)}[\phi]+\sum_{r=1}^{\infty}\hbar^r S_g^{(r)}[\phi],$$9 partition function at the leading nontrivial order in the twist expansion, while localization and the Vandermonde determinant govern the eigenvalue dynamics (Kuroki et al., 2010).

6. Local supersymmetry, supergravity, and present obstructions

The extension from global to local supersymmetry is the current conceptual frontier. In four-dimensional minimal supergravity, three obstacles arise in the attempt to construct a Nicolai map. First, the Lagrangian is not the $S_g^{(0)}$0-component of a true chiral superfield but of a chiral density, so the full action cannot be written as a single supervariation; the residual density-term introduces an extra multiplicative contribution $S_g^{(0)}$1 in the flow equation. Second, after gauge fixing around flat space, the degree-zero part of the rescaled flow operator fails to reduce exactly to the functional Euler operator by a term proportional to the trace mode $S_g^{(0)}$2. Third, the on-shell approach successful for super-Yang–Mills theory fails because the cubic graviton self-interaction cannot be written as a supervariation (Arrighi et al., 22 Sep 2025).

These observations are often summarized as a conformal-factor obstruction. The analysis suggests that unimodular supergravity may behave better, because imposing $S_g^{(0)}$3 or $S_g^{(0)}$4 freezes the trace fluctuation and may remove both the extra $S_g^{(0)}$5-term and the mismatch in the flow operator (Arrighi et al., 22 Sep 2025).

Even so, the supergravity program does not terminate at the obstruction. By brute force one may write the most general local quadratic-in-$S_g^{(0)}$6 ansatz for the first-order map and impose only the free-action condition. In four-dimensional minimal supergravity this fixes eight coefficients in terms of four arbitrary ones, leaving a four-parameter family of first-order classical Nicolai maps reproducing the correct cubic expansion of $S_g^{(0)}$7. The Jacobian determinant begins as

$S_g^{(0)}$8

but the determinant-matching “acid test” requires extending the ansatz and perturbative analysis to second order (Arrighi et al., 22 Sep 2025).

A later perturbative and diagrammatic construction develops this program further by expanding the bosonic effective action and the Nicolai map jointly in the gravitational coupling $S_g^{(0)}$9 and the loop-counting parameter $S_g^{(r)}$0. Carried through order $S_g^{(r)}$1, the consistency conditions are hierarchical and further restrict the order-$S_g^{(r)}$2 data. The main structural conclusion is that a consistent Nicolai-map construction for the Einstein–Hilbert graviton sector already requires the Rarita–Schwinger gravitino at this order: Einstein gravity admits a Nicolai map only through its $S_g^{(r)}$3 supersymmetric completion, namely four-dimensional Poincaré supergravity (Chae et al., 28 May 2026).

Taken together, these results delimit the present status of the concept. In rigid supersymmetry the Nicolai map has a universal ordered-exponential formulation, explicit perturbative realizations, lattice implementations, and extensions to models with four-fermion interactions. In local supersymmetry it remains a partially open construction problem whose obstructions, brute-force workarounds, and recent diagrammatic advances have made the supergravity case substantially sharper, but not yet complete (Arrighi et al., 22 Sep 2025).