pith. sign in

arxiv: 2604.12499 · v1 · submitted 2026-04-14 · 🧮 math.AG

Cyclic AG-Codes on the Hermitian Curve

Angela Aguglia , G\'abor Korchm\'aros This is my paper

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

classification 🧮 math.AG
keywords cyclic AG-codesHermitian curvealgebraic geometry codesfinite fieldsautomorphism groupsprojective unitary groupdivisor construction
0
0 comments X

The pith

Cyclic AG-codes on the Hermitian curve are constructed by letting the evaluation divisor be a full orbit under a cyclic 2-point stabilizer in the curve's automorphism group.

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

The paper constructs algebraic geometry codes C_L(D,G) on the Hermitian curve H_q over the finite field with q squared elements that are cyclic. It chooses the divisor G to be m times the sum of q-1 points where a chord meets the curve, excluding two fixed points, with m ranging from 2 to q-1. The divisor D is defined as the sum of all q squared minus 1 points lying in one orbit under the cyclic subgroup that fixes those two points. This uses the geometry of the curve and its automorphism group to force the code to be invariant under a cyclic action of order q squared minus 1.

Core claim

The authors construct cyclic AG-codes C_L(D,G) on the Hermitian curve H_q over F_{q^2} such that G equals m times the sum from P_2 to P_q, where 2 ≤ m ≤ q-1 and the support of G is the intersection of H_q with a chord ℓ minus the two points P_1 and P_{q+1}. The divisor D is the sum of all q^2-1 points in a single orbit under the cyclic 2-point stabilizer Γ of the pair (P_1, P_{q+1}) inside the automorphism group PGU(3,q).

What carries the argument

The cyclic 2-point stabilizer Γ inside the automorphism group PGU(3,q) of the Hermitian curve, which produces the orbit of q^2-1 points used for the evaluation divisor D and thereby imposes the cyclic symmetry on the code.

If this is right

  • The resulting codes have length exactly q squared minus one and inherit an automorphism of order q squared minus one from the group action.
  • The support of G lies on a straight line that meets the Hermitian curve in q+1 points total.
  • The construction works uniformly for every prime power q and every integer m in the stated range.

Where Pith is reading between the lines

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

  • The explicit group action may allow the use of standard cyclic-code techniques for encoding and syndrome computation.
  • Similar orbit-based constructions could be attempted on other algebraic curves that admit large cyclic subgroups fixing two points.
  • The family provides a concrete source of long cyclic codes whose parameters are controlled by the degree m and the geometry of the Hermitian curve.

Load-bearing premise

The chosen points on the chord intersection form a valid effective divisor and the orbit under the 2-point stabilizer contains exactly q^2-1 distinct points.

What would settle it

Direct computation of the orbit of one point under a generator of the stabilizer group showing either fewer than q^2-1 distinct points or that the resulting code fails to be invariant under the induced cyclic permutation of coordinates.

read the original abstract

Cyclic AG-codes $C_L(D,G)$ on the Hermitian curve $H_q$ over $\mathbb{F}_{q^2}$ are constructed such that $G = m(P_2 + \ldots + P_q)$, where $2 \le m \le q-1$ and $\mathrm{supp}(G)$ is the intersection of $H_q$ with a chord $\ell$ minus two points $P_1, P_{q+1}$. The divisor $D = Q_1 + \ldots + Q_{q^2-1}$ consists of all $q^2 - 1$ points in a single orbit under the action of the (cyclic) 2-point stabilizer $\Gamma$ of $(P_1, P_{q+1})$ in $\mathrm{Aut}(H_q) = \mathrm{PGU}(3,q)$.

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

0 major / 3 minor

Summary. The manuscript constructs cyclic algebraic geometry codes C_L(D, G) on the Hermitian curve H_q over F_{q^2}. It takes G = m(P_2 + ⋯ + P_q) for 2 ≤ m ≤ q-1, where supp(G) consists of the q-1 points in the intersection of H_q with a chord ℓ excluding the two points P_1 and P_{q+1}. The divisor D = Q_1 + ⋯ + Q_{q^2-1} is the sum of all points in a single orbit of size q^2-1 under the cyclic 2-point stabilizer Γ of (P_1, P_{q+1}) inside Aut(H_q) = PGU(3, q). The resulting codes are claimed to be cyclic by construction.

Significance. The construction supplies an explicit, geometrically defined family of cyclic AG-codes whose cyclicity follows directly from the regular action of a cyclic subgroup of the known automorphism group PGU(3, q). Because the support of G is Γ-invariant and D is a single regular orbit disjoint from supp(G), the code is invariant under the cyclic shift induced by a generator of Γ. This approach avoids ad-hoc parameter fitting and rests on standard facts about the Hermitian curve and its 2-transitive action, which is a methodological strength.

minor comments (3)
  1. The abstract states that D consists of q^2-1 distinct points but does not explicitly confirm that the chosen orbit is regular and avoids the chord ℓ; a short sentence or reference to the orbit-stabilizer theorem in §2 or §3 would make the construction self-contained.
  2. Notation for the points P_1, …, P_{q+1} on the chord is introduced in the abstract but should be restated with a diagram or coordinate description at the beginning of the construction section to aid readability.
  3. The range 2 ≤ m ≤ q-1 for the multiplicity is given without a brief justification of why these bounds ensure that G is effective and that the Riemann-Roch space L(G) has the expected dimension; a one-sentence remark would clarify the parameter choice.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for recommending minor revision. The referee's summary accurately captures the geometric construction of the cyclic AG-codes C_L(D,G) on the Hermitian curve using the cyclic 2-point stabilizer in PGU(3,q). We appreciate the recognition that the cyclicity follows directly from the regular action and the invariance properties. No major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity: explicit construction from standard facts on Hermitian curve and PGU(3,q)

full rationale

The paper defines an explicit family of cyclic AG-codes C_L(D,G) on H_q by taking G = m times the sum of q-1 points on a chord minus two fixed points, and D as the full orbit of size q^2-1 under the cyclic 2-point stabilizer Γ of those two points inside Aut(H_q) = PGU(3,q). This uses only the known order of PGU(3,q), its 2-transitivity on the q^3+1 points of H_q, and the existence of regular orbits off the chord—standard results in finite geometry that are independent of the present construction. No equation or claim reduces by definition to a fitted parameter, a self-citation chain, or a renamed prior result of the authors; the derivation is self-contained once the classical facts about H_q are granted.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The construction relies on standard facts about the Hermitian curve and its automorphism group without introducing new entities or many free parameters beyond the integer m.

free parameters (1)
  • m
    Integer parameter satisfying 2 ≤ m ≤ q-1 that scales the divisor G.
axioms (2)
  • standard math The Hermitian curve H_q over F_{q^2} has automorphism group PGU(3,q).
    Standard fact from finite geometry invoked to define the stabilizer Γ.
  • domain assumption The 2-point stabilizer Γ of (P1, P_{q+1}) is cyclic and its orbit on the remaining points has size q^2-1.
    Group-theoretic property of PGU(3,q) used to define D.

pith-pipeline@v0.9.0 · 5445 in / 1517 out tokens · 48554 ms · 2026-05-10T14:36:11.789594+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

22 extracted references · 22 canonical work pages

  1. [1]

    Ballico, A

    E. Ballico, A. Ravagnani, On the geometry of Hermitian one-point codes,J. Algebra397(2014), 499-514

    work page 2014

  2. [2]

    Bluher, Onx q+1+ax+b,Finite Fields Appl.,10(2004), 285-305

    A.W. Bluher, Onx q+1+ax+b,Finite Fields Appl.,10(2004), 285-305

    work page 2004

  3. [3]

    Bosma, J

    W. Bosma, J. Cannon, C. Playoust,The Magma algebra system. I. The user language, Journal of Symbolic Computation, 1997, 24, pp. 235-265

    work page 1997

  4. [4]

    Caba˜ na, M

    G. Caba˜ na, M. Chara, R. Podest´ a, R. Toledano, On cyclic algebraic- geometry codes,Finite Fields Appl.82(2022), Paper No. 102064, 31 pp. 19

    work page 2022

  5. [5]

    Hartley, Determination of the ternary collineation groups whose coefficients lie in theGF(2 n),Ann

    R.W. Hartley, Determination of the ternary collineation groups whose coefficients lie in theGF(2 n),Ann. of Math.27(1925/26), 140-158

    work page 1925

  6. [6]

    J. W. P. Hirschfeld,Projective Geometries over Finite Fields, Oxford Mathematical Monographs, 1979

    work page 1979

  7. [7]

    J. W. P. Hirschfeld, G. Korchm´ aros, F. Torres,Algebraic curves over a finite field, Princeton Series in Applied Mathematics. Princeton Uni- versity Press, Princeton, NJ, 2008. xx+696 pp

    work page 2008

  8. [8]

    Hoffer, On unitary collineation groups,J

    A.R. Hoffer, On unitary collineation groups,J. Algebra22(1972), 211–218

    work page 1972

  9. [9]

    Hughes and F.C

    D.R. Hughes and F.C. Piper,Projective Planes, Graduate Texts in Mathematics6, Springer, New York, 1973, x+291 pp

    work page 1973

  10. [10]

    K.H. Kim, J. Choe, S. Mesnager, SolvingX q+1 +X+a= 0 over finite fields,Finite Fields Appl.,70(2021), Article 101797

    work page 2021

  11. [11]

    King, The subgroup structure of finite classical groups in terms of geometric configurations Surveys inCombinatorics 2005, pp

    O.H. King, The subgroup structure of finite classical groups in terms of geometric configurations Surveys inCombinatorics 2005, pp. 29– 56 Cambridge University Press

    work page 2005

  12. [12]

    Korchm´ aros, G

    G. Korchm´ aros, G. P. Nagy, Hermitian codes from higher degree places,J. Pure Appl. Algebra217(2013), 2371-2381

    work page 2013

  13. [13]

    Korchm´ aros, G

    G. Korchm´ aros, G. P. Nagy, Lower bounds on the minimum distance in Hermitian one-point differential codes,Sci. China Math.56(2013), 1449-1455

    work page 2013

  14. [14]

    Korchm´ aros, G

    G. Korchm´ aros, G. P. Nagy, M. Timpanella, Codes and gap sequences of Hermitian curves,IEEE Trans. Inform. Theory,66(2019), 3547- 3554

    work page 2019

  15. [15]

    Korchm´ aros, P

    G. Korchm´ aros, P. Speziali, Hermitian codes with automorphism group isomorphic toP GL(2, q) withqodd,Finite Fields Appl.44 (2017), 1-17

    work page 2017

  16. [16]

    G. L. Matthews, Weierstrass pairs and minimum distance of Goppa codes,Des. Codes Cryptogr.,22(2001), 107-121

    work page 2001

  17. [17]

    Mitchell, Determination of the ordinary and modular ternary linear groups,Trans

    H.H. Mitchell, Determination of the ordinary and modular ternary linear groups,Trans. Amer. Math. Soc.12(1911), 207-242. 20

    work page 1911

  18. [18]

    Pretzel,Codes and algebraic curves, Oxford Lecture Series in Math- ematics and Its Applications, Clarendon Press, Oxford, 1998

    O. Pretzel,Codes and algebraic curves, Oxford Lecture Series in Math- ematics and Its Applications, Clarendon Press, Oxford, 1998

    work page 1998

  19. [19]

    Segre, Forme e geometrie hermitiane, con particolare riguardo al caso finito,Ann

    B. Segre, Forme e geometrie hermitiane, con particolare riguardo al caso finito,Ann. Mat. Pura Appl.,70(1965), 1-201

    work page 1965

  20. [20]

    Stichtenoth,Algebraic Function Fields and Codes, Second edition

    H. Stichtenoth,Algebraic Function Fields and Codes, Second edition. Graduate Texts in Mathematics, 254. Springer-Verlag, Berlin, 2009. xiv+355 pp

    work page 2009

  21. [21]

    Xing and H

    C.P. Xing and H. Chen, Improvements on parameters of one-point AG- codes from Hermitian codes,IEEE Trans. Inform. Theory482002, 535-537

    work page

  22. [22]

    Yang and P

    K. Yang and P. V. Kumar, On the True Minimum Distance of Hermi- tian Codes, inCoding theory and algebraic geometry, Lecture Notes in Mathematics, 1992, Volume1518/1992, 99-10. 21

    work page 1992