# Is there a physical reason that fields in QFT are globally defined?

I have been trying to read a physics textbook on Quantum Field theory. There seems to me to be a bit of a disconnect in most texts I have looked at between quantum mechanics and quantum field theory, in the passage from multiparticle wave functions to fields. I'm curious if there is a physical reason for this. I'm asking this here because the question has a math physics flavor.

First, let me sketch out my simplistic understanding of field theory from the Hamiltonian point of view. I will ignore relativistic invariance (though if I understand correctly, with a bit of work it can be recovered in this picture). Let $$\alpha$$ be a bosonic particle and let $$V = V_\alpha$$ be a space of wavefunctions of a single $$\alpha$$ particle. For concreteness, let's assume $$V = L^2_\mathbb{C}(\mathbb{R}^3),$$ corresponding to a scalar field. Note that I don't really care about the details of $$V$$: any space will do (including a finite-dimensional one for bound particles). The one assumption I will make on $$V$$ is that we have fixed a real subspace $$V_\mathbb{R}\subset V$$ compatible with the Hermitian structure.

Then single-particle quantum mechanics says that a wavefunction $$\psi\in V$$ evolves according to the Schroedinger equation, $$\dot{\psi} = -i H_\alpha\psi,$$ for $$H_\alpha$$ the single-particle Hamiltonian. Similarly, for any $$n$$, there is a non-interacting hamiltonian $$H_{\alpha, n} : = \text{Symmetrize}(H\otimes 1\otimes \dots \otimes 1)$$ on the bosonic $$n$$-particle space $$S^n(V)$$.

Now my understanding is that field theory arises as soon as we perturb the collection of $$n$$-particle Hamiltonians $$\oplus H_{\alpha, n}\in \prod_n\operatorname{End}(S^n(V))$$ by an interacting term $$H_{mix}$$ that mixes particle numbers. The new Hamiltonian will now "create" and "annihilate" particles, and its time evolution will now be a time-dependent unitary automorphism $$U_t$$ of the space of power series $$\mathfrak{F}_{formal} = \widehat{S}^*(V) : = \prod_n S^n(V).$$ (I don't want to be too particular about the analysis here: in particular, perhaps I need to assume that $$U_t$$ has some decent convergence properties.)

Now $$\mathfrak{F}_{formal}$$ is of course the space of power series in a neighborhood of $$0$$ on the affine space $$V_\mathbb{R}$$ of fields. (Well, technically on its dual, but it has a Hilbert metric.) So the passage from a single bosonic particle state to a superposition of all its multiparticle states moves the quantum state space from $$V$$ to power series on $$V$$. (BTW, I'm surprised to have never encountered this point of view written down in a textbook: instead I sort of pieced it together from how physicists talk. Is this a standard, or even a correct point of view?)

Now my question is why field theory doesn't stop at power series. When mathematicians or physicists talk about the Hamiltonian formulation of field theory, the manifold of fields includes all $$C^\infty$$ (or something) global functions on $$V_\mathbb{R}.$$ Is this distinction important, and does it come from some specific physical context where one can measure the difference, or is it just an artifact of playing fast and loose with the analysis as physicists are wont to do?

• You’ve got it backwards. The globally defined (on spacetime) interacting fields are the fundamental object. Fock space is something that only shows up in a free field theory. – Aaron Bergman Jun 5 '20 at 20:33
• (I took the liberty of adding the imaginary unit in S.'s equation, so our hamiltonians are self-adjoint) – Qfwfq Jun 5 '20 at 21:04
• In case I am not the only one who got confused by what @Qfwfq meant by "S.'s equation" for more than a few minutes: S. is Schroedinger. – Willie Wong Jun 5 '20 at 21:30
• A priori, it's neither clear what state you should be expanding about, nor what class of excitations you should be expanding in. You have to give your theory enough freedom to determine those things dynamically. In general, the vacuum will be nontrivial, and the excitations will be collective objects, not the "particles" whose wave functions you started out with. – Michael Engelhardt Jun 5 '20 at 21:42
• There are some papers targeted to mathematicians, e.g. Introduction to Quantum Field Theory for Mathematicians by Sourav Chatterjee. – md2perpe Jun 6 '20 at 13:44

You are describing what is commonly known as second quantization (as you probably already realize). In a nutshell, the main mathematical statement behind second quantization is the following: the algebra $$\mathcal{A}_{particles}$$ generated by creation/annihilation operators acting on the Fock space $$\mathfrak{F}_{particles}$$ is isomorphic to the algebra $$\mathcal{P}_{field}$$ of quantized polynomial observables on the classical phase space of some free field (roughly, a collection of infinitely many harmonic oscillators), and more over the representation of $$\mathcal{P}_{field}$$ on the Hilbert space $$\mathfrak{H}_{field}$$ of oscillator states is isomorphic to the representation of $$\mathcal{A}_{particles}$$ on $$\mathfrak{F}_{particles}$$. Now, what this "free field" is is determined by the structure of the single particle state space $$V$$ and Hamiltonian $$H$$. This field may have a spacetime interpretation, depending on what that structure is, but it may also not. You did not get to the equivalence itself in your description, but it is implicit in the construction of the Fock space.

Historically, this is how the focus shifted from particles to fields. The dictionary could be expanded further and include interactions. When applied to the example of QED (quantum electrodynamics), where initially electrons were quantized as particles and photons as fields, second quantization shows that equally well both electrons and photons can be quantized on equal footing from the start (as fields). One can carry this dictionary quite far, without deciding that either particles or fields are a preferred description. But eventually, the balance shifted towards fields: only those particles and interactions that correspond to local relativistic fields seem to be observed in nature, non-unitarily equivalent representations of $$\mathcal{P}_{field}$$ require drastic changes to the particle picture, non-perturbative (in the fields) phenomena are not (at least not easily) covered by the dictionary and yet there are good reasons to consider them (phase transitions).

The point of the historical summary is that, given the shift in focus from particles to fields, the mathematical questions change. Namely, one is not concerned a priori with a particle Fock space, rather one is concerned with the quantization of a field theory as an infinite dimensional classical system (either via Hamiltonian or path integral methods). Now, one no longer has a reason to restrict the polynomial field observables $$\mathcal{P}_{field}$$, other than convenience or technical necessity. It becomes a mathematical challenge to describe as large an algebra of observables $$\mathcal{A}_{field} \supset \mathcal{P}_{field}$$ as is reasonable. One can think of $$\mathcal{A}_{field}$$ as a quantization of $$C^\infty(V_\mathbb{R})$$, which you were wondering about, for a corresponding reasonable interpretation of $$C^\infty$$ on an infinite dimensional space. If such a quantization of a field system succeeds, and a particle description is possible and desired, then on can simply restrict this quantization to the polynomial observables $$\mathcal{P}_{field}$$ and use the second quantization dictionary.

P.S.: If you insist on describing Fock space as $$\mathfrak{F}_{formal}$$ as formal power series on $$V$$, then it is not a Hilbert space. If you would like Fock space to be a Hilbert space, you should restrict to those series that have finite norm, thus defining $$\mathfrak{F}_{particles} = \bigoplus_n S^n(V)$$ by the usual direct sum of Hilbert spaces. The connection of this description of Fock space to power series (or at least to polynomials) on $$V$$ is well-known, though it need not be mentioned in textbooks unless it's needed for some specific remarks. But the connection is mentioned already on Wikipedia.

• On a technical point in your PS: isn't the space of states of finite norm bigger than the direct sum $\oplus_n S^n(V)$? (I think I can find subspaces in the direct product but not in the direct sum which do have finite norm.) Relatedly, Wikipedia (in your link) takes the completion of the direct sum as the definition of Fock space, which is then a Hilbert space by the Segal–Bargmann construction (also in your link). – AlexArvanitakis Jun 6 '20 at 0:54
• Nevermind, I failed to parse "the usual direct sum of Hilbert spaces" correctly the first time --- it's the completion of the algebraic direct sum by definition so it all makes sense – AlexArvanitakis Jun 6 '20 at 1:00
• Thanks! I heard the term "non-perturbative QFT" just recently but did not make the connection. So it sounds like a specific example of "where can we see physics not described by this Fock space picture" is "QCD", more or less? – Dmitry Vaintrob Jun 6 '20 at 2:11
• @DmitryVaintrob - more or less, yes. The original "particles" in terms of which QCD is formulated are the quarks and the gluons. However, the vacuum state of QCD (that you would expand about) is not a state of zero quarks and gluons - on the contrary, it differs even topologically from the latter. The excitations are not quasi-free quarks and gluons that it would be very helpful to build a Fock space from ... – Michael Engelhardt Jun 6 '20 at 4:19
• This doesn't mean that the Fock space construction itself becomes conceptually useless - but it means that you would have to construct the Fock space using entirely different particles that are complicated superpositions of quarks and gluons. If you've reached the point where you're able to formulate what these are, you've practically already solved QCD. – Michael Engelhardt Jun 6 '20 at 4:20