Last time we defined theta characteristics as square roots of the canonical bundle. Today, we’re going to analyze the notion a bit, and relate them to quadrics in characteristic two.
We start by denoting the set of theta characteristics on a curve by . The first nice property of this set is that it’s a torsor over the points of order two on . We have a natural action of on by . This will still be a theta characteristic, because after squaring, . This action is free, and it is transitive, because if are theta characteristics, then squares to the trivial line bundle, and so they differ by some point of order two.
This argument tells us that there are theta characteristics of . We then split them into two types, even and odd, distinguished by the parity of with a theta characteristic. But how many of each are there? We’re going to spend the rest of this post computing these numbers.
A quadratic form on a vector space is a function such that for all , we have , and such that the map given by is bilinear. Then, . As we’re going to be looking in characteristic two, this implies that , and so is a symplectic form. Now, we fix a basis of , and define . Then we can write . We restrict to looking only at nondegenerate , where .
Now, as is symplectic and is nondegenerate, we must have , and we can choose a basis such that , so we can write . We only care about the field of two elements, in fact, so every element is its own square root, so .
We can define a chosen quadratic form by . Then, given a form and a vector, we can write , so the quadrics are a torsor over the vector space itself. We define the Arf invariant by . It turns out that, as any can be written uniquely as , the Arf invariant is , and this value is called the parity of the form, that is, even or odd.
So now, we can compute the number of even and the number of odd quadratic forms. It’s just and . Computing the number is actually a straightforward induction argument. If , then the cardinalities are and . In general, they are and .
So, how does this connect to theta characteristics? Fix a theta characteristic . Then it defines a quadratic form on the -vector space , defined by . These will be even or odd based on whether is, and so we’ve computed the number of even and odd theta characteristics!