On symplectic automorphisms of a surface with genus two fibration and their action on $\mathrm{CH}_0$

Jiabin Du; Wenfei Liu

arxiv: 2501.10058 · v1 · submitted 2025-01-17 · 🧮 math.AG

On symplectic automorphisms of a surface with genus two fibration and their action on CH₀

Jiabin Du , Wenfei Liu This is my paper

Pith reviewed 2026-05-23 05:53 UTC · model grok-4.3

classification 🧮 math.AG

keywords symplectic automorphismsgenus two fibrationChow groupAlbanese kernelBloch-Beilinson conjectureprojective surfacesholomorphic Euler characteristic

0 comments

The pith

If χ(O_S) ≥ 5 then a surface with genus two fibration has at most two symplectic automorphisms, which act trivially on the Albanese kernel of CH_0 under further conditions.

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

The paper examines symplectic automorphisms on complex smooth projective surfaces that carry a genus two fibration. It shows that when the holomorphic Euler characteristic is at least five, the group of such automorphisms has order at most two. Under additional conditions the group acts trivially on the Albanese kernel of the Chow group of zero-cycles, which is consistent with a prediction of the Bloch-Beilinson conjecture. The work also concludes that any automorphism fixing all holomorphic forms of degree at most two must fix that kernel as well. A reader would care because the result links the size of finite automorphism groups on fibered surfaces to the behavior of algebraic cycles.

Core claim

For a complex smooth projective surface S with a genus two fibration, if χ(O_S) ≥ 5 then the group Aut_s(S) of symplectic automorphisms has order at most 2. Under some conditions, Aut_s(S) acts trivially on CH_0(S)_alb. As a consequence, if an automorphism σ ∈ Aut(S) acts trivially on H^{i,0}(S) for 0 ≤ i ≤ 2, then it also acts trivially on CH_0(S)_alb.

What carries the argument

The bound |Aut_s(S)| ≤ 2 when χ(O_S) ≥ 5, obtained from Cai's earlier results on surfaces with genus two fibrations, together with the verification of trivial action by this group on the Albanese kernel CH_0(S)_alb.

If this is right

When χ(O_S) ≥ 5 the group Aut_s(S) satisfies |Aut_s(S)| ≤ 2.
Under the stated conditions Aut_s(S) acts trivially on CH_0(S)_alb.
Any automorphism that fixes every H^{i,0}(S) for 0 ≤ i ≤ 2 also fixes CH_0(S)_alb.

Where Pith is reading between the lines

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

The size restriction may help classify finite symplectic group actions on other classes of surfaces that admit fibrations.
Trivial action on the kernel suggests that these automorphisms preserve the filtration on the Chow ring predicted by the Bloch-Beilinson conjecture for high Euler characteristic.
Explicit computation of the automorphism group for known families of genus-two fibered surfaces with χ ≥ 5 could test the bound directly.

Load-bearing premise

The surface admits a genus two fibration and satisfies the further conditions needed for the triviality statement on the Albanese kernel, while the size bound rests on prior results about such surfaces.

What would settle it

An explicit example of a smooth projective surface with a genus two fibration, χ(O_S) ≥ 5, and at least three distinct symplectic automorphisms would disprove the bound.

read the original abstract

Let $S$ be a complex smooth projective surface with a genus two fibration, and $\mathrm{Aut}_s(S)$ the group of symplectic automorphisms, fixing every holomorphic 2-forms (if any) on $S$. Based on the work of Jin-Xing Cai, we observe in this paper that, if $\chi(\mathcal{O}_S)\geq 5$, then $|\mathrm{Aut}_s(S)|\leq 2$. Then we go on to verify, under some conditions, that $\mathrm{Aut}_s(S)$ acts trivially on the Albanese kernel $\mathrm{CH}_0(S)_{\mathrm{alb}}$ of the 0-th Chow group, which is predicted by a conjecture of Bloch and Beilinson. As a consequence, if an automorphism $\sigma\in \mathrm{Aut}(S)$ acts trivially on $H^{i,0}(S)$ for $0\leq i\leq 2$, then it also acts trivially on $\mathrm{CH}_0(S)_{\mathrm{alb}}$.

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

The paper applies Cai to get |Aut_s(S)|≤2 for genus-2 fibered surfaces when χ≥5 and checks trivial action on CH0 alb under conditions, but does not explicitly verify that the surfaces meet Cai's hypotheses.

read the letter

This paper observes that for a smooth projective surface with a genus two fibration, if χ(O_S) is at least 5 then the symplectic automorphism group has order at most 2. It then checks under some further conditions that these automorphisms act trivially on the Albanese kernel of CH0, matching a prediction from Bloch-Beilinson. The consequence is that an automorphism fixing the holomorphic forms through degree 2 must also fix that kernel. The new content is the concrete application of Cai's bound to this fibration class plus the verification step for the Chow action. The paper states the logical consequence cleanly and does not overclaim generality. The main limitation is that the bound is presented as an observation drawn from Cai without restating Cai's exact hypotheses or confirming that genus-two fibered surfaces satisfy them, such as any required minimality or Hodge constraints. The extra conditions for the CH0 triviality are also left unspecified in the abstract. This is a modest, honest extension rather than a foundational advance. It is aimed at people already working on automorphism groups of surfaces and zero-cycles. A reader following Cai or testing Bloch-Beilinson predictions on specific surface classes would get a usable numerical bound and a partial check. The work deserves peer review because the claims are limited and the approach is straightforward; referees can verify the applicability details and the precise conditions used.

Referee Report

2 major / 1 minor

Summary. The paper considers complex smooth projective surfaces S equipped with a genus two fibration. It observes, based on prior work of Cai, that if χ(O_S) ≥ 5 then the group Aut_s(S) of symplectic automorphisms has cardinality at most 2. It then verifies under unspecified conditions that Aut_s(S) acts trivially on the Albanese kernel CH_0(S)_alb of the Chow group, consistent with the Bloch-Beilinson conjecture. As a consequence, any automorphism acting trivially on H^{i,0}(S) for i ≤ 2 also acts trivially on CH_0(S)_alb.

Significance. If the applicability of Cai's results to this setting is established and the conditions are made precise, the bound on |Aut_s(S)| and the triviality of the action on CH_0 alb would constitute a useful contribution to the study of automorphisms and Chow groups of surfaces. It provides supporting evidence for the Bloch-Beilinson conjecture in the context of surfaces with genus two fibrations and derives a concrete implication for automorphisms preserving Hodge structures. The work builds directly on existing results without introducing new parameters or ad-hoc constructions.

major comments (2)

Abstract: The claim that |Aut_s(S)| ≤ 2 when χ(O_S) ≥ 5 is stated as an observation from Cai's work without quoting the precise hypotheses of the theorem or verifying that surfaces with a genus two fibration satisfy those hypotheses, such as any required conditions on the canonical class or Hodge numbers. This verification is necessary for the bound to apply to the class of surfaces considered.
Abstract: The statement that Aut_s(S) acts trivially on CH_0(S)_alb is made 'under some conditions,' but these conditions are not specified. Explicit listing of the conditions is required to assess the scope and validity of the triviality result.

minor comments (1)

Ensure consistent notation for the Albanese kernel CH_0(S)_alb throughout the manuscript.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We agree that the abstract requires greater precision regarding the hypotheses from Cai's work and the conditions for the action on CH_0, and we will revise the manuscript accordingly.

read point-by-point responses

Referee: Abstract: The claim that |Aut_s(S)| ≤ 2 when χ(O_S) ≥ 5 is stated as an observation from Cai's work without quoting the precise hypotheses of the theorem or verifying that surfaces with a genus two fibration satisfy those hypotheses, such as any required conditions on the canonical class or Hodge numbers. This verification is necessary for the bound to apply to the class of surfaces considered.

Authors: We agree that the abstract should quote the precise hypotheses of Cai's theorem and verify their applicability. In the revised version we will include the exact statement of the relevant result from Cai, together with a brief verification that surfaces with a genus-two fibration and χ(O_S) ≥ 5 satisfy the required conditions on the canonical class and Hodge numbers. These additions will appear in both the abstract and the introduction. revision: yes
Referee: Abstract: The statement that Aut_s(S) acts trivially on CH_0(S)_alb is made 'under some conditions,' but these conditions are not specified. Explicit listing of the conditions is required to assess the scope and validity of the triviality result.

Authors: We accept that the conditions must be stated explicitly. In the revision we will replace the phrase 'under some conditions' in the abstract with a concise list of the precise hypotheses under which the triviality of the action on CH_0(S)_alb is proved; these hypotheses will be drawn directly from the arguments already present in Sections 3 and 4 of the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claims rest on external citation to Cai without internal reduction

full rationale

The paper states the bound |Aut_s(S)| ≤ 2 for χ(O_S) ≥ 5 as an observation drawn directly from Cai's prior independent work, without re-deriving it or fitting parameters from its own data. The subsequent verification that Aut_s(S) acts trivially on CH_0(S)_alb under stated conditions is presented as a direct check, not as a quantity defined in terms of itself or forced by the paper's inputs. No self-citation load-bearing, self-definitional steps, ansatz smuggling, or renaming of known results occurs; the derivation chain does not reduce to the paper's own equations or citations by construction. The Bloch-Beilinson conjecture is invoked only as external motivation, not as part of the proof.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard setup of complex projective surfaces with genus-two fibrations and on results from Cai; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)

domain assumption Existence and basic properties of genus two fibrations on smooth projective surfaces
The entire statement presupposes that S carries such a fibration.

pith-pipeline@v0.9.0 · 5712 in / 1377 out tokens · 53319 ms · 2026-05-23T05:53:37.063104+00:00 · methodology