pith. sign in

arxiv: 2303.12324 · v2 · pith:6T7U3TQ7new · submitted 2023-03-22 · 🧮 math.AG

Generalizations of quasielliptic curves

Cesar Hilario , Stefan Schr\"oer This is my paper

Pith reviewed 2026-05-24 10:14 UTC · model grok-4.3

classification 🧮 math.AG
keywords quasielliptic curvesinfinitesimal symmetriesinfinitesimal group schemesnumerical semigroupstwisted formsnon-abelian cohomologyregular curvesequivariant normalization
0
0 comments X

The pith

Quasielliptic curves extend to a hierarchy of regular curves with infinitesimal symmetries across all characteristics and higher genera.

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

The paper aims to broaden the definition of quasielliptic curves, which possess infinitesimal symmetries but appear only in characteristics two and three, into a systematic collection of regular curves that carry similar symmetries in every characteristic and at higher genera. The construction proceeds by first building infinitesimal group schemes that act on the affine line through invertible additive polynomials over rings containing nilpotents, then compactifying those actions via numerical semigroups to obtain models, and finally producing regular twisted forms with the help of equivariant normalization. A reader would care because the new objects supply uniform examples of curves whose automorphism groups contain infinitesimal parts, potentially organizing phenomena previously known only in isolated cases. The work also extends non-abelian cohomology calculations for semidirect products to determine the full set of twisted forms in special situations.

Core claim

The authors produce a hierarchy of regular curves equipped with infinitesimal symmetries by defining infinitesimal group schemes via invertible additive polynomials, compactifying their actions on the affine line with numerical semigroups, securing regular twisted forms through equivariant normalization, and computing the twisted forms in special cases by means of an extension of Serre's group-cohomology results to non-abelian cohomology of semidirect products.

What carries the argument

The central mechanism consists of infinitesimal group schemes defined by invertible additive polynomials over rings with nilpotent elements, whose actions on the affine line are compactified using numerical semigroups to produce regular models whose twisted forms exist by equivariant normalization.

If this is right

  • Regular curves carrying infinitesimal symmetries exist in every characteristic and at arbitrarily high genus.
  • Non-abelian cohomology for semidirect products classifies all twisted forms of the constructed group schemes in the cases treated.
  • The compactifications built from numerical semigroups supply explicit regular models for the group actions.
  • The hierarchy organizes curves with infinitesimal symmetries into a single framework defined uniformly over any base ring.

Where Pith is reading between the lines

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

  • The same compactification technique might produce regular models for other infinitesimal group actions on curves.
  • Explicit computation of the twisted forms in low genus could yield concrete new examples of curves in characteristics five and above.
  • The cohomology extension may apply directly to computing automorphism groups of curves equipped with similar group-scheme actions.

Load-bearing premise

Regular twisted forms exist only if Brion's theory of equivariant normalization applies to the compactifications obtained from numerical semigroups.

What would settle it

The claim would fail if, in some characteristic other than two or three, the numerical-semigroup compactification of one of these group-scheme actions yields no regular curve or if equivariant normalization does not produce a regular model.

read the original abstract

We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all characteristics and having higher genera. This relies on the study of certain infinitesimal group schemes acting on the affine line and certain compactifications. The group schemes are defined in terms of invertible additive polynomials over rings with nilpotent elements, and the compactification is constructed with the theory of numerical semigroups. The existence of regular twisted forms relies on Brion's recent theory of equivariant normalization. Furthermore, extending results of Serre from the realm of group cohomology, we describe non-abelian cohomology for semidirect products, to compute in special cases the collection of all twisted forms.

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.

Referee Report

2 major / 1 minor

Summary. The paper generalizes quasielliptic curves (known only in characteristics 2 and 3) to a hierarchy of regular curves with infinitesimal symmetries, defined in all characteristics and with higher genera. The construction proceeds via infinitesimal group schemes arising from invertible additive polynomials over rings with nilpotents, compactifications built from numerical semigroups, and twisted forms whose regularity is asserted via Brion's equivariant normalization; non-abelian cohomology for semidirect products (extending Serre) is used to classify the twisted forms in special cases.

Significance. If the regularity assertions hold, the work would supply a systematic source of curves equipped with infinitesimal group actions in arbitrary characteristic, extending the limited known examples and linking numerical-semigroup compactifications to equivariant geometry. The explicit cohomology computations for twisted forms constitute a concrete, falsifiable contribution.

major comments (2)
  1. [Abstract / main existence statement] Abstract and the paragraph invoking Brion: the existence of regular twisted forms is asserted by direct appeal to Brion's equivariant normalization, yet the manuscript supplies no explicit check that the group schemes (invertible additive polynomials over rings containing nilpotents) satisfy the hypotheses of that result, nor that the numerical-semigroup compactifications remain regular after twisting. This verification is load-bearing for the central claim that the hierarchy consists of regular curves.
  2. [cohomology computation for twisted forms] The non-abelian cohomology section: while the extension of Serre's results to semidirect products is used to compute twisted forms, the argument does not address whether the resulting models remain regular or proper when the base ring has nilpotents; this gap directly affects the claim that the hierarchy exists in all characteristics.
minor comments (1)
  1. [definitions] Notation for the additive polynomials and the numerical semigroups should be introduced with explicit references to the rings on which they are defined, to avoid ambiguity when nilpotents are present.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying these verification gaps in our appeal to Brion's result and in the cohomology analysis. We will revise the manuscript to supply the missing explicit checks.

read point-by-point responses

  1. Referee: [Abstract / main existence statement] Abstract and the paragraph invoking Brion: the existence of regular twisted forms is asserted by direct appeal to Brion's equivariant normalization, yet the manuscript supplies no explicit check that the group schemes (invertible additive polynomials over rings containing nilpotents) satisfy the hypotheses of that result, nor that the numerical-semigroup compactifications remain regular after twisting. This verification is load-bearing for the central claim that the hierarchy consists of regular curves.

    Authors: We agree that the manuscript invokes Brion's equivariant normalization without an explicit verification that our group schemes arising from invertible additive polynomials over rings with nilpotents meet the required hypotheses, and without confirming that the numerical-semigroup compactifications stay regular after twisting. This is a substantive omission. In the revised version we will add a dedicated subsection that checks the hypotheses case-by-case, using the explicit form of the additive polynomials and the semigroup data to verify the conditions of Brion's theorem. revision: yes

  2. Referee: [cohomology computation for twisted forms] The non-abelian cohomology section: while the extension of Serre's results to semidirect products is used to compute twisted forms, the argument does not address whether the resulting models remain regular or proper when the base ring has nilpotents; this gap directly affects the claim that the hierarchy exists in all characteristics.

    Authors: We concur that the non-abelian cohomology computations for the semidirect-product extensions do not presently discuss regularity or properness of the resulting models when the base ring contains nilpotents. We will expand the section to include a verification that the twisted forms obtained from the cohomology classes remain regular and proper, again by appealing to the equivariant normalization and the specific properties of the group schemes over nilpotent bases. revision: yes

Circularity Check

0 steps flagged

No circularity; central claims rest on external theorems (Brion, Serre) without self-referential reduction

full rationale

The paper constructs a hierarchy of regular curves via infinitesimal group schemes (invertible additive polynomials) and numerical-semigroup compactifications, then invokes Brion's equivariant normalization theorem to guarantee regularity of the twisted forms. It also extends Serre's group-cohomology results to compute non-abelian cohomology for semidirect products. Both supporting results are external (distinct authors, prior independent work) and are not reduced to the paper's own fitted parameters, self-definitions, or self-citations. No equation or claim equates a 'prediction' to its input by construction, and the derivation remains non-circular against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

Based solely on the abstract, the constructions rest on external theories of equivariant normalization and group cohomology; no free parameters or invented entities with independent evidence are mentioned.

axioms (3)
  • domain assumption Brion's theory of equivariant normalization applies to produce regular models
    Invoked for existence of regular twisted forms.
  • domain assumption Numerical semigroups yield suitable compactifications of quotients by the group schemes
    Used to construct the compactifications of the curves.
  • domain assumption Non-abelian cohomology for semidirect products extends Serre's results
    Used to compute twisted forms in special cases.
invented entities (1)
  • hierarchy of regular curves having infinitesimal symmetries no independent evidence
    purpose: Generalization beyond quasielliptic curves to all characteristics and higher genera
    The central new object constructed via group schemes and numerical semigroups.

pith-pipeline@v0.9.0 · 5650 in / 1468 out tokens · 20936 ms · 2026-05-24T10:14:34.068344+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Abhyankar, W

    [AHE72] S. Abhyankar, W. Heinzer, and P. Eakin, On the uniqueness of the coe ffi cient ring in a polynomial ring, J. Algebra 23 (1972), 310–342. [AGS16] A. Assi, P. García-Sánchez, Numerical semigroups and applications , Springer, Cham,

    work page 1972

  2. [2]

    Atiyah, Riemann surfaces and spin structures , Ann

    [Ati71] M. Atiyah, Riemann surfaces and spin structures , Ann. Sci. École Norm. Sup. 4 (1971), 47–62. [BDF97] V . Barucci, D. Dobbs, and M. Fontana, Maximality properties in numerical semigroups and applica- tions to one-dimensional analytically irreducible local domains , Mem. Amer. Math. Soc. 125 (1997), no

    work page 1971

  3. [3]

    Bombieri and D

    [BM76] E. Bombieri and D. Mumford, Enriques’ classification of surfaces in char. p, III, Invent. Math. 35 (1976), 197–232. [BM77] , Enriques’ classification of surfaces in char. p, II, in: Complex analysis and algebraic geometry (W. Baily and T. Shioda, eds), pp. 23–42, Cambridge Univ. Press, London,

    work page 1976

  4. [4]

    Bosma, J

    [BCP97] W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language , J. Symbolic Comput. 24 (1997), 235–265. 30 C. Hilario and S. Schröer30 C. Hilario and S. Schröer [Bri17] M. Brion, Some structure theorems for algebraic groups , in: Algebraic groups: structure and actions (M. Can, ed.), pp. 53–126. Amer. Math. Soc., Providence, RI,

    work page 1997

  5. [5]

    [Bri22b] , On models of algebraic group actions , Proc

    [Bri22a] , Actions of finite group schemes on curves , preprint arXiv:2207.08209 (2022). [Bri22b] , On models of algebraic group actions , Proc. Indian Acad. Sci. Math. Sci. 132 (2022), Paper No

    work page arXiv 2022

  6. [6]

    Brion and S

    [BS22] M. Brion and S. Schröer, The inverse Galois problem for connected algebraic groups , preprint arXiv:2205.08117 (2022). [Del76] C. Delorme, Sous-monoïdes d’intersection compléte de N, Ann. Sci. École Norm. Sup. 9 (1976), 145–154. [DG70] M. Demazure and P. Gabriel, Groupes algébriques , Masson, Paris,

    work page arXiv 2022

  7. [7]

    Demazure and A

    [SGA3-1] M. Demazure and A. Grothendieck (eds), Séminaire de Géométrie algébrique du Bois-Marie, 1962–1964 (SGA3), Schémas en groupes, T ome 1 , Lecture Notes in Math., vol. 151, Springer-V erlag, Berlin-New Y ork,

    work page 1962

  8. [8]

    Fanelli and S

    [FS20] A. Fanelli and S. Schröer, Del Pezzo surfaces and Mori fiber spaces in positive characteristic , T rans. Amer. Math. Soc. 373 (2020), 1775–1843. [GAP] The GAP Group, GAP – Groups, Algorithms, and Programming, V ersion 4.12.1 , 2022, https: //www.gap-system.org. [Gir71] J. Giraud, Cohomologie non abélienne , Springer, Berlin,

    work page 2020

  9. [9]

    Herzog, Generators and relations of abelian semigroups and semigroup rings , Manuscripta Math

    [Her70] J. Herzog, Generators and relations of abelian semigroups and semigroup rings , Manuscripta Math. 3 (1970), 175–193. [HS22] C. Hilario and K.-O. Stöhr, On regular but non-smooth integral curves , preprint arXiv:2211.16962 (2022). [Jac43] N. Jacobson, The theory of rings , Amer. Math. Soc., New Y ork,

    work page arXiv 1970

  10. [10]

    Kond¯o and S

    [KS21] S. Kond¯o and S. Schröer, Kummer surfaces associated with group schemes , Manuscripta Math. 166 (2021), 323–342. [Lau19] B. Laurent, Almost homogeneous curves over an arbitrary field, T ransform. Groups24 (2019), 845–886. [Mar22] G. Martin, Infinitesimal automorphisms of algebraic varieties and vector fields on elliptic surfaces , Algebra Number Theor...

    work page 2021

  11. [11]

    Mumford, Theta characteristics of an algebraic curve , Ann

    [Mum71] D. Mumford, Theta characteristics of an algebraic curve , Ann. Sci. École Norm. Sup. 4 (1971), 181–192. [Ore33] O. Ore, On a special class of polynomials , T rans. Amer. Math. Soc. 35 (1933), 559–584. [Que71] C. Queen, Non-conservative function fields of genus one I , Arch. Math. 22 (1971), 612–623. [Que72] , Non-conservative function fields of genu...

    work page 1971

  12. [12]

    Russell, Forms of the a ffi ne line and its additive group , Pacific J

    [Rus70] P. Russell, Forms of the a ffi ne line and its additive group , Pacific J. Math. 32 (1970), 527–539. [Sch07] S. Schröer, Kummer surfaces for the selfproduct of the cuspidal rational curve , J. Algebraic Geom. 16 (2007), 305–346. [Sch22a] , Algebraic spaces that become schematic after ground field extension, Math. Nachr. 295 (2022), 1008–1012 [Sch22b] ...

    work page arXiv 1970

  13. [13]

    [Sta18] The Stacks project authors, Stacks project , https://stacks.math.columbia.edu, 2018

    work page 2018