Schrödinger functional


In mathematical physics, some approaches to quantum field theory are more popular than others. For historical reasons, the Schrödinger representation is less favoured than Fock space methods. In the early days of quantum field theory, maintaining symmetries such as Lorentz invariance, displaying them manifestly, and proving renormalisation were of paramount importance. The Schrödinger representation is not manifestly Lorentz invariant and its renormalisability was only shown as recently as the 1980s by Kurt Symanzik.
Within the Schrödinger representation, the Schrödinger wavefunctional stands out as perhaps the most useful and versatile functional tool, though interest in it is specialized at present.
The Schrödinger functional is, in its most basic form, the time translation generator of state wavefunctionals. In layman's terms, it defines how a system of quantum particles evolves through time and what the subsequent systems look like.

Background

Quantum mechanics is defined over the spatial coordinates upon which the Galilean group acts, and the corresponding operators act on its state as. The state is characterized by a wave function obtained by projecting it onto the coordinate eigenstates defined by. These eigenstates are not stationary. Time evolution is generated by the Hamiltonian, yielding the Schrödinger equation.
However in quantum field theory, the coordinate is the field operator, which acts on the state's wave functional as
where "" indicates an unbound spatial argument. This wave functional
is obtained by means of the field eigenstates
which are indexed by unapplied "classical field" configurations. These eigenstates, like the position eigenstates above, are not stationary. Time evolution is generated by the Hamiltonian, yielding the Schrödinger equation,
Thus the state in quantum field theory is conceptually a functional superposition of field configurations.

Example: Scalar Field

In the quantum field theory of a quantum scalar field, in complete analogy with the one-particle quantum harmonic oscillator, the eigenstate of this quantum field with the "classical field" as its eigenvalue,
is
where is the part of
that only includes creation operators. For the oscillator, this corresponds to the representation change/map to the |x⟩ state from Fock states.
For a time-independent Hamiltonian, the Schrödinger functional is defined as
In the Schrödinger representation, this functional generates time translations of state wave functionals, through

States

The normalized, vacuum state, free field wave-functional is the Gaussian
where the covariance K is
This is analogous to the product of each k-mode's ground state in the continuum limit, roughly
Each k-mode enters as an independent quantum harmonic oscillator. One-particle states are obtained by exciting a single mode, and have the form,
For example, putting an excitation in yields

Example: Fermion Field

For clarity, we consider a massless Weyl-Majorana field in 2D space in SO+, but this solution generalizes to any massive Dirac bispinor in SO+. The configuration space consists of functionals of anti-commuting Grassmann-valued fields. The effect of is