As I said before, I'm not a QFT expert but I'm trying to understand the basics of its rigorous formulation.


Let's take [Dimock's book](https://www.amazon.com.br/Quantum-Mechanics-Field-Theory-Mathematical/dp/1107005094), where the foundation of QM and QFT is discussed. If we consider, say, two particles, one living in a Hilbert space $\mathcal{H}\_{1}$ and the other in another Hilbert space $\mathcal{H}\_{2}$, the description of the state of the two-particle system is given in terms of the tensor product $\mathcal{H}^{(2)}=\mathcal{H}\_{1}\otimes \mathcal{H}\_{2}$. Of course, we could go furhter and study a system $\mathcal{H}^{(N)}=\mathcal{H}\_{1}\otimes \cdots \otimes \mathcal{H}\_{n}$. If all the particles are identical, then $\mathcal{H}\_{1}=\cdots = \mathcal{H}\_{n} \equiv \mathcal{H}$ and we must take into account symmetric and anti-symmetric subspaces of $\mathcal{H}^{(N)}$, which correspond to the fact that particles may be either bosons or fermions, respectivelly. At this point, one defines symmetrization and anti-symetrization operators. The next step is to consider a system of an arbitrary number of particles. At this point, one defines Fock spaces $\mathcal{F}^{\pm}(\mathcal{H}) = \bigoplus\_{n=0}^{\infty}\mathcal{H}\_{n}^{\pm}$ for bosons and fermions. Also, one defines creation and annihilation operators $a(h)$ and $a^{\dagger}(h)$ on $\mathcal{F}^{\pm}(\mathcal{H})$.


Now, as far as I understand, this is all **quantum mechanics**, not QFT. However, these ideas seem to find analogues in QFT, and this is the point where I get confused.


On section I.5 of [Feldman, Trubowitz and Knörrer's book](http://www.math.ubc.ca/%7Efeldman/papers/aisen-all.pdf) there is a quick discussion on (fermionic) QFT and it is stated that, in this context, creation and annihilation operators are special families $\{\varphi^{\dagger}(x,\sigma):\hspace{0.1cm} x \in \mathbb{R}^{d}, \hspace{0.1cm} \sigma \in \mathcal{S}\}$ and $\{\varphi(x,\sigma):\hspace{0.1cm} x \in \mathbb{R}^{d}, \hspace{0.1cm} \sigma \in \mathcal{S}\}$ on a Hilbert space $\mathcal{H}$. This is very different than the creation and annihilation operators mentioned above. For instance, these are now families of operators indexed by $x$ and $\sigma$. I believe this is a reflection of the fact that we passed from QM to QFT. But I'm really lost here and I don't know what's the difference between these two constructions and definitions. Can anyone help me, please? I'm mainly interested in understanding the *second* approach, since the first one I believe I understand (at least sufficiently well). If, in addition, you could suggest some reference where these ideas of Feldman, Trubowitz and Knörrer are discussed in more details and with rigor, I'd appreciate!


**ADD:** Based on Feldman, Trubowitz and Knörrer's book, it seems to me that the understanding of these objects (to be more precise, the objects they briefly describe in the first 2 pages of section I.5) is fundamental to understand the formulation of a bunch of QFT models (at least for fermions). Thus, I'd appreciate if someone could elaborate a little more on the structure behind these creation and annihilation operators and its connections to the quantum case that is needed to understand the rest of the discussion on FTK's book. In other words, I think I just need to better understand these first definitions (and how are they connected with the usual quantum case I (seem) to know) to be able to understand the rest of the text.



Creation and annihilation operators in QFT
The connection can be seen by taking $H = L^2(\mathbb{R}^3)$ in the first explanation. This is the Hilbert space of a nonrelativistic, spinless, three-dimensional particle. By direct summing the symmetric (antisymmetric) tensor powers of $H$ we get the Hilbert space of an ensemble of noninteracting Bosonic (Fermionic) nonrelativistic, spinless, three-dimensional particles, known as Fock space. The $n$th tensor power represents the states in which $n$ particles are present.


Now we have "creation" and "annihilation" operators which take states in the $n$th tensor power into the $(n \pm 1)$st tensor power. For each state $h$ in the original Hilbert space $H$ there is a creation operator which tensors with $h$ and symmetrizes (antisymmetrizes), taking the $n$th tensor power into the $(n+1)$st, and its adjoint which goes in the opposite direction and removes a tensor factor of $h$.


In the physics literature one usually works with idealized creation/annihilation operators for which the state $h$ is a fictional Dirac delta function concentrated at some point of $\mathbb{R}^3$. This is what is described in your second explanation. As is usual in physics, the Hilbert space is unspecified, but in the case of free fields it corresponds to the Fock space in the first explanation.


Fock space is inadequate to model interacting fields (indeed, here the mathematical issues become deep and fundamentally unresolved). However, it is not trivial; for instance, one can study free quantum fields against a curved spacetime background and derive Hawking radiation, the Unruh effect, etc. *Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics* by Wald is an excellent, mathematically rigorous explanation of this setting.


In QFT the intuition is that one has a separate Hilbert space at each point of space, and one takes their tensor product to get the Hilbert space of the entire field. I indicated how, intuitively, the Fock space models a "measurable tensor product" of a family of harmonic oscillators (Bosonic case) or two-state systems (Fermionic case) indexed by all the points of space in my answer [here](https://mathoverflow.net/questions/211082/quantum-fields-and-infinite-tensor-products/211148#211148). See Section 2.5 of my book *Mathematical Quantization* for a full explanation.


