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.

**1. Examples**

In genus two, every curve is hyperelliptic via the canonical map

which is ramified at six points . The canonical divisor has the property that

so that the line bundles (which are pairwise linearly inequivalent) give six theta characteristics.

Since the theta characteristics form a torsor over the 2-torsion in the Jacobian, which is isomorphic to , we should expect ten more theta characteristics. These will not be effective; for distinct with , the line bundle corresponding to the divisor

is a theta characteristic. (In fact, is a 2-torsion point in the Jacobian, and as , these range over all the 15 nonzero 2-torsion points.) These form a (redundant) list of all the theta characteristics on .

In genus three, given a theta characteristic , we observe that has degree two, so has dimension either , and the last one occurs only if is hyperelliptic. So suppose is a *nonhyperelliptic* genus three curve, which means that the canonical map

imbeds as a smooth quartic in . In this case, there are the effective theta characteristics, each of which necessarily corresponds to a *unique* effective divisor . To say that is a theta characteristic is to say that

under the canonical imbedding: that is, the intersection of with a line in must cut out the subscheme . This means that the line is necessarily tangent to at both , or in other words:

Proposition 1Effective theta characteristics on the nonhyperelliptic genus three curve are in bijection with bitangent lines on .

In fact, counting theta characteristics can be used to prove a fact from enumerative geometry, that a smooth plane quartic has exactly bitangents.

**2. Spin structures and theta**

The purpose of this section is to describe the following interpretation of theta characteristics in geometry:

Theorem 2 (Atiyah)On a compact complex manifold , spin structures are in natural bijection with holomorphic square roots of the canonical bundle.

*Proof:* The holomorphic tangent bundle is a complex vector bundle whose underlying -bundle is isomorphic to the usual real tangent bundle of . In particular, it is a -bundle, and a spin structure consists of a lift of the underlying -bundle, under the map

to a -bundle under the double covering map ; equivalently, it is a lift in the diagram

The choice of lifts to *together* with a homotopy to make the diagram commute) is canonically a -torsor. Since pulls back to the unique two-fold cover of , to give a spin structure on is equivalent to giving the tangent bundle a reduction of structure group from to .

But since the determinant map

induces an isomorphism on , to give such a reduction of the structure group is equivalent to giving a reduction of structure group of the canonical bundle of top-forms under the double cover . In other words, it is equivalent to giving a topological line bundle , *together* with a choice of isomorphism of topological bundles,

But a choice of isomorphism determines a holomorphic structure on , so that the squaring map to the total space of is holomorphic. In other words, it is equivalent to considering *holomorphic* bundles with a choice of isomorphism of holomorphic bundles

However, since is compact, the “choice” of an isomorphism between holomorphic bundles is not really a choice: there is (if there is a choice) only a ‘s worth of choices. So there is not much extra data in choosing the isomorphism of holomorphic bundles (i.e., every complex number has a square root), and it’s equivalent to specifying with the holomorphic structure and not the map.

**3. Stability**

The previous section showed that there was a purely algebro-geometric way of talking about “framings” on an algebraic curve over : they were in natural bijection with theta-characteristics on . The second framed cobordism group (i.e., the second stable homotopy group ) has a natural map

given by the Kervaire invariant. Since framings correspond to theta characteristics, we should have an algebro-geometric way of obtaining an element of from a pair where is a theta characteristic.

Given a theta characteristic on , one has the natural mod invariant

which turns out to be precisely the Kervaire invariant. In order to expect something like this, we’d have to show that the invariant has good formal properties. For instance, the Kervaire invariant is constant in a family of framed manifolds, since the framed cobordism class in a smooth family does not vary.

In other words, we should expect the following:

Theorem 3Given a family of smooth curves and a line bundle on such that for each , the function

is constant mod .

In other words, given a family of curves and a continuously varying family of theta characteristics on them, the mod invariant constructed above is constant in the family. Note that the condition that for each is equivalent, Zariski locally on the *reduced *base* *, to the seemingly more natural or stronger condition

as a fiberwise trivial line bundle on is the pull-back of a line bundle on . This fact and related arguments are important in the theory of the relative Picard scheme of .

There seem to be (at least) two proofs of this. One argument, in Atiyah’s paper, relies on a mod 2 analog of the local constancy of the index of a Fredholm operator, by interpreting these ‘s as kernels of an appropriate -operator. There is also a purely algebraic proof of Mumford that reduces the result to a similar stability lemma for isotropic subspaces of a quadratic vector space.

After proving this, the analysis of theta characteristics on an arbitrary curve can be reduced to the analysis on a hyperelliptic curve, since the moduli space of curves is connected: for instance, one can count how many **even** and **odd **theta characteristics there are on any smooth curve by reducing to the (much simpler) hyperelliptic case.

December 1, 2018 at 1:34 pm

You start by saying the canonical bundle always has a square root, but that’s not true in the genus zero case, is it? That’s a sort of trivial case for what you’re doing here, but your remark has me worried.

(By the way, I’m trying to learn more algebraic geometry, and your blog is being great for that. Thanks!)