English

Hodge Structures in Sextic Fourfolds Equipped with an Involution

Algebraic Geometry 2026-04-01 v1

Abstract

To each ternary sextic f(X0,X1,X2)f(X_0, X_1, X_2) whose associated plane curve is smooth, the Shioda construction attaches a smooth sextic fourfold XP5X \subset \mathbb{P}^5 whose defining equation f(X0,X1,X2)f(Y0,Y1,Y2)f(X_0, X_1, X_2) - f(Y_0, Y_1, Y_2) is fixed under the involution ι:(X0,X1,X2,Y0,Y1,Y2)i(Y0,Y1,Y2,X0,X1,X2)\iota : (X_0, X_1, X_2, Y_0, Y_1, Y_2) \mapsto i \cdot (Y_0, Y_1, Y_2, -X_0, -X_1, -X_2). The induced action ι:H4(X,Q)H4(X,Q)\iota^* : H^4(X, \mathbb{Q}) \to H^4(X, \mathbb{Q}) fixes a Hodge substructure HH4(X,Q)H \subset H^4(X, \mathbb{Q}) whose Hodge coniveau is 1. By the general Hodge conjecture, we expect that there should exist a divisor YXY \subset X for which Hker(H4(X,Q)H4(XY,Q))H \subset \ker\left( H^4(X, \mathbb{Q}) \to H^4(X \setminus Y, \mathbb{Q}) \right). We verify this prediction in case the Waring rank of f(X0,X1,X2)f(X_0, X_1, X_2) takes on its minimum possible value, partially answering a question of Voisin (J. Math. Sci. Univ. Tokyo '15).

Keywords

Cite

@article{arxiv.2603.29157,
  title  = {Hodge Structures in Sextic Fourfolds Equipped with an Involution},
  author = {Benjamin E. Diamond},
  journal= {arXiv preprint arXiv:2603.29157},
  year   = {2026}
}
R2 v1 2026-07-01T11:45:19.924Z