Fock space

Fock space
Name	Fock space
Field	Quantum mechanics; Functional analysis
Introduced	1932
Introduced by	Vladimir Fock

Fock space is a construction in quantum theory and functional analysis that organizes states with varying particle number into a single Hilbert space. It appears in the formalism of second quantization and underlies many treatments of many-body systems, quantum field theory, and statistical mechanics. The structure is central to computations in scattering theory, condensed matter, and the theory of operator algebras.

Definition and construction

Fock space is built from a given single-particle Hilbert space H by taking direct sums of tensor powers of H and equipping them with a Hilbert space structure; this construction is closely associated with the work of Vladimir Fock, Paul Dirac, and John von Neumann and is used in the analysis of many-body problems in the tradition of the Copenhagen interpretation and the Dirac formalism. The construction uses algebraic operations familiar from the representation theory of the symmetric group, the theory of C*-algebras, and the spectral theory developed by Émile Picard and David Hilbert, and it connects to methods used in the studies of the Riemann hypothesis and the Atiyah–Singer index theorem when examining infinite-dimensional settings. In applications one often chooses either the completed tensor algebra or graded completions studied by Norbert Wiener and John Tukey; these completions relate to topological vector spaces considered by Jean-Pierre Serre and Alexander Grothendieck.

Symmetric and antisymmetric Fock spaces (bosons and fermions)

The Fock construction splits into symmetric and antisymmetric sectors corresponding to exchange statistics: the symmetric (Bose–Einstein) sector used for bosons links historically to Satyendra Bose and Albert Einstein and to experiments at places such as Bell Labs and CERN, while the antisymmetric (Fermi–Dirac) sector used for fermions connects to Enrico Fermi and Paul Dirac and to phenomena explored at institutions like the Max Planck Institute and Fermilab. Mathematical analysis of these sectors draws on techniques from Évariste Galois's symmetry considerations, Emmy Noether's theorems, and the representation theory developed by Hermann Weyl and Issai Schur; further developments were influenced by the work of Murray Gell-Mann and Richard Feynman in particle classification and perturbation theory. Antisymmetrization and symmetrization operators are constructed using projection operators studied in the context of the Royal Society and the French Academy of Sciences, and their combinatorial aspects resonate with enumerative problems treated by Srinivasa Ramanujan and Percy MacMahon.

Creation and annihilation operators and algebra

Creation and annihilation operators act on Fock space to add or remove quanta and satisfy canonical commutation relations for bosons or canonical anticommutation relations for fermions; these operator algebras were formalized by John von Neumann and refined in the work of Irving Segal and Rudolf Haag within algebraic quantum field theory at institutions such as the Institute for Advanced Study. The algebraic relations underpin computations in perturbative expansions developed by Freeman Dyson and Gerard 't Hooft and are used in constructions related to the Haag–Kastler axioms and the Wightman axioms. The operators generate representations of Lie algebras and groups studied by Sophus Lie and Élie Cartan, and connections to the Heisenberg group and Stone–von Neumann theorem are standard in treatments influenced by the collaboration between Paul Ehrenfest and Lev Landau.

Applications in quantum mechanics and quantum field theory

Fock space is the backbone of second quantization techniques used in nonrelativistic many-body theory as in the works of Lev Landau, Nikolay Bogoliubov, and Philip Anderson, and it appears in relativistic quantum field theories developed by Richard Feynman, Julian Schwinger, and Murray Gell-Mann. It is employed in scattering theory as treated by Enrico Fermi and Hans Bethe, in the description of Bose–Einstein condensation investigated by Wolfgang Ketterle and Eric Cornell, and in superconductivity theories pioneered by John Bardeen, Leon Cooper, and Robert Schrieffer. Calculations in collider physics at CERN, neutrino physics at Fermilab, and condensed matter experiments at MIT and Stanford routinely use Fock-space methods alongside renormalization group techniques popularized by Kenneth Wilson and Leo Kadanoff.

Mathematical properties and representations

From a mathematical viewpoint, Fock space exhibits structures studied in functional analysis by Stefan Banach and John von Neumann, and in operator theory by Israel Gelfand and Mark Naimark. Representations of canonical commutation relations are classified in contexts related to the Stone–von Neumann theorem and further developed in the theory of von Neumann algebras by Murray and von Neumann; modular theory initiated by Tomita and Takesaki plays a role in infinite systems as illustrated in work at the Clay Mathematics Institute. Connections to combinatorics and orthogonal polynomials rely on contributions by Carl Gustav Jacobi and Chebyshev, while geometric quantization perspectives draw on the approaches of Jean-Marie Souriau and Bertram Kostant. Coherent states introduced by Roy Glauber and elaborated by John Klauder provide overcomplete bases in Fock space useful in harmonic analysis traditions from Norbert Wiener.

Examples and computed states

Concrete examples include the vacuum state (no particles), single-particle states associated with basis vectors from H, and multi-particle product states used in computations by Hans Bethe and Richard Feynman. Coherent states used in quantum optics experiments at Bell Labs and squeezed states studied by Rainer Weiss in gravitational-wave detection are expressed naturally in Fock-space language. Other computed states include Slater determinants for fermionic many-electron systems central to Walter Kohn's density functional work and Hartree–Fock approximations employed in computational chemistry at institutions like the Royal Society of Chemistry and the American Chemical Society. Excited states in quantum harmonic oscillator models treated by Erwin Schrödinger and Paul Dirac are routinely expressed via creation operators acting on the vacuum within this formalism.

Category:Quantum mechanics Category:Functional analysis Category:Mathematical physics