Zero-cycles on Moduli Spaces of Twisted Sheaves and Applications to Double EPW Quartics

Carl Mazzanti

arxiv: 2605.18245 · v1 · pith:2WEDU6ZNnew · submitted 2026-05-18 · 🧮 math.AG

Zero-cycles on Moduli Spaces of Twisted Sheaves and Applications to Double EPW Quartics

Carl Mazzanti This is my paper

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

classification 🧮 math.AG

keywords zero-cyclesmoduli spacestwisted sheavesdouble EPW quarticsVerra fourfoldsBeauville-Voisin classtwisted K3 surfaces

0 comments

The pith

Effective zero-cycles on double EPW quartics agree with those on associated Verra fourfolds precisely when viewed as moduli spaces of twisted sheaves, and the twisted Beauville-Voisin class equals the standard one.

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

The paper extends known results on zero-cycles from moduli spaces of stable objects on ordinary K3 surfaces to the twisted case, following the approach of Vial and Martin-Vial. It then applies this extension to double EPW quartics by treating them as moduli spaces of twisted sheaves on twisted K3 surfaces. This identification yields two concrete statements: effective zero-cycles on the quartic match those on the Verra fourfold if and only if the cycles agree on the fourfold itself, and the twisted Beauville-Voisin class introduced by Chen-Li-Zhang-Zhang coincides with the ordinary Beauville-Voisin class. A reader cares because these agreements reduce questions about cycles on one class of hyperkähler fourfolds to questions on another, potentially simplifying computations in the Chow ring.

Core claim

By realising double EPW quartics as moduli spaces of twisted sheaves on twisted K3 surfaces, the paper shows that effective zero-cycles on the quartic agree with those on the associated Verra fourfold if and only if they agree on the fourfold, and that the twisted Beauville-Voisin class equals the ordinary Beauville-Voisin class in this setting.

What carries the argument

The realisation of double EPW quartics as moduli spaces of twisted sheaves on twisted K3 surfaces, which transfers extended zero-cycle results and establishes the stated equivalences.

If this is right

Effective zero-cycles on double EPW quartics reduce to the corresponding cycles on Verra fourfolds.
The twisted Beauville-Voisin class on these moduli spaces equals the standard Beauville-Voisin class.
Results on zero-cycles for moduli spaces on twisted K3 surfaces now apply directly to double EPW quartics.

Where Pith is reading between the lines

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

Similar cycle agreements may hold for other hyperkähler varieties that arise as moduli spaces of twisted sheaves.
The identification could be used to compute explicit generators of the Chow ring of double EPW quartics via Verra fourfolds.
The same transfer technique might relate zero-cycles on further families of moduli spaces of twisted objects.

Load-bearing premise

Double EPW quartics can be realised as moduli spaces of twisted sheaves on twisted K3 surfaces.

What would settle it

An explicit double EPW quartic together with a pair of effective zero-cycles that agree on the quartic but disagree on the Verra fourfold, or a computation showing the twisted and ordinary Beauville-Voisin classes differ on such a space.

read the original abstract

Chen, Li, Zhang, and Zhang extended the results of Shen, Yin, and Zhao on zero-cycles on moduli spaces of stable objects on $K3$ surfaces to the twisted setting. In this work, we complement this by extending results by Vial and Martin--Vial to moduli spaces on twisted $K3$ surfaces. Exploiting the fact that double EPW quartics can be realised as moduli spaces of twisted sheaves, we show that effective zero-cycles agree if and only if they agree in the associated Verra fourfold and show that the twisted Beauville--Voisin class of Chen, Li, Zhang, and Zhang agrees with the Beauville--Voisin class in that case.

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

Extends zero-cycle results to twisted K3 moduli spaces and applies them to double EPW quartics via known realizations, giving explicit equivalences for cycles and classes.

read the letter

The main takeaway is that this paper takes existing zero-cycle results on moduli spaces of stable objects on K3 surfaces, extends the Vial and Martin-Vial versions to the twisted setting, and then uses the known realization of double EPW quartics as moduli spaces of twisted sheaves to equate effective zero-cycles with those on the associated Verra fourfold. It also checks that the twisted Beauville-Voisin class from Chen-Li-Zhang-Zhang agrees with the ordinary one under this identification. The work is a direct complement to the Chen et al. extension into the twisted case rather than a reinvention of the wheel. The geometric transfer via the moduli interpretation is the part that feels new and useful here, and it produces concrete statements about these specific fourfolds that were not already in the literature. The argument structure looks standard and clean once the realization is granted. The main limitation is that everything rests on a chain of prior results for both the background theorems and the key identification of double EPW quartics. There is no indication of new technical machinery or independent checks, so the advance stays within the subfield and does not open broader questions. If the cited realizations and earlier zero-cycle theorems hold without gaps, the new claims should follow without much extra work. This is the sort of paper that matters to people already working on algebraic cycles on moduli spaces of sheaves or on special hyperkähler fourfolds like EPW and Verra varieties. A reader who follows the Shen-Yin-Zhao and Vial lines would see the value in the twisted extension and the explicit equivalences. It is worth sending to a referee who knows the area, since the claims are precise enough that a careful review can check the transfer steps without needing to rebuild the whole foundation.

Referee Report

0 major / 3 minor

Summary. The paper extends results of Vial and Martin-Vial on zero-cycles on moduli spaces of stable objects on K3 surfaces to the twisted setting. Building on Chen-Li-Zhang-Zhang, it exploits the realization of double EPW quartics as moduli spaces of twisted sheaves on twisted K3 surfaces to prove that effective zero-cycles agree on the moduli space if and only if they agree on the associated Verra fourfold, and that the twisted Beauville-Voisin class coincides with the ordinary Beauville-Voisin class in this case.

Significance. If the central identifications hold, the work supplies a useful transfer principle between twisted and untwisted zero-cycle theories and gives concrete geometric applications to double EPW quartics and Verra fourfolds. It complements the cited prior results without introducing new free parameters or ad-hoc constructions, and the moduli-space realization provides a falsifiable geometric test for the claimed equivalences.

minor comments (3)

§2.3: the definition of the twisted Beauville-Voisin class is introduced by reference to Chen-Li-Zhang-Zhang; a short self-contained formula or diagram would improve readability for readers who have not memorized the earlier paper.
Theorem 5.2: the statement that effective zero-cycles agree 'if and only if' they agree on the Verra fourfold is clear, but the proof sketch does not explicitly record the direction that uses the moduli interpretation; adding a one-sentence pointer to the relevant lemma would help.
Figure 1: the labeling of the Verra fourfold and the double EPW quartic is slightly inconsistent with the notation in §4; harmonizing the subscripts would avoid minor confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as the recommendation for minor revision. The report correctly identifies the extension of Vial and Martin-Vial's results to the twisted setting and the applications to double EPW quartics via the moduli-space realization.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external geometric identification

full rationale

The paper extends zero-cycle results from Shen-Yin-Zhao and Vial-Martin-Vial to the twisted setting (citing Chen-Li-Zhang-Zhang for the twisted extension) and then applies them to double EPW quartics by invoking the known realization of these quartics as moduli spaces of twisted sheaves on twisted K3 surfaces. This realization is treated as an external fact rather than derived internally, and the central claims (agreement of effective zero-cycles with the Verra fourfold and identification of the twisted Beauville-Voisin class) follow by transfer without reducing to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The structure is a standard application of prior moduli interpretations, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides minimal detail on foundations; relies on standard results from algebraic geometry on K3 surfaces, moduli spaces, and zero-cycles without introducing new fitted parameters or entities.

axioms (1)

standard math Standard theorems on zero-cycles for moduli spaces of stable objects on K3 surfaces from cited works
Invoked as the base for extension to twisted case

pith-pipeline@v0.9.0 · 5646 in / 1325 out tokens · 54701 ms · 2026-05-20T00:20:17.798446+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 ... Voisin’s, the Shen–Yin–Zhao, and Vial’s co-radical filtrations agree, SV_i CH0(Mσ(X,v)) = S_SYZ_i CH0(Mσ(X,v)) = R_i CH0(Mσ(X,v)).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

Arbarello and G

[AS18] E. Arbarello and G. Sacc` a. ‘Singularities of moduli spaces of sheaves on K3 sur- faces and Nakajima quiver varieties’. In:Adv. Math.329 (2018), pp. 649–703. doi:10.1016/j.aim.2018.02.003. [BFMS22] Ignacio Barros, Laure Flapan, Alina Marian and Rob Silversmith. ‘On product identities and the Chow rings of holomorphic symplectic varieties’. In:Sele...

work page doi:10.1016/j.aim.2018.02.003 2018
[2]

‘Verra four-folds, twisted sheaves, and the last involution’

[CKKM19] Chiara Camere, Grzegorz Kapustka, Micha l Kapustka and Giovanni Mongardi. ‘Verra four-folds, twisted sheaves, and the last involution’. In:Int. Math. Res. Not. IMRN21 (2019), pp. 6661–6710.doi:10.1093/imrn/rnx327. [CLZZ25] Zaiyuan Chen, Zhiyuan Li, Ruxuan Zhang and Xun Zhang.Filtrations on the derived category of twisted K3 surfaces

work page doi:10.1093/imrn/rnx327 2019
[3]

[CMP24] Fran¸ cois Charles, Giovanni Mongardi and Gianluca Pacienza

arXiv:2402.13793 [math.AG]. [CMP24] Fran¸ cois Charles, Giovanni Mongardi and Gianluca Pacienza. ‘Families of rational curves on holomorphic symplectic varieties and applications to 0-cycles’. In:Com- pos. Math.160.2 (2024), pp. 288–316.doi:10.1112/s0010437x20007526. [FLV19] Lie Fu, Robert Laterveer and Charles Vial. ‘The generalized Franchetta conjec- tu...

work page doi:10.1112/s0010437x20007526 2024
[4]

Progr. Math. Birkh¨ auser Boston, Boston, MA, 2010, pp. 219–243.isbn: 978-0-8176-4933-3.doi:10.1007/ 978-0-8176-4934-0\_9. 20 REFERENCES [Lat20] Robert Laterveer. ‘Algebraic cycles and Verra fourfolds’. In:Tohoku Math. J. (2) 72.3 (2020), pp. 451–485.doi:10.2748/tmj/1601085625. [Lie07] Max Lieblich. ‘Moduli of twisted sheaves’. In:Duke Math. J.138.1 (2007...

work page doi:10.2748/tmj/1601085625 2010
[5]

02251 [math.AG]

arXiv:2603. 02251 [math.AG]. [MV25] Olivier Martin and Charles Vial. ‘Effective zero-cycles and the Bloch-Beilinson filtration’. In:Math. Res. Lett.32.4 (2025), pp. 1165–1196.doi:10.4310/mrl. 251124155425. [MZ20] Alina Marian and Xiaolei Zhao. ‘On the group of zero-cycles of holomorphic symplectic varieties’. In: ´Epijournal G´ eom. Alg´ ebrique4 (2020), ...

work page doi:10.4310/mrl 2025
[6]

Progr. Math. Birkh¨ auser/Springer, [Cham], 2016, pp. 365–399.isbn: 978-3-319-29958-7; 978-3- 319-29959-4.doi:10.1007/978-3-319-29959-4\_14. [Voi22] Claire Voisin. ‘On the Lefschetz standard conjecture for Lagrangian covered hyper-K¨ ahler varieties’. In:Adv. Math.396 (2022), Paper No. 108108, 29.doi: 10.1016/j.aim.2021.108108. [Yos06] K¯ ota Yoshioka. ‘M...

work page doi:10.1007/978-3-319-29959-4 2016
[7]

Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2006, pp. 1–30.isbn: 978-4-931469-38-9.doi:10.2969/aspm/ 04510001

work page doi:10.2969/aspm/ 2006

[1] [1]

Arbarello and G

[AS18] E. Arbarello and G. Sacc` a. ‘Singularities of moduli spaces of sheaves on K3 sur- faces and Nakajima quiver varieties’. In:Adv. Math.329 (2018), pp. 649–703. doi:10.1016/j.aim.2018.02.003. [BFMS22] Ignacio Barros, Laure Flapan, Alina Marian and Rob Silversmith. ‘On product identities and the Chow rings of holomorphic symplectic varieties’. In:Sele...

work page doi:10.1016/j.aim.2018.02.003 2018

[2] [2]

‘Verra four-folds, twisted sheaves, and the last involution’

[CKKM19] Chiara Camere, Grzegorz Kapustka, Micha l Kapustka and Giovanni Mongardi. ‘Verra four-folds, twisted sheaves, and the last involution’. In:Int. Math. Res. Not. IMRN21 (2019), pp. 6661–6710.doi:10.1093/imrn/rnx327. [CLZZ25] Zaiyuan Chen, Zhiyuan Li, Ruxuan Zhang and Xun Zhang.Filtrations on the derived category of twisted K3 surfaces

work page doi:10.1093/imrn/rnx327 2019

[3] [3]

[CMP24] Fran¸ cois Charles, Giovanni Mongardi and Gianluca Pacienza

arXiv:2402.13793 [math.AG]. [CMP24] Fran¸ cois Charles, Giovanni Mongardi and Gianluca Pacienza. ‘Families of rational curves on holomorphic symplectic varieties and applications to 0-cycles’. In:Com- pos. Math.160.2 (2024), pp. 288–316.doi:10.1112/s0010437x20007526. [FLV19] Lie Fu, Robert Laterveer and Charles Vial. ‘The generalized Franchetta conjec- tu...

work page doi:10.1112/s0010437x20007526 2024

[4] [4]

Progr. Math. Birkh¨ auser Boston, Boston, MA, 2010, pp. 219–243.isbn: 978-0-8176-4933-3.doi:10.1007/ 978-0-8176-4934-0\_9. 20 REFERENCES [Lat20] Robert Laterveer. ‘Algebraic cycles and Verra fourfolds’. In:Tohoku Math. J. (2) 72.3 (2020), pp. 451–485.doi:10.2748/tmj/1601085625. [Lie07] Max Lieblich. ‘Moduli of twisted sheaves’. In:Duke Math. J.138.1 (2007...

work page doi:10.2748/tmj/1601085625 2010

[5] [5]

02251 [math.AG]

arXiv:2603. 02251 [math.AG]. [MV25] Olivier Martin and Charles Vial. ‘Effective zero-cycles and the Bloch-Beilinson filtration’. In:Math. Res. Lett.32.4 (2025), pp. 1165–1196.doi:10.4310/mrl. 251124155425. [MZ20] Alina Marian and Xiaolei Zhao. ‘On the group of zero-cycles of holomorphic symplectic varieties’. In: ´Epijournal G´ eom. Alg´ ebrique4 (2020), ...

work page doi:10.4310/mrl 2025

[6] [6]

Progr. Math. Birkh¨ auser/Springer, [Cham], 2016, pp. 365–399.isbn: 978-3-319-29958-7; 978-3- 319-29959-4.doi:10.1007/978-3-319-29959-4\_14. [Voi22] Claire Voisin. ‘On the Lefschetz standard conjecture for Lagrangian covered hyper-K¨ ahler varieties’. In:Adv. Math.396 (2022), Paper No. 108108, 29.doi: 10.1016/j.aim.2021.108108. [Yos06] K¯ ota Yoshioka. ‘M...

work page doi:10.1007/978-3-319-29959-4 2016

[7] [7]

Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2006, pp. 1–30.isbn: 978-4-931469-38-9.doi:10.2969/aspm/ 04510001

work page doi:10.2969/aspm/ 2006