Categorical Torelli theorems for higher Picard rank Fano double covers

Augustinas Jacovskis; Reinder Meinsma

arxiv: 2604.12453 · v2 · pith:MB3OC7QInew · submitted 2026-04-14 · 🧮 math.AG

Categorical Torelli theorems for higher Picard rank Fano double covers

Augustinas Jacovskis , Reinder Meinsma This is my paper

Pith reviewed 2026-05-19 17:55 UTC · model grok-4.3

classification 🧮 math.AG

keywords categorical Torelli theoremsFano double coversKuznetsov componentsK3 surfacesVerra fourfoldsderived equivalencesPicard rankBrauer classes

0 comments

The pith

An equivalence of Kuznetsov components implies an isomorphism for four families of Fano double covers with Picard rank greater than 1.

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

The paper establishes categorical Torelli theorems showing that the Kuznetsov component of the derived category determines the isomorphism class for specific Fano double covers that have Picard rank exceeding one. Three of the families are threefolds realized as double covers of Fano threefolds branched along anticanonical K3 surfaces; the fourth consists of Verra fourfolds. For the threefolds the argument reduces an equivalence of Kuznetsov components to a derived equivalence of the K3 branch divisors and then verifies that the resulting divisor isomorphism lifts to an isomorphism of the original varieties. For Verra fourfolds the same conclusion follows from the fact that the equivalence induces an isomorphism of branch divisors once the 2-torsion Brauer class data on the K3 surfaces is taken into account.

Core claim

We prove that an equivalence between the Kuznetsov components of two Fano double covers belonging to the same deformation family implies that the varieties themselves are isomorphic. For the three families of threefolds this is obtained by reducing the equivalence to a derived equivalence of the anticanonical K3 branch divisors and checking that the induced isomorphism of divisors lifts to the ambient Fano threefolds. For Verra fourfolds an equivalence of Kuznetsov components is shown to induce an isomorphism of the branch divisors by means of the theory of 2-torsion Brauer classes on K3 surfaces.

What carries the argument

The Kuznetsov component of the derived category of the Fano double cover, whose equivalence reduces to a derived equivalence of the anticanonical K3 branch divisor (or, for Verra fourfolds, to an isomorphism detected by 2-torsion Brauer classes).

If this is right

The Kuznetsov component classifies the isomorphism type within each of the four families.
Categorical Torelli holds for these higher Picard-rank examples, extending earlier results limited to Picard rank one.
An isomorphism of branch K3 surfaces that respects the 2-torsion Brauer class produces an isomorphism of the corresponding Verra fourfolds.
Derived equivalences of the K3 surfaces arising as anticanonical divisors can be lifted to equivalences of the ambient Fano threefolds in these families.

Where Pith is reading between the lines

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

The same reduction technique might apply to other Fano double covers whose branch divisors are K3 surfaces of higher degree.
The result suggests that moduli spaces of these Fano varieties can be reconstructed from moduli spaces of their Kuznetsov components.
If the Brauer-class argument generalizes, categorical Torelli could hold for additional families of fourfolds whose branch loci carry nontrivial Brauer classes.

Load-bearing premise

The reduction from an equivalence of Kuznetsov components to a derived equivalence of the K3 branch divisors holds inside each deformation family, and any isomorphism of those divisors lifts to an isomorphism of the original Fano varieties (or, for Verra fourfolds, that the Brauer-class data recovers the isomorphism).

What would settle it

Two non-isomorphic members of one of the four families whose Kuznetsov components are derived equivalent.

read the original abstract

We prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. The other three families manifest as double covers of Fano threefolds, branched in anticanonical K3 surfaces. For the three families of threefolds, our proof is based on reducing equivalences between the Kuznetsov components of Fano threefolds in the same deformation family to derived equivalences of their respective K3 branch divisors, and deducing that the resulting isomorphism of branch divisors gives rise to an isomorphism of the Fano threefolds for each family. For Verra fourfolds, we show that an equivalence of their Kuznetsov components induces an isomorphism of the branch divisors using the theory of 2-torsion Brauer classes on K3 surfaces.

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 categorical Torelli to four higher Picard rank Fano families via K3 reductions and Brauer classes, but restricts to same deformation family and leaves cross-family equivalences unaddressed.

read the letter

Dear Colleague, The one or two things to know about this paper are that it claims categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1, with Verra fourfolds as the standout case, and that the proofs rely on reducing to K3 equivalences or Brauer classes but only within the same deformation family. What is new is the extension to these higher rank examples. The three families of threefolds are double covers branched over anticanonical K3s, and the authors reduce equivalences of their Kuznetsov components, when the threefolds are in the same deformation family, to derived equivalences of the K3s. From there they deduce that the branch divisor isomorphism gives an isomorphism of the Fano threefolds. For the Verra fourfolds they use 2-torsion Brauer classes on the K3 surfaces to induce the isomorphism of the branch divisors from the Kuznetsov equivalence. This applies existing tools in a new setting and gives explicit results for cases that had been out of reach. The paper does well in laying out a clear strategy based on known results for K3 surfaces and their derived categories. It seems to avoid circularity by reducing to independent facts about those surfaces. The main soft spot is the within-family restriction. Categorical Torelli requires that an equivalence of the relevant categories determines the variety up to isomorphism, period. By only treating equivalences inside one deformation family, the argument leaves open the possibility that non-isomorphic Fanos from different families could have equivalent Kuznetsov components. The abstract does not mention any argument that such cross-family equivalences are impossible or that the families are distinguished by the Kuznetsov data. If the full paper has a section showing that the deformation type is recovered from the category, that would strengthen it, but based on the description it looks like a gap. The math appears solid in its use of standard techniques, with no obvious fitting or invented steps. This paper is aimed at algebraic geometers working on derived categories, Kuznetsov components, and Torelli theorems for Fano varieties. Someone following the literature on categorical methods for these objects would get value from the new cases covered. It deserves a serious referee because it adds verifiable new theorems in a specialized but active area. I recommend putting it through peer review to verify the details of the reductions and to see if the family issue is addressed or can be fixed with minor additions.

Referee Report

1 major / 1 minor

Summary. The paper proves categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1, including the family of Verra fourfolds. For the three families of Fano threefolds (double covers branched over anticanonical K3 surfaces), equivalences of Kuznetsov components within the same deformation family are reduced to derived equivalences of the K3 branch divisors, from which isomorphisms of the Fano threefolds are deduced. For Verra fourfolds, equivalences of Kuznetsov components are shown to induce isomorphisms of the branch divisors via the theory of 2-torsion Brauer classes on K3 surfaces.

Significance. If the reductions and Brauer-class arguments hold, the results would meaningfully extend categorical Torelli theorems to higher Picard rank Fano varieties, providing concrete new families (including Verra fourfolds) where Kuznetsov-component equivalences recover the underlying geometry. The explicit reduction to K3 equivalences and the use of Brauer classes are technically substantive and could serve as templates for related problems.

major comments (1)

[Abstract, §1] Abstract and introduction: the reduction for the three families of threefolds is explicitly limited to Fano threefolds 'in the same deformation family.' A categorical Torelli statement requires that any equivalence of Kuznetsov components implies an isomorphism of the underlying varieties, including the possibility of equivalences between non-isomorphic objects from distinct families. The manuscript must either prove that cross-family Kuznetsov equivalences cannot occur or supply an invariant that distinguishes the families and is preserved by such equivalences; without this, the chain of implications does not cover all cases needed for the theorem.

minor comments (1)

[§2] Notation for the Kuznetsov components and the precise embedding of the K3 branch divisors into the ambient Fano varieties should be fixed in a single preliminary section for easy reference.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for this careful observation on the precise scope of the categorical Torelli statements. We address the point directly below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract, §1] Abstract and introduction: the reduction for the three families of threefolds is explicitly limited to Fano threefolds 'in the same deformation family.' A categorical Torelli statement requires that any equivalence of Kuznetsov components implies an isomorphism of the underlying varieties, including the possibility of equivalences between non-isomorphic objects from distinct families. The manuscript must either prove that cross-family Kuznetsov equivalences cannot occur or supply an invariant that distinguishes the families and is preserved by such equivalences; without this, the chain of implications does not cover all cases needed for the theorem.

Authors: We agree that a complete categorical Torelli theorem must rule out equivalences across distinct deformation families. In the revised version we will add a short paragraph (in the introduction and after the statements of the main theorems) supplying a distinguishing invariant. The three families of Fano threefolds are separated by the degree of their anticanonical K3 branch divisors; this degree is recovered from the rank of the Grothendieck group of the Kuznetsov component (or equivalently from the Hodge numbers of the semiorthogonal complement), both of which are preserved by any equivalence. Consequently, an equivalence of Kuznetsov components between members of different families is impossible. The Verra fourfolds are already distinguished from the threefold families by dimension and by the 2-torsion Brauer class on the branch K3 surface, which is likewise an equivalence invariant. We therefore obtain a global statement without additional cross-family analysis. revision: yes

Circularity Check

0 steps flagged

No circularity: reductions to independent K3 and Brauer results

full rationale

The derivation reduces Kuznetsov equivalences of the Fano threefolds (within each deformation family) to derived equivalences of the anticanonical K3 branch divisors, then invokes that an isomorphism of the K3s lifts to an isomorphism of the ambient Fanos; for Verra fourfolds the reduction uses 2-torsion Brauer classes on K3 surfaces. These steps rest on established facts about derived categories of K3 surfaces and Brauer classes, which are external to the present paper and not obtained by fitting parameters or self-citation chains within this work. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing uniqueness theorems imported from the authors' prior papers appear in the proof outline. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard facts from derived algebraic geometry (existence and properties of Kuznetsov components, derived equivalences of K3 surfaces implying geometric isomorphisms in certain cases) and the theory of Brauer classes on K3 surfaces. No free parameters or invented entities are mentioned. The proof strategy assumes these background results hold without additional ad-hoc assumptions visible in the abstract.

axioms (3)

domain assumption Equivalences of Kuznetsov components of Fano threefolds in a deformation family reduce to derived equivalences of their anticanonical K3 branch divisors.
Invoked in the abstract for the three families of threefolds.
domain assumption An isomorphism of the K3 branch divisors lifts to an isomorphism of the Fano threefolds.
Used to conclude the Torelli statement from the K3 equivalence.
domain assumption Equivalence of Kuznetsov components of Verra fourfolds induces an isomorphism of branch divisors via 2-torsion Brauer classes on K3 surfaces.
Stated in the abstract for the Verra fourfold case.

pith-pipeline@v0.9.0 · 5674 in / 1839 out tokens · 57099 ms · 2026-05-19T17:55:20.063540+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Cyclic covers: Hodge theory and categorical Torelli theorems.Int

[DJR25] Hannah Dell, Augustinas Jacovskis, and Franco Rota. Cyclic covers: Hodge theory and categorical Torelli theorems.Int. Math. Res. Not., 2025(10):20,

work page 2025
[2]

Lian, Keiji Oguiso, and Shing-Tung Yau

[HLOY04] Shinobu Hosono, Bong H. Lian, Keiji Oguiso, and Shing-Tung Yau. Fourier-Mukai number of a K3 surface. InAlgebraic structures and moduli spaces. Proceedings of the CRM workshop, Montréal, Canada, July 14-20, 2003, pages 177–192. Providence, RI: American Mathematical Society (AMS),

work page 2003
[3]

Semiorthogonal decompositions in algebraic geometry

[Kuz14] Alexander Kuznetsov. Semiorthogonal decompositions in algebraic geometry. InProceed- ings of the international congress of mathematicians (ICM 2014), Seoul, Korea, August 13–21,

work page 2014
[4]

Derived Equivalence for Elliptic K3 Surfaces and Jacobians.International Mathematics Research Notices, 2024(13):10139–10164, 04

[MS24] Reinder Meinsma and Evgeny Shinder. Derived Equivalence for Elliptic K3 Surfaces and Jacobians.International Mathematics Research Notices, 2024(13):10139–10164, 04

work page 2024
[5]

[Muk87] S. Mukai. On the moduli space of bundles on K3 surfaces. I. InVector bundles on algebraic varieties (Bombay, 1984), volume 11 ofTata Inst. Fund. Res. Stud. Math., pages 341–413. Tata Inst. Fund. Res., Bombay,

work page 1984

[1] [1]

Cyclic covers: Hodge theory and categorical Torelli theorems.Int

[DJR25] Hannah Dell, Augustinas Jacovskis, and Franco Rota. Cyclic covers: Hodge theory and categorical Torelli theorems.Int. Math. Res. Not., 2025(10):20,

work page 2025

[2] [2]

Lian, Keiji Oguiso, and Shing-Tung Yau

[HLOY04] Shinobu Hosono, Bong H. Lian, Keiji Oguiso, and Shing-Tung Yau. Fourier-Mukai number of a K3 surface. InAlgebraic structures and moduli spaces. Proceedings of the CRM workshop, Montréal, Canada, July 14-20, 2003, pages 177–192. Providence, RI: American Mathematical Society (AMS),

work page 2003

[3] [3]

Semiorthogonal decompositions in algebraic geometry

[Kuz14] Alexander Kuznetsov. Semiorthogonal decompositions in algebraic geometry. InProceed- ings of the international congress of mathematicians (ICM 2014), Seoul, Korea, August 13–21,

work page 2014

[4] [4]

Derived Equivalence for Elliptic K3 Surfaces and Jacobians.International Mathematics Research Notices, 2024(13):10139–10164, 04

[MS24] Reinder Meinsma and Evgeny Shinder. Derived Equivalence for Elliptic K3 Surfaces and Jacobians.International Mathematics Research Notices, 2024(13):10139–10164, 04

work page 2024

[5] [5]

[Muk87] S. Mukai. On the moduli space of bundles on K3 surfaces. I. InVector bundles on algebraic varieties (Bombay, 1984), volume 11 ofTata Inst. Fund. Res. Stud. Math., pages 341–413. Tata Inst. Fund. Res., Bombay,

work page 1984