Mathematical Prerequisites

Essential Mathematics for QFT

Mathematical foundations required for quantum field theory

Overview

Quantum Field Theory is one of the most mathematically demanding subjects in physics. It combines special relativity, quantum mechanics, and advanced mathematics into a unified framework. This chapter provides a comprehensive review of the essential mathematical tools you'll need throughout this course.

⚠️ Important: Don't skip this section! Many students struggle with QFT not because of the physics, but because of gaps in the mathematical prerequisites. Take your time to master these foundations.

What You Should Know Before Starting

  • Linear algebra: vectors, matrices, eigenvalues, diagonalization, inner products
  • Calculus: multivariable calculus, vector calculus, Fourier analysis
  • Complex analysis: analytic functions, contour integration, residues
  • Differential equations: ODEs, PDEs, Green's functions
  • Classical mechanics: Lagrangian and Hamiltonian formulations, Noether's theorem
  • Quantum mechanics: Hilbert spaces, operators, commutators, path integrals
  • Special relativity: 4-vectors, Lorentz transformations, invariants

What This Chapter Covers

  • Special Relativity & Lorentz Covariance
  • Tensor Analysis & Index Notation
  • Calculus of Variations
  • Complex Analysis for QFT
  • Group Theory & Lie Algebras
  • Clifford Algebra & Gamma Matrices
  • Spinors & Their Properties
  • Distributions & Delta Functions

📺 Recommended Introduction Videos

Mathematics of Quantum Field Theory (Physics with Elliot)
▶️

Video Lecture

Math of QFT - Physics with Elliot

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Overview of the mathematical structures underlying QFT, including groups, representations, and spinors.

1. Special Relativity & Lorentz Covariance

Minkowski Spacetime

Spacetime is a 4-dimensional manifold with metric signature (+,-,-,-):

$$g_{\mu\nu} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix}$$

4-Vectors

Contravariant 4-vector: xμ = (t, x, y, z) or (x0, x1, x2, x3)

Covariant 4-vector: xμ = gμνxν = (t, -x, -y, -z)

$$x_\mu = (x_0, x_1, x_2, x_3) = (t, -x, -y, -z)$$

Index Notation

  • Greek indices (μ, ν, ...) run from 0 to 3 (spacetime)
  • Latin indices (i, j, k) run from 1 to 3 (space only)
  • Einstein summation: repeated indices are summed
  • Raising/lowering: Aμ = gμνAν

Important 4-Vectors

Position:

$$x^\mu = (t, \vec{x})$$

4-Momentum:

$$p^\mu = (E, \vec{p})$$

4-Derivative:

$$\partial_\mu = \frac{\partial}{\partial x^\mu} = \left(\frac{\partial}{\partial t}, \nabla\right)$$

Lorentz Invariants

Quantities unchanged under Lorentz transformations:

$$s^2 = x_\mu x^\mu = t^2 - \vec{x}^2$$
$$m^2 = p_\mu p^\mu = E^2 - \vec{p}^2$$

Lorentz Transformations

The Lorentz group consists of rotations and boosts. A boost along the x-axis with velocity v:

$$\Lambda^\mu_{\phantom{\mu}\nu} = \begin{pmatrix} \gamma & -\beta\gamma & 0 & 0 \\ -\beta\gamma & \gamma & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}$$

where $\beta = v/c$ and $\gamma = 1/\sqrt{1-\beta^2}$.

📺 Video Lectures: Special Relativity

4-Vectors & Index Notation (eigenchris)
▶️

Video Lecture

4-Vectors - eigenchris

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Clear explanation of 4-vectors, contravariant/covariant indices, and the metric tensor.

Lorentz Transformations Visualized (ScienceClic)
▶️

Video Lecture

Lorentz Transformations - ScienceClic

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Beautiful visualization of how Lorentz transformations work in spacetime diagrams.

2. Tensor Analysis

Tensor Basics

A tensor is a multilinear map. In component notation:

  • Scalar (rank 0): φ
  • Vector (rank 1): Vμ
  • Rank 2: Tμν, Tμν, Tμν
  • Rank n: Tμ₁...μₙ

Tensor Operations

Contraction:

$$T^\mu_{\phantom{\mu}\mu} = \sum_{\mu=0}^3 T^\mu_{\phantom{\mu}\mu}$$

Outer Product:

$$(A \otimes B)^{\mu\nu} = A^\mu B^\nu$$

Symmetrization:

$$T^{(\mu\nu)} = \frac{1}{2}(T^{\mu\nu} + T^{\nu\mu})$$

Antisymmetrization:

$$T^{[\mu\nu]} = \frac{1}{2}(T^{\mu\nu} - T^{\nu\mu})$$

Important Tensors in QFT

  • Metric tensor: gμν
  • Field strength: Fμν = ∂μAν - ∂νAμ
  • Energy-momentum tensor: Tμν
  • Levi-Civita symbol: εμνρσ

3. Calculus of Variations

Action Principle

The dynamics of a system is determined by extremizing the action:

$$S[q] = \int_{t_1}^{t_2} L(q, \dot{q}, t) \, dt$$

Euler-Lagrange Equations

For discrete systems (particles):

$$\frac{d}{dt}\frac{\partial L}{\partial \dot{q}} - \frac{\partial L}{\partial q} = 0$$

For continuous systems (fields):

$$\frac{\partial \mathcal{L}}{\partial \phi} - \partial_\mu\frac{\partial \mathcal{L}}{\partial(\partial_\mu \phi)} = 0$$

Functional Derivatives

The functional derivative measures how a functional changes with variations of a function:

$$\frac{\delta F[\phi]}{\delta \phi(x)} = \lim_{\epsilon \to 0} \frac{F[\phi + \epsilon \delta(x-y)] - F[\phi]}{\epsilon}$$

Key property:

$$\frac{\delta \phi(x)}{\delta \phi(y)} = \delta^{(4)}(x-y)$$

4. Complex Analysis

Complex Functions

Complex numbers z = x + iy, with conjugate z* = x - iy

$$|z|^2 = z z^* = x^2 + y^2$$

Contour Integration

Cauchy's residue theorem:

$$\oint_C f(z) \, dz = 2\pi i \sum \text{Residues}$$

Essential for computing Feynman integrals and propagators in QFT.

Analytic Continuation

Used in Wick rotation: t → -iτ to go from Minkowski to Euclidean space.

The iε Prescription

In QFT propagators, we encounter integrals with poles on the real axis. The $i\epsilon$ prescription tells us how to handle these:

$$\frac{1}{p^2 - m^2 + i\epsilon}$$

This shifts poles slightly off the real axis, specifying the correct contour for causal propagation.

📺 Video Lectures: Complex Analysis

Contour Integration & Residues (3Blue1Brown style)
▶️

Video Lecture

Contour Integration

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Visual explanation of contour integration and the residue theorem.

Wick Rotation Explained (Physics with Elliot)
▶️

Video Lecture

Wick Rotation - Physics with Elliot

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Why we rotate to imaginary time in QFT and what it means physically.

5. Group Theory & Lie Algebras

Groups

A group (G, ·) satisfies:

  • Closure: g₁, g₂ ∈ G ⇒ g₁ · g₂ ∈ G
  • Associativity: (g₁ · g₂) · g₃ = g₁ · (g₂ · g₃)
  • Identity: ∃ e ∈ G such that e · g = g · e = g
  • Inverse: ∀g ∈ G, ∃ g⁻¹ such that g · g⁻¹ = e

Important Groups in QFT

U(1): Electromagnetic gauge group

Phase transformations: ψ → eψ

SU(2): Weak isospin

2×2 unitary matrices with det = 1

SU(3): Color gauge group (QCD)

3×3 unitary matrices with det = 1

Lorentz group SO(1,3)

Spacetime symmetries

Poincaré group

Lorentz + translations

Lie Algebras

Infinitesimal generators Ta satisfy commutation relations:

$$[T^a, T^b] = if^{abc}T^c$$

where fabc are the structure constants.

Representations

A representation assigns matrices to group elements while preserving the group structure:

$$D(g_1) D(g_2) = D(g_1 \cdot g_2)$$

Key representations in QFT:

  • Fundamental: Smallest non-trivial representation (quarks in SU(3))
  • Adjoint: Dimension equals number of generators (gluons in SU(3))
  • Spinor: Double cover representations (fermions under Lorentz)

📺 Video Lectures: Group Theory

Lie Groups & Lie Algebras (Michael Penn)
▶️

Video Lecture

Lie Groups - Michael Penn

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Mathematical introduction to Lie groups and their associated Lie algebras.

SU(2) and SU(3) in Physics (Physics with Elliot)
▶️

Video Lecture

SU(2) and SU(3) - Physics with Elliot

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

How SU(2) and SU(3) appear in the Standard Model for weak and strong interactions.

6. Clifford Algebra & Gamma Matrices

Why This Matters: Clifford algebras are essential for describing fermions (electrons, quarks) in QFT. The gamma matrices generate the Clifford algebra and appear in the Dirac equation—the foundation of relativistic quantum mechanics for spin-1/2 particles.

Clifford Algebra Definition

A Clifford algebra $\text{Cl}(p,q)$ is generated by elements $\gamma^a$ satisfying the anticommutation relation:

$$\{\gamma^\mu, \gamma^\nu\} = \gamma^\mu \gamma^\nu + \gamma^\nu \gamma^\mu = 2g^{\mu\nu} \mathbb{I}$$

For Minkowski spacetime with metric $g^{\mu\nu} = \text{diag}(+1,-1,-1,-1)$, this gives:

$$(\gamma^0)^2 = \mathbb{I}, \quad (\gamma^i)^2 = -\mathbb{I} \quad (i=1,2,3)$$

The Gamma Matrices

In 4D spacetime, the gamma matrices are 4×4 matrices. The most common representation is the Dirac (standard) representation:

$\gamma^0$ (timelike):

$$\gamma^0 = \begin{pmatrix} \mathbb{I}_2 & 0 \\ 0 & -\mathbb{I}_2 \end{pmatrix}$$

$\gamma^i$ (spacelike):

$$\gamma^i = \begin{pmatrix} 0 & \sigma^i \\ -\sigma^i & 0 \end{pmatrix}$$

where $\sigma^i$ are the Pauli matrices:

$$\sigma^1 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \sigma^2 = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad \sigma^3 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$$

The Fifth Gamma Matrix $\gamma^5$

Defined as the product of all four gamma matrices:

$$\gamma^5 = i\gamma^0\gamma^1\gamma^2\gamma^3 = \begin{pmatrix} 0 & \mathbb{I}_2 \\ \mathbb{I}_2 & 0 \end{pmatrix}$$

Key properties:

  • $(\gamma^5)^2 = \mathbb{I}$
  • $\{\gamma^5, \gamma^\mu\} = 0$ (anticommutes with all gamma matrices)
  • $(\gamma^5)^\dagger = \gamma^5$ (Hermitian)
  • Used to define chirality: left-handed $P_L = \frac{1-\gamma^5}{2}$, right-handed $P_R = \frac{1+\gamma^5}{2}$

Feynman Slash Notation

Contraction of a 4-vector with gamma matrices:

$$\not{a} = a_\mu \gamma^\mu = a^0\gamma_0 - a^1\gamma_1 - a^2\gamma_2 - a^3\gamma_3$$

Common examples:

$\not{p} = p_\mu \gamma^\mu$(momentum slash)
$\not{\partial} = \partial_\mu \gamma^\mu$(derivative slash)

Important Identities

Trace identities:

$$\text{Tr}(\gamma^\mu) = 0$$
$$\text{Tr}(\gamma^\mu\gamma^\nu) = 4g^{\mu\nu}$$
$$\text{Tr}(\gamma^5) = 0$$
$$\text{Tr}(\gamma^5\gamma^\mu\gamma^\nu) = 0$$

Contraction identities:

$$\gamma_\mu \gamma^\mu = 4\mathbb{I}$$
$$\gamma_\mu \gamma^\nu \gamma^\mu = -2\gamma^\nu$$
$$\gamma_\mu \not{a} \gamma^\mu = -2\not{a}$$

The Dirac Equation

The gamma matrices appear in the Dirac equation for spin-1/2 particles:

$$(i\gamma^\mu\partial_\mu - m)\psi = 0 \quad \text{or} \quad (i\not{\partial} - m)\psi = 0$$

📺 Video Lectures: Clifford Algebra & Spinors

Spinors for Beginners (eigenchris)
▶️

Video Lecture

Spinors for Beginners - eigenchris

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Excellent visual introduction to spinors, explaining what they are geometrically and why they arise in physics.

Dirac Equation & Gamma Matrices (Physics with Elliot)
▶️

Video Lecture

Dirac Equation - Physics with Elliot

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Clear derivation of the Dirac equation and explanation of gamma matrix properties.

Clifford Algebras & Spin Groups (Michael Penn)
▶️

Video Lecture

Clifford Algebras - Michael Penn

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Mathematical introduction to Clifford algebras and their connection to spin groups.

7. Spinors

Why This Matters: Spinors are the mathematical objects that describe fermions. Unlike vectors, spinors transform under a double cover of the rotation group—they pick up a minus sign under 360° rotation, returning to themselves only after 720°.

What is a Spinor?

A spinor is a mathematical object that transforms under the spin group Spin(n), the double cover of SO(n). In QFT, we primarily encounter:

  • Weyl spinors: 2-component spinors (massless fermions, definite chirality)
  • Dirac spinors: 4-component spinors (massive fermions)
  • Majorana spinors: Self-conjugate spinors (neutrinos?)

Dirac Spinor Structure

A Dirac spinor $\psi$ is a 4-component object that can be decomposed into two Weyl spinors:

$$\psi = \begin{pmatrix} \psi_L \\ \psi_R \end{pmatrix}$$

where $\psi_L$ and $\psi_R$ are 2-component left-handed and right-handed Weyl spinors.

Dirac Adjoint

The Dirac adjoint is defined as:

$$\bar{\psi} = \psi^\dagger \gamma^0$$

This ensures Lorentz-invariant bilinears like $\bar{\psi}\psi$ (scalar) and $\bar{\psi}\gamma^\mu\psi$ (vector current).

Spinor Bilinears

The 16 independent bilinears formed from Dirac spinors:

Scalar:$\bar{\psi}\psi$(1 component)
Pseudoscalar:$\bar{\psi}\gamma^5\psi$(1 component)
Vector:$\bar{\psi}\gamma^\mu\psi$(4 components)
Axial vector:$\bar{\psi}\gamma^\mu\gamma^5\psi$(4 components)
Tensor:$\bar{\psi}\sigma^{\mu\nu}\psi$(6 components, where $\sigma^{\mu\nu} = \frac{i}{2}[\gamma^\mu, \gamma^\nu]$)

Lorentz Transformation of Spinors

Under a Lorentz transformation $\Lambda$, a Dirac spinor transforms as:

$$\psi(x) \to S[\Lambda] \psi(\Lambda^{-1}x)$$

where $S[\Lambda]$ is a 4×4 matrix representation of the Lorentz group. For infinitesimal transformations:

$$S[\Lambda] = \mathbb{I} + \frac{i}{4}\omega_{\mu\nu}\sigma^{\mu\nu}$$

8. Distributions & Delta Functions

Dirac Delta Function

The Dirac delta δ(x) is a distribution satisfying:

$$\int_{-\infty}^{\infty} f(x) \delta(x-a) \, dx = f(a)$$

Properties

  • δ(x) = 0 for x ≠ 0
  • ∫ δ(x) dx = 1
  • δ(-x) = δ(x)
  • δ(ax) = δ(x)/|a|
  • xδ(x) = 0

4D Delta Function

$$\delta^{(4)}(x-y) = \delta(x^0-y^0)\delta(x^1-y^1)\delta(x^2-y^2)\delta(x^3-y^3)$$

Fourier Representation

$$\delta^{(4)}(x-y) = \int \frac{d^4p}{(2\pi)^4} e^{-ip \cdot (x-y)}$$

Crucial for defining propagators and Green's functions in QFT.

Fourier Transforms in QFT

The Fourier transform converts between position and momentum space:

$$\tilde{f}(p) = \int d^4x \, e^{ip \cdot x} f(x)$$
$$f(x) = \int \frac{d^4p}{(2\pi)^4} e^{-ip \cdot x} \tilde{f}(p)$$

Green's Functions

A Green's function $G(x,y)$ satisfies:

$$\mathcal{D} G(x,y) = \delta^{(4)}(x-y)$$

where $\mathcal{D}$ is a differential operator. In QFT, the propagator is the Green's function of the equations of motion.

📺 Video Lectures: Fourier Analysis & Distributions

Fourier Transform Intuition (3Blue1Brown)
▶️

Video Lecture

Fourier Transform - 3Blue1Brown

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

Beautiful visual explanation of what the Fourier transform really does.

Green's Functions in Physics
▶️

Video Lecture

Green's Functions

💡 Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

How Green's functions are used to solve differential equations and their role in QFT.

Mathematical Toolkit Summary

  • Special Relativity: 4-vectors, Lorentz invariance, Minkowski metric, boosts
  • Tensor Analysis: Index notation, contraction, symmetrization, Levi-Civita
  • Variational Calculus: Action principles, Euler-Lagrange equations, functional derivatives
  • Complex Analysis: Contour integration, residues, analytic continuation, Wick rotation
  • Group Theory: U(1), SU(N), Lorentz group, Poincaré group, Lie algebras
  • Clifford Algebra: Gamma matrices, anticommutators, trace identities, slash notation
  • Spinors: Dirac spinors, Weyl spinors, bilinears, Lorentz transformation
  • Distributions: Delta functions, Fourier transforms, Green's functions

For deeper exploration of these topics, visit theMathematics sectionor thePrerequisite Videos.

📚 Recommended Textbooks

Mathematics

  • • Arfken & Weber - Mathematical Methods for Physicists
  • • Nakahara - Geometry, Topology and Physics
  • • Gilmore - Lie Groups, Physics, and Geometry

QFT Prerequisites

  • • Ryder - Quantum Field Theory (Ch. 1-2)
  • • Peskin & Schroeder - QFT (Appendices)
  • • Srednicki - QFT (Ch. 1-3)
← QFT Overview
Prerequisites Complete
Ready for Part I
Begin Part I →