The Parity of Invariant Characteristics

Linden Disney-Hogg

arxiv: 2606.20938 · v1 · pith:GGIWBWBKnew · submitted 2026-06-18 · 🧮 math.AG

The Parity of Invariant Characteristics

Linden Disney-Hogg This is my paper

Pith reviewed 2026-06-26 15:07 UTC · model grok-4.3

classification 🧮 math.AG

keywords theta characteristicsRiemann surfacesautomorphism groupsparityHurwitz curvesdouble coversrepresentation theoryinvariant characteristics

0 comments

The pith

A theta characteristic on a Riemann surface invariant under a finite group action has even parity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a method showing that any theta characteristic fixed by a group G of automorphisms on a Riemann surface must have even parity. The proof works by examining how the group lifts to a double cover and using the representation theory of that cover to read off the parity. The same technique is applied to specific families of Hurwitz curves, which settles a conjecture about the parity of their invariant characteristics.

Core claim

A theta characteristic on Riemann surface S invariant under the action of G ≤ Aut(S) has even parity, proved by considering the representation theory of the double cover tilde{G} = 2 · G. This is applied to certain Hurwitz curves to prove a recent conjecture of Broughton & Disney-Hogg.

What carries the argument

The representation theory of the double cover tilde{G} = 2 · G, used to determine the parity of G-invariant theta characteristics.

If this is right

The parity of any G-invariant theta characteristic is even whenever the double cover of G admits a suitable representation.
The method resolves the parity question for invariant characteristics on the Hurwitz curves considered in the paper.
A prior conjecture on the parity of certain theta characteristics is confirmed as a direct consequence.
The approach extends in principle to other finite automorphism groups whose double covers have known representation theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same double-cover technique might classify parities for invariant line bundles of higher degree on curves with large automorphism groups.
If the method works uniformly, it could constrain the possible G-invariant spin structures in the moduli space of curves with prescribed automorphism group.

Load-bearing premise

The representation theory of the double cover of G can be applied directly to the invariant theta characteristic without further conditions on the surface or the group action.

What would settle it

An explicit example of a G-invariant theta characteristic on some Riemann surface whose parity is odd, computed independently of the double-cover representation.

read the original abstract

We demonstrate a method to prove that a theta characteristic on Riemann surface $S$ invariant under the action of $G \leq \mathrm{Aut}(S)$ has even parity by considering the representation theory of the double cover $\tilde{G} = 2 \cdot G$. We apply this to certain Hurwitz curves, and prove a recent conjecture of Broughton \& Disney-Hogg.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper uses representation theory of the double cover 2·G to prove even parity for G-invariant theta characteristics and settles the Broughton-Disney-Hogg conjecture on certain Hurwitz curves.

read the letter

The main takeaway is that this paper demonstrates a method to show G-invariant theta characteristics have even parity by working with the representation theory of the double cover of G, then applies it to some Hurwitz curves to prove a recent conjecture.

What is new is the explicit use of the double-cover representation theory to handle the parity question for invariants. The paper does well in giving a direct way to address the conjecture on Hurwitz curves, which are standard examples with large automorphism groups. This supplies a targeted technique within the study of symmetric curves and their theta characteristics.

Soft spots are limited because the full derivations are not visible here. The central step assumes the representation theory of the double cover extracts the parity without extra conditions on the action or surface, but without seeing the lemmas it is hard to check whether that step is fully supported or if any special cases need separate handling. The abstract presents the method as new and non-circular, which aligns with the claim of proving the conjecture.

This work is for algebraic geometers who already work on Riemann surfaces, automorphism groups, and theta characteristics, especially those following results on Hurwitz curves. A reader in that narrow area gets value from the proof of the conjecture.

It deserves a serious referee because it claims to resolve a stated open conjecture with a concrete method, even if the result stays inside this subfield.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to introduce a method proving that any theta characteristic on a Riemann surface S that is invariant under a group G ≤ Aut(S) must have even parity, by analyzing the representation theory of the double cover ilde{G} = 2·G. The method is then applied to specific Hurwitz curves, thereby proving a recent conjecture of Broughton and Disney-Hogg.

Significance. If the central claim holds, the work supplies a representation-theoretic criterion for parity of invariant theta characteristics and resolves an explicit conjecture in the literature on Hurwitz curves and automorphism groups. The approach appears novel in its use of the double cover and could be of interest to researchers working on moduli of curves with group actions.

minor comments (1)

The abstract provides no explicit statement of the precise hypotheses on the surface S or the group action under which the representation-theoretic argument applies; a short clarifying sentence in the introduction would help readers assess scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential interest of the double-cover representation-theoretic approach. The recommendation is listed as uncertain, but the report contains no explicit major comments or specific concerns about the proof. We are available to provide further details or clarifications if the editor or referee requests them.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The provided abstract and context describe a new method applying representation theory of the double cover 2·G to prove even parity of G-invariant theta characteristics, then applying it to Hurwitz curves. No equations, self-citations, fitted parameters, or derivations are visible that reduce any claimed result to its inputs by construction. All enumerated circularity patterns require explicit quotes from the paper exhibiting the reduction; none are present. The derivation is therefore treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the method appears to rest on standard facts about double covers and representations in algebraic geometry.

axioms (1)

domain assumption The double cover ilde{G} = 2 · G exists and its representation theory determines the parity of G-invariant theta characteristics.
Invoked as the core of the demonstrated method.

pith-pipeline@v0.9.1-grok · 5567 in / 1156 out tokens · 27801 ms · 2026-06-26T15:07:07.663943+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 6 canonical work pages

[1]

Dolgachev, I. V. , booktitle =. Invariant stable bundles over modular curves. 1999 , isbn =

1999
[2]

Braden, H. W. and Disney-Hogg, L. , journal =. Orbits of Theta Characteristics , year =. doi:10.1080/10586458.2025.2481271 , publisher =

work page doi:10.1080/10586458.2025.2481271 2025
[3]

Humphreys, J. E. , journal =. Representations of. 1975 , issn =. doi:10.2307/2319129 , publisher =

work page doi:10.2307/2319129 1975
[4]

Allen and Disney-Hogg, Linden , howpublished =

Broughton, S. Allen and Disney-Hogg, Linden , howpublished =. Explicit homology representation for finite groups acting on. 2026 , archiveprefix =. 2606.13922 , primaryclass =

arXiv 2026
[5]

Atiyah, M. F. , journal =. Riemann surfaces and spin structures , year =. doi:10.24033/asens.1205 , publisher =

work page doi:10.24033/asens.1205
[6]

Cheltsov and O

I. Cheltsov and O. Li and S. Ma'u and A. Pinardin , howpublished =. K-stability and space sextic curves of genus three , year =
[7]

, journal =

Johnson, D. , journal =. Spin Structures and Quadratic forms on Surfaces , year =. doi:10.1112/jlms/s2-22.2.365 , url =

work page doi:10.1112/jlms/s2-22.2.365
[8]

Kallel and D

S. Kallel and D. Sjerve , journal =. Invariant Spin Structures on. 2010 , pages =

2010
[9]

, journal =

Conder, M. , journal =. Hurwitz groups: A brief survey , year =
[10]

Braden, H. W. and Disney-Hogg, L. , journal =. Bring. 2023 , issn =. doi:10.1007/s40879-023-00706-0 , refid =

work page doi:10.1007/s40879-023-00706-0 2023
[11]

Weibel, C. A. , publisher =. An Introduction to Homological Algebra , year =
[12]

, publisher =

Huppert, B. , publisher =. Finite groups. 2025 , series =

2025
[13]

, journal =

Farkas, G. , journal =. Theta Characteristics and Their Moduli , year =. doi:10.1007/s00032-012-0178-7 , refid =

work page doi:10.1007/s00032-012-0178-7

[1] [1]

Dolgachev, I. V. , booktitle =. Invariant stable bundles over modular curves. 1999 , isbn =

1999

[2] [2]

Braden, H. W. and Disney-Hogg, L. , journal =. Orbits of Theta Characteristics , year =. doi:10.1080/10586458.2025.2481271 , publisher =

work page doi:10.1080/10586458.2025.2481271 2025

[3] [3]

Humphreys, J. E. , journal =. Representations of. 1975 , issn =. doi:10.2307/2319129 , publisher =

work page doi:10.2307/2319129 1975

[4] [4]

Allen and Disney-Hogg, Linden , howpublished =

Broughton, S. Allen and Disney-Hogg, Linden , howpublished =. Explicit homology representation for finite groups acting on. 2026 , archiveprefix =. 2606.13922 , primaryclass =

arXiv 2026

[5] [5]

Atiyah, M. F. , journal =. Riemann surfaces and spin structures , year =. doi:10.24033/asens.1205 , publisher =

work page doi:10.24033/asens.1205

[6] [6]

Cheltsov and O

I. Cheltsov and O. Li and S. Ma'u and A. Pinardin , howpublished =. K-stability and space sextic curves of genus three , year =

[7] [7]

, journal =

Johnson, D. , journal =. Spin Structures and Quadratic forms on Surfaces , year =. doi:10.1112/jlms/s2-22.2.365 , url =

work page doi:10.1112/jlms/s2-22.2.365

[8] [8]

Kallel and D

S. Kallel and D. Sjerve , journal =. Invariant Spin Structures on. 2010 , pages =

2010

[9] [9]

, journal =

Conder, M. , journal =. Hurwitz groups: A brief survey , year =

[10] [10]

Braden, H. W. and Disney-Hogg, L. , journal =. Bring. 2023 , issn =. doi:10.1007/s40879-023-00706-0 , refid =

work page doi:10.1007/s40879-023-00706-0 2023

[11] [11]

Weibel, C. A. , publisher =. An Introduction to Homological Algebra , year =

[12] [12]

, publisher =

Huppert, B. , publisher =. Finite groups. 2025 , series =

2025

[13] [13]

, journal =

Farkas, G. , journal =. Theta Characteristics and Their Moduli , year =. doi:10.1007/s00032-012-0178-7 , refid =

work page doi:10.1007/s00032-012-0178-7