Table of Contents
Fetching ...

L-equivalence and Fourier--Mukai partners of cubic fourfolds

Reinder Meinsma, Riccardo Moschetti

TL;DR

The paper investigates L-equivalence in the Grothendieck ring and its interaction with FM-partners for cubic fourfolds. By assuming a Derived Torelli principle for Kuznetsov components and a discriminant condition on the transcendental lattice, it derives a precise lattice-theoretic formula for counting Fourier–Mukai partners and constructs concrete pairs of $\mathbb{L}$-equivalent cubic fourfolds, including cases with a unique non-trivial FM partner. It further proves that $\mathbb{L}$-equivalence classes of cubic fourfolds are finite and that $\mathbb{L}$-equivalence passes to FM-equivalence and related invariants under the stated assumptions. The results illuminate the link between motivic and derived invariants and provide explicit families illustrating trivially $\mathbb{L}$-equivalent examples and the finiteness phenomenon in this context.

Abstract

We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of the transcendental lattice, we prove a counting formula for Fourier--Mukai partners of such cubic fourfolds. As an application, we exhibit cubic fourfolds with a fixed algebraic lattice admitting a unique non-trivial Fourier--Mukai partner, which is trivially L-equivalent to the original. Finally, we show that L-equivalence classes of cubic fourfolds are finite.

L-equivalence and Fourier--Mukai partners of cubic fourfolds

TL;DR

The paper investigates L-equivalence in the Grothendieck ring and its interaction with FM-partners for cubic fourfolds. By assuming a Derived Torelli principle for Kuznetsov components and a discriminant condition on the transcendental lattice, it derives a precise lattice-theoretic formula for counting Fourier–Mukai partners and constructs concrete pairs of -equivalent cubic fourfolds, including cases with a unique non-trivial FM partner. It further proves that -equivalence classes of cubic fourfolds are finite and that -equivalence passes to FM-equivalence and related invariants under the stated assumptions. The results illuminate the link between motivic and derived invariants and provide explicit families illustrating trivially -equivalent examples and the finiteness phenomenon in this context.

Abstract

We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of the transcendental lattice, we prove a counting formula for Fourier--Mukai partners of such cubic fourfolds. As an application, we exhibit cubic fourfolds with a fixed algebraic lattice admitting a unique non-trivial Fourier--Mukai partner, which is trivially L-equivalent to the original. Finally, we show that L-equivalence classes of cubic fourfolds are finite.

Paper Structure

This paper contains 8 sections, 35 theorems, 94 equations.

Key Result

Proposition 1.5

Suppose $X$ is a cubic fourfold with one of the following two properties: Moreover, suppose that $X$ is very general with one of these properties. Then $X$ has a non-trivial Fourier--Mukai partner $Y$ for which there exists a unique K3 surface $S$ with the property that Finally, if $X$ satisfies Property B, then $Y$ is the unique non-trivial Fourier--Mukai partner of $X$.

Theorems & Definitions (78)

  • Definition 1.1: KS18
  • Conjecture 1.2
  • Conjecture 1.3
  • Remark 1.4
  • Proposition 1.5: See Proposition \ref{['prop: L10 examples']} and Proposition \ref{['prop: L29 examples']}
  • Theorem 1.8: Theorem \ref{['thm: counting formula']}
  • Theorem 1.9: Theorem \ref{['thm: L equivalences classes are finite']}, Theorem \ref{['thm: L implies FM']}, Proposition \ref{['prop: LE implies LF']}, Corollary \ref{['cor: BF implies LF']}, Theorem \ref{['thm: LF implies FM and DF']}
  • Theorem 1.10: Theorem \ref{['thm: L equivalences classes are finite']}
  • Definition 2.1
  • Lemma 2.2
  • ...and 68 more