What is the relationship between spinors and supermanifolds and fermions? I have the following two impressions about fermions in physics. I'm confused about their accuracy, and their compatibility:

*

*To consider the behavior of a fermion, whose intrinsic spin is described by a representation $V$ of the group $Spin(p,q)$, on a pseudo-Riemannian manifold $M$ of signature $(p,q)$, you first introduce a spin structure on $M$. Then the fermion field is a section of the bundle associated to $V$.


*To consider the behavior of a fermion on a pseudo-Riemannian manifold $M$ of signature $(p,q)$, you first turn $M$ into a supermanifold. Then the fermion field is a superfunction on $M$ with some constraints coming from its intrinsic spin.
Question: Is either of (1) or (2) close to accurate? What major points or subtleties have I missed? If both are close to accurate, then how does one "translate" between the formalism of (1) and the formalism of (2)?
 A: This is a bit of a repackaging of the same info in the other answer, but maybe it will be more clear.
The short answer is (almost) both: A fermion is a section of the parity shifted spinor bundle on a manifold. As such, you can't have a fermion without a spin structure.
Each aspect of this can be considered separately: there is no classical reason that an anti-commutative field has to be a section of the spinor bundle, and there is no reason that a section of the spinor bundle has to be anti-commutative. However, in physics the Spin-Statistics Theorem says that to have a consistent, Lorentz-invariant theory in >2 spatial dimensions, all anti-commutative fields must be spinors (have half-integral spin).
However, you only need the parity shifted bundle here. The full formalism of supermanifolds is for when you have supersymmetry, which is an odd (ie, anti-commuting) symmetry that relates bosons and fermions.
You can look at this in two ways. The first is as supersymmetric quantum mechanics, where you have maps from, say, the super manifold $\mathbb{R}^{1|1}$ to a Riemannian manifold. Here, the need for a spin-structure arises when you try to quantize theory in order to patch together the Clifford algebras that arise on each local chart.
The second way to look at this is to have your fields be functions on a supermanifold. Here, the supermanifold is modeled on super-Minkowski space, which is acted on by the super-Poincare group. In super-Minkowski space, the odd part is (some number of copies of) the parity shifted the spinor bundle, so the need for the spin-structure is part of the definition.
Dan Freed's notes Classical field theory and supersymmetry on this stuff are very good.
A: You've got the right concepts, but they're presented in a way that makes me think some context could be helpful.
In #1, you're really talking about the special case where $V$ is one of the spinor representations.  In this case, yes, the fermionic fields are sections of the associated spinor bundle $\mathcal{V}$.  Sometimes, people write $\Pi \mathcal{V}$ to emphasize that we take the spinor fields to be anti-commuting when we use them to generate an algebra over the structure sheaf of $M$.
The spin-statistics theorem forces this choice on us in 4+ dimensional relativistic QFT.  We get causality violations if we don't choose the spinor fields to be anti-commutative.  In lower dimensions, the relation between spin & statistics is more complicated. You can have 2d scalars which anti-commute and spinors which commute.
The connection between 1 & 2 is given by Batchelor's Theorem:   The structure sheaf of any supermanifold is (non-canonically) isomorphic to the sections of the exterior algebra of some vector bundle on the underlying manifold.
Locally, the idea is elementary:  A function on a supermanifold looks like
$$f(x,\theta) = f_0(x) + \sum_i f_1^i(x) \theta_i + \sum_{ij} f_2^{ij}(x) \theta_i\theta_j + ....$$
If the $\theta_i$ form a basis for a spinor representation, then the coefficient functions $f_1$ are the components of a section of the (dual) spinor bundle.  The $\theta_i$ anti-commute, so the $f^i_1$ must also anti-commute.
Supermanifolds don't do much for you when you're only thinking about fermions.  They're helpful when you want to start packaging the spinors and other fields into representations of a supersymmetry group.
