Math Needed for the Transition to Field Theory

A first course in field theory repeatedly reuses three ideas from quantum mechanics: oscillator modes, propagation amplitudes, and symmetries. You can learn the extra mathematics alongside those physical questions. Start with the Bridge to QFT Roadmap, then choose one of the routes below.

From One Oscillator to Many Modes

Begin with the ladder-operator solution of the oscillator. For one bosonic mode,

$$[a,a^\dagger]=1, \qquad H=\hbar\omega\left(a^\dagger a+\tfrac12\right).$$

The number states explain what creation and annihilation operators do. A free bosonic field can be decomposed into oscillator modes. To make this transition manageable, first imagine a finite box and a cutoff, so that the allowed modes form a discrete finite list. Fourier Series supplies that list; the Fourier Transform and Delta Function describe the continuum limit.

Next read Occupation-Number Basis and Bosonic Fock Space, then From Harmonic Oscillators to Fields. The latter explains the independent modes of a real field without double-counting a momentum pair.

For fermions, use Fermionic Fock Space and Fermionic Anticommutation Relations. The bosonic oscillator algebra does not carry over unchanged. Interactions also couple free modes, and the infinite-mode limit requires more care than a finite collection of oscillators.

From Propagation to Correlation Functions

First distinguish a differential equation from its chosen solution. A Green function solves an equation with a point source, but its boundary conditions decide which inverse it represents. Review Contour Integration and Principal-Value Distributions when a formula contains a pole prescription such as $i0$.

Then read From Propagators to Correlators. A field correlation function also specifies a state and an ordering of field operators. Retarded response and a time-ordered vacuum correlation function answer different questions even when the same differential operator appears in their equations. Retarded, Advanced, and Feynman Propagators compares them directly.

For path integrals, begin with Why Path Integrals?, then review Calculus of Variations, Functional Derivatives, and Stationary Phase. Continue to From Path Integrals to Generating Functionals when you want sources to generate correlation functions. The formal symbol $\mathcal D\phi$ needs a specified construction or regulator; it is not ordinary finite-dimensional integration.

From Quantum Symmetries to Relativistic Fields

Use Groups, Representations, and Lie Algebras to distinguish a symmetry transformation from the matrix or operator representing it. SU(2) is a useful first example, but it does not describe Lorentz boosts. For the relativistic extension, read Poincaré Group and Dirac Spinors.

Matrix representations acting on field components and unitary representations acting on physical states have different roles. For example, the finite-dimensional spinor matrices for Lorentz boosts are generally not unitary in the ordinary Euclidean component inner product; that does not imply that physical quantum time evolution fails to be unitary.

Choose the Next Physical Question

Question	Continue with	Mathematics to revisit if needed
Why can particle number change?	Why Fields Replace Wavefunctions	direct sums, tensor products, Fock space
How does a field act on particle states?	From Fock Space to Quantum Fields	mode expansions and creation operators
How does a source produce a response?	Retarded, Advanced, and Feynman Propagators	differential equations, distributions, boundary conditions
How do sources generate correlations?	From Path Integrals to Generating Functionals	functional differentiation and Gaussian integrals
How does nonrelativistic scattering connect to field theory?	QFT Bridge: S-Matrix	continuum normalization, asymptotic states, amplitudes

You do not need to master all of functional analysis before starting a regulated free-field example. Return to Domains of Operators when an unbounded operator is used, and to Distributions when a pointwise field expression becomes singular. A field operator is generally interpreted after smearing with a test function; it is not an ordinary many-particle wavefunction.

Try Two Short Checks

1. In a finite set of orthonormal bosonic modes, let $[a_j,a_k^\dagger]=\delta_{jk}$ and $a_j|0\rangle=0$. Show that $|\psi\rangle=\sum_j c_j a_j^\dagger|0\rangle$ has squared norm $\sum_j|c_j|^2$.

Solution

Commute each annihilator to the right:

$$\langle0|a_j a_k^\dagger|0\rangle =\delta_{jk}+\langle0|a_k^\dagger a_j|0\rangle =\delta_{jk}.$$

Consequently $\langle\psi|\psi\rangle=\sum_{jk}c_j^*c_k\delta_{jk}=\sum_j|c_j|^2$. In a continuum normalization, the Kronecker delta becomes a Dirac delta and the coefficient sum becomes the corresponding momentum integral. The integration measure must match the chosen commutator normalization.

2. Let a source $J$ couple to a field through $F[J]=\int J(x)\phi(x)\,dx$, with $\phi$ held fixed. Find $\delta F/\delta J(y)$.

Solution

The variation is $\delta F=\int\delta J(x)\phi(x)\,dx$, so the defining coefficient of $\delta J(y)$ is $\phi(y)$. Applied to an exponential source term in a path integral, the same differentiation inserts a field, with the factors of $i$ and $\hbar$ determined by the exponential convention. This identity alone does not select a quantum state or an operator ordering.

References

• Peskin, Michael E., and Daniel V. Schroeder. An Introduction to Quantum Field Theory. Addison-Wesley, 1995. Canonical quantization, propagators, and perturbative scattering.
• Srednicki, Mark. Quantum Field Theory. Cambridge University Press, 2007. Author’s book page; free fields and functional methods.
• Tong, David. Quantum Field Theory lecture notes. University of Cambridge, 2006–2007. An accessible progression from classical fields through quantization and scattering.
• Weinberg, Steven. The Quantum Theory of Fields, Volume I: Foundations. Cambridge University Press, 1995. The role of relativistic symmetries and particle states.