I was reading this post from PSE and it reminded me an old question of mine, in which the use of creation and annihilation operators were discussed. Both questions got answers which agreed on the fact that in QFT one is not always assuming a Fock space as the underlying Hilbert space of the theory. That made me think about the role of Fock spaces to justify path integrals in some contexts. Let me elaborate.

To keep the ideas simple and keep the notations from my previous linked post, I will deal with fermionic models. Suppose our Hilbert space $\mathscr{H}$ has dimension $n < +\infty$. In many-body quantum theory, one considers its associated Fock space $\mathcal{F}^{-}(\mathscr{H})$ which has dimension $2^{n}$. There is a vast literature about rigorous treatments of many-body systems. This Fock space identifies, in a natural way, with a Grassmann algebra with finitely many generators $\psi_{1},...,\psi_{2^{n}}$ by simply identifying each creation operators on the Fock space with a generator of the Grassmann algebra and the vacuum vector $\Omega$ with $1$. In this setting, one can give mathematical meaning to the path integral representation by using:

(i) The fact that the trace of an operator $A$ on $\mathcal{F}^{-}(\mathscr{H})$ has a natural "translation" in terms of Grassmann integrals and

(ii) The Lie-Trotter formula for bounded operators.

At least from my perspective, every reference I know that discusses path integrals for fermions does it in the above setting: finite-dimensional Hilbert spaces of one-particle system, finite dimensional Fock spaces and so on. However, as stressed before, in a more general setting, we couldn't assume a Fock space as the underlying Hilbert space. The fact that (at least to my knowledge) no reference discusses path integral formulations in more abstract setting makes me think this approach either only works for many-body systems, in which Fock spaces can be used, or it is just easier/more intuitive to do this way.

My point is: I don't see why Fock spaces are so much necessary apart from being more intuitive. So, can't we justify the path integral method in a more abstract way, under some additional hypothesis? Suppose $\mathcal{F}^{-}(\mathscr{H})$ is replaced by an arbitrary finite-dimensional complex Hilbert space $\mathscr{H}$, with creation and annihilation operators $\varphi^{\dagger}(x)$ and $\varphi(x)$ and some Hamiltonian $H$ on $\mathscr{H}$. If we assume:

(1) These creation and annihilation operators satisfy CAR relations

(2) The existence of a unique vacuum vector $\Omega$, which is the ground state for $H$

(3) $\mathscr{H}$ is spanned by successive applications of creation operators to $\Omega$

Then:

**Q1:** Doesn't the above hypothesis fully define a fermionic system?

**Q2:** Aren't (1) to (3) enough to establish a isomorphism between $\mathscr{H}$ and a finitely generated Grassmann algebra?

**Q3:** Doesn't the path integral formulation, using the Lie-Trotter formula hold in the very same way as before?

In summary: Are the hypothesis (1) to (3) enough to replace the Fock space by an arbitrary Hilbert space and still get the same analysis?

The hypothesis (1) to (3) seems exactly the kinds of hypothesis physicists are assuming when studying their fermionic models, but the lack of discussions about path integrals on these more abstract settings (i.e. outside Fock spaces and many-body quantum mechanics) makes me question whether there is something wrong with the above.

neverseen this approach to developing fermion path integrals, even in fairly mathematically oriented treatments. I think the reality is that it simply removes too much of what makes realistically useful path integrals nontrivial (and hard to define). $\endgroup$