Peskine Sixfolds in Pfaffian Geometry

• Peskine sixfolds are six-dimensional Pfaffian degeneracy loci in P⁹ determined by a trivector, exhibiting rich algebraic and Hodge-theoretic structures.
• They are defined via rank conditions on skew-symmetric matrices and are closely linked to Debarre–Voisin hyperkähler fourfolds and rationality phenomena.
• Their geometry interfaces with associated K3 surfaces, cubic fourfolds, and moduli spaces, providing actionable insights into lattice theory and period maps.

Peskine sixfolds are six-dimensional Pfaffian degeneracy loci in $\mathbf P^9$ attached to a trivector $\sigma \in \bigwedge^3 V_{10}^\vee$, where $V_{10}$ is a $10$-dimensional complex vector space. In the current Debarre–Voisin literature, a Peskine sixfold is the variety

$$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$

which is smooth of dimension $6$ for general $\sigma$ and is birationally governed by the same Hodge-theoretic structures that control the associated Debarre–Voisin hyperkähler fourfold $X_6^\sigma$ (Benedetti et al., 2022, Brooke et al., 22 Sep 2025). The subject lies at the intersection of skew-determinantal geometry, period maps, rationality problems, and the study of special loci carrying associated K3 surfaces or cubic fourfolds.

1. Definition and projective-geometric realization

Let $V$ be a $10$-dimensional complex vector space and $\sigma \in \bigwedge^3 V_{10}^\vee$0 a nonzero trivector. One description of the associated Peskine sixfold takes $\sigma \in \bigwedge^3 V_{10}^\vee$1 as a section of $\sigma \in \bigwedge^3 V_{10}^\vee$2 on $\sigma \in \bigwedge^3 V_{10}^\vee$3, where $\sigma \in \bigwedge^3 V_{10}^\vee$4 is the quotient bundle, and defines

$\sigma \in \bigwedge^3 V_{10}^\vee$5

Equivalently, a general trivector defines a skew-symmetric $\sigma \in \bigwedge^3 V_{10}^\vee$6 matrix of linear forms on $\sigma \in \bigwedge^3 V_{10}^\vee$7 whose Pfaffian is a cubic hypersurface, and $\sigma \in \bigwedge^3 V_{10}^\vee$8 is the singular locus of that cubic (Benedetti et al., 2022).

A complementary description uses the contraction map

$\sigma \in \bigwedge^3 V_{10}^\vee$9

In homogeneous coordinates on $V_{10}$0, this becomes a $V_{10}$1 skew-symmetric matrix of linear forms $V_{10}$2, and one sets

$V_{10}$3

Since the expected codimension of the rank-$V_{10}$4 locus for a $V_{10}$5 skew-symmetric matrix is $V_{10}$6, one obtains a six-dimensional projective variety (Song, 2021).

For a smooth general member, the sixfold is a linear Pfaffian variety of codimension $V_{10}$7 and degree $V_{10}$8, cut out by the vanishing of all $V_{10}$9 Pfaffians of $10$0. There are $10$1 such quartic equations (Song, 2021, Han, 27 Jan 2025). The rationality paper further records that one checks

$10$2

placing the general object in the Fano range (Benedetti et al., 2022).

The terminology is not completely uniform across the literature. In one unrelated source, the label “Peskine six-fold” is applied to the orthogonal Grassmannian $10$3 parametrizing $10$4’s on a smooth $10$5-quadric (Puente et al., 2011). In the recent trivector-based literature, however, “Peskine sixfold” refers to the six-dimensional degeneracy locus $10$6 associated with a trivector in ten variables (Benedetti et al., 2022, Brooke et al., 22 Sep 2025).

2. Cohomology, algebraic cycles, and the Debarre–Voisin correspondence

For a smooth Peskine sixfold $10$7, the cohomology is organized by two distinguished algebraic classes in $10$8: the cube of the hyperplane class,

$10$9

and the class $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$0 of a Palatini threefold, namely a linear section $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$1 for $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$2 (Brooke et al., 22 Sep 2025). By Benedetti–Song’s theorem as quoted there, the integral Hodge conjecture holds on $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$3, so every class in $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$4 is algebraic (Brooke et al., 22 Sep 2025).

The classes $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$5 and $$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$6 span a rank-$$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$7 sublattice

$$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$8

with intersection matrix

$$X_1^\sigma := \{[\ell]\in \mathbf P(V_{10}) \mid \operatorname{rank}\sigma(\ell,-,-)\le 6\},$$9

The orthogonal complement

$6$0

is a unimodular lattice of signature $6$1 carrying a polarized Hodge structure of K3 type of discriminant $6$2 (Brooke et al., 22 Sep 2025).

The key bridge to hyperkähler geometry is the Debarre–Voisin fourfold

$6$3

When both $6$4 and $6$5 are smooth, the incidence correspondence induces an integral Hodge isometry

$6$6

or equivalently

$6$7

depending on sign convention (Brooke et al., 22 Sep 2025). This identification is central: extra algebraic classes on the sixfold correspond to special algebraic classes on the Debarre–Voisin fourfold, and the period theory of one feeds directly into the other.

This parallelism is one reason the literature treats Peskine sixfolds as varieties “of K3 type.” The phrase is not merely heuristic: it refers to the existence of a K3-type polarized Hodge structure in middle cohomology and its integral linkage to the primitive $6$8 of a hyperkähler fourfold (Brooke et al., 22 Sep 2025).

3. Moduli and special loci

Up to the natural $6$9-action, general trivectors determine a $\sigma$0-dimensional GIT quotient

$\sigma$1

which is birational to the moduli space of Peskine sixfolds and of the associated Debarre–Voisin hyperkähler fourfolds (Benedetti et al., 2022). Within this moduli space one studies special divisors arising from extra algebraic cycles, or equivalently from special lattice embeddings in the associated Hodge structures.

On the Debarre–Voisin side, the relevant period domains carry Heegner divisors $\sigma$2 indexed by positive even $\sigma$3, and their preimages in the GIT moduli of trivectors are denoted

$\sigma$4

A trivector $\sigma$5 is called special of discriminant $\sigma$6 (Brooke et al., 22 Sep 2025). For a general point of $\sigma$7, the sixfold and fourfold carry marked algebraic lattices $\sigma$8 and $\sigma$9 of discriminant $X_6^\sigma$0 extending the basic lattices $X_6^\sigma$1 and the polarization class on $X_6^\sigma$2 (Brooke et al., 22 Sep 2025).

Two special divisors play a particularly prominent role in the rationality theory. In the notation of Benedetti–Song, one defines

$X_6^\sigma$3

and

$X_6^\sigma$4

These are $X_6^\sigma$5-invariant divisors in the trivector space (Benedetti et al., 2022).

The same moduli framework also organizes the existence of associated K3 surfaces and cubic fourfolds. A polarized K3 surface $X_6^\sigma$6 of degree $X_6^\sigma$7 is associated to $X_6^\sigma$8 if there is a Hodge isometry

$X_6^\sigma$9

and, away from $V$0, equivalently an isometry

$V$1

Similarly, a marked cubic fourfold $V$2 of discriminant $V$3 is associated to $V$4 if

$V$5

(Brooke et al., 22 Sep 2025).

4. Rationality and the cubic-fourfold analogy

The principal rationality result currently available is the theorem that if $V$6 is general, then $V$7 is rational (Benedetti et al., 2022). The proof fixes a $V$8-subspace $V$9 with $10$0 and considers projection from $10$1,

$10$2

A dimension count together with the exclusion of higher-dimensional fibers shows that this rational map is generically one-to-one, hence birational (Benedetti et al., 2022).

For $10$3, the geometry is subtler. The sixfold acquires a natural divisor $10$4 ruled in conics, and there is a $10$5-fibration

$10$6

over a smooth K3 surface $10$7 of degree $10$8, inducing a Brauer class $10$9 on $\sigma \in \bigwedge^3 V_{10}^\vee$00 (Benedetti et al., 2022). In this setting the paper proves a cohomological criterion: if there exists a $\sigma \in \bigwedge^3 V_{10}^\vee$01-dimensional algebraic cycle $\sigma \in \bigwedge^3 V_{10}^\vee$02 such that

$\sigma \in \bigwedge^3 V_{10}^\vee$03

where $\sigma \in \bigwedge^3 V_{10}^\vee$04 is the hyperplane class on $\sigma \in \bigwedge^3 V_{10}^\vee$05 and $\sigma \in \bigwedge^3 V_{10}^\vee$06 is its pullback from the $\sigma \in \bigwedge^3 V_{10}^\vee$07-bundle model, then the Brauer twist $\sigma \in \bigwedge^3 V_{10}^\vee$08 is trivial and $\sigma \in \bigwedge^3 V_{10}^\vee$09 is rational (Benedetti et al., 2022).

The significance of this criterion is Hodge-theoretic. The existence of such a cycle corresponds to an extra integral Hodge class in $\sigma \in \bigwedge^3 V_{10}^\vee$10 of type $\sigma \in \bigwedge^3 V_{10}^\vee$11 splitting off the “K3” summand, the same summand that is isomorphic to the primitive Hodge structure of the associated Debarre–Voisin fourfold (Benedetti et al., 2022). The mechanism is explicitly modeled on the classical rationality story for cubic fourfolds containing a plane: in both settings, a conic fibration produces a twisted K3 surface, and odd intersection conditions detect the triviality of the Brauer class.

This parallel is not merely formal. The paper conjectures that for general $\sigma \in \bigwedge^3 V_{10}^\vee$12 with associated twisted K3 surface $\sigma \in \bigwedge^3 V_{10}^\vee$13 of degree $\sigma \in \bigwedge^3 V_{10}^\vee$14, one has

$\sigma \in \bigwedge^3 V_{10}^\vee$15

One direction is proved, namely odd-intersection $\sigma \in \bigwedge^3 V_{10}^\vee$16-cycles $\sigma \in \bigwedge^3 V_{10}^\vee$17 rational (Benedetti et al., 2022). It is further proposed that the conjecture should admit a derived-categorical reformulation: the Kuznetsov component of $\sigma \in \bigwedge^3 V_{10}^\vee$18 should become equivalent to $\sigma \in \bigwedge^3 V_{10}^\vee$19 precisely when $\sigma \in \bigwedge^3 V_{10}^\vee$20 (Benedetti et al., 2022). This suggests that Peskine rationality is controlled by the same mixture of lattice theory, twisted K3 geometry, and birational models that governs special cubic fourfolds.

5. Associated K3 surfaces and associated cubic fourfolds

The existence of associated K3 surfaces is governed by an explicit numerical criterion. For a very general $\sigma \in \bigwedge^3 V_{10}^\vee$21, there exists an associated K3 surface of degree $\sigma \in \bigwedge^3 V_{10}^\vee$22 if and only if

• $\sigma \in \bigwedge^3 V_{10}^\vee$23 and $\sigma \in \bigwedge^3 V_{10}^\vee$24;
• every odd prime dividing $\sigma \in \bigwedge^3 V_{10}^\vee$25 is a square mod $\sigma \in \bigwedge^3 V_{10}^\vee$26 (Brooke et al., 22 Sep 2025).

The existence of associated cubic fourfolds is also characterized arithmetically. A very general $\sigma \in \bigwedge^3 V_{10}^\vee$27 admits an associated cubic fourfold of discriminant $\sigma \in \bigwedge^3 V_{10}^\vee$28 if and only if

• $\sigma \in \bigwedge^3 V_{10}^\vee$29 or $\sigma \in \bigwedge^3 V_{10}^\vee$30;
• $\sigma \in \bigwedge^3 V_{10}^\vee$31 and $\sigma \in \bigwedge^3 V_{10}^\vee$32;
• $\sigma \in \bigwedge^3 V_{10}^\vee$33 is a square mod each prime divisor of $\sigma \in \bigwedge^3 V_{10}^\vee$34;
• if $\sigma \in \bigwedge^3 V_{10}^\vee$35, then $\sigma \in \bigwedge^3 V_{10}^\vee$36 and an odd number of primes $\sigma \in \bigwedge^3 V_{10}^\vee$37 divide $\sigma \in \bigwedge^3 V_{10}^\vee$38 (Brooke et al., 22 Sep 2025).

The first discriminant for which an associated cubic appears is $\sigma \in \bigwedge^3 V_{10}^\vee$39 (Brooke et al., 22 Sep 2025). In that case, for a general $\sigma \in \bigwedge^3 V_{10}^\vee$40 with its unique flag

$\sigma \in \bigwedge^3 V_{10}^\vee$41

of dimensions $\sigma \in \bigwedge^3 V_{10}^\vee$42 and $\sigma \in \bigwedge^3 V_{10}^\vee$43 satisfying $\sigma \in \bigwedge^3 V_{10}^\vee$44, the linear section

$\sigma \in \bigwedge^3 V_{10}^\vee$45

is a smooth cubic fourfold of discriminant $\sigma \in \bigwedge^3 V_{10}^\vee$46 (Brooke et al., 22 Sep 2025). The same paper proves that for very general $\sigma \in \bigwedge^3 V_{10}^\vee$47:

1. $\sigma \in \bigwedge^3 V_{10}^\vee$48 is a smooth cubic fourfold of discriminant $\sigma \in \bigwedge^3 V_{10}^\vee$49;
2. the Fano variety of lines $\sigma \in \bigwedge^3 V_{10}^\vee$50 is isomorphic as a hyperkähler manifold to the associated Debarre–Voisin fourfold $\sigma \in \bigwedge^3 V_{10}^\vee$51;
3. $\sigma \in \bigwedge^3 V_{10}^\vee$52 is Hodge-theoretically associated to $\sigma \in \bigwedge^3 V_{10}^\vee$53 (Brooke et al., 22 Sep 2025).

This discriminant-$\sigma \in \bigwedge^3 V_{10}^\vee$54 case makes the Peskine–Debarre–Voisin/cubic-fourfold analogy fully geometric. The lines on $\sigma \in \bigwedge^3 V_{10}^\vee$55 are controlled by the Grassmannian degeneracy locus

$\sigma \in \bigwedge^3 V_{10}^\vee$56

and for general $\sigma \in \bigwedge^3 V_{10}^\vee$57 there is a bijective morphism

$\sigma \in \bigwedge^3 V_{10}^\vee$58

to the Hilbert scheme of lines on the Peskine sixfold (Brooke et al., 22 Sep 2025). The induced map

$\sigma \in \bigwedge^3 V_{10}^\vee$59

is then shown to be an isomorphism.

The broader implication is that special Peskine sixfolds can carry cubic-fourfold data in precisely the same Hodge-theoretic sense in which special cubic fourfolds can carry K3 data. This suggests a bidirectional dictionary among Peskine sixfolds, Debarre–Voisin fourfolds, K3 surfaces, and special cubics, organized by discriminant and lattice-theoretic conditions (Brooke et al., 22 Sep 2025).

6. Distinguished examples and auxiliary constructions

A particularly symmetric example comes from the finite simple group $\sigma \in \bigwedge^3 V_{10}^\vee$60. Let $\sigma \in \bigwedge^3 V_{10}^\vee$61 be its irreducible $\sigma \in \bigwedge^3 V_{10}^\vee$62-dimensional representation and $\sigma \in \bigwedge^3 V_{10}^\vee$63 the unique nonzero $\sigma \in \bigwedge^3 V_{10}^\vee$64-invariant trivector. The associated Debarre–Voisin fourfold $\sigma \in \bigwedge^3 V_{10}^\vee$65 is smooth, while the associated Peskine variety $\sigma \in \bigwedge^3 V_{10}^\vee$66 is highly symmetric and has exactly $\sigma \in \bigwedge^3 V_{10}^\vee$67 isolated singular points (Song, 2021). In this example the singular locus is the rank-$\sigma \in \bigwedge^3 V_{10}^\vee$68 locus; the rank-$\sigma \in \bigwedge^3 V_{10}^\vee$69 locus is empty; each of the $\sigma \in \bigwedge^3 V_{10}^\vee$70 reduced points is an ordinary double point; and the group acts transitively on the $\sigma \in \bigwedge^3 V_{10}^\vee$71 nodes (Song, 2021). The example serves as a controlled singular degeneration of the general smooth picture and illustrates how symmetries can force unexpectedly large special lattices on the Debarre–Voisin side.

Another construction arises from Mukai’s geometry of genus-$\sigma \in \bigwedge^3 V_{10}^\vee$72 K3 surfaces. For a general polarized K3 surface $\sigma \in \bigwedge^3 V_{10}^\vee$73 of genus $\sigma \in \bigwedge^3 V_{10}^\vee$74, Mukai’s rank-$\sigma \in \bigwedge^3 V_{10}^\vee$75 bundle $\sigma \in \bigwedge^3 V_{10}^\vee$76 gives a threefold

$\sigma \in \bigwedge^3 V_{10}^\vee$77

whose ideal is generated by $\sigma \in \bigwedge^3 V_{10}^\vee$78 independent quadrics (Han, 27 Jan 2025). The syzygies among these quadrics produce a canonical trivector

$\sigma \in \bigwedge^3 V_{10}^\vee$79

hence a Peskine sixfold

$\sigma \in \bigwedge^3 V_{10}^\vee$80

which is smooth, irreducible, and cut out by the $\sigma \in \bigwedge^3 V_{10}^\vee$81 quartic Pfaffians of the associated skew matrix (Han, 27 Jan 2025).

In this genus-$\sigma \in \bigwedge^3 V_{10}^\vee$82 setting, the Peskine sixfold governs the failure of a double cover to remain finite. Since the ideal of the threefold $\sigma \in \bigwedge^3 V_{10}^\vee$83 is generated by the $\sigma \in \bigwedge^3 V_{10}^\vee$84-dimensional space of quadrics $\sigma \in \bigwedge^3 V_{10}^\vee$85, the linear system $\sigma \in \bigwedge^3 V_{10}^\vee$86 defines, after blowing up $\sigma \in \bigwedge^3 V_{10}^\vee$87, a $\sigma \in \bigwedge^3 V_{10}^\vee$88 morphism

$\sigma \in \bigwedge^3 V_{10}^\vee$89

branched along a hypersurface of degree $\sigma \in \bigwedge^3 V_{10}^\vee$90 (Han, 27 Jan 2025). Proposition 3.21 identifies the associated Peskine sixfold as the locus over which this map ceases to be finite of degree $\sigma \in \bigwedge^3 V_{10}^\vee$91: for a general point $\sigma \in \bigwedge^3 V_{10}^\vee$92, the fiber $\sigma \in \bigwedge^3 V_{10}^\vee$93 is a single smooth rational cubic $\sigma \in \bigwedge^3 V_{10}^\vee$94, rather than two points (Han, 27 Jan 2025).

Over such points one obtains further surface geometry. The restriction of $\sigma \in \bigwedge^3 V_{10}^\vee$95 to the $\sigma \in \bigwedge^3 V_{10}^\vee$96-plane $\sigma \in \bigwedge^3 V_{10}^\vee$97 is again a double cover branched along the union of a smooth cubic surface $\sigma \in \bigwedge^3 V_{10}^\vee$98, called the Weddle, and a Kummer quartic $\sigma \in \bigwedge^3 V_{10}^\vee$99 with $V_{10}$00 nodes (Han, 27 Jan 2025). This yields a relative Weddle–Kummer surface fibration over the Peskine sixfold. The same paper shows that the kernel bundle $V_{10}$01 is isotropic for the trivector and defines a morphism

$V_{10}$02

placing the sixfold inside the same hyperkähler network as the Debarre–Voisin variety (Han, 27 Jan 2025).

Taken together, these constructions show that Peskine sixfolds occupy a central position in several parallel theories: skew-Pfaffian Fano geometry, period maps for hyperkähler fourfolds, special-lattice phenomena in moduli, rationality problems modeled on cubic fourfolds, and geometric constructions from polarized K3 surfaces. The current literature treats them not as isolated degeneracy loci, but as nodal points in a larger web linking Hodge theory, birational geometry, and explicit projective models (Benedetti et al., 2022, Brooke et al., 22 Sep 2025).