Wick rotation
From TheTangentBundle
Assuming the metric is
, then define the Euclidean vector
:
,
.
This has the effect of changing the metric to
. This over-all sign may normally be factored out of expressions, so that, effectively, the metric becomes
.
[edit] Example
Consider the action for a free scalar field:
Then
, so that
| ,
|
,
| |
.
|
In the last line, both indices are lowered to remind the reader that he or she is working in Euclidean space, where raising or lowering indices has no effect. This usage is, however, not universal, since contracting raised and lowered indices is a helpful book-keeping device.
The effect, and indeed the purpose of this Wick rotation is to make the path integral better defined:
,
where now we define the Wick rotated action to be
.
Note also that the naïve propagator
,
is replaced by
,
which has no poles along the real axis, so that it's Fourier transform is uniquely defined.
,
,
.

