pith. sign in

arxiv: 1907.07031 · v1 · pith:PEXXDXC7new · submitted 2019-07-16 · 🧮 math.AG

Erratum to the paper: Integral cohomology of the Generalized Kummer fourfold

Simon Kapfer , Gr\'egoire Menet This is my paper

Pith reviewed 2026-05-24 20:47 UTC · model grok-4.3

classification 🧮 math.AG
keywords integral cohomologygeneralized Kummer fourfoldtorsion freehyperkähler fourfoldalgebraic geometry
0
0 comments X

The pith

The integral cohomology of the generalized Kummer fourfold is torsion free.

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

This erratum supplies a corrected proof of Theorem 5.2 from the original work, restricted to dimension 4. It establishes that the integral cohomology of the generalized Kummer fourfold carries no torsion. A reader would care because the absence of torsion lets the cohomology behave like that of a smooth projective variety, allowing direct comparison with Hodge structures and cup-product calculations without extra summands. The argument rests on the unchanged auxiliary results from the prior paper and replaces only the flawed step in the main theorem.

Core claim

The paper shows that the integral cohomology of the generalized Kummer fourfold is torsion free by giving a correct proof of the original Theorem 5.2 in dimension 4.

What carries the argument

The repaired argument for Theorem 5.2 that closes the gap while leaving all prior constructions intact.

If this is right

  • Cohomology calculations on the fourfold can proceed without tracking torsion subgroups.
  • The result confirms that the integral cohomology matches the expected rank and structure from the Kummer construction in this dimension.
  • Hodge-theoretic statements derived from the cohomology become unconditional on the integral level.

Where Pith is reading between the lines

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

  • The same repair technique might extend to other dimensions if the original gap can be isolated similarly.
  • Torsion-freeness would imply that the fourfold satisfies the integral Hodge conjecture in low degrees without additional checks.

Load-bearing premise

The constructions and auxiliary results from the original paper remain valid, and the new argument fixes the gap without introducing fresh errors.

What would settle it

Exhibiting a nonzero torsion class in the integral cohomology of any generalized Kummer fourfold would refute the claim.

read the original abstract

We provide a correct proof of arXiv:1607.03431, Theorem 5.2 in dimension 4. More precisely, we show that the integral cohomology of the generalized Kummer fourfold is torsion free.

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 / 0 minor

Summary. This erratum supplies a correct proof of Theorem 5.2 from arXiv:1607.03431 in dimension 4, establishing that the integral cohomology of the generalized Kummer fourfold is torsion-free.

Significance. The result confirms torsion-freeness of the integral cohomology for these hyperkähler fourfolds, a basic topological property that supports further work on their Hodge structures and deformation theory. The provision of an independent argument repairing the gap in the original theorem is a clear strength of the manuscript.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the erratum. The report recommends acceptance with no major comments requiring response.

Circularity Check

0 steps flagged

Minor self-citation to original paper for setup only; new proof supplied independently

full rationale

The erratum refers to arXiv:1607.03431 solely for constructions, definitions, and auxiliary results that remain valid, while supplying a new argument to repair the gap in Theorem 5.2. No load-bearing step reduces the torsion-freeness claim to a self-citation chain, a fitted input, or a definitional equivalence. The central result rests on the validity of the repaired proof, which is presented as independent of the original flawed argument.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the prior definition of generalized Kummer fourfolds and standard facts from algebraic geometry; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The setup, notation, and auxiliary results of arXiv:1607.03431 are taken as given
    The erratum explicitly corrects only Theorem 5.2 while relying on the rest of the original paper's framework.

pith-pipeline@v0.9.0 · 5550 in / 1058 out tokens · 24212 ms · 2026-05-24T20:47:25.838042+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.