In this question, when I write Fock space, I mean "the direct sum of the symmetric or antisymmetric tensors in the tensor powers of a single-particle Hilbert space H", as it is described by Wikipedia.
When I began with many-particle-QM in my college-course, we constructed the many-particle space as a tensorproduct of single-particle-states, and then we constructed operators that act on this many-particle-space. From that point of view, it was natural to use the fock space as the space that constains the many-particle-states.
As I understand Quantum Field Theory, everything I do is, I take a classical field theory, and try to quantize it, which means I replace the field variables (like $\phi(x,t)$) with an Operator, then I set the Operator's commutation-relations in a way that makes sense. Afterwards I write the Hamiltonian down, and express it as a sum of some operators, which I afterwards interpret as "Creation and Annihilation"-operators, the create excitation of the quantum field. We then call this excitation "one particle".
My Question: Is the space that the operators act uppon a Fock-state by definition? Or is it just "any Hilbertspace"? If it's the latter: Can we interpret the Hilbertspace to be a Fock-space, after we work with the annihilation and creation operators?
For example, If I found some strange EM-Field-space in QED, can I express it as the sum of tensorproducts of "single-particle-photon"-states?
More generaly (and that is the core of my question): Is there something like a "single-particle" in QFT? While in many-particle-QM, the single-particle-QM is the basis, QFT doesn't rely on this concept, that's why I'm asking.
Best Answer
It is not a postulate that the Hilbert space for QFT is a Fock space. In fact, for interacting theories is often almost surely not a Fock space. The requirements for a Hilbert space to be the space of a QFT is that the Wightman axioms are satisfied.
For free theories, a suitable Fock representation of the canonical commutation relations satisfies the Wightman axioms (in the sense that there exist a vacuum state, the unitary representation of the Poincaré group etc. in the corresponding Fock space); and this is why the Fock space is commonly introduced - also its definition is in my opinion quite intuitive. The other representations used in interacting theories, when known, are rather abstract, and it may even not be clear if they are set in a Fock space or not (almost surely not, for interesting theories).
Let me expand the ideas a bit more, related to the last part of your question. When we write the canonical commutation relations for quantum fields, it is customary to start from a suitable "one-particle" space $\mathfrak{h}$ (at least it was called like that by Irving Segal). Such space is e.g. the Hilbert space on which you build the Fock space $\Gamma_{s/a}(\mathfrak{h})$ (as direct sum of tensor products), and it encodes roughly speaking the properties of the related classical field (scalar/vector/spinor field,...). However, contrarily to what happens in quantum mechanics, there are infinitely many unitarily inequivalent irreducible representations of the canonical commutation relations $\mathrm{C}^*$-algebra built on such one-particle space $\mathfrak{h}$. One of those representations is the Fock one, the others still encode the commutation relations of the creation/annihilation operators $\{a^{\#}(h),h\in\mathfrak{h}\}$, but such operators may not behave as in the Fock representation: in particular, the intersection of their domains of definition $\bigcap_{h\in\mathfrak{h}}D(a(h))$ may fail to be a dense subset of the Hilbert space.