# On-shell symmetry from a path integral point of view

Normally supersymmetric quantum field theories have Lagrangians which are supersymmetric only on-shell, i.e. with the field equations imposed. In many cases this can be solved by introducing auxilary fields (field which don't carry dynamical degrees of freedom, i.e. which on-shell become a function of the other fields). However, there are cases where no such formulation is known, e.g. N=4 super-Yang-Mills in 4D.

Since the path integral is an integral over all field configurations, most of them off-shell, naively there is no reason for it to preserve the on-shell symmetry. Nevertheless the symmetry is preserved in the quantum theory.

Of course it is possible to avoid the problem by resorting to a "Hamiltonian" approach. That is, the space of on-shell field configurations is the phase space of the theory and it is (at least formally) possible to quantize it. However, one would like to have an understanding of the symmetries survival in a path integral approach. So:

How can we understand the presence of on-shell symmetry after quantization from a path integral point of view?

-
Dear @Squark, surely you may write $N=4$ in the $N=1$ superspace, making the $N=1$ subalgebra manifest even off-shell and even in the path integral, can't you? The path integral for the $N=1$ language is trivialy equivalent to the $N=0$ "in components" formulation – the only slightly nontrivial statement behind this assertion is that the measure flip including the aux. fields doesn't spoil SUSY. So in this sense, I think that SUSY is manifest even in the non-SUSY $N=0$ "in components" formalism of the path integral, off-shell. If you see some problems with this conclusion, tell me details. – Luboš Motl Nov 5 '11 at 19:16
The equivalence between N=1 and N=0 is by integrating over the auxiliary fields, as far as I see. Hence it is not quite manifest in the N=0 language. For N=4 you can sure use the N=1 superspace, moreover the GIKOS approach apparently allows making an N=3 sub supergroup manifest. However this doesn't prove the whole symmetry is preserved. – Squark Nov 5 '11 at 20:19

1
OK, I think I see the answer. Once you can prove the equivalence between N=0 and N=1 you can get N=4 by choosing different N=1 subsupergroups – Squark Nov 5 '11 at 20:27
Well, I need to chew a bit more on the N=4 SYM case, but, in the meanwhile, consider N=1 SYM in 10D. Already we have no off shell formulation and the N is minimal. – Squark Nov 5 '11 at 20:42
I was just wondering about the same question. On physicsforums somebody posted a citation from Sohnius: "This situation could in principle be disastrous for quantum corrections: there the fields must be taken off-shell, away from their classical paths through configuration space. What this does for on-shell supersymmetric theories is quite unclear Obviously, if there exists - even unknown to us - some unique off-shell version, there should be no problem. But what happens if the theory were intrinsically only on-shell supersymmetric (as in N=4 and N=8 supergravity) is unclear to date." Is this – user9744 Jun 8 '12 at 17:47
show 1 more comment

## 3 Answers

How can we understand the presence of on-shell symmetry after quantization from a path integral point of view?

One can derive a Schwinger-Dyson equation associated with the current conservation, also known as a Ward identity; see e.g. Peskin and Schroeder, An Introduction to Quantum Field Theory, Section 9.6; or Srednicki, Quantum Field Theory, Chapter 22.

-
I don't have access to the book. How do you derive it using the path integral if the symmetry only exists on shell? – Squark Nov 5 '11 at 20:43
– Simon Nov 5 '11 at 22:01
OK, and where is the answer to my question in Srednicki's book? In fact it seems to me he doesn't go beyond N=1 4D supersymmetry – Squark Nov 5 '11 at 23:20

1
I interpreted the question(v1) as asking about on-shell symmetry on general grounds, cf. the title(v1). The references do not have any specific mentioning of $N=4$ 4D supersymmetry. – Qmechanic♦ Nov 6 '11 at 0:26
OK. So Peskin and Schroeder have a treatment of on-shell symmetry on general grounds? Which example they consider if not supersymmetry? Also, I still have no access to the book. – Squark Nov 11 '11 at 20:46

The point of view you give of quantizing phase space is not so good. If you have a classical phase space, there will be more than one quantum analog, differing by commutator terms that vanish classically. I never found the idea that you start with a classical system particularly lucid--- the quantum system is defined by the path integral, and the answer must always be found in the path integral itself.

In 4d, as you said in the comments, the problem is sidestepped by using N=1 superspace plus the appropriate R symmetry, which rotate the different SUSY's into each other, ensuring that the full SUSY is there. In order for the theory to be SUSY, you just have to check that the theory is N=1 and that the R-symmetry is good. This is usually manifest, since the R symmmetry is simple global rotation of fields into each other. But this doesn't work in 10 or 11 dimensions.

A part of the answer suggested by Qmechanic, the Schwinger Dyson equation (Heisenberg equation of motion) is obeyed by the field operators, so the variation really does vanish as an operator, in a certain sense described precisely below. But this is not a complete answer because it isn't true that everything that vanishes classically when the equations of motion are satisfied also vanishes quantum mechanically, in the path integral. The reason is that the quantities in the path integral can be multiplied at the same point in space and time, and there are singularities of the coinciding operator products which make the naive equations of motion fail in exactly the type of expressions that occur in the action.

For a trivial example, consider the product of two X operators

$$\langle x(t) x(t')\rangle = 0$$

In the trivial Euclidean free-particle (Brownian motion) 1-d (quantum mechanics, not field theory) path integral $S= \int \dot{x}^2$. The operator X obeys the equation of motion $\ddot{X}=0$, so the second derivative is zero, but of course it isn't at the coinciding point (or else propagator would vanish at all times with the reasonable boundary conditions). The correct second derivative of the correlation function is

$$\langle \ddot{x}(t) x(t')\rangle = \delta(t-t')$$

The equation of motion holds except at coincident points. The same is true in field theories for the same reason--- the propagator is sourced at the point where the two operators coincide by a delta-function with unit amplitude (if the fields are canonically normalized).

Further, since $\ddot{X}=0$, you might think that the following transformation is a symmetry

$$\dot x + \epsilon f(t)\ddot{X}$$

Since the variation of S to first order in $\epsilon$ is $\int \dot{x}\ddot{x}f(t)$. So naively, using the equation of motion $\ddot{x}=0$, you would naively find that this is a symmetry. But this is obvious nonsense--- if f is nonconstant (if f is constant, the transformation is a time translation) this is obviously not a symmetry of the action. since it is a time translation by a different amount at different times, and there is a unit of time defined by the diffusion.

The reason is that the $\ddot{x}$ is multiplied by a coinciding $\dot{x}$, and when there are coinciding quantities, the equations of motion are not necessarily satisfied. The actual variation in S is

$$\int f(t) {d\over dt} {\dot{x}^2\over 2}$$

and you see that it is a perfect derivative if f is constant, assuming Stratonovich convention for time derivatives--- centered differences--- and this is the symmetry of time translation in this case), but it is not a symmetry if f is not constant.

## When are equations of motion satisfied in a path integral?

When you have a path integral:

$$\int e^{iS} D\phi$$

The integral is invariant under a shift of integration variables $\phi(x)+\delta\phi(x)$, where $\delta\phi$ is an arbitrary function of x, since each integral is separately translation invariant. There is no determinant for this transformation--- it's just a shift in the integration variable by a constant at each time.

The change in the integrand when you do the shift is, given by expanding the thing to first order.

$$\int e^{iS(\phi+\delta\phi)} D\phi = \int e^{iS} D\phi + \int (\int {\delta S\over \delta \phi(x)}\delta\phi(x) d^dx) e^{iS} D\phi$$

and from this, you learn that the equations of motion are satisfied. This is the correct demonstration of the equations of motion.

$${\delta S\over \delta\phi} = 0$$

Now suppose you have some other insertions:

$$\int \phi_1(x_1) \phi_2(x_2) ... \phi_n(x_n) e^{iS} D\phi$$

Now doing the same shift, to first order, you find

$$\int (\phi_1 +\delta\phi(x_1)) ... (\phi_2+\delta\phi(x_2)) e^{iS} (1+\delta S) D\phi = \int e^{iS} D\phi$$

So you find that the equation of motion is satisfied in an insertion except at coinciding points:

$$\langle {\delta S\over \delta \phi}(x) \phi_1 ... \phi_n\rangle = \delta(x-x_1) + ... + \delta(x-x_n)$$

repeating this Ward-identity type argument for insertions of any type with lots of fields running around you find the following rules for using the equation of motion:

1. The equations of motion derived from varying $\phi$ are satisfied away from insertions.
2. the equation of motion derived from varying $\phi$ are satisfied even at cross-insertions of other fundamental fields (independent path-integrations) other than $\phi$.
3. the equations of motion fail only at those insertions which vary under a shift of the field whose equation of motion it is, and the failure is of the ward-identity type.

So it isn't true that anything that vanishes classically has no effect. But when you have a product of the equation of motion multiplying functions of fields which are different from the one you vary to get the equation of motion, these are still identically zero.

In the SUSY case, your variation involves products of fields with their SUSY partners, which are independent integration variables. The equations of motion are satisfied in the products that you reduce, so using the equations of motion in the SUSY closure is justified, but you check it theory by theory by hand, by looking to see which equation of motion you use, and what it is multiplying.

-

First of all there is an error in the Schwinger-Dyson equation that was derived in the previous post. There will be n-1 fields on the right-hand side. In any event, the SD equations don't save you because the supercurrent has fields sitting at the same point, so these contact terms come in and spoil the equations of motion. I.e., you get the equation of motion when you differentiate the supercurrent, but it is multiplied by fields at the same points, so all these delta functions come in. Try it at home, you'll see what I mean.

-

Perhaps you could run through a simple calculation to show people what you mean? – Muphrid Feb 4 at 21:03
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 20, "mathjax_display_tex": 10, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9407138228416443, "perplexity_flag": "head"}