pith. sign in

arxiv: 2603.23930 · v2 · submitted 2026-03-25 · 🧮 math.NT · math.AG

A Note on Cyclotomic Function Fields with Quadratic Modulus

Haojie Chen , Chuangqiang Hu This is my paper

Pith reviewed 2026-05-15 01:00 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords cyclotomic function fieldsquadratic modulusfunction field characterizationgenusrational placesfinite fieldsalgebraic function fields
0
0 comments X

The pith

A function field over F_q is F_q-isomorphic to L(Λ_{x²}) if and only if it has a subgroup isomorphic to (F_q,+) × F_q^*, genus 1 + q(q-3)/2, and exactly q+1 rational places.

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

The paper characterizes the cyclotomic function field L(Λ_M) when the modulus M is the polynomial x squared. It establishes an if-and-only-if criterion: any function field over F_q that meets three explicit conditions must be isomorphic to this particular cyclotomic field. The conditions are the presence of a subgroup of the form (F_q,+) × F_q^*, a genus equal to 1 plus q times (q minus 3) divided by 2, and precisely q plus 1 places defined over F_q. A reader cares because the criterion lets one recognize the field from its basic invariants alone, without building the extension from the modulus. The result completes a classification that had been known only for irreducible quadratic moduli.

Core claim

The paper proves that a function field F over F_q is F_q-isomorphic to L(Λ_{x²}) if and only if it satisfies the following three conditions: (i) F has a subgroup G isomorphic to the direct product (F_q,+) × F_q^*; (ii) its genus is g(F) = 1 + q(q-3)/2; and (iii) the cardinality of F_q-rational places is exactly q+1.

What carries the argument

The cyclotomic function field L(Λ_{x²}), identified through the three invariants of subgroup structure, genus formula, and rational-place count that together force the isomorphism.

Load-bearing premise

The three listed invariants are assumed to be enough to force any function field satisfying them to be isomorphic to the specific cyclotomic extension L(Λ_{x²}).

What would settle it

Exhibit a function field over some F_q that satisfies the subgroup, genus, and place-count conditions yet is not isomorphic to L(Λ_{x²}).

read the original abstract

A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.

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 / 0 minor

Summary. The paper claims to give a complete characterization of the cyclotomic function field L(Λ_{x²}) over F_q: a function field F/F_q is F_q-isomorphic to L(Λ_{x²}) if and only if it admits a subgroup G ≅ (F_q,+) × F_q^* (inside Aut(F/F_q)), has genus exactly 1 + q(q-3)/2, and possesses precisely q+1 F_q-rational places. Necessity follows by direct computation of the invariants of L(Λ_{x²}); sufficiency is asserted by showing that these three conditions force the ramification and Galois structure of the quadratic-modulus cyclotomic extension.

Significance. If the sufficiency direction holds, the result supplies an explicit, invariant-based classification for this family of cyclotomic function fields, extending the earlier classification of Arakelian–Quoos for irreducible quadratic moduli. Such characterizations are useful for constructing explicit function fields with prescribed automorphism groups and place counts, with direct applications to algebraic-geometry codes and explicit class-field theory over function fields.

major comments (1)
  1. [main theorem (sufficiency direction)] The sufficiency half of the main theorem (that any F satisfying (i)–(iii) is necessarily isomorphic to L(Λ_{x²})) is load-bearing but rests on unstated uniqueness results concerning the determination of ramification and Galois action from the automorphism subgroup G ≅ (F_q,+) × F_q^* together with the genus and rational-place count. The manuscript treats the relevant facts about constant-field extensions, place decomposition in cyclotomic extensions, and the action of the automorphism group as standard background without explicit citation or a self-contained derivation; this gap must be closed by either adding a short lemma deriving the ramification from G or by citing the precise theorem (e.g., from the literature on Drinfeld modules or cyclotomic function fields) that guarantees uniqueness.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the sufficiency argument fully explicit. We agree that the uniqueness of ramification and Galois structure must be justified rather than treated as background, and we will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [main theorem (sufficiency direction)] The sufficiency half of the main theorem (that any F satisfying (i)–(iii) is necessarily isomorphic to L(Λ_{x²})) is load-bearing but rests on unstated uniqueness results concerning the determination of ramification and Galois action from the automorphism subgroup G ≅ (F_q,+) × F_q^* together with the genus and rational-place count. The manuscript treats the relevant facts about constant-field extensions, place decomposition in cyclotomic extensions, and the action of the automorphism group as standard background without explicit citation or a self-contained derivation; this gap must be closed by either adding a short lemma deriving the ramification from G or by citing the precise theorem (e.g., from the literature on Drinfeld modules or cyclotomic function fields) that guarantees uniqueness.

    Authors: We agree that the sufficiency direction relies on uniqueness properties that should be stated explicitly. In the revised version we will insert a short lemma (placed immediately before the sufficiency proof) that derives the precise ramification structure and the action of the Galois group from the existence of G ≅ (F_q,+) × F_q^* together with the given genus and the count of F_q-rational places. The lemma will invoke only standard results on place decomposition in cyclotomic extensions of function fields (with citations to Hayes’ work on Drinfeld modules and to the relevant sections of the literature on constant-field extensions). This addition will make the argument self-contained while leaving the statement and proof strategy of the main theorem unchanged. revision: yes

Circularity Check

0 steps flagged

Characterization uses independent standard invariants with no reduction to inputs

full rationale

The paper establishes necessity by computing the automorphism subgroup, genus, and rational-place count directly from the definition of L(Λ_{x²}), which is a standard calculation and not circular. Sufficiency invokes background results on function-field invariants (automorphism groups, ramification in constant-field extensions, place decomposition) that are treated as external and standard; these are not derived from the paper's own equations or self-citations. No step equates the target isomorphism class to a fitted parameter, a self-defined quantity, or a load-bearing self-citation chain. The three listed conditions are independent numerical/group-theoretic invariants, not tautological re-descriptions of L(Λ_{x²}).

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review is based solely on the abstract; no explicit free parameters, invented entities, or ad-hoc axioms are stated. The result rests on background theory of function fields and cyclotomic extensions.

axioms (1)
  • domain assumption Standard properties of cyclotomic function fields, their Galois groups, and ramification behavior over finite fields
    The characterization invokes these as known from prior literature on function fields.

pith-pipeline@v0.9.0 · 5506 in / 1309 out tokens · 39364 ms · 2026-05-15T01:00:13.515282+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

18 extracted references · 18 canonical work pages

  1. [1]

    Number Theory 154 (2015), 278–291

    Nazar Arakelian and Gábor Korchmáros, A characterization of the Artin-Mumford curve , J. Number Theory 154 (2015), 278–291. MR3339574

    work page 2015

  2. [2]

    Nazar Arakelian and Luciane Quoos, Cyclotomic function fields over finite fields with irreducible quadratic modulus, 2024

    work page 2024

  3. [3]

    Algebra 45 (2017), no

    Nazar Arakelian and Pietro Speziali, On generalizations of Fermat curves over finite fields and their auto- morphisms, Comm. Algebra 45 (2017), no. 11, 4926–4938. MR3670362

    work page 2017

  4. [4]

    , Algebraic curves with automorphism groups of large prime order , Math. Z. 299 (2021), no. 3-4, 2005–2028. MR4329278 16

    work page 2021

  5. [5]

    Peter Beelen, Maria Montanucci, Jonathan Niemann, and Luciane Quoos, A family of non-isomorphic max- imal function fields , Math. Z. 309 (2025), no. 2, Paper No. 19, 22. MR4843058

    work page 2025

  6. [6]

    Number Theory 67 (1997), no

    Rainer Fuhrmann, Arnaldo Garcia, and Fernando Torres, On maximal curves , J. Number Theory 67 (1997), no. 1, 29–51. MR1485426

    work page 1997

  7. [7]

    Giulietti, J

    M. Giulietti, J. W. P. Hirschfeld, G. Korchmáros, and F. Torres, Curves covered by the Hermitian curve , Finite Fields Appl. 12 (2006), no. 4, 539–564. MR2257083

    work page 2006

  8. [8]

    Massimo Giulietti and Gábor Korchmáros, A new family of maximal curves over a finite field , Math. Ann. 343 (2009), no. 1, 229–245. MR2448446

    work page 2009

  9. [9]

    Lingfei Jin, Liming Ma, and Chaoping Xing, Binary sequences with a low correlation via cyclotomic function fields, IEEE Trans. Inform. Theory 68 (2022), no. 5, 3445–3454. MR4433231

    work page 2022

  10. [10]

    Pure Appl

    Aristides Kontogeorgis and Jacob Kenneth Ward, Arithmetic actions on cyclotomic function fields , J. Pure Appl. Algebra 225 (2021), no. 1, Paper No. 106478, 26. MR4116821

    work page 2021

  11. [11]

    Number Theory 207 (2020), 1–21

    Jungyun Lee and Yoonjin Lee, Infinite families of irregular primes in cyclotomic function fields , J. Number Theory 207 (2020), 1–21. MR4017935

    work page 2020

  12. [12]

    Yuan Luo, Chaoping Xing, and Lin You, Construction of sequences with high nonlinear complexity from function fields , IEEE Trans. Inform. Theory 63 (2017), no. 12, 7646–7650. MR3734181

    work page 2017

  13. [13]

    Number Theory 169 (2016), 406–419

    Liming Ma, Chaoping Xing, and Sze Ling Yeo, On automorphism groups of cyclotomic function fields over finite fields, J. Number Theory 169 (2016), 406–419. MR3531248

    work page 2016

  14. [14]

    Reine Angew

    Hans-Georg Rück and Henning Stichtenoth, A characterization of Hermitian function fields over finite fields , J. Reine Angew. Math. 457 (1994), 185–188. MR1305281

    work page 1994

  15. [15]

    254, Springer-Verlag, Berlin, 2009

    Henning Stichtenoth, Algebraic function fields and codes , Second, Graduate Texts in Mathematics, vol. 254, Springer-Verlag, Berlin, 2009. MR2464941

    work page 2009

  16. [16]

    Pure Appl

    Saeed Tafazolian and Fernando Torres, On the Ree curve , J. Pure Appl. Algebra 223 (2019), no. 9, 3831–

    work page 2019

  17. [17]

    MR2241963

    Gabriel Daniel Villa Salvador, Topics in the theory of algebraic function fields , Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA, 2006. MR2241963

    work page 2006

  18. [18]

    Pure Appl

    Jinjoo Yoo and Yoonjin Lee, Infinite families of cyclotomic function fields with any prescribed class group rank, J. Pure Appl. Algebra 225 (2021), no. 9, Paper No. 106658, 22. MR4195891 Sun Yat-Sen University, School of Mathematical, Guangzhou, China Email address : chenhj69@mail2.sysu.edu.cn Sun Yat-Sen University, School of Mathematical, Guangzhou, Chi...

    work page 2021