Fermionic coherent state (source code)

= Fermionic coherent state
{title2=$a|\theta\rangle=\theta|\theta\rangle$}

For a single <fermionic annihilation operator> $a$ and an independent odd <Grassmann variable> $\theta$, a <fermionic coherent state> is an extended state obeying $a|\theta\rangle=\theta|\theta\rangle$. With $\{a,\theta\}=0$ one may take $|\theta\rangle=\exp(-\theta a^\dagger)|0\rangle$. Its overlap is exponential in the Grassmann labels. A resolution of identity with a <Berezin integral> gives the time-slice construction of a <fermionic path integral>. These formal eigenstates use Grassmann-valued coefficients.