A Pardon Algebra for Zero-cycles

Kai Behrend

arxiv: 2604.05534 · v1 · submitted 2026-04-07 · 🧮 math.AG

A Pardon Algebra for Zero-cycles

Kai Behrend This is my paper

Pith reviewed 2026-05-10 19:09 UTC · model grok-4.3

classification 🧮 math.AG

keywords zero-cycleshomology algebraenumerative geometryHilbert schemespoint countingalgebraic geometryd-foldscycle homology

0 comments

The pith

A homology algebra for zero-cycles on d-folds is constructed by direct analogy with the structure for one-cycles on threefolds.

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

This paper works out an algebraic construction for zero-cycles that mirrors an existing one for one-cycles in threefolds. The goal is to create a new way to organize and study enumerative data coming from counting points on varieties of any dimension. A reader would care if this algebra can simplify or unify the treatment of problems like those arising on the Hilbert scheme of points in threefolds. The approach treats the zero-cycle case as a natural extension that might reveal hidden structures in point-counting geometry.

Core claim

The author defines an algebra on the homology of zero-cycles in d-dimensional varieties. This is achieved by adapting the features of the one-cycle homology algebra to the zero-dimensional setting. The result is an object that serves as a tool for addressing enumerative problems involving the counting of points.

What carries the argument

The zero-cycle homology algebra, an algebraic structure on the homology groups associated to zero-cycles that encodes their enumerative properties through operations analogous to those in the one-cycle case.

If this is right

The construction yields a new perspective on enumerative geometry problems that involve counting points.
It applies to the zero-cycles on varieties in any dimension d.
The degree zero conjecture on the Hilbert scheme of points in projective threefolds can be reconsidered using this algebraic framework.
Similar methods may become available for other point-related invariants in algebraic geometry.

Where Pith is reading between the lines

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

This could open the door to proving similar statements for zero-cycles that were established for one-cycles.
Connections might appear between this algebra and other standard constructions in the theory of algebraic cycles.
Explicit examples in low dimensions, such as on surfaces, could provide concrete tests of the construction's effectiveness.

Load-bearing premise

The key algebraic operations and relations from the one-cycle homology algebra extend to the zero-cycle case in arbitrary dimensions without major modifications or obstructions.

What would settle it

A calculation in a low-dimensional example, such as on a projective plane, that shows the algebra does not produce the correct known values for point counts or fails to satisfy expected identities would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.05534 by Kai Behrend.

read the original abstract

Recently, John Pardon proved the MNOP conjecture (on the GW-DT correspondence for CY3s) by introducing a new mathematical gadget, which we call the Pardon homology algebra of 1-cycles in 3-folds. We work out an analogous construction for 0-cycles in d-folds. This gives a new point of view on enumerative problems involving point-counting, such as, for example, the degree zero MNOP conjecture on the Hilbert scheme of points in projective 3-folds.

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

Behrend sets up the zero-cycle version of Pardon's homology algebra on d-folds, giving a formal structure for point-counting problems but without demonstrated new relations yet.

read the letter

The paper works out the direct analogue of Pardon's 1-cycle construction for zero-cycles. It defines the corresponding homology algebra and notes that this organizes enumerative data for points, with the degree-zero MNOP conjecture on Hilb(P^3) as the running example. That transfer is the actual new piece; Pardon's gadget was for curves in threefolds, and this version is not contained in the earlier work. The construction itself appears to follow the same formal steps, so the algebra is well-defined once the 1-cycle case is granted. This is useful as a bookkeeping device for anyone already thinking about virtual classes or generating functions on Hilbert schemes of points. The main limitation is that the text does not yet extract concrete new relations or invariants from the algebra. It stops at setting up the object and gesturing at the conjectures it might address. Without an explicit computation or a sample relation that was previously inaccessible, it is hard to tell how much extra leverage the gadget actually supplies beyond rephrasing known questions. The assumption that the structural features carry over without obstruction looks reasonable in the abstract, but low-dimensional cases or orientation issues could still surface once the details are checked. Readers already following the MNOP literature or working on point-counting moduli problems will find the note worth reading for the clean transfer. It is not a breakthrough on its own, but it is a natural next step that deserves referee time so the community can verify the construction and see whether it produces anything beyond the formal analogy.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to construct an analogous 'Pardon homology algebra' for 0-cycles on d-folds, extending John Pardon's gadget for 1-cycles in 3-folds that proved the MNOP conjecture. This is asserted to yield a new viewpoint on enumerative problems involving point-counting, including the degree-zero MNOP conjecture on the Hilbert scheme of points in projective 3-folds.

Significance. If the claimed construction can be carried out and the analogy to Pardon's 1-cycle case holds without essential obstruction, the resulting algebra could provide a new algebraic organizing principle for zero-cycle enumerative invariants, potentially offering a formal framework for conjectures such as degree-zero MNOP on Hilb(P^3). However, the manuscript supplies no equations, definitions, or verification that the structural features transfer.

major comments (2)

[Abstract] Abstract: the central claim that 'we work out an analogous construction' is unsupported by any definitions, equations, or proof sketches in the manuscript, rendering it impossible to verify whether the 1-cycle structural features transfer to the 0-cycle setting or whether the resulting object organizes the cited enumerative data.
[Abstract] Abstract: no indication is given of the precise category of d-folds (e.g., smooth projective, Calabi-Yau, or with additional structure) on which the algebra is defined, nor of the coefficient ring or grading, both of which are load-bearing for any claim of utility toward MNOP-type conjectures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We respond to each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that 'we work out an analogous construction' is unsupported by any definitions, equations, or proof sketches in the manuscript, rendering it impossible to verify whether the 1-cycle structural features transfer to the 0-cycle setting or whether the resulting object organizes the cited enumerative data.

Authors: We agree that the submitted manuscript is brief and does not contain the explicit definitions, equations, or proof sketches required to verify the construction in detail. The revised version will supply a complete account of the analogous Pardon homology algebra for zero-cycles. This will include the precise definitions of the algebra, the manner in which the structural features of Pardon's 1-cycle construction transfer to the 0-cycle setting, and an explanation of how the resulting object organizes the relevant enumerative data, such as the degree-zero MNOP conjecture. revision: yes
Referee: [Abstract] Abstract: no indication is given of the precise category of d-folds (e.g., smooth projective, Calabi-Yau, or with additional structure) on which the algebra is defined, nor of the coefficient ring or grading, both of which are load-bearing for any claim of utility toward MNOP-type conjectures.

Authors: The referee correctly notes that these specifications are absent from the current text. In the revision we will state that the algebra is defined for smooth projective d-folds over the complex numbers, with rational coefficients, and graded by codimension of the zero-cycles. We will also clarify any further structures (for instance, whether a Calabi-Yau condition is imposed) that are needed to support applications to MNOP-type statements on the Hilbert scheme of points. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central move is to construct an analogous Pardon homology algebra for 0-cycles on d-folds by direct extension of the structural features already established by John Pardon for 1-cycles on 3-folds. Pardon is a distinct author whose prior result is treated as an external input; the present work does not re-derive, fit, or rename that result from its own output. No equation or definition in the claimed derivation chain reduces to a self-referential loop, a fitted parameter renamed as prediction, or a load-bearing self-citation. The construction is therefore self-contained against the external benchmark of Pardon's theorem and supplies an independent organizing viewpoint for the cited enumerative problems.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no specific free parameters, axioms, or invented entities can be extracted from the provided text.

pith-pipeline@v0.9.0 · 5365 in / 1086 out tokens · 114684 ms · 2026-05-10T19:09:55.284301+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

K. Behrend. Cohomology of stacks. InIntersection Theory and Moduli, volume 19 ofICTP Lecture Notes Series, pages 249–294. ICTP, Trieste, 2004

work page 2004
[2]

A primer of Hopf algebras

P Cartier. A primer of Hopf algebras. InFrontiers in number theory, physics, and geometry. II, pages 537–615. Springer, Berlin, 2007

work page 2007
[3]

Ellingsrud, L

G. Ellingsrud, L. G¨ ottsche, and M. Lehn. On the cobordism class of the hilbert scheme of a surface.Journal of Algebraic Geometry, 10(1):81–100, 2001. 47

work page 2001
[4]

Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete (3)

W. Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlin, 1984

work page 1984
[5]

Hopf algebras in combinatorics

D. Grinberg and Reiner V. Hopf algebras in combinatorics. 2020. arXiv:1409.8356v7

work page arXiv 2020
[6]

A. A. Khan. Virtual fundamental classes of derived stacks I, 2019. arXiv:1909.01332

work page arXiv 2019
[7]

Levine and R

M. Levine and R. Pandharipande. Algebraic cobordism revisited.Invent. Math., 176(1):63–130, 2009

work page 2009
[8]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande. Gromov- Witten theory and Donaldson-Thomas theory. II.Compos. Math., 142(5):1286–1304, 2006

work page 2006
[9]

J. Pardon. Universally counting curves in Calabi–Yau threefolds, 2025. arXiv:2308.02948

work page arXiv 2025
[10]

The stacks project.https://stacks.math

The Stacks project authors. The stacks project.https://stacks.math. columbia.edu, 2026. 48

work page 2026

[1] [1]

K. Behrend. Cohomology of stacks. InIntersection Theory and Moduli, volume 19 ofICTP Lecture Notes Series, pages 249–294. ICTP, Trieste, 2004

work page 2004

[2] [2]

A primer of Hopf algebras

P Cartier. A primer of Hopf algebras. InFrontiers in number theory, physics, and geometry. II, pages 537–615. Springer, Berlin, 2007

work page 2007

[3] [3]

Ellingsrud, L

G. Ellingsrud, L. G¨ ottsche, and M. Lehn. On the cobordism class of the hilbert scheme of a surface.Journal of Algebraic Geometry, 10(1):81–100, 2001. 47

work page 2001

[4] [4]

Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete (3)

W. Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlin, 1984

work page 1984

[5] [5]

Hopf algebras in combinatorics

D. Grinberg and Reiner V. Hopf algebras in combinatorics. 2020. arXiv:1409.8356v7

work page arXiv 2020

[6] [6]

A. A. Khan. Virtual fundamental classes of derived stacks I, 2019. arXiv:1909.01332

work page arXiv 2019

[7] [7]

Levine and R

M. Levine and R. Pandharipande. Algebraic cobordism revisited.Invent. Math., 176(1):63–130, 2009

work page 2009

[8] [8]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande. Gromov- Witten theory and Donaldson-Thomas theory. II.Compos. Math., 142(5):1286–1304, 2006

work page 2006

[9] [9]

J. Pardon. Universally counting curves in Calabi–Yau threefolds, 2025. arXiv:2308.02948

work page arXiv 2025

[10] [10]

The stacks project.https://stacks.math

The Stacks project authors. The stacks project.https://stacks.math. columbia.edu, 2026. 48

work page 2026