pith. sign in

arxiv: 2604.05092 · v1 · submitted 2026-04-06 · 🧮 math.AG · math.NT

Frobenius nonclassicality of generalized Fermat curves with respect to conics

Nazar Arakelian , Leandro A. M. Rodrigues This is my paper

Pith reviewed 2026-05-10 19:06 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords generalized Fermat curvesFrobenius nonclassicalityStöhr-Voloch theoryrational points over finite fieldsconicsalgebraic curvesfinite fields
0
0 comments X

The pith

Generalized Fermat curves over finite fields are Frobenius nonclassical to conics precisely when arithmetic conditions on exponents and characteristic hold.

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

The paper determines necessary and sufficient conditions for certain generalized Fermat curves defined over a finite field F_q to be F_q-Frobenius nonclassical with respect to the linear system of conics. This characterization matters because it decides whether Stöhr-Voloch theory supplies an upper bound on the number N_q(F) of rational points or instead permits an explicit closed-form expression for that number. The conditions are stated in terms of the curve's defining exponents and the size of the base field. In the classical case the authors obtain concrete bounds; in the nonclassical case they obtain exact formulas.

Core claim

Generalized Fermat curves F over F_q are F_q-Frobenius nonclassical with respect to the linear system of conics if and only if certain arithmetic relations hold between the defining exponents and the characteristic; in the classical case this yields Stöhr-Voloch bounds on N_q(F), while in the nonclassical case it yields explicit formulas for N_q(F).

What carries the argument

The characterization of F_q-Frobenius nonclassicality of the curve with respect to the complete linear system of conics, which permits direct application of the Stöhr-Voloch theorem to bound or count rational points.

If this is right

  • When the curve is Frobenius classical, N_q(F) satisfies an explicit Stöhr-Voloch upper bound depending on the degree of the linear system and the ramification.
  • When the curve is Frobenius nonclassical, N_q(F) equals a closed-form expression in the parameters of the curve and the size of F_q.
  • The necessary and sufficient conditions partition the family into two disjoint classes with qualitatively different point-counting behavior.

Where Pith is reading between the lines

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

  • The same nonclassicality criterion could be tested for other linear systems, such as cubics, on the same family of curves.
  • The explicit formulas in the nonclassical case may identify curves attaining the maximum possible number of rational points for given degree and genus.
  • Direct computation of N_q(F) for small q and small exponents would provide an independent check of the derived formulas.

Load-bearing premise

The generalized Fermat curves must belong to a family for which the linear system of conics is well-defined and the hypotheses of Stöhr-Voloch theory are satisfied once nonclassicality is verified.

What would settle it

For a concrete generalized Fermat curve whose parameters satisfy the classical condition, compute N_q(F) directly and check whether it exceeds the Stöhr-Voloch upper bound derived from the degree; for a curve satisfying the nonclassical condition, check whether N_q(F) equals the explicit formula obtained in the paper.

read the original abstract

The effective application of the St\"ohr-Voloch theory for the linear system of plane curves of a fixed degree to bound the number of rational points of a family of plane curves defined over $\mathbb{F}_q$ requires the characterization of the $\mathbb{F}_q$-Frobenius nonclassical curves in the family. In this paper, we provide necessary and sufficient conditions for certain generalized Fermat curves $\mathcal{F}$ defined over $\mathbb{F}_q$ to be $\mathbb{F}_q$-Frobenius nonclassical with respect to the linear system of conics. In the Frobenius classical cases, we obtain nice bounds for the number $N_q(\mathcal{F})$ of rational points of $\mathcal{F}$ via St\"ohr-Voloch theory, whereas in the Frobenius nonclassical cases, we derive explicit formulas for $N_q(\mathcal{F})$.

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

1 major / 1 minor

Summary. The paper characterizes necessary and sufficient conditions for generalized Fermat curves F: X^a + Y^b + Z^c = 0 over F_q to be F_q-Frobenius nonclassical with respect to the linear system of conics. In the classical cases it derives bounds on the number N_q(F) of F_q-rational points via Stöhr-Voloch theory; in the nonclassical cases it obtains explicit formulas for N_q(F).

Significance. If the technical hypotheses hold, the work supplies a concrete family of plane curves for which Stöhr-Voloch theory yields either sharp bounds or exact point counts, extending the applicability of the theory beyond classical Fermat curves. The derivation of arithmetic conditions on the exponents a,b,c that govern nonclassicality is a useful explicit contribution.

major comments (1)
  1. [§2–3] §2–3: the nonclassicality conditions are arithmetic congruences on a,b,c modulo p (e.g., p dividing one of the exponents). These congruences coincide with the locus where the partial derivatives vanish simultaneously, so the curve may be singular or reducible. Stöhr-Voloch theory (invoked in §4 and §5) requires the curve to be smooth (or passage to its normalization) and the linear system to be base-point-free of the expected dimension; the manuscript does not verify smoothness or state that the normalization is taken under precisely these congruences. This is load-bearing for both the bounds and the explicit formulas.
minor comments (1)
  1. [§3] The notation for the linear system of conics and the precise definition of the Frobenius nonclassicality condition with respect to that system could be stated more explicitly at the beginning of §3.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough review and the recommendation for major revision. The concern about smoothness and the applicability of Stöhr-Voloch theory under the nonclassicality conditions is well-taken, and we address it directly below.

read point-by-point responses

  1. Referee: [§2–3] §2–3: the nonclassicality conditions are arithmetic congruences on a,b,c modulo p (e.g., p dividing one of the exponents). These congruences coincide with the locus where the partial derivatives vanish simultaneously, so the curve may be singular or reducible. Stöhr-Voloch theory (invoked in §4 and §5) requires the curve to be smooth (or passage to its normalization) and the linear system to be base-point-free of the expected dimension; the manuscript does not verify smoothness or state that the normalization is taken under precisely these congruences. This is load-bearing for both the bounds and the explicit formulas.

    Authors: We agree that the nonclassicality conditions (arithmetic congruences modulo p) align with the simultaneous vanishing of the partial derivatives of X^a + Y^b + Z^c, and that this can produce singularities or reducible components in certain cases. The manuscript works throughout with the projective plane model and derives the Stöhr-Voloch bounds and explicit point-count formulas directly from the nonclassicality criterion. To make the application of the theory fully rigorous, we will add a short subsection in §2 that (i) recalls the standard criterion for singularities of generalized Fermat curves, (ii) identifies the precise sub-locus of the nonclassicality conditions on which the curve remains irreducible and smooth, and (iii) states that, when singularities occur, all subsequent statements are understood to apply to the normalization (with the linear system of conics pulled back, which remains base-point-free of the expected dimension). This clarification does not change the arithmetic conditions or the resulting formulas, but it explicitly justifies the invocation of Stöhr-Voloch theory in §§4–5. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external Stöhr-Voloch theory applied after deriving nonclassicality conditions for new curve family.

full rationale

The paper first derives necessary and sufficient arithmetic conditions for generalized Fermat curves to be Frobenius nonclassical with respect to the linear system of conics. It then invokes the pre-existing Stöhr-Voloch theory (an external framework) to produce bounds in the classical case and explicit formulas in the nonclassical case. No step reduces a claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified. The derivation chain is therefore self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the applicability of Stöhr-Voloch theory to the linear system of conics once nonclassicality is established; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption Stöhr-Voloch theory applies to the linear system of conics for the given family of generalized Fermat curves
    The paper invokes this theory to obtain both bounds and explicit formulas.

pith-pipeline@v0.9.0 · 5454 in / 1330 out tokens · 66495 ms · 2026-05-10T19:06:32.669970+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Segre sui punti regolari rispetto ad una ellisse di um piano affine di Galois, Ann Mat

    ABATANGELO, V .; KORCHMÁROS, G.;Una generalizzazione di um teorema d B. Segre sui punti regolari rispetto ad una ellisse di um piano affine di Galois, Ann Mat. Pura Appl 172, 87-102, 1997

    work page 1997

  2. [2]

    ARAKELIAN, N.;Number of rational branches of a singular plane curve over a finite field, Finite Fields and Their Applications 48, 87-102, 2017 23

    work page 2017

  3. [3]

    ARAKELIAN, N.; BORGES, H.;Bounds for the number of points on curves over finite fields, Israel Journal of Mathematics 228(1), 177-199, 2018

    work page 2018

  4. [4]

    ARAKELIAN, N.; BORGES, H.;Frobenius nonclassicality of Fermat curves with re- spect to cubics, Israel Journal of Mathematics 218(1), 273–297, 2017

    work page 2017

  5. [5]

    ARAKELIAN, N.; SPEZIALI, P .;On generalizitions of Fermat Curves over finite fields and their automorphisms, Communications in Algebra 45:11, 4926-4938, 2017

    work page 2017

  6. [6]

    BORGES, H.;Frobenius nonclassical components of curves with separable variables, Journal of Number Theory 159, 402-425, 2016

    work page 2016

  7. [7]

    BORGES, H.; COUTINHO, M.;On some generalized Fermat curves and chords of an affinely regular polygon inscribed in a hyperbola, Journal of Pure and Applied Algebra 224, 239-249, 2020

    work page 2020

  8. [8]

    COCHRANE, T.; PINNER C.;Explicit bounds on monomial and binomial exponential sums, Q.J. Math. 62, 323-349, 2011

    work page 2011

  9. [9]

    GARCIA, A.;The Curve y n =f(x)over finite fields, Arch-Mat, Vol 54, 36-44, 1990

    work page 1990

  10. [10]

    F.;Fermat curves over finite fields, Journal Number The- ory 30,345–356, 1988

    GARCIA, A.; VOLOCH, J. F.;Fermat curves over finite fields, Journal Number The- ory 30,345–356, 1988

    work page 1988

  11. [11]

    F.;Wronskians and linear independence in fields of prime characteristic, Manuscripta Math., 59, 457-469, 1987

    GARCIA, A.; VOLOCH, J. F.;Wronskians and linear independence in fields of prime characteristic, Manuscripta Math., 59, 457-469, 1987

    work page 1987

  12. [12]

    HIRSCHFELD, J.W.P .; KORCHMÁROS, G.; TORRES, F.;Algebraic curves over a fi- nite field, Princeton Series in Applied Mathematics, 2008

    work page 2008

  13. [13]

    LIDL,R.; NIEDERREITER, H.;Finite fields, Cambridge University Press, 1988

    work page 1988

  14. [14]

    60, 3-17, 1986

    PARDINI, R.;Some remarks on plane curves over fields of finite characteristic, Compo- sitio Math. 60, 3-17, 1986

    work page 1986

  15. [15]

    SERRE, J.P .;Sur le nombre des points rationnels d’une courbe algébrique sur un corps fini, C.R. Acad. Sci. Paris Sér. I Math 296, 397-402, 1983

    work page 1983

  16. [16]

    STARK, H.;On the Riemann hyphotesis in hyperelliptic function fields, Symposia in Pure Mathematics 24, 285-302, 1973

    work page 1973

  17. [17]

    STICHTENOTH, H.;Algebraic function fields and codes, Springer, Berlin, 1993

    work page 1993

  18. [18]

    F.;Weierstrass points and curves over finite fields, Proc

    STÖHR, K.O.; VOLOCH, J. F.;Weierstrass points and curves over finite fields, Proc. London Math. Soc. (3) 52, 1-19, 1986. Author’s addresses: Nazar ARAKELIAN Centro de Matemática, Computação e Cognição Universidade Federal do ABC Avenida dos Estados, 5001 CEP 09210-580, Santo André SP (Brazil). E–mail:n.arakelian@ufabc.edu.br Leandro A. M. RODRIGUES Instit...

    work page 1986