I am reading Witten's 1982 paper "Supersymmetry and Morse Theory," and while I am slowly learning the material as I read through the paper, I have come across an equivalence that, while it should be rather basic, I can't seem to show rigorously.
In the paper, Witten defines a (modified) exterior derivative dt as
dt=d+tdh
where
h(ϕ)=∫SW(ϕ(x))dx,
the region S is a circle with circumference L and ϕ is a real-valued function from S to the reals, i.e. ϕ:S→R.
Now, I am having trouble proving to myself that this exterior derivative dt is equivalent to the standard differential operator
ddϕ+tLdWdϕ
acting on real-valued functions of the variable ϕ.
Now, as far as I can tell, Witten is making the identification d↔ddϕ here for this equivalency. However, given that, I can't seem to get the remaining term tLdWdϕ.
My attempt:
We make the identification d↔ddϕ, so the last term in the expression for dt is simply dhdϕ. So, it should be as simple as evaluating
ddϕ∫SW(ϕ(x))dx.
However, in evaluating this, the trouble I am running in to is that ϕ is an arbitrary function that is not necessarily invertible, so I cannot just rewrite the integral as an integral over ϕ.
I have also tried using the mechanics of exterior derivatives first, but then I run into the issue of evaluating
d∫SW(ϕ(x))dx,
which I'm not so sure where to begin (the exterior derivative is defined on the real line, not on
S). Possibly, we can commute the derivative, which leaves us with
∫Sd(W(ϕ(x))dx).
Then, using one of the identities of the exterior derivative yields
∫Sd(W(ϕ(x)))∧dx,
at which point I think the correct next step would be
∫SdWdϕdϕ∧dx.
From here, though, it's not quite clear what to do. Do we integrate over the region S, taking the integrand (a 2-form) to a 1-form? If so, this leads me to conclude that the result be (something like) LdWdϕdϕ,
which, with the identification, would be
LdWdϕddϕ,
not what we expected.
Where is my reasoning flawed? How do I obtain the result desired?
This post imported from StackExchange Mathematics at 2016-01-19 15:54 (UTC), posted by SE-user Sam Blitz