Galois lines for a canonical curve of genus 4, III: non-cyclic Galois lines

Jiryo Komeda; Shotaro Kato; Takeshi Takahashi

arxiv: 2604.26584 · v1 · submitted 2026-04-29 · 🧮 math.AG

Galois lines for a canonical curve of genus 4, III: non-cyclic Galois lines

Shotaro Kato , Jiryo Komeda , Takeshi Takahashi This is my paper

Pith reviewed 2026-05-07 12:34 UTC · model grok-4.3

classification 🧮 math.AG

keywords canonical curvegenus 4Galois linesS3Klein four-groupprojectionfunction fieldalgebraic curve

0 comments

The pith

A genus-4 canonical curve in P^3 admits at most ten S3-lines and fifteen K4-lines.

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

The paper examines lines in projective three-space from which the projection of a canonical curve of genus four induces a Galois extension of function fields with group S3 or the Klein four-group. It proves upper bounds of ten for S3-lines and fifteen for K4-lines on any smooth such curve over an algebraically closed field of characteristic zero. These special lines are defined by the Galois property of the induced map on function fields. A sympathetic reader cares because the bounds limit the number of ways to realize certain Galois covers from projections of the curve, which relates to its intrinsic geometry and possible symmetries.

Core claim

For a smooth canonical curve C of genus 4 in P^3, a line l is an S3-line when the function field extension k(C) over the pullback from P^1 via projection from l is Galois with group S3; it is a K4-line when the group is the Klein four-group. The paper proves that the number of S3-lines is at most 10 and the number of K4-lines is at most 15.

What carries the argument

The projection from a line l inducing a Galois function field extension with group S3 or K4.

If this is right

The number of such special lines is always finite and small.
These projections correspond to ramified covers with specific Galois groups.
The results apply uniformly to all smooth canonical genus-4 curves in characteristic zero.

Where Pith is reading between the lines

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

The bounds may inform the study of the Hurwitz space or moduli of covers for genus 4.
Similar counting arguments could bound Galois lines for other groups or higher genus curves.
Extremal curves achieving the maximum numbers would provide examples of high symmetry in their projections.

Load-bearing premise

The curve is smooth and canonically embedded as a curve of genus 4 in projective three-space over an algebraically closed field of characteristic zero.

What would settle it

Finding a smooth canonical genus-4 curve in P^3 with eleven distinct S3-lines would disprove the upper bound.

read the original abstract

Let $C \subset \mathbb{P}^3$ be a canonical curve of genus $4$ over an algebraically closed field $k$ of characteristic zero. For a line $l \subset \mathbb{P}^3$, we consider the projection $\pi_l: C \to \mathbb{P}^1$ from $l$ and the induced extension of function fields $\pi_l^*: k(\mathbb{P}^1)\hookrightarrow k(C)$. A line $l$ is called an \emph{$S_3$-line} (resp. a \emph{$K_4$-line}) if the extension $k(C)/\pi_l^*(k(\mathbb{P}^1))$ is Galois and its Galois group is isomorphic to the symmetric group $S_3$ on three letters (resp. the Klein four-group $K_4$). We prove that the number of $S_3$-lines (resp.\ $K_4$-lines) is at most $10$ (resp.\ $15$).

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.

Desk Editor's Note private letter to a colleague

Kato, Komeda and Takahashi prove explicit upper bounds of 10 and 15 on S3- and K4-Galois lines for smooth canonical genus-4 curves.

read the letter

The one or two things to know about this paper are that it proves the number of S3-lines is bounded by 10 and the number of K4-lines by 15 for a smooth canonical genus-4 curve in P^3. This extends the authors' earlier papers on cyclic Galois lines by handling the non-cyclic cases S3 and K4. The approach relies on the projection from the line inducing a Galois cover of the projective line, and they count how many such lines can exist under the given conditions. The paper does well in delivering concrete numerical bounds rather than qualitative statements. This is useful because it allows for a more complete picture when trying to understand all possible Galois lines on these curves. The hypotheses are standard in the field: smooth curve, canonical embedding in P3, algebraically closed field of characteristic zero. The abstract presents the result clearly without overclaiming. On the soft spots, the scope is quite limited to genus 4 and these specific groups, so it won't have wide applicability outside specialists. The bounds might not be optimal, but the paper focuses on upper bounds, which is fine. Since the full proof isn't in the abstract, there could be details in the case analysis for different possible configurations of the lines or the ramification that need checking, but the stress-test indicates no major issues. No circularity or invented concepts here. This work is primarily for algebraic geometers who study low-genus curves, their embeddings, and associated Galois covers or automorphisms. A reader already familiar with the series or with Hurwitz bounds on curve covers would appreciate the specific numbers and how they were derived. It could serve as a reference for examples or for bounding similar phenomena in related settings. I would consider bringing this to a reading group if the group has an interest in algebraic geometry or number theory aspects of curves, but it's specialized enough that it might not appeal broadly. I probably would not cite it in my own work in the next year unless I start working on similar curve classifications. However, it does deserve to go through peer review because the result is well-defined, the setup is solid, and it fills in the non-cyclic part of their program.

Referee Report

0 major / 3 minor

Summary. The paper proves that for a smooth canonical curve C of genus 4 in P^3 over an algebraically closed field of characteristic zero, the number of S3-lines (lines l such that the projection π_l induces a Galois extension k(C)/k(P^1) with Galois group S3) is at most 10, and the number of K4-lines (with Galois group the Klein four-group) is at most 15.

Significance. The result supplies explicit, finite upper bounds on non-cyclic Galois lines for canonical genus-4 curves, which is a concrete contribution to the enumeration of special projections and Galois covers in low-genus curve geometry. The bounds are consistent with Hurwitz-type ramification counting and build directly on the series' prior parts on cyclic cases. The manuscript's use of the canonical embedding and function-field extensions provides a standard, verifiable framework for such counts.

minor comments (3)

[§1] §1 (Introduction): the statement of the main theorem could include a brief remark on whether the bounds are expected to be sharp, with a reference to any example curves attaining close to 10 or 15 lines.
[§2] §2 (Preliminaries): the notation for the induced extension π_l^* : k(P^1) ↪ k(C) and the precise definition of 'exactly S3' or 'exactly K4' (as opposed to containing those groups) should be restated once more explicitly before the counting arguments begin.
[§3] §3 (S3-lines): the ramification analysis in the proof of the bound 10 would benefit from a short table summarizing the possible ramification indices and their contributions to the Hurwitz formula.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation for minor revision. The report correctly summarizes the main result on the upper bounds for S3-lines and K4-lines.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central result is an upper bound on the number of S3-lines and K4-lines for a smooth canonical genus-4 curve in P^3, derived via standard techniques from algebraic geometry: projection from lines, induced Galois extensions of function fields, and counting via Riemann-Hurwitz or Hurwitz-type formulas under the given hypotheses (smoothness, char 0, algebraically closed field). No step reduces by construction to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain; the bounds follow directly from the geometric setup without circular reduction. The series title (III) indicates prior related work, but the present argument remains independent and externally falsifiable via the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the claim rests on standard domain assumptions about canonical embeddings and Galois extensions of function fields. No free parameters or invented entities are visible.

axioms (1)

domain assumption C is a smooth canonical curve of genus 4 embedded in P^3 over an algebraically closed field of characteristic zero.
This is the explicit setup stated in the abstract on which the definitions of S3-lines and K4-lines depend.

pith-pipeline@v0.9.0 · 5490 in / 1330 out tokens · 46896 ms · 2026-05-07T12:34:45.260047+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Arbarello, M

E. Arbarello, M. Cornalba, P. A. Griffiths , and J. Harris , Geometry of algebraic curves. Volume I. Grundlehren der mathematischen Wissenschaften, Fundamental Principles of Mathematical Sciences, 267. Springer-Verlag, New York, 1985

work page 1985
[2]

The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.15.1; 2025, https://www.gap-system.org (accessed January 2026)

work page 2025
[3]

P. A. Griffiths and J. Harris , Principles of algebraic geometry. Reprint of the 1978 original. Wiley Classics Library. John Wiley & Sons, Inc., New York, 1994

work page 1978
[4]

Kato , S_3 Galois lines and K_4 Galois lines for canonical curves of genus 4

S. Kato , S_3 Galois lines and K_4 Galois lines for canonical curves of genus 4 . Senior Thesis, Faculty of Engineering, Niigata University, 2024 (in Japanese)

work page 2024
[5]

Kato , Galois lines associated with non-cyclic groups for canonical curves of genus 4

S. Kato , Galois lines associated with non-cyclic groups for canonical curves of genus 4 . Master's thesis, Graduate School of Science and Technology, Niigata University, 2026 (in Japanese)

work page 2026
[6]

Komeda and T

J. Komeda and T. Takahashi , Galois lines for a canonical curve of genus 4, I: Non-skew cyclic lines. Rend. Semin. Mat. Univ. Padova 152 (2024), 1--20

work page 2024
[7]

Komeda and T

J. Komeda and T. Takahashi , Galois lines for a canonical curve of genus 4, II: Skew cyclic lines. Rend. Semin. Mat. Univ. Padova 152 (2024), 21--44

work page 2024
[8]

Kuribayashi and A

I. Kuribayashi and A. Kuribayashi , On automorphism groups of compact Riemann surfaces of genus 4. Proc. Japan Acad. Ser. A Math. Sci. 62 (1986), no. 2, 65--68

work page 1986
[9]

Kuribayashi and A

I. Kuribayashi and A. Kuribayashi , Automorphism groups of compact Riemann surfaces of genera three and four. J. Pure Appl. Algebra 65 (1990), no. 3, 277--292

work page 1990
[10]

Yoshihara , Galois lines for space curves

H. Yoshihara , Galois lines for space curves. Algebra Colloq. 13 (2006), no. 3, 455--469

work page 2006

[1] [1]

Arbarello, M

E. Arbarello, M. Cornalba, P. A. Griffiths , and J. Harris , Geometry of algebraic curves. Volume I. Grundlehren der mathematischen Wissenschaften, Fundamental Principles of Mathematical Sciences, 267. Springer-Verlag, New York, 1985

work page 1985

[2] [2]

The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.15.1; 2025, https://www.gap-system.org (accessed January 2026)

work page 2025

[3] [3]

P. A. Griffiths and J. Harris , Principles of algebraic geometry. Reprint of the 1978 original. Wiley Classics Library. John Wiley & Sons, Inc., New York, 1994

work page 1978

[4] [4]

Kato , S_3 Galois lines and K_4 Galois lines for canonical curves of genus 4

S. Kato , S_3 Galois lines and K_4 Galois lines for canonical curves of genus 4 . Senior Thesis, Faculty of Engineering, Niigata University, 2024 (in Japanese)

work page 2024

[5] [5]

Kato , Galois lines associated with non-cyclic groups for canonical curves of genus 4

S. Kato , Galois lines associated with non-cyclic groups for canonical curves of genus 4 . Master's thesis, Graduate School of Science and Technology, Niigata University, 2026 (in Japanese)

work page 2026

[6] [6]

Komeda and T

J. Komeda and T. Takahashi , Galois lines for a canonical curve of genus 4, I: Non-skew cyclic lines. Rend. Semin. Mat. Univ. Padova 152 (2024), 1--20

work page 2024

[7] [7]

Komeda and T

J. Komeda and T. Takahashi , Galois lines for a canonical curve of genus 4, II: Skew cyclic lines. Rend. Semin. Mat. Univ. Padova 152 (2024), 21--44

work page 2024

[8] [8]

Kuribayashi and A

I. Kuribayashi and A. Kuribayashi , On automorphism groups of compact Riemann surfaces of genus 4. Proc. Japan Acad. Ser. A Math. Sci. 62 (1986), no. 2, 65--68

work page 1986

[9] [9]

Kuribayashi and A

I. Kuribayashi and A. Kuribayashi , Automorphism groups of compact Riemann surfaces of genera three and four. J. Pure Appl. Algebra 65 (1990), no. 3, 277--292

work page 1990

[10] [10]

Yoshihara , Galois lines for space curves

H. Yoshihara , Galois lines for space curves. Algebra Colloq. 13 (2006), no. 3, 455--469

work page 2006