Background
----------


Suppose we have a finite-dimensional Hilbert space $H = \mathbb{C}^s$ (for a natural number s) and we construct the symmetric (or *bosonic*) Fock space built from it: $$F(H):= \mathbb{C} \oplus H \oplus S(H \otimes H) \oplus S(H \otimes H \otimes H) \oplus \ldots$$
where S is the symmetrising operator.


Vectors in F are sequences of vectors $\psi = (\psi\_0, \psi\_1,\psi\_2,\ldots)$ such that
$\psi\_0 \in \mathbb{C}$, $\psi\_1 \in H$, $\psi\_2 \in S(H \otimes H)$ etc such that
$\sum\_{n=0}^\infty ||\psi\_n||\_n^2 < \infty$ where || ||n denotes the appropriate norm.


For any vector f $\in$ H we can define a pair of unbounded densely defined operators $a^\dagger(f)$ and $a(f)$ acting on F. These are called the "creation and annihilation operators". They are mutually adjoint and satisfy a commutation relation of the form: $$a(f) a^\dagger(g) - a^\dagger(g) a(f) = \langle f, g\rangle $$
where $\langle f, g\rangle $ is the inner-product of f, g $\in$ H.


The best reference for all this is M. Reed, B. Simon, "Methods of Mathematical Physics, Vol 2", section X.7 p207-212. This is partially available on Google books here: <http://books.google.co.uk/books?id=Kz7s7bgVe8gC&lpg=PA141&dq=reed%20and%20simon%20x.7&client=firefox-a&pg=PA210#v=onepage&q=&f=false>


The sum $\phi(f) = a(f) + a^\dagger(f)$ is self-adjoint (more properly the closure of their sum is self-adjoint) and is called the Segal quantisation of f (up to a factor of $\sqrt{2}$).



> 
> Since $\phi(f)$ is self-adjoint we can apply the spectrum theorem to it. The question is, what is its spectral decomposition? Or more loosely, what are its eigenvalues and eigenvectors? or what can we tell from about its spectral decomposition?
> 
> 
> 



Spectral theory for self-adjoint field operators on a symmetric Fock space
One convenient way to do analysis on the symmetric Fock space is to use its isomorphism to
the Bargmann (reproducuing Kernel Hilbert) space (sometimes called the Bargmann-Fock pace)
of analytic functions on $\mathbb C^s$ (with respect to the Gaussian measure) defined in the classical paper:


*Bargmann, V.*, [**On a Hilbert space of analytic functions and an associated integral transform**](http://dx.doi.org/10.1002/cpa.3160140303), Commun. Pure Appl. Math. 14, 187-214 (1961). [ZBL0107.09102](https://zbmath.org/?q=an:0107.09102).


An introduction to the Bargmann space may be found in chapter 4 of the
[book](https://www.mat.univie.ac.at/%7Eneretin/lectures/lectures.htm) by Uri Neretin


*Neretin, Yurii A.*, [**Lectures on Gaussian integral operators and classical groups**](http://dx.doi.org/10.4171/080), EMS Series of Lectures in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-080-7/pbk). xii, 559 p. (2011). [ZBL1211.22001](https://zbmath.org/?q=an:1211.22001).


On the Bargmann space the creation and anihilation operators
are just the multiplication $a\_j = z\_j$ and the derivation $a^\*\_j = d/dZ\_j$
and consequently, the theory of several complex variables can be used for the analysis on this space,
for example the trace of (a trace class) operator can be represented as an integral on its symbol.


Remark: The isomorphism between the symmetric Fock and Bargmann spaces is not proved in the Book. It can be found for example in the references of the following:


*Stochel, Jerzy B.*, Representation of generalised creation and annihilation operators in Fock space, Zesz. Nauk. Uniw. Jagiell. 1208, Univ. Iagell. Acta Math. 34, 135-148 (1997). [ZBL0949.47027](https://zbmath.org/?q=an:0949.47027).


Regarding the question about $a(f)+a^\*(f)$, it is proportional to the position operator of quantum mechanics.
This is an unbounded operator, its spectrum is the whole real line, but it does not have
eigenfunvectors within the Fock space (Loosly speaking, they are Dirac delta functions), however one can find a series of vectors which approximate arbitrarily closely its eigenvectors. Using the corresponding projectors, one can approximate the spectral decomposition of this operator.
The case of the momentum operator $i(a(f)-a^\*(f))$ is used more frequently, a possible choice of the approximate eigenvectors is by means of wave packets.


