Bosonic Fock space and second quantisation

Intuition [Beginner]

The harmonic oscillator from the prior unit's worked examples sits at the heart of every quantum field. Its quantum spectrum is a ladder — energies $\hslash \omega (n+\frac{1}{2})$ for $n=0,1,2,\dots$ — and the operator that climbs the ladder, raising the energy by one rung, is called a creation operator. Its partner, the annihilation operator, lowers the energy by one rung. The ground state is the bottom rung, with no rung below it.

Now imagine instead of one oscillator, an entire orchestra of them — one for every mode of every field, one for every wave-vector the universe permits. A photon is one rung climbed on the oscillator labelled by its momentum. Two photons of the same momentum is the same oscillator climbed twice. A multi-particle state is a tuple of rung-heights, one per mode. The state space that holds all such tuples is called a Fock space, after Vladimir Fock, who introduced it in 1932 to package multi-particle quantum mechanics in a single Hilbert space.

What makes the construction subtle is that the particles are identical. Two photons of momentum $p$ and one photon of momentum $q$ is one physical state, not three, not six. The Fock space enforces this by working with symmetric tensors — wavefunctions invariant under permutation of the slot labels. The label "photon 1, photon 2" has no physical meaning; only the occupation numbers do. This is the bosonic Fock space; for fermions, the symmetric tensors get replaced by antisymmetric ones, and a separate ladder appears with rungs that can be either empty or singly-occupied but never doubly-occupied (the Pauli exclusion principle).

The reason all of this matters is that ordinary quantum mechanics, with its fixed particle number, cannot accommodate processes that create and destroy particles. Photons get emitted and absorbed. Pairs get pair-produced in high-energy collisions. The Hilbert space has to be big enough to host states with any number of particles, all at once. Fock space is exactly that space. The procedure of upgrading a one-particle theory to a many-particle theory by passing to Fock space is what physicists call second quantisation — a misleading name (it is not a second quantisation of anything, just a reorganisation of the many-body formalism) which has nonetheless stuck.

Visual [Beginner]

Picture a column of empty shelves, stacked upward without end — one shelf per rung of the energy ladder. The ground state is the empty bottom shelf, called the vacuum. A one-particle state is one ball on the first shelf. Two balls on the second shelf, or one ball on each of two distinct shelves, are two-particle states; and so on.

Now refine the picture. Each "shelf" is not just a number of balls; it is a Hilbert space in its own right — the symmetric $n$-fold tensor power of a fixed one-particle Hilbert space. The one-particle Hilbert space might be the space of square-integrable wavefunctions on space, or the space of positive-energy solutions of the Klein-Gordon equation, or just $\mathbb{C}$ itself (a single mode of a single oscillator). The Fock space is the Hilbert-space direct sum of all the shelves at once, with an inner product that adds the contributions from each shelf separately.

The creation operator $a^{\ast }(f)$ for a one-particle state $f$ takes a state on the $n$-th shelf and produces a state on the $(n+1)$-th shelf, by "adjoining" $f$ to the existing list of occupants and symmetrising over the resulting $(n+1)$ slots. The annihilation operator $a(f)$ does the reverse — it removes an occupant labelled $f$ from the $(n+1)$-th shelf and produces a state on the $n$-th shelf. Acting on the vacuum, annihilation gives zero (there is nothing to remove), and the entire Fock space is built up by applying strings of creation operators to the vacuum. This is the picture every field-theory calculation lives inside.

Worked example [Beginner]

Take the one-mode case: the one-particle Hilbert space is just $\mathbb{C}$, and the Fock space becomes the familiar quantum harmonic oscillator Hilbert space, spanned by the energy eigenstates $|0⟩,|1⟩,|2⟩,\dots$ where $|n⟩$ is the state with $n$ quanta. Write $a^{\ast }$ and $a$ for the creation and annihilation operators of the single mode.

The defining algebraic relation is the canonical commutation relation $[a,a^{\ast }]=a{a}^{\ast }-a^{\ast }a=1$. From this single relation, plus the existence of a ground state $|0⟩$ killed by $a$ (that is, $a|0⟩=0$), the entire spectrum follows. Define $|n⟩=(a^{\ast }{)}^n|0⟩/\sqrt{n!}$. The action of the ladder operators is

$$a^{\ast }|n⟩=\sqrt{n+1}|n+1⟩,a|n⟩=\sqrt{n}|n-1⟩.$$

The number operator $N=a^{\ast }a$ counts quanta: $N|n⟩=n|n⟩$. The harmonic-oscillator Hamiltonian becomes $H=\hslash \omega (N+\frac{1}{2})=\hslash \omega (a^{\ast }a+\frac{1}{2})$, with eigenvalues $E_n=\hslash \omega (n+\frac{1}{2})$ exactly matching the Schrödinger-equation spectrum.

Plug in numbers. At $n=0$: $a|0⟩=0$ (no quanta to annihilate), and $a^{\ast }|0⟩=|1⟩$ (build one quantum out of the vacuum). At $n=3$: $a^{\ast }|3⟩=2|4⟩$ (since $\sqrt{4}=2$) and $a|3⟩=\sqrt{3}|2⟩$. The square-root factors are the bookkeeping for bosonic occupation: an already-populous shelf is easier to add a ball to than an empty one, and easier to remove one from. This is the algebra in its smallest possible setting; the multi-mode Fock space is the same picture, replicated once per orthonormal basis vector of the one-particle Hilbert space.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $\mathcal{H}$ be a complex separable Hilbert space — the one-particle Hilbert space of the theory. For each integer $n\ge 0$, write ${\mathcal{H}}^{\otimes n}$ for the Hilbert-space $n$-fold tensor power (with ${\mathcal{H}}^{\otimes 0}:=\mathbb{C}$ by convention), and let $S_n$ act on ${\mathcal{H}}^{\otimes n}$ by permutation of the tensor factors. The symmetrisation projector is

$$P_s^{(n)}:=\frac{1}{n!}\sum _{\sigma \in S_n}{U}_{\sigma },$$

where $U_{\sigma }$ is the unitary representing $\sigma \in S_n$ on ${\mathcal{H}}^{\otimes n}$. The symmetric $n$-fold tensor power is the closed subspace

$$S^n\mathcal{H}:=P_s^{(n)}{\mathcal{H}}^{\otimes n}=\{\xi \in {\mathcal{H}}^{\otimes n}:U_{\sigma }\xi =\xi \text{ for all }\sigma \in S_n\}.$$

The bosonic Fock space over $\mathcal{H}$ is the Hilbert-space direct sum

$${\mathcal{F}}_s(\mathcal{H}):=\underset{n=0}{\overset{\infty }{⨁}}{S}^n\mathcal{H},$$

with inner product $⟨({\xi }_n{)}_n,({\eta }_n{)}_n{⟩}_{{\mathcal{F}}_s}={\sum }_{n=0}^{\infty }⟨{\xi }_n,{\eta }_n{⟩}_{S^n\mathcal{H}}$ and norm $\Vert ({\xi }_n{)}_n{\Vert }^2={\sum }_n\Vert {\xi }_n{\Vert }^2<\infty$. By the ${\ell }^2$ direct-sum construction, ${\mathcal{F}}_s(\mathcal{H})$ is again a complex separable Hilbert space 02.11.08. The summand $S^0\mathcal{H}=\mathbb{C}$ is spanned by the unit vector $\Omega$ called the vacuum.

Symmetric inner product

For $f_1,\dots ,f_n,g_1,\dots ,g_n\in \mathcal{H}$, the symmetric tensor $f_1\vee \cdots \vee f_n:=\sqrt{n!}{P}_s^{(n)}(f_1\otimes \cdots \otimes f_n)$ satisfies

$$⟨f_1\vee \cdots \vee f_n,g_1\vee \cdots \vee g_n{⟩}_{S^n\mathcal{H}}=\mathrm{perm}(⟨f_i,g_j⟩),$$

where $\mathrm{perm}$ is the matrix permanent. The normalisation factor $\sqrt{n!}$ in the definition of the symmetric product is the convention under which creation operators acquire the clean square-root coefficients of the next subsection.

Creation and annihilation operators

For each $f\in \mathcal{H}$, define the creation operator $a^{\ast }(f)$ as the densely defined unbounded operator on ${\mathcal{F}}_s(\mathcal{H})$ with $a^{\ast }(f)S^n\mathcal{H}\subset S^{n+1}\mathcal{H}$ acting by

$$a^{\ast }(f)(g_1\vee \cdots \vee g_n)=f\vee g_1\vee \cdots \vee g_n,$$

with $a^{\ast }(f)\Omega :=f$, and extended linearly. The annihilation operator $a(f)$ is defined as the formal adjoint, with $a(f)S^n\mathcal{H}\subset S^{n-1}\mathcal{H}$ acting by

$$a(f)(g_1\vee \cdots \vee g_n)=\sum _{k=1}^n⟨f,g_k⟩g_1\vee \cdots \vee \widehat{g_k}\vee \cdots \vee g_n,$$

(where the caret marks omission), and $a(f)\Omega :=0$. The map $f\mapsto a^{\ast }(f)$ is complex-linear; the map $f\mapsto a(f)$ is complex-anti-linear (so that $a(\lambda f)=\bar{\lambda }a(f)$). Both operators are well-defined on the finite-particle subspace

$${\mathcal{F}}_s^{\mathrm{fin}}(\mathcal{H}):=\underset{n=0}{\overset{\infty }{⨁}}{}^{\mathrm{alg}}{S}^n\mathcal{H},$$

the algebraic direct sum (vectors with only finitely many non-zero components), which is dense in ${\mathcal{F}}_s(\mathcal{H})$.

Number operator

The number operator $N$ acts on $S^n\mathcal{H}$ by multiplication by $n$ — equivalently, given an orthonormal basis $\{e_k{\}}_{k\ge 1}$ of $\mathcal{H}$,

$$N=\sum _{k=1}^{\infty }{a}^{\ast }(e_k)a(e_k),$$

where the sum converges on the finite-particle subspace and extends to a self-adjoint operator on ${\mathcal{F}}_s(\mathcal{H})$ with spectrum $\sigma (N)={\mathbb{N}}_0$. The vacuum $\Omega$ is the unique unit ray with $N\Omega =0$.

Standard conventions

The field operators (in the Hermitian convention used by most physics texts) are

$$\varphi (f):=\frac{1}{\sqrt{2}}(a(f)+a^{\ast }(f)),\pi (f):=\frac{i}{\sqrt{2}}(a^{\ast }(f)-a(f)),$$

for real $f$ (with the appropriate complexification adjustment for general $f$). They satisfy $[\varphi (f),\pi (g)]=i⟨f,g⟩$, the abstract canonical commutation relation in field-operator form. The exponentiated Weyl operators $W(f):=\exp (i(\varphi (f^{\prime })-\pi (f^{\prime \prime }))$ for $f=f^{\prime }+i{f}^{\prime \prime }$ are bounded unitaries satisfying the Weyl form of the CCR, $W(f)W(g)=e^{-i\mathrm{Im}⟨f,g⟩}W(f+g)$, and are the entry-point to the $C^{\ast }$-algebraic formulation of the CCR algebra (Bratteli-Robinson Vol. II §5.2 ^{[Bratteli-Robinson Vol. II]}).

The construction $\mathcal{H}\mapsto {\mathcal{F}}_s(\mathcal{H})$ is functorial in the unitary group of $\mathcal{H}$: each unitary $U:\mathcal{H}\to \mathcal{H}$ extends to a unitary $\Gamma (U):{\mathcal{F}}_s(\mathcal{H})\to {\mathcal{F}}_s(\mathcal{H})$ acting as $U^{\otimes n}$ on $S^n\mathcal{H}$. The functor $\Gamma$ is called the second-quantisation functor, and the assignment $\mathcal{H}\mapsto {\mathcal{F}}_s(\mathcal{H})$ is the procedure named second quantisation, introduced by Fock 1932 ^{[Fock 1932]}.

Counterexamples to common slips

• The operators $a(f)$ and $a^{\ast }(f)$ are not bounded. On a one-mode oscillator, $\Vert a^{\ast }|n⟩\Vert =\sqrt{n+1}$ is unbounded as $n\to \infty$. The CCR $[a,a^{\ast }]=1$ in fact forces unboundedness: no pair of bounded operators on a Hilbert space can satisfy $[A,B]=1$, since otherwise tracing both sides on a finite-dimensional invariant subspace yields the contradiction $0=\dim$. The relevant domain machinery is the finite-particle subspace and its closure; see Reed-Simon Vol. II §X.7 ^{[Reed-Simon Vol. II]}.

• The Fock space ${\mathcal{F}}_s(\mathcal{H})$ is not the same as the Hilbert tensor power ${\mathcal{H}}^{\otimes n}$ for any fixed $n$. The Fock space contains states with indeterminate particle number — superpositions like $\alpha \Omega +\beta |f⟩$ have no fixed particle count, and are physically realised as coherent states of the radiation field. Confusing ${\mathcal{F}}_s(\mathcal{H})$ with a single-$n$ summand erases the entire point of the construction.

• The CCR $[a(f),a^{\ast }(g)]=⟨f,g⟩$ holds with the Hilbert-space inner product on the right, not the complex conjugate. The convention is fixed by the antilinearity of $a$ in its argument: $a(\lambda f)=\bar{\lambda }a(f)$, so $[a(\lambda f),a^{\ast }(g)]=\bar{\lambda }⟨f,g⟩=⟨\lambda f,g⟩$, consistent.

• The number operator $N$ is not trace-class — its eigenvalues $0,1,2,\dots$ each appear with infinite multiplicity in any infinite-dimensional one-particle Hilbert space, so $\mathrm{tr}(e^{-\beta N})$ diverges for $\beta =0$ and converges for $\beta >0$ only when the one-particle Hilbert space is itself trace-class-enriched (Gibbs state of a free gas). The trace-class issues are the central technical content of free-field thermal physics.

Key theorem with proof [Intermediate+]

Theorem (canonical commutation relations). For all $f,g\in \mathcal{H}$, the creation and annihilation operators on ${\mathcal{F}}_s(\mathcal{H})$ satisfy

$$[a(f),a^{\ast }(g)]=⟨f,g⟩1,[a(f),a(g)]=[a^{\ast }(f),a^{\ast }(g)]=0,$$

on the finite-particle subspace ${\mathcal{F}}_s^{\mathrm{fin}}(\mathcal{H})$.

Proof. It suffices to compute on a symmetric tensor $\xi =g_1\vee \cdots \vee g_n\in S^n\mathcal{H}$. For $a(f)a^{\ast }(g)\xi$, apply $a^{\ast }(g)$ first, then $a(f)$:

$$a^{\ast }(g)\xi =g\vee g_1\vee \cdots \vee g_n,$$

a vector in $S^{n+1}\mathcal{H}$. Then $a(f)$ acts by the sum over removals:

$$a(f)a^{\ast }(g)\xi =⟨f,g⟩g_1\vee \cdots \vee g_n+\sum _{k=1}^n⟨f,g_k⟩g\vee g_1\vee \cdots \vee \widehat{g_k}\vee \cdots \vee g_n.$$

The first term comes from removing the $g$ that was just inserted; the remaining sum comes from removing one of the original $g_k$'s, with $g$ left behind in the result. Now compute $a^{\ast }(g)a(f)\xi$ in the opposite order:

$$a(f)\xi =\sum _{k=1}^n⟨f,g_k⟩g_1\vee \cdots \vee \widehat{g_k}\vee \cdots \vee g_n,$$

and $a^{\ast }(g)$ now inserts $g$ at the front of each term:

$$a^{\ast }(g)a(f)\xi =\sum _{k=1}^n⟨f,g_k⟩g\vee g_1\vee \cdots \vee \widehat{g_k}\vee \cdots \vee g_n.$$

Subtract: $a(f)a^{\ast }(g)\xi -a^{\ast }(g)a(f)\xi =⟨f,g⟩g_1\vee \cdots \vee g_n=⟨f,g⟩\xi$. This proves the first commutation relation on the dense finite-particle subspace.

For $[a^{\ast }(f),a^{\ast }(g)]=0$: both $a^{\ast }(f)a^{\ast }(g)\xi$ and $a^{\ast }(g)a^{\ast }(f)\xi$ equal $f\vee g\vee g_1\vee \cdots \vee g_n$, since the symmetric product is commutative by construction (the symmetrisation projector $P_s$ absorbs any permutation of the factors). For $[a(f),a(g)]=0$: both $a(f)a(g)\xi$ and $a(g)a(f)\xi$ produce the double sum

$$\sum _{j\ne k}⟨f,g_j⟩⟨g,g_k⟩g_1\vee \cdots \vee \widehat{g_j}\vee \cdots \vee \widehat{g_k}\vee \cdots \vee g_n$$

with the same overall symmetric coefficient, and the difference is identically zero on each term. $\square$

Closure properties. Each $a(f)$ and $a^{\ast }(f)$ extends from the finite-particle subspace to a closed operator on a maximal natural domain inside ${\mathcal{F}}_s(\mathcal{H})$. The natural domain contains the dense subspace $D(N^{1/2}):=\{\xi \in {\mathcal{F}}_s(\mathcal{H}):N^{1/2}\xi \in {\mathcal{F}}_s(\mathcal{H})\}$, and on this domain $\Vert a(f)\xi \Vert ,\Vert a^{\ast }(f)\xi \Vert \le \Vert f\Vert \Vert (N+1{)}^{1/2}\xi \Vert$ — the Reed-Simon N-bound ^{[Reed-Simon Vol. II]}, which encodes the unboundedness as a controlled growth in particle number.

Theorem (spectrum of the number operator). The number operator $N = \sum_k a^(e_k),a(e_k)$extendstoaself-adjointoperatoron$\mathcal{F}s(\mathcal{H})$with$\sigma(N) = \mathbb{N}0$.Theeigenspace$N^{-1}({n})$equals$S^n\mathcal{H}$,and$N|{S^n\mathcal{H}} = n\cdot\mathbb{1}{S^n\mathcal{H}}$.*

Proof. First show $N{|}_{S^n\mathcal{H}}=n$. Use the orthonormal basis $\{e_k\}$ of $\mathcal{H}$ and the basis of $S^n\mathcal{H}$ given by symmetric products $e_{k_1}\vee \cdots \vee e_{k_n}$ (with repetition allowed). For each $k$, $a^{\ast }(e_k)a(e_k)$ counts the number of $e_k$-factors in the symmetric product; summing over $k$ counts the total number of factors, which is $n$. The vacuum is the $n=0$ eigenvector with eigenvalue zero. Self-adjointness of $N$ on the domain $D(N)=\{\xi =({\xi }_n):{\sum }_n{n}^2\Vert {\xi }_n{\Vert }^2<\infty \}$ follows from the spectral-theorem packaging of the orthogonal direct sum: $N$ is the closure of its action on the finite-particle subspace, and acts diagonally with real eigenvalues on the $S^n\mathcal{H}$ summands. The spectrum is pure point and equals ${\mathbb{N}}_0$. $\square$

Bridge. The CCR algebra and the number operator together package the entire ladder structure of the bosonic Fock space into operator identities, which builds toward the dedicated successor unit on the Stone-von Neumann uniqueness theorem and appears again in every subsequent quantum field theory unit. The foundational reason the construction works is that the symmetric tensor power $S^n\mathcal{H}$ is exactly the space of $n$-particle bosonic states, identified with the eigenspace $N^{-1}(\{n\})$ by the previous theorem. This is exactly the dictionary that lets a one-particle Hilbert space generate a many-body theory: the bridge is provided by the second-quantisation functor $\Gamma$, which generalises the one-particle dynamics on $\mathcal{H}$ to a many-body dynamics on ${\mathcal{F}}_s(\mathcal{H})$, and which identifies the Heisenberg algebra of $a,a^{\ast },1$ with the Lie algebra in the unique irreducible representation pinned by Stone-von Neumann. Putting these together, the central insight of second quantisation is that multi-particle quantum mechanics is the symmetric-Fock-space upgrade of one-particle quantum mechanics — no new physical input is required, only a clean choice of representation of the CCR.

Exercises [Intermediate+]

A graded set covering ladder-operator computation, the CCR algebra, coherent states, multi-mode Fock-space structure, and connections to the harmonic oscillator and free scalar field.

Lean formalization [Intermediate+]

lean_status: none — Mathlib provides the symmetric-tensor-power and Hilbert-direct-sum scaffolding via Mathlib.LinearAlgebra.TensorAlgebra.Basic, Mathlib.Analysis.InnerProductSpace.l2Space, and Mathlib.Analysis.InnerProductSpace.Adjoint, sufficient to define ${\mathcal{F}}_s(\mathcal{H})$ as a separable Hilbert space and the $n$-particle symmetric inner product as a permanent of Gram matrices. What is not in Mathlib at this date: the creation and annihilation operators as densely-defined unbounded operators on Fock space with their canonical commutation relation $[a(f),a^{\ast }(g)]=⟨f,g⟩1$ on the finite-particle subspace; the number operator $N$ as a self-adjoint operator with spectrum ${\mathbb{N}}_0$ and the finite-particle subspace as its essential-self-adjointness core domain; the Stone-von Neumann uniqueness theorem for the Weyl form of the CCR on finitely many degrees of freedom; the second-quantisation $\Gamma$-functor sending a one-particle unitary $U$ on $\mathcal{H}$ to its symmetric Fock promotion $\Gamma (U)$ on ${\mathcal{F}}_s(\mathcal{H})$; coherent states $|z⟩$ as eigenvectors of $a$ with the resolution-of-identity formula $\int \frac{d^{2}z}{\pi }|z⟩⟨z|=1$. The shipped finite-dimensional pieces (symmetric powers, Gram permanents, ladder identities on a one-mode oscillator) cover the harmonic-oscillator case directly but do not extend automatically to the infinite-dimensional Fock-space regime where the physics actually lives. This unit is reviewer-attested. See the lean_mathlib_gap block in the frontmatter for the full enumeration.

Coherent states and the Bargmann-Fock representation [Master]

The coherent states $|z⟩=e^{-|z{|}^2/2}{\sum }_n{z}^n|n⟩/\sqrt{n!}$ of Exercise 4 are eigenstates of $a$ with eigenvalue $z\in \mathbb{C}$, and saturate the Heisenberg uncertainty relation (Exercise 6). They were introduced as the quantum-optical building blocks of the radiation field by Glauber 1963 ^{[Glauber 1963]}, whose work earned the 2005 Nobel Prize in Physics, and they are the bridge between Fock-space QFT and classical wave theory: the expectation value of the field operator in $|z⟩$ is exactly the classical wave amplitude with complex amplitude $z$. In quantum optics, laser light is modelled as a coherent state of the photon Fock space; in field theory, coherent states label the classical background fields around which one perturbatively quantises.

Theorem (Bargmann 1961 ^{[Bargmann 1961]}). Let ${\mathcal{F}}_s({\mathbb{C}}^n)$ be the bosonic Fock space over ${\mathbb{C}}^n$. The map

$$|n_1,\dots ,n_k⟩\mapsto \frac{z_1^{n_1}\cdots z_k^{n_k}}{\sqrt{n_1!\cdots n_k!}}$$

on the occupation-number basis extends to a unitary isomorphism from ${\mathcal{F}}_s({\mathbb{C}}^n)$ to the Bargmann-Fock space: the Hilbert space of entire holomorphic functions on ${\mathbb{C}}^n$ with inner product $⟨f,g{⟩}_{BF}={\int }_{{\mathbb{C}}^n}\overline{f(z)}g(z)e^{-|z{|}^2}{d}^{2n}z/{\pi }^n$. Under this isomorphism, $a^$actsasmultiplicationby$z$and$a$actsas$\partial/\partial z$.*

The Bargmann-Fock representation makes the entire Fock-space construction holomorphic, with creation as $z$ and annihilation as ${\partial }_z$. It is the standard tool for path-integral representations of bosonic many-body theories and for the Berezin quantisation programme. The coherent states $|z⟩$ become the reproducing kernel of the Bargmann-Fock space (Berezin 1975 — generalisation), and the resolution-of-identity formula $\int |z⟩⟨z|d^{2}z/\pi =1$ is the reproducing-kernel completeness statement.

Bogoliubov transformations. A real-linear bijection $T:\mathcal{H}\to \mathcal{H}$ preserving the CCR (in the form $T=\alpha +\bar{\beta }$ on the complex-linear / antilinear parts, with $|\alpha {|}^2-|\beta {|}^2=1$ in the one-mode case) is a Bogoliubov transformation. It lifts to a unitary on ${\mathcal{F}}_s(\mathcal{H})$ iff the antilinear part $\beta$ is Hilbert-Schmidt — the Shale-Stinespring criterion (Shale 1962). When the criterion fails, the transformed CCR representation is unitarily inequivalent to the original one, and the "transformed vacuum" is not a vector in the original Fock space. This is the algebraic source of inequivalent vacuum representations in QFT, of the Unruh effect, of Hawking radiation in the Bogoliubov-coefficient calculation around a black hole, and of spontaneous symmetry breaking in many-body theory.

Connection to QFT and the Wightman axioms [Master]

In quantum field theory, the one-particle Hilbert space ${\mathcal{H}}_1$ is taken to be the relativistic positive-energy one-particle space — for a real scalar field of mass $m$, the Hilbert space $L^2(X_m^{+},d{\Omega }_m)$ of square-integrable functions on the positive-mass hyperboloid $X_m^{+}=\{p:p^2=m^2,p^0>0\}$ with Lorentz-invariant measure $d{\Omega }_m=d^3\mathbf{p}/(2{\omega }_{\mathbf{p}})$, ${\omega }_{\mathbf{p}}=\sqrt{|\mathbf{p}{|}^2+m^2}$. The bosonic Fock space ${\mathcal{F}}_s({\mathcal{H}}_1)$ is the free-field Hilbert space, and the free Klein-Gordon field is the operator-valued distribution

$$\varphi (x)=\int \frac{d^3\mathbf{p}}{(2\pi {)}^3\sqrt{2{\omega }_{\mathbf{p}}}}(a(\mathbf{p})e^{-ip\cdot x}+a^{\ast }(\mathbf{p})e^{+ip\cdot x})$$

acting on ${\mathcal{F}}_s({\mathcal{H}}_1)$, with $p\cdot x={\omega }_{\mathbf{p}}{x}^0-\mathbf{p}\cdot \mathbf{x}$ and the creation / annihilation operators continuum-normalised to $[a(\mathbf{p}),a^{\ast }(\mathbf{q})]=(2\pi {)}^{3}2{\omega }_{\mathbf{p}}{\delta }^3(\mathbf{p}-\mathbf{q})$. The field $\varphi (x)$ does not exist as an operator at a sharp spacetime point; it is well-defined only when smeared against a Schwartz test function $f\in \mathcal{S}({\mathbb{R}}^4)$, giving $\varphi (f)=\int \varphi (x)f(x)d^{4}x$ as a densely-defined operator on ${\mathcal{F}}_s({\mathcal{H}}_1)$.

This packaging is the input to the Wightman axioms ^{[Streater-Wightman 1964]}:

1. The states of the theory live in a separable Hilbert space carrying a unitary representation of the Poincaré group with a unique Poincaré-invariant vacuum $\Omega$ and spectrum supported on the forward light cone.
2. The fields $\varphi$ are operator-valued tempered distributions; the family $\{\varphi (f):f\in \mathcal{S}\}$ has a common dense invariant domain containing $\Omega$.
3. Poincaré covariance: $U(a,\Lambda )\varphi (f)U(a,\Lambda {)}^{\ast }=\varphi (f_{a,\Lambda })$ with $f_{a,\Lambda }(x)=f({\Lambda }^{-1}(x-a))$.
4. Microcausality / local commutativity: $[\varphi (f),\varphi (g)]=0$ when the supports of $f$ and $g$ are spacelike separated.
5. Cyclicity of the vacuum: polynomials in $\varphi (f)$ applied to $\Omega$ span a dense subspace.

The Klein-Gordon free field on Fock space is the canonical example satisfying all five axioms, verified explicitly in Streater-Wightman Ch. 3 ^{[Streater-Wightman 1964]} and Glimm-Jaffe Ch. 6 ^{[Glimm-Jaffe 1987]}. Building any interacting Wightman quantum field theory in four spacetime dimensions remains an open problem (the $\$1\text{M}$ Yang-Mills mass-gap Clay Millennium Problem is one face of it). Constructive QFT (Glimm-Jaffe and the Italian-French school of the 1970s-80s) has succeeded for super-renormalisable theories in 2 and 3 spacetime dimensions, building rigorous Fock-space representations with interaction-modified vacuum and field operators.

The Wigner classification (Wigner 1939 ^{[Wigner 1939]}) of irreducible unitary representations of the Poincaré group by mass and spin is the input that selects which one-particle Hilbert space goes into the Fock construction for each species: a massive spin-$s$ particle uses the unique irreducible unitary representation of the Poincaré group with those quantum numbers as its one-particle space, and the bosonic Fock space over that is the free-field Hilbert space of the species. The bosonic / fermionic distinction at the Fock-space level is the input for the spin-statistics theorem — integer-spin one-particle spaces use ${\mathcal{F}}_s$, half-integer-spin use the fermionic ${\mathcal{F}}_a$ (the dedicated successor unit 12.03.02).

Synthesis. The bosonic Fock space identifies the many-body quantum mechanics of identical bosons with a single, fixed, second-quantised representation of the canonical commutation relations on a separable Hilbert space — and Stone-von Neumann settles the finite-degree case definitively as a unique such representation. The foundational reason the construction supports the entire QFT edifice is that the second-quantisation functor $\Gamma$ generalises the one-particle Hilbert-space dynamics to a many-body dynamics on the Fock space, identifying the Heisenberg algebra of $a,a^{\ast },1$ with the universal irreducible algebra of bosonic creation and annihilation. This is exactly the central insight Fock 1932 ^{[Fock 1932]} and Dirac 1927 ^{[Dirac 1927]} introduced — putting these together with the relativistic one-particle Hilbert space of Wigner's classification, the bridge is the operator-valued tempered distribution $\varphi (x)$ that satisfies the Wightman axioms and identifies the free quantum field with the second-quantised Klein-Gordon equation; this pattern recurs in every textbook free-field construction, builds toward the interacting-QFT programme of Glimm-Jaffe, and appears again in the Stone-von Neumann uniqueness, the Bogoliubov-transformation classification of inequivalent vacua, the Unruh and Hawking radiation derivations, and the entire $C^{\ast }$-algebraic formulation of quantum statistical mechanics.

Full proof set [Master]

Proposition (number-operator essential self-adjointness on the finite-particle subspace). The number operator $N$, defined on ${\mathcal{F}}_s^{\mathrm{fin}}(\mathcal{H})$ by $N\xi =n\xi$ for $\xi \in S^n\mathcal{H}$ and extended linearly, is essentially self-adjoint on ${\mathcal{F}}_s^{\mathrm{fin}}(\mathcal{H})$. Its closure $\bar{N}$ is self-adjoint with spectrum $\sigma (\bar{N})={\mathbb{N}}_0$ and domain $D(\bar{N})=\{({\xi }_n)\in {\mathcal{F}}_s(\mathcal{H}):{\sum }_n{n}^2\Vert {\xi }_n{\Vert }^2<\infty \}$.

Proof. Symmetry on ${\mathcal{F}}_s^{\mathrm{fin}}$ is immediate: for $\xi \in S^n\mathcal{H},\eta \in S^m\mathcal{H}$, $⟨N\xi ,\eta ⟩=n⟨\xi ,\eta ⟩=m⟨\xi ,\eta ⟩=⟨\xi ,N\eta ⟩$ (the inner product vanishes unless $n=m$). For essential self-adjointness, apply Reed-Simon Vol. I §VIII.2 Theorem VIII.1 ^{[Reed-Simon Vol. II]}: a symmetric operator $A$ on a dense domain is essentially self-adjoint iff $\ker (A^{\ast }\pm i)=\{0\}$, equivalently iff $\mathrm{ran}(A\pm i)$ is dense. Compute $(N+i)\xi$ for $\xi =({\xi }_n)\in {\mathcal{F}}_s^{\mathrm{fin}}$: each $S^n\mathcal{H}$ summand becomes $(n+i){\xi }_n$, so the range contains $\{({\eta }_n):{\eta }_n=(n+i){\xi }_n,{\xi }_n\in S^n\mathcal{H}\}$, which is the entire algebraic direct sum (since $n+i\ne 0$ for $n\in {\mathbb{N}}_0$, division by $(n+i)$ recovers ${\xi }_n$). The algebraic direct sum is dense in ${\mathcal{F}}_s$, so $\mathrm{ran}(N+i)$ is dense, and symmetrically for $\mathrm{ran}(N-i)$. Therefore $N$ is essentially self-adjoint on ${\mathcal{F}}_s^{\mathrm{fin}}$, and its closure $\bar{N}$ is self-adjoint.

For the spectrum and domain: the orthogonal direct sum ${\mathcal{F}}_s(\mathcal{H})={⨁}_n{S}^n\mathcal{H}$ with $\bar{N}{|}_{S^n\mathcal{H}}=n\cdot 1$ is the spectral resolution of $\bar{N}$ — the projection-valued measure $E_{\bar{N}}(\Omega )={\sum }_{n\in \Omega \cap {\mathbb{N}}_0}{P}_n$ (where $P_n$ is the projector onto $S^n\mathcal{H}$) for Borel $\Omega \subset \mathbb{R}$. The spectrum is the support of $E_{\bar{N}}$, which is ${\mathbb{N}}_0$. The domain is $D(\bar{N})=\{\xi :\int {\lambda }^{2}d⟨\xi ,E_{\bar{N}}(\lambda )\xi ⟩<\infty \}=\{({\xi }_n):{\sum }_n{n}^2\Vert {\xi }_n{\Vert }^2<\infty \}$, by the spectral-theorem domain formula. $\square$

Proposition (Fock representation of the Heisenberg algebra). Let $\mathcal{H}$ be a complex Hilbert space and let $\mathfrak{h}(\mathcal{H})$ be the Heisenberg Lie algebra — the central extension of the real abelian Lie algebra ${\mathcal{H}}_{\mathbb{R}}\oplus {\mathcal{H}}_{\mathbb{R}}$ by $\mathbb{R}\cdot c$ with bracket $[(f,g),(f^{\prime },g^{\prime })]=2\mathrm{Im}⟨f+ig,f^{\prime }+i{g}^{\prime }⟩\cdot c$. The assignment $f\mapsto \varphi (f)$, $g\mapsto \pi (g)$, $c\mapsto 1$ extends to an essentially self-adjoint Lie algebra representation 07.06.01 of $\mathfrak{h}(\mathcal{H})$ on the finite-particle subspace of ${\mathcal{F}}_s(\mathcal{H})$.

Proof. From the CCR theorem in the Intermediate tier, $[\varphi (f),\pi (g)]=\frac{1}{2}[a(f)+a^{\ast }(f),i(a^{\ast }(g)-a(g))]=\frac{i}{2}([a(f),a^{\ast }(g)]-[a^{\ast }(f),a(g)])=\frac{i}{2}(⟨f,g⟩+\overline{⟨f,g⟩})=i\mathrm{Re}⟨f,g⟩$ (using that $a$ is antilinear and $a^{\ast }$ is linear). Including the imaginary parts, $[\varphi (f)+i\pi (f),\varphi (g)-i\pi (g)]=2\mathrm{Im}⟨f,g⟩1$, which is the Heisenberg bracket with central element $c=1$.

For essential self-adjointness of $\varphi (f)$ and $\pi (f)$: both are linear combinations of $a(f)$ and $a^{\ast }(f)$. Apply the Nelson analytic-vector theorem (Reed-Simon Vol. II §X.6 ^{[Reed-Simon Vol. II]}): a symmetric operator with a dense set of analytic vectors is essentially self-adjoint. Each $|n⟩$ in a one-mode subsector is an analytic vector for $\varphi$ (the formal series ${\sum }_k{t}^k{\varphi }^k|n⟩/k!$ converges absolutely for all $t\in \mathbb{C}$ by direct estimation of $\Vert {\varphi }^k|n⟩\Vert \le C^k\sqrt{(n+k)!/n!}\cdot k!$ and Stirling), and finite linear combinations of $|n⟩$'s form a dense set of analytic vectors in ${\mathcal{F}}_s(\mathcal{H})$. Therefore $\varphi (f)$ and $\pi (f)$ are essentially self-adjoint on the finite-particle subspace, and their closures generate one-parameter unitary groups via Stone's theorem. The exponentiated Weyl operators $W(f):=e^{i\varphi (f^{\prime })}{e}^{-i\pi (f^{\prime \prime })}$ for $f=f^{\prime }+i{f}^{\prime \prime }$ satisfy the Weyl form of the CCR

$$W(f)W(g)=e^{-i\mathrm{Im}⟨f,g⟩}W(f+g),$$

a strongly continuous projective unitary representation of the additive group $(\mathcal{H},+)$ with central extension cocycle $\mathrm{Im}⟨\cdot ,\cdot ⟩$. $\square$

Proposition (Stone-von Neumann uniqueness, finite degrees of freedom). Let $n$ be a positive integer. Every strongly continuous irreducible representation of the Weyl-form CCR algebra on $n$ degrees of freedom — that is, every pair $(U(s),V(t))$ of $n$-parameter unitary groups on a separable Hilbert space $K$ satisfying $U(s)V(t)=e^{-is\cdot t\hslash }V(t)U(s)$ with $U(0)=V(0)=1$ and strong continuity — is unitarily equivalent to the Schrödinger representation on $L^2({\mathbb{R}}^n)$.

Proof sketch. The proof, due to Stone 1930 and von Neumann 1931 ^{[Stone 1932; von Neumann 1931]}, goes through the Stone-von Neumann projector $P:={\prod }_j(2\pi \hslash {)}^{-1/2}\int e^{-(s_j^2+t_j^2)/2\hslash }U(s)V(t)dsdt$. One verifies that $P$ is the orthogonal projector onto the closed subspace spanned by all "vacuum-like" vectors — eigenvectors with eigenvalue one of every coherent-state-style smearing of $U$ and $V$. Irreducibility forces $P$ to be a rank-one projector onto a unique (up to phase) vacuum vector ${\Omega }_K\in K$. The map $L^2({\mathbb{R}}^n)\to K$ sending the standard ground-state Gaussian to ${\Omega }_K$ and intertwining the Schrödinger representation with $(U,V)$ extends by the Weyl-CCR relation to a unitary equivalence on all of $L^2({\mathbb{R}}^n)$. Uniqueness up to phase of ${\Omega }_K$ pins the unitary equivalence up to a single overall phase. $\square$

The Bargmann-Fock and Schrödinger representations are unitarily equivalent under the Bargmann transform $B:L^2({\mathbb{R}}^n)\to {\mathcal{F}}_s({\mathbb{C}}^n)$, given by $(B\psi )(z)=({\pi }^{n/2}{)}^{-1/2}\int e^{-(z^2+x^2-2\sqrt{2}x\cdot z)/2}\psi (x)dx$ — an isometric isomorphism mapping the Hermite-polynomial basis of $L^2$ to the monomial basis of the Bargmann-Fock space.

Connections [Master]

• Hilbert-space formalism of quantum mechanics 12.02.01 pending. Direct prerequisite. The bosonic Fock space is a Hilbert space and the creation / annihilation operators are unbounded self-adjoint observables on it; the Dirac-von Neumann postulates that the prior unit develops apply verbatim, with the additional structure of the second-quantisation functor. The CCR algebra of this unit is the prototype unbounded-operator non-commutativity that the previous unit's Master-tier examples (position $\hat{x}$ and momentum $\hat{p}$ with $[\hat{x},\hat{p}]=i\hslash$) anticipate, and the Stone-von Neumann theorem stated here is the uniqueness theorem mentioned there in the forward-reference to chapter 12.04.01 (CCR algebra).

• Stern-Gerlach and spin-1/2 12.01.02 pending. Chapter seed. The harmonic-oscillator one-mode Fock space ${\mathcal{F}}_s(\mathbb{C})={⨁}_n\mathbb{C}\cdot |n⟩$ contrasts with the spin-1/2 Hilbert space ${\mathbb{C}}^2$ of the chapter-opening unit precisely in that the former is infinite-dimensional with ${\mathbb{N}}_0$ spectrum of $N$ and the latter is finite-dimensional with $\{0,1\}$ spectrum of $S_z+1/2$. The Pauli matrices on ${\mathbb{C}}^2$ are the smallest possible representation of an algebra resembling the CCR (fermionic in fact: $\{{\sigma }_{+},{\sigma }_{-}\}=1$, anticommutator not commutator), foreshadowing the fermionic Fock-space construction in the dedicated successor unit 12.03.02.

• Banach space 02.11.04. Trace-class operators on Fock space form a Banach ideal, the natural setting for density matrices of mixed states. Many-body equilibrium states are Gibbs states $\rho =e^{-\beta d\Gamma (H)}/Z$ on ${\mathcal{F}}_s(\mathcal{H})$, where the partition function $Z=\mathrm{tr}{e}^{-\beta d\Gamma (H)}$ converges only when the one-particle Hamiltonian $H$ has appropriate trace-class spectrum — the trace-norm topology controls the entire free-quantum-statistical-mechanics formalism.

• Inner product space 02.11.07 and Hilbert space 02.11.08. Substrate. The symmetric tensor power $S^n\mathcal{H}$ uses the permanent-of-Gram-matrix inner product, an inner-product-space construction; the bosonic Fock space is the ${\ell }^2$ direct sum of these, a separable Hilbert space; the closure properties of $a(f)$ and $a^{\ast }(f)$ and the self-adjointness of $N$ rely on Hilbert-space completeness throughout.

• Bounded and unbounded self-adjoint operators [02.11.01, 02.11.03]. The Reed-Simon $N$-bound $\Vert a^{\ast }(f)\xi \Vert \le \Vert f\Vert \Vert (N+1{)}^{1/2}\xi \Vert$ identifies $a(f),a^{\ast }(f)$ as unbounded with controlled growth on the number-operator core domain. The exponentiated Weyl operators $W(f)=e^{i\varphi (f^{\prime })}{e}^{-i\pi (f^{\prime \prime })}$ are bounded unitaries, giving the $C^{\ast }$-algebraic formulation of the CCR — the algebra of physical observables of a free bosonic system is generated by these.

• Lie algebra representation 07.06.01. The creation, annihilation, and identity operators generate a representation of the Heisenberg Lie algebra $\mathfrak{h}(\mathcal{H})$ — the central extension of ${\mathcal{H}}_{\mathbb{R}}\oplus {\mathcal{H}}_{\mathbb{R}}$ by a one-dimensional centre. The Fock representation is the unique irreducible unitary representation in which the centre acts as $1$ in the finite-degree case (Stone-von Neumann); the entire structure of bosonic many-body quantum mechanics is the representation theory of this single Lie algebra.

• Symplectic vector space and Hamiltonian mechanics (chapter 05-symplectic). The bosonic Fock space is the canonical quantisation of a classical free-field phase space: a real symplectic Hilbert space $(V,\omega )$ with compatible complex structure $J$ becomes the one-particle Hilbert space $\mathcal{H}=(V,J)$, and the Fock space ${\mathcal{F}}_s(\mathcal{H})$ is the geometric quantisation of $(V,\omega )$ — the Bargmann-Fock representation is the holomorphic polarisation, and the Schrödinger representation is the real polarisation. The harmonic-oscillator Hamiltonian $H=\omega (a^{\ast }a+1/2)$ is the quantisation of the classical Hamiltonian $H_{\mathrm{cl}}=\omega |z{|}^2$ on the complex phase space $\mathbb{C}$.

• Fermionic Fock space and the Pauli exclusion principle 12.03.02 pending. Direct sibling, now shipped. The antisymmetric tensor power ${\Lambda }^n\mathcal{H}$ replaces the symmetric $S^n\mathcal{H}$; the creation and annihilation operators satisfy canonical anticommutation relations $\{a(f),a^{\ast }(g)\}=⟨f,g⟩$; and the Pauli exclusion principle becomes the statement $\{a^{\ast }(f),a^{\ast }(f)\}=0$, equivalently $\sigma (N_k)=\{0,1\}$ on each mode-occupation observable. The fermionic creation/annihilation operators are bounded with $\Vert a^{\ast }(f)\Vert =\Vert f\Vert$, in structural contrast to the unbounded bosonic case where the Reed-Simon $N$-bound is required; the CAR algebra is therefore a $C^{\ast }$-algebra in its raw algebraic form without the Weyl exponentiation needed in the CCR case. The fermionic Slater-determinant inner product (a determinant of Gram matrices) replaces the bosonic permanent, and the Stone-von Neumann uniqueness becomes the CAR-uniqueness theorem (a separate but parallel result). The spin-statistics theorem (Fierz 1939; Pauli 1940; Streater-Wightman Ch. 4) is the proof that integer-spin one-particle spaces require ${\mathcal{F}}_s$ developed here and half-integer-spin require ${\mathcal{F}}_a$ of the sibling. Read in parallel: every construction in this unit has a fermionic analogue in 12.03.02 pending with the substitutions (symmetric ↔ antisymmetric, commutator ↔ anticommutator, permanent ↔ determinant, unbounded ↔ bounded, Heisenberg algebra ↔ Clifford algebra).

• Stone-von Neumann theorem and the Weyl algebra 12.03.03 (proposed successor). The CCR has a unique irreducible representation up to unitary equivalence on finitely many degrees of freedom; the dedicated unit develops the Weyl form, the $C^{\ast }$-algebra of the CCR, and the Shale-Stinespring criterion for inequivalent representations in the infinite-degree case.

• Wightman axioms and the free scalar field 12.04.01 (proposed successor). The bosonic Fock space over the relativistic one-particle Hilbert space (positive-energy Klein-Gordon solutions, classified by Wigner 1939) is the free-field Hilbert space; the scalar field $\varphi (x)$ is the distribution-valued combination of $a,a^{\ast }$ that satisfies the five Wightman axioms. The dedicated unit develops the axiomatic framework and the verification for the free field.

• φ⁴ theory and the Dyson series 08.10.03. The interacting scalar quantum field theory of 08.10.03 is built directly on the bosonic Fock space developed here. The mode expansion $\varphi (x)=\int \frac{d^{d-1}\mathbf{k}}{(2\pi {)}^{d-1}2{\omega }_k}\left(a(\mathbf{k})e^{-ik\cdot x}+a^{\ast }(\mathbf{k})e^{ik\cdot x}\right)$ is a distribution-valued combination of the creation and annihilation operators of the present unit, and the canonical commutation relation $[a(\mathbf{k}),a^{\ast }({\mathbf{k}}^{\prime })]=(2\pi {)}^{d-1}2{\omega }_k{\delta }^{(d-1)}(\mathbf{k}-{\mathbf{k}}^{\prime })$ is the substrate on which Wick's theorem and the Dyson time-ordered exponential are proved. The operator-side framework of this unit feeds the Dyson series there: the Fock vacuum $|0⟩$ is the free-theory ground state from which perturbation theory is built, and the Feynman propagator $D_F(x-y)=⟨0|T\varphi (x)\varphi (y)|0⟩$ is the canonical vacuum expectation value of the present unit's operators. The Stone-von Neumann theorem stated above governs the uniqueness of the free-theory Fock representation; the Haag theorem on inequivalence of interacting and free representations is the principal obstruction the φ⁴ unit must navigate.

Historical & philosophical context [Master]

The Fock-space construction was crystallised by Vladimir Aleksandrovich Fock in 1932, in the paper Konfigurationsraum und zweite Quantelung ^{[Fock 1932]}, appearing in Zeitschrift für Physik 75, 622. The paper presents the symmetric and antisymmetric tensor algebras of a one-particle Hilbert space as the natural framework for many-body quantum mechanics of indistinguishable particles, and introduces the term zweite Quantelung (second quantisation) for the procedure of upgrading a one-particle theory to its Fock-space many-body completion. The framework subsumed earlier related constructions: Dirac's 1927 paper on the quantum theory of radiation ^{[Dirac 1927]}, which introduced the creation and annihilation operators for the photon field; Jordan-Klein 1927 ^{[Jordan-Klein 1927]} on the second-quantised many-body Schrödinger equation; and Jordan-Wigner 1928 ^{[Jordan-Wigner 1928]} introducing the canonical anticommutation relations for fermions. The bosonic and fermionic Fock spaces together became the standard apparatus of pre-war quantum statistical mechanics and the post-war development of quantum field theory.

The mathematical reconstruction came in two stages. Stone's 1930 paper ^{[Stone 1932]} on one-parameter unitary groups in Hilbert space supplied Stone's theorem, the functional-analytic spine connecting unitary dynamics with self-adjoint generators. Von Neumann's 1931 paper ^{[von Neumann 1931]} on the uniqueness of the Schrödinger operators proved the Stone-von Neumann theorem in its modern form — the uniqueness up to unitary equivalence of the Weyl-CCR representation on finitely many degrees of freedom. Together these results gave the mathematical content of the Fock-space construction in the finite-degree case. Cook's 1953 thesis ^{[Cook 1953]} supplied the first rigorous treatment of the infinite-dimensional bosonic Fock space as a Hilbert space with a precise account of the operator domains; Cook's $N$-bound estimates remain the standard tool for handling unbounded creation and annihilation operators.

The post-war development was driven by the needs of quantum field theory. Wightman's late-1950s axiomatic framework ^{[Streater-Wightman 1964]}, Segal's 1963 mathematical formulation of free-field quantisation ^{[Segal 1963]}, Haag's 1955-1957 results on the failure of the interaction picture, and the Glimm-Jaffe constructive-field-theory programme of the 1960s-80s ^{[Glimm-Jaffe 1987]} together established the bosonic Fock space as the inputs to all rigorous QFT. Bargmann's 1961 holomorphic-function-space representation ^{[Bargmann 1961]} gave the complex-analytic incarnation of the Fock space, the natural setting for coherent-state path integrals. Glauber's 1963 work on coherent states ^{[Glauber 1963]} applied the coherent-state formalism to quantum optics, identifying laser light with a coherent state of the photon Fock space — the work that earned the 2005 Nobel Prize. The Stone-von Neumann theorem's failure in the infinite-degree case, established by Wightman, Haag, and others starting in the late 1950s, became the structural source of the algebraic-QFT programme of Haag-Kastler 1964 and the operator-algebraic formulation of Bratteli-Robinson ^{[Bratteli-Robinson Vol. II]}, where inequivalent representations classified by quasi-equivalence and Bogoliubov-Shale-Stinespring criteria are the primary objects.

Philosophically, the bosonic / fermionic distinction at the Fock-space level — symmetric vs antisymmetric tensor power — is the formal expression of the spin-statistics distinction, whose deeper origin in relativistic field theory is the spin-statistics theorem (Fierz 1939, Pauli 1940, refined by Lüders-Zumino 1958, Burgoyne 1958). The theorem proves that integer-spin fields must use bosonic Fock spaces and half-integer-spin fields must use fermionic Fock spaces — choosing the wrong statistics in a Lorentz-invariant local quantum field theory yields a contradiction (zero norms or negative-norm states). The Fock-space framework also resolves the identical-particle problem of pre-quantum statistical mechanics — Boltzmann's paradox about the entropy of mixing of identical particles disappears when the configuration space is the symmetric or antisymmetric tensor power instead of the full tensor power. The framework's predictive successes (blackbody radiation, photon counting statistics, Bose-Einstein condensation, BCS superconductivity, quantum-optics phenomena) are large enough that the entire construction is now taken as the kinematic substrate of any quantum theory of many identical particles or fields.

Bibliography [Master]

Primary literature (cite when used; not all currently in reference/):

• Fock, V., Z. Phys. 75, 622 (1932). Konfigurationsraum und zweite Quantelung — the originator paper introducing the symmetric / antisymmetric tensor algebras and the term "second quantisation." [Need to source.]
• Dirac, P. A. M., Proc. Roy. Soc. A 114, 243 (1927). The quantum theory of radiation — creation and annihilation operators in the radiation-field context. [Need to source.]
• Jordan, P. & Klein, O., Z. Phys. 45, 751 (1927). Second-quantised many-body formalism. [Need to source.]
• Jordan, P. & Wigner, E., Z. Phys. 47, 631 (1928). Fermionic anticommutation relations. [Need to source.]
• Stone, M. H., Proc. Nat. Acad. Sci. USA 16, 172 (1930); J. Math. Phys. (later: Ann. Math.) 33, 643 (1932). One-parameter unitary groups; Stone's theorem. [Need to source.]
• von Neumann, J., Math. Ann. 104, 570 (1931). Uniqueness of the Schrödinger operators — Stone-von Neumann theorem. [Need to source.]
• Cook, J. M., Trans. Amer. Math. Soc. 74, 222 (1953). First rigorous mathematical treatment of bosonic Fock space and creation / annihilation operators. [Need to source.]
• Bargmann, V., Comm. Pure Appl. Math. 14, 187 (1961). Bargmann-Fock holomorphic representation. [Need to source.]
• Glauber, R. J., Phys. Rev. 131, 2766 (1963). Coherent and incoherent states of the radiation field — Nobel Prize 2005. [Need to source.]
• Wigner, E. P., Ann. Math. 40, 149 (1939). Classification of irreducible unitary representations of the Poincaré group — relativistic one-particle Hilbert spaces. [Need to source — shared with 12.01.02.]

Canonical monographs (math-physics lineage):

• Streater, R. F. & Wightman, A. S., PCT, Spin and Statistics, and All That (Benjamin, 1964; Princeton Landmarks reprint, 2000). The Wightman axioms; free field on Fock space. [Need to source.]
• Segal, I. E., Mathematical Problems of Relativistic Physics (AMS Lectures in Applied Math., Vol. 2, 1963). Segal's free-field quantisation framework. [Need to source.]
• Reed, M. & Simon, B., Methods of Modern Mathematical Physics, Vol. II: Fourier Analysis, Self-Adjointness (Academic Press, 1975). §X.7 Fock spaces and second quantisation. [Need to source.]
• Bratteli, O. & Robinson, D. W., Operator Algebras and Quantum Statistical Mechanics, Vol. II, 2nd ed. (Springer, 1997). §5.2 Fock representation, Weyl CCR algebra. [Need to source.]
• Glimm, J. & Jaffe, A., Quantum Physics: A Functional Integral Point of View, 2nd ed. (Springer, 1987). Constructive QFT; free scalar field on Fock space. [Need to source.]

Modern textbooks (mathematics-side and physics-side):

• Folland, G. B., Quantum Field Theory: A Tourist Guide for Mathematicians (AMS Math. Surveys 149, 2008). Ch. 4-5 Fock space and second quantisation. [Need to source.]
• Hall, B. C., Quantum Theory for Mathematicians (Springer GTM 267, 2013). Ch. 11 harmonic oscillator; Ch. 14 Stone-von Neumann theorem. [Need to source — shared with 12.02.01.]
• Woit, P., Quantum Theory, Groups and Representations: An Introduction (Springer, 2017). Chs. 22-25 Heisenberg algebra, Stone-von Neumann, Bargmann-Fock, Bogoliubov transformations. [Need to source.]
• Chatterjee, S., Introduction to Quantum Field Theory for Mathematicians (Stanford lecture notes, 2022). Lecture 2 bosonic Fock space, CCR, harmonic oscillator on Fock space, coherent states. [Need to source.]
• Sakurai, J. J. & Napolitano, J., Modern Quantum Mechanics, 2nd ed. (Pearson/Cambridge, 2011). Ch. 2 §2.3 harmonic oscillator with ladder operators; Ch. 7 second quantisation. [Need to source — shared with 12.02.01.]
• Griffiths, D. J., Introduction to Quantum Mechanics, 2nd ed. (Pearson, 2005). Ch. 2 §2.3 algebraic harmonic oscillator; Ch. 5 §5.2 identical particles. [Need to source — shared with 12.02.01.]
• Susskind, L. & Friedman, A., Quantum Mechanics: The Theoretical Minimum (Basic Books, 2014). Lecture 10. [Need to source — shared with 12.02.01.]
• Tong, D., Quantum Field Theory, DAMTP Cambridge lecture notes (raw/pdfs/qft/qft.pdf). §2 canonical quantisation of the free scalar. [Have.]

Reference / extended:

• Berezin, F. A., The Method of Second Quantization (Academic Press, 1966). Classic reference for the bosonic and fermionic constructions. [Need to source.]
• Baez, J., Segal, I. & Zhou, Z., Introduction to Algebraic and Constructive Quantum Field Theory (Princeton, 1992). Math-rigorous QFT primer. [Need to source.]

---

Section 2 second production unit, opening chapter 12-quantum/03-fock-spaces/. Builds on 12.02.01 (Hilbert-space formalism, Cycle 9) and 12.01.02 (Stern-Gerlach, chapter seed). Entry to QFT-content from the Chatterjee QFT and Woit audit punch-lists; sets up successor units on the fermionic Fock space (12.03.02), Stone-von Neumann uniqueness (12.03.03), and Wightman axiomatic free-field quantisation (12.04.01). Citations marked TODO_REF indicate sources expected in reference/ but not yet acquired; replace with [ref: …] when sources arrive.