Infinitesimal invariants of genus 4 curves and the Griffiths-Pirola cycle

Matteo Verni

Explicit algebraic formulas for the infinitesimal invariants of the Griffiths-Pirola cycle recover the equations of a general genus-4 curve and prove they do not vanish.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-15 03:17 UTC pith:OD5YBLB3

load-bearing objection Abstract-only genus-4 paper that claims explicit algebraic formulas for Griffiths-Pirola infinitesimal invariants, a refinement of Griffiths, and a restricted re-proof of Green-Griffiths; coherent but unauditable from the abstract. the 2 major comments →

arxiv 2607.12793 v1 pith:OD5YBLB3 submitted 2026-07-14 math.AG

Infinitesimal invariants of genus 4 curves and the Griffiths-Pirola cycle

Matteo Verni This is my paper

classification math.AG MSC 14H1014C2514D07

keywords Griffiths-Pirola cycleinfinitesimal invariantsgenus 4 curvesuniversal curveGreen-Griffiths nonvanishingalgebraic cyclesHodge theory

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper supplies an explicit algebraic description of the infinitesimal invariants attached to the Griffiths-Pirola cycle on the universal genus-4 curve and to the self-intersection of that cycle. These formulas refine an earlier result of Griffiths by recovering the classical equations of a general genus-4 curve directly from the invariants. They also yield a new, purely algebraic proof—valid only in genus 4—that the invariants are non-vanishing, recovering a special case of the Green–Griffiths theorem. A reader who cares about making abstract Hodge-theoretic constructions concrete will find that the invariants become computable objects linked to the geometry of the curve itself.

Core claim

There is an explicit algebraic description of the infinitesimal invariants of the Griffiths-Pirola cycle on the universal genus-4 curve and of its self-intersection; these invariants recover the equations of a general genus-4 curve and are non-vanishing.

What carries the argument

The Griffiths-Pirola cycle (a natural algebraic cycle on the universal genus-4 curve) together with the algebraic expressions for its infinitesimal invariants and those of its self-intersection, which carry the recovery of the curve equations and the non-vanishing statement.

Load-bearing premise

The usual constructions of the Griffiths-Pirola cycle, its self-intersection, and the associated infinitesimal invariants remain valid and well-defined when restricted to the universal family of genus-4 curves.

What would settle it

An explicit calculation on a general genus-4 curve showing that the algebraic expressions for the infinitesimal invariants either vanish or fail to reproduce the classical equations of the curve.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

The classical equations of a general genus-4 curve can be read off algebraically from the infinitesimal invariants, refining Griffiths’ earlier recovery.
Non-vanishing of the invariants is established by direct algebraic means in genus 4, giving a new proof of the Green–Griffiths result in this case.
The self-intersection of the Griffiths-Pirola cycle likewise admits an explicit algebraic infinitesimal invariant.
The invariants become concrete, computable objects on the moduli space of genus-4 curves.

Where Pith is reading between the lines

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

The same algebraic approach may extend to higher-order infinitesimal invariants or to related cycles on the universal curve in genus 4.
Because a general genus-4 curve is a complete intersection of a quadric and a cubic, the recovered equations could be matched directly against the canonical model to produce new geometric relations.
Similar explicit descriptions, if they exist in higher genus, would require overcoming the increased complexity of the moduli space that the paper avoids by restricting to genus 4.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Abstract-only genus-4 paper that claims explicit algebraic formulas for Griffiths-Pirola infinitesimal invariants, a refinement of Griffiths, and a restricted re-proof of Green-Griffiths; coherent but unauditable from the abstract.

read the letter

This is an abstract-only pure-math note in algebraic cycles/Hodge theory on moduli of curves. The punchline is narrow but real if the body delivers: Verni claims an explicit algebraic description of the infinitesimal invariants of the Griffiths-Pirola cycle (and its self-intersection) on the universal genus-4 curve, uses that to refine Griffiths’ reconstruction of the equations of a general genus-4 curve, and gives a new proof, restricted to genus 4, of the Green-Griffiths nonvanishing result.

What looks new is the explicit algebraic form of those invariants and the refined reconstruction; the nonvanishing is a known statement with a new genus-4 argument. That is legitimate incremental work inside an established program, not a paradigm shift. The abstract is coherent and does not invent entities or free parameters. The weakest assumption is the standard one: that the usual constructions of the cycle, self-intersection, and infinitesimal invariants remain well-defined and meaningful when restricted to the universal genus-4 family. Nothing in the abstract contradicts that, and the stress-test correctly finds no further load-bearing gap we can isolate without the body.

Soft spots are almost entirely about missing text. We cannot check the formulas, the intermediate lemmas, or whether the refinement is more than a re-packaging. Soundness is therefore provisional. Citation pattern and circularity look ordinary for the subfield: compute algebraic expressions for previously defined invariants and recover known geometric consequences.

Who it is for: people already working on infinitesimal invariants, algebraic cycles on moduli of curves, or the Green-Griffiths program. A general algebraic geometer will not get much from the abstract alone. It deserves a serious referee if the full paper supplies the claimed explicit descriptions and a clean genus-4 argument; I would not desk-reject it on the abstract. I would not bring it to reading group until the body is available, and I would not cite it yet. If the formulas check out, it is a useful specialized note; if they do not, the claims collapse. Send it to referees who know the Griffiths-Pirola literature.

Referee Report

2 major / 1 minor

Summary. The paper claims to furnish an explicit algebraic description of the infinitesimal invariants attached to the Griffiths–Pirola cycle on the universal genus-4 curve and to the self-intersection of that cycle. These descriptions are then applied to refine a classical result of Griffiths that recovers the equations of a general genus-4 curve from the invariants, and to supply a new proof (restricted to genus 4) of the Green–Griffiths non-vanishing theorem for the relevant cycle class.

Significance. If the claimed algebraic formulae are correct and the applications hold, the work would make previously abstract infinitesimal invariants of algebraic cycles concrete and computable in the genus-4 case, thereby refining a foundational result of Griffiths and furnishing an independent verification of non-vanishing. Explicit, algebraic presentations of this kind are of genuine interest in Hodge theory and the geometry of moduli of curves, both for theoretical clarity and for potential computational use.

major comments (2)

[Abstract (full text unavailable)] Only the abstract is available for review; the body of the manuscript (definitions, constructions, intermediate lemmas, and proofs) is inaccessible. Consequently the central claims—an explicit algebraic description of the infinitesimal invariants of the Griffiths–Pirola cycle and of its self-intersection, the refinement of Griffiths’ recovery of the equations of a general genus-4 curve, and a new proof of Green–Griffiths non-vanishing in genus 4—cannot be audited for correctness of hypotheses, validity of intermediate steps, or completeness of the arguments. A load-bearing technical assessment is therefore impossible on the present materials.
[Abstract (reliance on prior constructions)] The abstract’s claims rest on the standard constructions of the Griffiths–Pirola cycle, its self-intersection, and the associated infinitesimal invariants remaining well-defined when restricted to the universal family of genus-4 curves. Without the body one cannot verify base-change compatibility, algebraicity of intermediate objects, or the precise sense in which the resulting expressions are ‘explicit’ and ‘algebraic’. This is the principal unverified assumption underlying every stated application.

minor comments (1)

[Abstract] The abstract is concise and clearly states the main results and their relation to prior work of Griffiths and of Green–Griffiths; no further presentation issues can be assessed without the full text.

Circularity Check

0 steps flagged

No significant circularity detectable from abstract-only content; derivation claims are presented as independent algebraic computations of previously defined invariants.

full rationale

Only the abstract is available, which states that the paper gives an explicit algebraic description of the infinitesimal invariants of the Griffiths-Pirola cycle (and its self-intersection) on the universal genus-4 curve, then applies that description to refine Griffiths' recovery of the equations of a general genus-4 curve and to give a new proof of the Green-Griffiths non-vanishing result in genus 4. No equations, definitions, or intermediate steps appear in the provided text, so no self-definitional reduction, fitted-parameter-as-prediction, load-bearing self-citation chain, uniqueness theorem imported from the same authors, ansatz smuggled via citation, or renaming of a known result can be exhibited by quotation. The abstract presents the algebraic description as a computation that recovers known geometric consequences rather than as a tautological re-labeling of its inputs. Reliance on standard prior constructions of the Griffiths-Pirola cycle and infinitesimal invariants is ordinary mathematical practice and does not, by itself, constitute circularity under the stated criteria. With no body text to inspect, the honest finding is that no circular step is visible; score 0 is therefore assigned and the steps list is left empty.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure-math paper. No free parameters or invented physical entities appear. The work rests on standard foundations of algebraic geometry and Hodge theory plus the prior existence and basic properties of the Griffiths-Pirola cycle and of infinitesimal invariants as developed in the literature the abstract cites by name.

axioms (3)

standard math Standard foundations of complex algebraic geometry, Hodge theory, and moduli of curves (existence of the universal genus-4 curve, intermediate Jacobians, etc.).
Background language of the entire abstract; not re-proved.
domain assumption Existence and basic properties of the Griffiths-Pirola cycle and of the associated infinitesimal invariants as previously defined.
The abstract takes these objects as given and supplies algebraic descriptions of their invariants; the constructions themselves are assumed from prior work.
domain assumption Griffiths' reconstruction result and the Green-Griffiths nonvanishing statement are correctly stated in the literature being refined/re-proved.
Applications are framed as refinements and new proofs of those named results.

pith-pipeline@v1.1.0-grok45 · 5941 in / 2100 out tokens · 24591 ms · 2026-07-15T03:17:32.384281+00:00 · methodology

0 comments

read the original abstract

We give an explicit algebraic description for the infinitesimal invariants associated to the Griffiths-Pirola cycle on the universal genus 4 curve and its self intersection. We apply this to refine a result of Griffiths which recovers from these invariants the equations for the general genus 4 curve, and give a new proof (only in genus 4) of a nonvanishing result of Green and Griffiths.

Infinitesimal invariants of genus 4 curves and the Griffiths-Pirola cycle

Core claim

What carries the argument

Load-bearing premise

What would settle it

If this is right

Where Pith is reading between the lines

discussion (0)