Let be an algebraic curve over . A **theta characteristic** on is a (holomorphic or algebraic) square root of the canonical line bundle , i.e. a line bundle such that

Since the degree of is even, such theta characteristics exist, and in fact form a torsor over the 2-torsion in the Jacobian , which is isomorphic to .

One piece of geometric motivation for theta characteristics comes from the following observation: theta characteristics form an algebro-geometric approach to framings. By a theorem of Atiyah, holomorphic square roots of the canonical bundle on a compact complex manifold are equivalent to spin structures. In complex dimension one, a choice of a spin structure is equivalent to a *framing* of . On a framed manifolds, there is a canonical choice of **quadratic refinement** on the middle-dimensional mod homology (with its intersection pairing), which gives an important invariant of the framed manifold known as the **Kervaire invariant.** (See for instance this post on the paper of Kervaire that introduced it.)

It turns out that the mod function on the theta characteristics is precisely this invariant. In other words, theta characteristics give a purely algebraic (valid in all characteristics, at least ) approach to the Kervaire invariant, for surfaces!

Most of the material in this post is from two papers: Atiyah’s Riemann surfaces and spin structures and Mumford’s Theta characteristics of an algebraic curve. (more…)