  In generic curved spacetimes, the unavailability of a natural choice of
vacuum state introduces a serious ambiguity in the Fock quantization of fields.
In this review, we study the case of fermions described by a Dirac field in
several cosmological spacetimes, and present recent results about
well-motivated criteria that ensure the uniqueness in the selection of a vacuum
up to unitary transformations. These criteria are based on two requirements.
First, the invariance of the vacuum under the symmetries of the Dirac equations
in the considered spacetime. Second, the unitary implementability of the
Heisenberg dynamics of the annihilation and creation operators when the curved
spacetime is treated as a fixed background. This last requirement not only
permits the uniqueness of the Fock quantization but, remarkably, it also
determines an essentially unique splitting between the phase space variables
assigned to the background and the fermionic annihilation and creation
variables. We first consider Dirac fields in cosmological spacetimes of 2+1
dimensions and then discuss the more relevant case of 3+1 dimensions. We use
this analysis to investigate the hybrid loop quantization of a flat
Friedmann-Lema\^itre-Robertson-Walker background cosmology coupled to a
perturbative Dirac field. Among the Fock quantizations for the fermionic
perturbations allowed by our criteria, we further restrict the choice of vacuum
by demanding a finite fermionic backreaction and, moreover, by diagonalizing
the fermionic contribution to the total Hamiltonian in the asymptotic limit of
large wave numbers of the Dirac modes. Finally, we argue in support of the
uniquess of the vacuum state selected by the extension of this diagonalization
condition beyond the ultraviolet regime, proving that it picks out the standard
Poincar\'e and Bunch-Davies vacua for fixed flat and de Sitter background
spacetimes, respectively.
