Pith. sign in

REVIEW 3 major objections 4 minor 29 references

Persistence of Galois property of hypersurfaces over algebraic integers across other characteristics

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A Galois point at one prime persists across almost all reductions of a hypersurface.

desk verdict The persistence theorem is false as stated due to a load-bearing inference gap, while the quartic classification looks solid enough to stand on its own. read the letter →

arxiv 2506.06592 v2 pith:GA3U265L submitted 2025-06-06 math.AG

Taro Hayashi , Kento Otsuka , Keika Shimahara , Eito Naruse This is my paper
classification math.AG MSC 14J7012F1014G17
keywords Galoispointshypersurfacesreductionmoduloprimesalgebraicintegersquarticpositivecharacteristiccyclicgroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Hypersurfaces defined by polynomials over the ring of integers of a number field can be reduced modulo prime ideals, producing hypersurfaces over finite fields. This paper asks whether the property of having a Galois point — a point whose projection makes the function-field extension Galois — is preserved under such reductions. The main theorem answers yes for extendable Galois points whose Galois group is cyclic of degree d−1 (inner) or d (outer): if one reduction in a certain open set of primes has the property, then every reduction in that set has it, with the same cyclic Galois group. The paper also gives, for quartic hypersurfaces, explicit equations that characterize when an extendable Galois point exists, varying with the characteristic of the base field.

What carries the argument

The carrying mechanism is a pair of families of auxiliary forms computed from the coefficients Fi of the defining equation. For inner points, H_inner;i(F) = Σ_{i≥j≥1} binom(d−j, i−j) Fj(−F2)^{i−j}((d−1)F1)^{j−1} for i = 2,...,d−1, and h_inner is the product, over i, of the products-of-all-coefficients MC(H_inner;i). For outer points, H_outer;i(F) = Σ_{i≥j≥0} binom(d−j, i−j) Fj(−F1)^{i−j}(dF0)^j for i = 1,...,d−1, and h_outer is the corresponding product. The open sets U_inner and U_outer are obtained by removing the closed sets where these elements, together with (d−1) or d and the leading coefficient MC(F1) or MC(F0), vanish. The proof shows that the existence of an extendable Galois point at a prime Q forces a normal form for the equation over κ(Q), which translates into the vanishing of all H_inner;i modulo Q; because the products MC(H_inner;i) are nonzero at every prime of U, those vanishing identities lift to the ring of integers and therefore hold modulo every prime of U, carrying the normal form — and hence the Galois point — to every prime in U.

What would settle it

The proof of Theorem 3.2 contains the step 'Since Q ∈ U, MC(F0) ∉ Q', although Zinner contains no factor MC(F0). To test the theorem, take a quartic over a number field containing a primitive cube root of unity, with F0 = p (a rational prime unramified and not dividing 3·MC(F1)·hinner), F1 = X1, and with F2, F3 chosen so that 3F1F3 − $F2^{2}$ = 0 over the integers. Mod p the reduction is smooth at P and P is an extendable inner Galois point by Theorem 1.4(2), while for any other prime q not dividing p, F0 = p ≠ 0 mod q means P is not on the reduction, contradicting the claimed smoothness at P for all primes in U if q lies in U.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.3. Let F be a primitive form of degree d over the ring of integers of a number field Kl that contains a primitive (d−1)-th root of unity, whose generic zero locus is a geometrically irreducible hypersurface, and let P = [1:0:...:0]. For inner Galois points, define the auxiliary forms H_inner;i and let h_inner be the product of the products of their coefficients; set Z_inner to be the closed set where (d−1)·MC(F1)·h_inner vanishes and U_inner its complement. If there exists a prime Q ∈ U_inner such that the reduced hypersurface X_Q is smooth at P and P is an extendable inner Galois point for X_Q, then for every Q' ∈ U_inner the reduction X_Q' is smooth at P and P is an extendable inner Galois point, with cyclic Galois group of order d−1. The analogous statement for outer Galois points holds with d in place of d−1, with Z_outer = V(d·MC(F0)·h_outer). The paper also proves Theorem 1.4, which gives necessary and sufficient coefficient equations for an extendable Galois point on a quartic hypersurface in every characteristic: for inner points, 3F1F3 − $F2^{2}$ = 0 when char(k) ≠ 3 and F2 = 0, F3 = −$G^{2}$F1 in char 3; for outer points, $3F1^{2}$ − 8F2 = 0 and $F1^{3}$ − 16F3 = 0 when char(k) ≠ 2 and F1 = 0 together with complete splitting of $T^{3}$ + F2T + F3 in char 2.

Load-bearing premise

The persistence conclusion moves a coefficient identity from one prime to all primes in U, and this transfer assumes that if a coefficient form such as F0 vanishes modulo the one prime where the Galois property was observed, then that form vanishes identically over the number field; the open set U is defined without a factor for F0, so this transfer is not actually guaranteed by U.

Editorial extensions

If this is right

  • If a single reduction of a hypersurface over a number field has an extendable inner Galois point of order d−1, then all but finitely many reductions do, with the same cyclic Galois group; the exceptional primes are exactly where h_inner or the leading coefficient MC(F1) vanishes.
  • An analogous statement holds for outer Galois points: one good prime forces the outer Galois property at every prime outside a finite set, with cyclic Galois group of order d.
  • For quartic hypersurfaces, the paper gives complete equations: in characteristic not 3, an inner extendable Galois point at a smooth point is equivalent to 3F1F3 − F2^2 = 0, and in characteristic 3 it is equivalent to F2 = 0 and F3 = −G^2F1 for a linear form G.
  • For quartic outer extendable Galois points, in characteristic not 2 the condition is 3F1^2 − 8F2 = 0 and F1^3 − 16F3 = 0 (after F0 = 1), yielding a cyclic group of order 4, while in characteristic 2 it is F1 = 0 and the cubic T^3 + F2T + F3 splits into linear factors, giving Galois group (Z/2)^2.
  • Together with the known classification in characteristic zero, these results pin down the Galois groups and defining equations for all characteristics for quartic hypersurfaces with extendable Galois points.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The persistence mechanism suggests a general principle: if an automorphism of a hypersurface is induced by a diagonal matrix with a root of unity of order m, the same automorphism exists after reduction modulo every prime not dividing m or the relevant coefficient products; the paper's H_i forms are essentially the obstruction to diagonalizing the action, and one could test whether the same forms
  • The theorem is restricted to cyclic Galois groups (order d−1 or d); for primes dividing d−1 or d, the Galois group can become a semidirect product (Z/p)^e ⋊ Z/l, and the explicit defining equations are not yet known, so a natural next step is to prove an analogous persistence statement for those non-cyclic groups, where the normalization of the equation would be more complicated.
  • The root-of-unity condition on the number field is likely essential for the matrix normalization in Proposition 2.6; a way to test its sharpness is to check whether counterexamples appear when the number field does not contain a primitive (d−1)-th or d-th root of unity.
  • Because Galois points give automorphisms used to construct algebraic-geometric codes, the persistence result means that codes obtained from a hypersurface over a number field will have the same symmetry group for almost all reductions, stabilizing the code parameters across characteristics.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies inner and outer Galois points on a hypersurface defined by a form F over the ring of integers of a number field, and claims that if a reduction at one prime Q has an extendable Galois point (inner of order d-1 or outer of order d), then the same holds at every prime in an explicitly defined open set U, with cyclic Galois group. The main result, Theorem 1.3, is derived from Theorems 3.2 and 3.3. The paper also gives a characteristic-dependent classification of quartic hypersurfaces admitting extendable Galois points (Theorem 1.4 and Sections 4-5).

Significance. If valid, the persistence statement would be a natural and useful bridge between Galois-point theory over number fields and over finite fields, and the quartic classification provides explicit normal forms in characteristics 2, 3, and others. The paper clearly builds on known normal forms from Fukasawa-Takahashi and Yoshihara. Unfortunately, the central persistence theorem for inner Galois points is false as stated; the proof of Theorem 3.2 contains a false inference about MC(F0). The quartic classification may be salvageable independently, but the main theorem cannot stand.

major comments (3)
  1. [§3, Theorem 3.2, second paragraph] The line "Since Q ∈ U, MC(F0) ∉ Q" is false. By definition, Zinner = V((d − 1)·MC(F1)·hinner(F)), so the open set U = W \ Zinner imposes no condition on MC(F0). Moreover, smoothness of X_Q at P gives F0 ≡ 0 mod Q, so if F0 is a nonzero element of O_K, every coefficient of F0 lies in Q and hence MC(F0) ∈ Q, the opposite of what the proof claims. This inference is used to conclude F0 = 0 as a polynomial over O_K, which is essential for the conclusion that X_{Q'} is smooth at P for every Q' ∈ U. The conclusion of Theorem 1.3(1) is actually false: for d = 4, n = 1, take F = 7X_0^4 + X_1X_0^3 + F_4(X_1,X_2) with F_4 chosen generically. Then F_0 = 7, F_1 = X_1, F_2 = F_3 = 0, so h_inner = 1 and Z_inner = (3); with W containing both 7 and 13, both primes lie in U. Modulo 7 the hypersurface is smooth at P and P is an extendable inner Galois point (7 ≡ 1 mod 3), but modulo 13 we have F(1,0,0) = 7 ≠ 0, so P ∉ X_13 and the asserted persistence fails.
  2. [§3, Theorem 3.2, after Eq. (9)] The displayed identity "d(d − 3)(F_2)^2 = 2(d − 1)F_1F_3" is not the coefficient identity obtained from H_inner;3. A direct expansion of H_inner;3 gives 2(d − 1)F_1F_3 = (d − 2)(F_2)^2 for d ≥ 4. For example, when d = 4 the correct relation is 6F_1F_3 = 2(F_2)^2, not 6F_1F_3 = 4(F_2)^2. The divisibility conclusion F_1 | F_2 still follows from the corrected identity, but the displayed equation as written is false and should be fixed.
  3. [§3, Theorem 3.3] The proof asserts that for the shear matrix A constructed from F_1/f_0, the intermediate coefficients H_i vanish modulo Q by Proposition 2.7. Proposition 2.7(2), however, only states a conclusion under the hypothesis F_1 = 0 and does not establish vanishing of the H_i for the specific shear A when F_1 ≠ 0. The needed statement is true (it follows from the normal form in Proposition 2.6 after conjugating by the linear change diagonalizing F_1), but it is not proved in the manuscript. As written, the proof of Theorem 1.3(2) has a gap.
minor comments (4)
  1. [§3, first paragraph] The text contains the typo "prime umber" where "prime number" is intended.
  2. [Throughout] There are several typos: "filed" in Theorem 1.4, "geometry irreducible" in Proposition 2.7, and "Te equation" near the end of Section 5.
  3. [§5, Theorem 5.3 proof, char = 2 case] The notation "|Gπ4|" should be "|GπP|", and the sentence "P is an extendable inner Galois point" should read "outer". Also, to conclude that the Galois group is the direct product of two cyclic groups of order 2, the proof should justify that the three automorphisms are distinct and commute; distinctness follows from the irreducibility of the quartic but is not stated.
  4. [§4, Lemma 4.2] The phrase "Since char(k) ≠ 2" is vacuous in characteristic 3; the intended hypothesis is char(k) = 3. Consider rephrasing for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the persistence theorem is derived from explicit algebraic identities proved in the paper, and the flagged MC(F0) inference is a correctness gap rather than a circular reduction.

full rationale

The central persistence claim (Theorem 1.3) does not reduce to its assumptions. The open sets Uinner and Uouter are defined from the explicit coefficient-form products hinner(F) and houter(F), and Theorems 3.2 and 3.3 attempt to prove that an extendable Galois point at one prime in U forces the corresponding Hinner;i or Houter;i to vanish identically over the ring of integers, after which the same conclusion holds at every prime in U. These polynomials are not fitted parameters, and the Galois property is not defined as membership in U; the implication is a substantive algebraic argument. Propositions 2.6 and 2.7, which carry the main algebraic weight, are proved in the paper rather than imported. The cited classifications from [3], [5], [7], and [8], and the Galois-theoretic facts from Artin, are independent external results. The self-citations by author T. Hayashi ([16]–[20]) appear only as background in the introduction and are not load-bearing for Theorem 1.3 or Theorem 1.4. There is no fitted value renamed as a prediction and no known result merely re-labeled as a new organization. I explicitly flag, as a correctness issue rather than a circularity, the passage in the second paragraph of Theorem 3.2: "Since Q ∈ U, MC(F0) ∉ Q. Thus, F0 = 0 as a polynomial with OK coefficients." Here U = W \ Zinner, and Zinner = V((d−1)·MC(F1)·hinner(F)) does not contain MC(F0), so the inference is unsupported. This gap invalidates the inner-case persistence argument as written, but it is a logical error, not a reduction of the theorem's conclusion to its own input. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted numerical parameters and no new entities. It relies on standard algebraic geometry, on the assumed existence of an open set of primes with irreducible reductions, and on the unstated condition that MC(F0) is invertible on U in the inner case; that last condition is not part of the theorem and is the source of the false inference.

assumptions (5)
  • standard math The automorphism group of the function field k(X) coincides with the birational automorphism group of X.
    Used in Section 1 to identify the Galois group of a projection with birational symmetries of the hypersurface.
  • domain assumption K_l contains a primitive l-th root of unity and the residue characteristics in U avoid prime factors of d-1 or d.
    Required for the normal-form criteria of extendable Galois points used throughout Sections 3, 4, and 5.
  • domain assumption There is a nonempty open set W of Spec O_K on which every reduction X_Q is irreducible.
    Used in Theorems 1.3, 3.2, and 3.3; existence for a given F is assumed rather than proved.
  • domain assumption F is primitive and X0 is geometrically irreducible over K.
    Assumed in the main theorems and needed for the function-field extension and reduction arguments.
  • ad hoc to paper For inner Galois points, F0=0 or all primes in U avoid MC(F0).
    Theorem 3.2 needs MC(F0) not in Q to infer F0=0, but U as defined omits this condition. This unstated assumption is the source of the central flaw.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Persistence of Galois property of hypersurfaces over algebraic integers across other characteristics." pith.science (2026). https://pith.science/paper/GA3U265L

@misc{pith2026250606592,
  author       = {Pith},
  title        = {Pith review of: Persistence of Galois property of hypersurfaces over algebraic integers across other characteristics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GA3U265L}},
  note         = {Machine review of arXiv:2506.06592}
}
read the original abstract

In this paper, we investigate hypersurfaces defined over a ring of algebraic integers, and show that if the projection from a point induces a Galois extension over either a number field or the residue field associated with a prime ideal satisfying certain conditions, then the Galois property persists under reduction modulo the residue field associated with all but finitely many such prime ideals. Furthermore, for quartic hypersurfaces, we provide necessary and sufficient conditions for the Galois group to be given by a projective linear group, depending on the characteristic of the base field.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Arbarello, M

    E. Arbarello, M. Cornalba, P.A. Griffiths, J. Harris, Geometry of algebraic curves, vol. I. Grundlehren der Mathematischen Wissenschaften 267. Springer, New York (1985)

    work page 1985

  2. [2]

    Artin, Algebra, 2nd ed., Pearson, Boston, MA, 2010

    M. Artin, Algebra, 2nd ed., Pearson, Boston, MA, 2010. ISBN: 978 −0132413770

    work page 2010

  3. [3]

    Fukasawa, Galois points on quartic curves in characteristic 3, Nihonkai Math

    S. Fukasawa, Galois points on quartic curves in characteristic 3, Nihonkai Math. J. 17 (2006), no.2, 103−110

    work page 2006

  4. [4]

    Fukasawa, On the number of Galois points for a plane curve in positive characteristic

    S. Fukasawa, On the number of Galois points for a plane curve in positive characteristic. II, Geom. Dedicata 127 (2007), 131 −137. 30 TARO HAYASHI, KENTO OTSUKA, KEIKA SHIMAHARA, AND EITO NARUSE

    work page 2007

  5. [5]

    Fukasawa, On the number of Galois points for a plane curve in positive characteristic, Comm

    S. Fukasawa, On the number of Galois points for a plane curve in positive characteristic, Comm. Algebra 36 (2008), no.1, 29 −36

    work page 2008

  6. [6]

    Fukasawa, Automorphism groups of smooth plane curves with many Galois points, Ni- honkai Math

    S. Fukasawa, Automorphism groups of smooth plane curves with many Galois points, Ni- honkai Math. J. 25 (2014), no.1, 69 −75

    work page 2014

  7. [7]

    Fukasawa and T

    S. Fukasawa and T. Takahashi, Galois points for a normal hypersurface, Trans. Amer. Math. Soc., 366 (2014), 1639 −1658

    work page 2014

  8. [8]

    Fukasawa, Galois points for a plane curve in characteristic two, J

    S. Fukasawa, Galois points for a plane curve in characteristic two, J. Pure Appl. Algebra 218 (2014), no.2, 343 −353

    work page 2014

Show all 29 references
  1. [9]

    Fukasawa, K

    S. Fukasawa, K. Miura, and T. Takahashi, Quasi-Galois points, I: Automorphism groups of plane curves, Tohoku Math. J. (2) Volume 71, Number 4 (2019), 487 −494

    2019

  2. [10]

    Fukasawa, Automorphism group, Galois points and lines of the generalized Artin-Schreier- Mumford curve, Geom

    S. Fukasawa, Automorphism group, Galois points and lines of the generalized Artin-Schreier- Mumford curve, Geom. Dedicata 216 (2022), no.2, Paper No. 19, 9 pp

    2022

  3. [11]

    Fukasawa, Algebraic-geometric codes with many automorphisms arising from Galois points, preprint arXiv:2211.16823 (2022)

    S. Fukasawa, Algebraic-geometric codes with many automorphisms arising from Galois points, preprint arXiv:2211.16823 (2022)

    2022 arXiv

  4. [12]

    Fukasawa and T

    S. Fukasawa and T. Miezaki, Galois points for a finite graph, arXiv preprint arXiv:2308.05293 (2023)

    2023 arXiv

  5. [13]

    Harui, K

    T. Harui, K. Miura and A. Ohbuchi, Automorphism group of plane curve computed by Galois points, II, Proc. Japan Acad. Ser. A Math. Sci. 94 (2018), no.6, 59 −63

    2018

  6. [14]

    Harui, K

    T. Harui, K. Miura and A. Ohbuchi, Smooth plane curves with outer Galois points whose reduced automorphism group is A5, Proc. Japan Acad. Ser. A Math. Sci. 98 (2022), no.8, 67−71

    2022

  7. [15]

    Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No

    R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York, Heidelberg, 1977

    1977

  8. [16]

    Hayashi, Linear automorphisms of smooth hypersurfaces giving Galois points, Bull

    T. Hayashi, Linear automorphisms of smooth hypersurfaces giving Galois points, Bull. Korean Math. Soc. 58 (2021), No. 3, pp. 617 −635

    2021

  9. [17]

    Hayashi, Dihedral group and smooth plane curves with many quasi-Galois points, Bull

    T. Hayashi, Dihedral group and smooth plane curves with many quasi-Galois points, Bull. Malays. Math. Sci, 44, 4251 −4267 (2021)

    2021

  10. [18]

    Hayashi, Galois covers of the projective line by smooth plane curves of large degree, Beitr Algebra Geom 64, 311-365 (2023)

    T. Hayashi, Galois covers of the projective line by smooth plane curves of large degree, Beitr Algebra Geom 64, 311-365 (2023)

    2023

  11. [19]

    Hayashi, Ramification locus of projections of smooth hypersurfaces to be Galois rational covers, Geometriae Dedicata 217.4 (2023):73

    T. Hayashi, Ramification locus of projections of smooth hypersurfaces to be Galois rational covers, Geometriae Dedicata 217.4 (2023):73

    2023

  12. [20]

    Hayashi, Abelian automorphism groups of smooth hypersurfaces with smooth quotient, to appear in Beitr Algebra Geom

    T. Hayashi, Abelian automorphism groups of smooth hypersurfaces with smooth quotient, to appear in Beitr Algebra Geom

  13. [21]

    Homma, Galois points for a Hermitian curve, Comm

    M. Homma, Galois points for a Hermitian curve, Comm. Algebra 34 (2006), 4503-4511

    2006

  14. [22]

    Ikeda and T

    A. Ikeda and T. Takahashi, Simultaneous Galois points for a reducible plane curve consisting of nonsingular components, Kodai Math. J. 7 (2024), no.2, 251 −265

    2024

  15. [23]

    Kanazawa, T

    M. Kanazawa, T. Takahashi and H. Yoshihara, The group generated by automorphisms belonging to Galois points of the quartic surface, Nihonkai Math. J., 12 (2001), 89 −99

    2001

  16. [24]

    Matsumura and P

    H. Matsumura and P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1963/1964), 347 −361

    1963

  17. [25]

    Miura and A

    K. Miura and A. Ohbuchi, Automorphism group of plane curve computed by Galois points, Beitr. Algebra Geom. 56 (2015), no.2, 695 −702

    2015

  18. [26]

    Miura and H

    K. Miura and H. Yoshihara, Field theory for function fields of plane quartic curves, J. Algebra, 226 (2000), 283 −294

    2000

  19. [27]

    Yoshihara, Function field theory of plane curves by dual curves, J

    H. Yoshihara, Function field theory of plane curves by dual curves, J. Algebra 239 (2001), 340−355

    2001

  20. [28]

    Yoshihara, Galois points on quartic surfaces, J

    H. Yoshihara, Galois points on quartic surfaces, J. Math. Soc. Japan, 53 (2001), 731 −743

    2001

  21. [29]

    Yoshihara, Galois points for smooth hypersurfaces, J

    H. Yoshihara, Galois points for smooth hypersurfaces, J. Algebra, 264 (2003), 520-534. (Taro Hayashi) Department of Mathematical Sciences, Ritsumeikan University, 1−1−1 Nojihigashi, Kusatsu, Shiga, 525−8577, Japan Email address : haya4taro@gmail.com (Kento Otsuka) Graduate Sch...

    2003

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.