Automorphism groups of origami curves
Pith reviewed 2026-05-24 16:20 UTC · model grok-4.3
The pith
A finite group G acting conformally on a genus-g Riemann surface X with quotient genus at least 2 can be realized exactly as the automorphism group of an origami pair of the same genus with topologically equivalent action.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given a conformal action of G on X as described, there exists an origami pair (S,β) of genus g with G isomorphic to Aut(S,β) such that the actions of Aut(S,β) on S and of G on X are topologically equivalent.
What carries the argument
Origami pairs (S, β), where β is a holomorphic map from the genus-g surface S to an elliptic curve with at most one branch value, whose automorphism groups Aut(S, β) can be made to match any prescribed topological action of a finite group.
Load-bearing premise
The known realization theorems for origami pairs are flexible enough to produce one whose automorphism group is exactly G and matches any given topological action from a surface with high-genus quotient.
What would settle it
An explicit finite group G and action on a surface X of genus g with X/G of genus at least 2 for which every origami pair realizing the topological action has a strictly larger automorphism group than G.
read the original abstract
A closed Riemann surface $S$ (of genus at least one) is called an origami curve if it admits a non-constant holomorphic map $\beta:S \to E$ with at most one branch value, where $E$ is a genus one Riemann surface. In this case, $(S,\beta)$ is called an origami pair and ${\rm Aut}(S,\beta)$ is the group of conformal automorphisms $\phi$ of $S$ such that $\beta=\beta \circ \phi$. Let $G$ be a finite group. It is a known fact that $G$ can be realized as a subgroup of ${\rm Aut}(S,\beta)$ for a suitable origami pair $(S,\beta)$. It is also known that $G$ can be realized as a group of conformal automorphisms of a Riemann surface $X$ of genus $g \geq 2$ and with quotient orbifold $X/G$ also of genus $\gamma \geq 2$. Given a conformal action of $G$ on a surface $X$ as before, we prove that there is an origami pair $(S,\beta)$, where $S$ has genus $g$ and $G \cong {\rm Aut}(S,\beta)$ such that the actions of ${\rm Aut}(S,\beta)$ on $S$ and that of $G$ on $X$ are topologically equivalent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that, given a finite group G acting conformally on a closed Riemann surface X of genus g ≥ 2 whose quotient orbifold has genus γ ≥ 2, there exists an origami pair (S, β) with S of the same genus g such that Aut(S, β) ≅ G and the action of Aut(S, β) on S is topologically equivalent to the given action of G on X. The argument combines two previously known realization theorems (G realizable as a subgroup of some Aut(S, β) and G realizable as automorphisms of a surface with high-genus quotient) with a new construction that matches the prescribed topological type while ensuring the automorphism group is exactly G.
Significance. If the central claim holds, the result strengthens existing realization theorems by guaranteeing both exactness of the automorphism group and topological equivalence to any prescribed action whose quotient has genus at least 2. This connects the theory of origami curves (special Teichmüller curves) with the broader classification of finite automorphism groups of Riemann surfaces. The proof introduces no free parameters, ad-hoc axioms, or invented entities and relies on direct combination of known facts rather than circular reduction.
minor comments (2)
- [Abstract] The abstract states the two known realization facts but does not explicitly name the references or theorems being invoked; adding these citations in the introduction would improve traceability.
- [Introduction] The definition of the quotient orbifold X/G having genus γ ≥ 2 is used throughout; a brief reminder of the orbifold Euler characteristic or signature in §1 would aid readers unfamiliar with the precise topological type being matched.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript, the accurate summary of the main result, and the recommendation to accept. No changes to the manuscript are required.
Circularity Check
No significant circularity identified
full rationale
The paper states two external known facts (realization of G as subgroup of Aut(S,β) for some origami pair, and realization of G acting on a genus-g surface X with quotient genus ≥2) and then proves a strengthening: for any prescribed topological action of G on such an X, an origami pair (S,β) of the same genus exists with Aut(S,β) ≅ G whose action is topologically equivalent. No equations, definitions, or self-citations in the provided abstract reduce the claimed existence result to a fit, renaming, or self-referential input; the argument is presented as combining independent realization theorems via a new construction whose details are not visible here but are not claimed to be forced by the inputs themselves.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Riemann surfaces are compact complex one-dimensional manifolds equipped with a conformal structure.
- domain assumption Any finite group G can be realized as a subgroup of Aut(S,β) for some origami pair and as a group of conformal automorphisms of some X with the stated genus conditions.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.