Many-Body Hilbert Spaces and Operators

A many-body calculation is trustworthy only when its state space, basis, operator algebra, constraints, and approximation agree. A Hamiltonian written with familiar creation and annihilation symbols is not yet a complete model: one must still say which modes those symbols label, which sector is retained, how fermionic modes are ordered, what boundaries and cutoffs are used, and which observable tests the claim.

This chapter is the application layer for that work. It does not redefine Fock space or quantize a theory a second time. It shows how coordinate wavefunctions, occupation states, mode operators, nonrelativistic fields, and real- or momentum-space Hamiltonians describe the same declared many-body problem.

Required background. Review Core Objects and Notation, Fock Space, and Second Quantization. Those pages supply the foundational spaces and operator algebra used here.

Helpful background. Tensor Products of Hilbert Spaces distinguishes composition from direct sum, while the Symmetrization Postulate explains the allowed fixed-particle sectors. A spin-only route can use local tensor products without introducing particle Fock space.

From a physical system to an operator model

Use this modeling spine:

degrees of freedom and statistics → physical Hilbert space and sector → complete modes and basis → operator algebra and Hamiltonian → symmetries and observables → representation, cutoff, and validation.

Before calculating, complete six ledgers.

1. Degrees-of-freedom ledger. Name the species, internal labels, sites or continuum coordinates, exchange statistics, and constraints. Do not use a particle label where only a mode label is physical.
2. State-space ledger. Declare a fixed-$N$ symmetric or antisymmetric sector, a direct sum of sectors, a Fock space, or a local tensor-product space. Record conserved charges and any projection to a symmetry block.
3. Mode ledger. Define one complete one-particle mode and, for fermions, its ordering convention. State whether the working basis is coordinate, orbital, site, spin-orbital, momentum, band, or another explicitly defined basis.
4. Operator ledger. Identify the one-body, two-body, number-changing, density, current, or probe operators needed for the question. State coefficient, Hermiticity, statistics, and double-counting conventions.
5. Geometry ledger. Give the spatial domain, lattice or continuum structure, boundary conditions, Fourier normalization, and the relation between real- and momentum-space variables.
6. Approximation-and-claim ledger. Record basis and occupation cutoffs, projected sectors, omitted terms, target observable, and validation tests such as Hermiticity, commutators with conserved charges, sum rules, or convergence under cutoff changes.

The detailed Many-Body Hilbert Spaces Overview owns the choice among fixed-particle sectors, Fock spaces, local tensor products, symmetry blocks, and controlled truncations. This gateway owns the route through the chapter.

Read as a dependency graph

The sidebar is a catalog, not a claim that every reader must traverse one linear prerequisite chain.

1. Choose the physical space. Begin with Many-Body Hilbert Spaces Overview. State the one-particle space, statistics, sector, constraints, and cutoff before choosing convenient coordinates.
2. Translate the state language. Read First-Quantized Many-Body Wavefunctions when coordinate amplitudes, exchange of complete labels, or fixed-$N$ observables are central. Then use Occupation-Number Representation to translate into mode populations. A mode-native lattice problem can enter the occupation page directly after the overview.
3. Choose the statistics branch. Use Bosonic Operators in Many-Body Models or Fermionic Operators in Many-Body Models. Read both only when comparison is the goal; they are parallel branches, not universally cumulative prerequisites.
4. Choose the field branch when space is continuous or local densities matter. Field Operators in Many-Body Models translates a complete mode expansion into position-space operator language. The fields remain nonrelativistic many-particle operators unless additional field-theory structure is supplied.
5. Build the operator core. One-Body Operators lifts single-particle matrices and probes. Two-Body Operators constructs pair interactions after the relevant statistics, coefficient, and field or mode conventions are fixed.
6. Follow the branch demanded by the observable. Use Number Operators and Conserved Quantities for global charges and sectors, then Density Operators and Current Operators for local balance and flow. A current calculation can take the shorter Field Operators → Density and Current route when its foundational one-body and number-operator background is already secure.
7. Prepare a reference-state or representation method. Normal Ordering in Many-Body QM organizes operators around the empty vacuum or another declared reference. Momentum-Space Representation and Real-Space Representation provide complementary dictionaries with explicit normalization, cutoff, and boundary data.

Choose a shorter route

Fixed-$N$ continuum wave mechanics. Read Hilbert Spaces Overview → First-Quantized Wavefunctions → Occupation-Number Representation. Add Field Operators, One-Body Operators, Two-Body Operators, and Real-Space Representation only when the calculation moves from coordinate amplitudes to operator-valued local fields.

Bosonic or fermionic lattice model. Read Hilbert Spaces Overview → Occupation-Number Representation → the appropriate statistics branch → One-Body and Two-Body Operators → Number Operators. Continue through the Lattice Models and Spin Systems gateway once the operator grammar is secure; use the Lattice Models Overview when you need the detailed graph, local-space, coupling, constraint, and boundary ledger.

Local conservation or response. Read Field Operators → Number Operators → Density and Current Operators. Then enter Correlation Functions and Linear Response to choose the appropriate branch; use Correlation Functions Overview to distinguish an expectation value, correlation, fluctuation, and response function.

Interacting or field-theory preparation. Read Field Operators → One-Body and Two-Body Operators → Number Operators → Normal Ordering. Continue through Interacting Systems and Approximation Methods for method selection; use the Interacting Many-Body Systems Overview when the model is fixed and the regime-level control audit is next, or Why Many-Body QM Leads to QFT for the conceptual bridge.

Worked routing audit

For a periodic spinful Hubbard chain, complete modes can be ordered pairs of site and spin labels. Choose a fixed particle-number sector or a Fock space with a declared sector projection; do not let the notation make that choice implicitly. The hopping term is one-body, the onsite repulsion is two-body, and total particle number supplies a commutator check. Real space makes onsite locality transparent; momentum space exploits translation symmetry. The next chapter owns the model’s phases and physical regimes.

For a trapped dilute Bose gas, begin with the continuum one-particle space and decide whether the calculation fixes $N$ or uses a variable-number description. Field operators organize kinetic, trap, and interaction terms; density and current operators define local observables; the trap and boundary data belong in the representation ledger. A contact interaction also needs a regulator or matching convention appropriate to the spatial dimension. Gross–Pitaevskii and Bogoliubov approximations are later methods, not identities supplied by the field notation.

Exit checkpoint

You are ready to leave this chapter when you can:

• declare the physical Hilbert space, sector, complete modes, ordering, boundaries, and cutoffs;
• translate a simple fixed-$N$ coordinate state into occupation-number language and back;
• apply bosonic or fermionic algebra without losing normalization or sign conventions;
• distinguish a field operator from a many-body wavefunction and a density operator from a density matrix;
• recognize and construct one-body, two-body, number, density, and current operators;
• test Hermiticity, body-counting factors, conserved-charge commutators, and cutoff convergence;
• choose real or momentum space without treating a basis change as a change of physical theory;
• identify when the next owner is a lattice model, an interacting approximation, correlation and response, or QFT.

Canonical boundaries

• Composite Systems and Entanglement owns tensor and direct-sum construction, exchange symmetry, Fock-space definitions, normalized number states, ladder maps, canonical commutation or anticommutation relations, foundational field and mode expansions, basic operator lifts, and empty-vacuum normal ordering.
• This chapter owns their deployment in many-body model spaces: coordinate-to-occupation translation, statistics-specific Hamiltonian assembly, truncations, reduced-density applications, conserved sectors, local densities and currents, reference-state normal ordering, and real- or momentum-space dictionaries.
• Equilibrium occupation laws, gas thermodynamics, and condensation belong to Quantum Statistics and Ideal Gases.
• Hubbard, Bose–Hubbard, spin-chain, impurity, and related model physics belongs to Lattice Models and Spin Systems.
• Mean-field, Gross–Pitaevskii, Bogoliubov, BCS, and other approximation schemes belong to Interacting Systems and Approximation Methods.
• General density matrices belong to Core Formalism; the density operator in this chapter usually means a particle, charge, mass, or spin density observable.
• Relativistic covariance, antiparticles, microcausality, field quantization, and renormalized QFT are outside this chapter. Nonrelativistic field operators alone do not supply those structures.

Common routing errors

“Fock space means particle number fluctuates.” Fock space contains number sectors. A state or Hamiltonian may remain in one sharp, conserved sector.

“Second quantization is a second physical quantization.” In nonrelativistic many-body QM it is an operator representation of the same many-particle theory.

“The field operator is the many-body wavefunction.” A field operator changes particle number locally; a wavefunction is a state amplitude after choosing a representation.

“One-body and two-body mean local and weak.” Body rank counts how many constituents an operator term acts on. It does not determine geometric range, coupling strength, or computational ease.

“Normal ordering is mean field.” Reordering is an exact algebraic rewrite when every contraction and induced term is retained. Approximation begins when terms or correlations are discarded.

“Real and momentum space are automatically interchangeable after truncation.” A complete basis transformation preserves the theory. Finite grids, mode cutoffs, boundary conditions, and projected bands can make naive truncated dictionaries inequivalent.

Exercises

Exercise 1: Route two operator models

For (a) a four-site periodic spinful Hubbard model at fixed particle number and (b) a finite trapped Bose gas with contact interactions, list the minimum chapter route and four entries that must appear in each model ledger.

Solution

For (a), use Hilbert Spaces Overview → Occupation-Number Representation → Fermionic Operators → One-Body and Two-Body Operators → Number Operators, adding Momentum Space if translation symmetry will be used. Record the ordered site-spin modes, fixed number sector, periodic boundary, hopping and onsite-interaction conventions, and conserved charges. Then continue to the Hubbard Model page. For (b), use Hilbert Spaces Overview → Occupation-Number Representation → Bosonic Operators → Field Operators → One-Body and Two-Body Operators → Density and Current → Real Space. Record fixed-$N$ or variable-number choice, trap geometry, field normalization, contact regulator or matching convention, and occupation or spatial cutoff. Approximation then continues through Interacting Systems and Approximation Methods.

Exercise 2: Repair four claims

Repair these statements: “using Fock space makes $N$ uncertain”; “normal ordering is a mean-field approximation”; “the field operator is the many-body wavefunction”; and “a momentum-space Hamiltonian describes a different system from its real-space form.”

Solution

Fock space provides a direct sum of number sectors, but a state can occupy one sharp sector and a number-conserving Hamiltonian cannot mix sectors. Normal ordering is exact when all generated terms are kept; a later truncation may be approximate. A field operator creates or annihilates a quantum in a spatially labeled mode, whereas a many-body wavefunction is a coordinate representation of a state. Finally, complete real- and momentum-space bases give equivalent representations under a consistent transform; boundaries, normalization, discretization, and cutoffs must be tracked before asserting equivalence in a truncated calculation.

References

• H. Bruus and K. Flensberg, Many-Body Quantum Theory in Condensed Matter Physics, Oxford University Press (2004).
• P. Coleman, Introduction to Many-Body Physics, Cambridge University Press (2015).
• A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
• J. W. Negele and H. Orland, Quantum Many-Particle Systems, Westview Press (1998).