arXiv Science⌕ Search

arXiv subjects

Sarah Frei

Publications and source records attributed to Sarah Frei.

15 recordsLinked to original sources
arXiv2025

Peskine sixfolds and Debarre-Voisin fourfolds with associated cubic fourfolds

We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic fourfold, we identify the cubic explicitly. Moreover, we prove that in this case the Fano variety of lines of the cubic fourfold is isomorphic to the associated Debarre-Voisin hyperk\"ahler fourfold.

math.AG↗
arXiv2025

Equivariant Kuznetsov components for cubic fourfolds with a symplectic involution

We study the equivariant Kuznetsov component $\mathrm{Ku}_G(X)$ of a general cubic fourfold $X$ with a symplectic involution. We show that $\mathrm{Ku}_G(X)$ is equivalent to the derived category $D^b(S)$ of a $K3$ surface $S$, where $S$ is given as a component of the fixed locus of the induced symplectic action on the Fano variety of lines on $X$.

math.AG↗
arXiv2024

Cubic fourfolds with birational Fano varieties of lines

We give several examples of pairs of non-isomorphic cubic fourfolds whose Fano varieties of lines are birationally equivalent (and in one example isomorphic). Two of our examples, which are special families of conjecturally irrational cubics in $\calC_{12}$, provide new evidence for the conjecture that Fourier-Mukai partners are birationally equivalent. We explore how various notions of equivalence for cubic fourfolds are related, and we conjecture that cubic fourfolds with birationally equivalent Fano varieties of lines are themselves birationally equivalent.

math.AG↗
arXiv2024

Birational geometry of Fano varieties of lines on cubic fourfolds containing pairs of cubic scrolls

We characterize the birational geometry of some hyperk\"ahler fourfolds of Picard rank $3$ obtained as the Fano varieties of lines on cubic fourfolds containing pairs of cubic scrolls. In each of the two cases considered, we identify all of the birational models, relating each model to familiar geometric constructions, and give explicit birational maps between them. We also provide structural results about the birational automorphism groups, giving generators in both cases and a full set of relations in one case. Finally, as a byproduct of our analysis, we obtain non-isomorphic cubic fourfolds whose Fano varieties of lines are birationally equivalent.

math.AG↗
arXiv2024

Conic bundle threefolds differing by a constant Brauer class and connections to rationality

A double cover $Y$ of $\mathbb{P}^1 \times \mathbb{P}^2$ ramified over a general $(2,2)$-divisor will have the structure of a geometrically standard conic bundle ramified over a smooth plane quartic $\Delta \subset \mathbb{P}^2$ via the second projection. These threefolds are rational over algebraically closed fields; however, over nonclosed fields, including $\mathbb{R}$, their rationality is an open problem. In this paper, we characterize rationality over $\mathbb{R}$ when $\Delta(\mathbb{R})$ has at least two connected components (extending work of M. Ji and the second author) and over local fields when all odd degree fibers of the first projection have nonsquare discriminant. We obtain these applications by proving general results comparing the conic bundle structure on $Y$ with the conic bundle structure on a well-chosen intersection of two quadrics. The difference between these two conic bundles is encoded by a constant Brauer class, and we prove that this class encodes the obstruction to the existence of a section of the first projection $Y\to\mathbb{P}^1$.

math.AG↗
arXiv2024

On decompositions for Fano schemes of intersections of two quadrics

We propose conjectural semiorthogonal decompositions for Fano schemes of linear subspaces on intersections of two quadrics, in terms of symmetric powers of the associated hyperelliptic (resp. stacky) curve. When the intersection is odd-dimensional, we moreover conjecture an identity in the Grothendieck ring of varieties and other motivic contexts. The evidence for these conjectures is given by upgrading recent results of Chen-Vilonen-Xue, to obtain formulae for the Hodge numbers of these Fano schemes. This allows us to numerically verify the conjecture in the hyperelliptic case, and establish a combinatorial identity as evidence for the stacky case.

math.AG↗
arXiv2023

On abelian varieties whose torsion is not self-dual

We construct infinitely many abelian surfaces A defined over the rational numbers such that, for a prime ell <= 7, the ell-torsion subgroup of A is not isomorphic as a Galois module to the ell-torsion subgroup of its dual. We do this by explicitly analyzing the action of the Galois group on the ell-adic Tate module and its reduction modulo ell.

math.NT↗
arXiv2023

A threefold violating a local-to-global principle for rationality

In this note we construct an example of a smooth projective threefold that is irrational over $\mathbb Q$ but is rational at all places. Our example is a complete intersection of two quadrics in $\mathbb P^5$, and we show it has the desired rationality behavior by constructing an explicit element of order $4$ in the Tate--Shafarevich group of the Jacobian of an associated genus $2$ curve.

math.AG↗
arXiv2022

Groups of symplectic involutions on symplectic varieties of Kummer type and their fixed loci

We describe the Galois action on the middle $\ell$-adic cohomology of smooth, projective fourfolds $K_A(v)$ that occur as a fiber of the Albanese morphism on moduli spaces of sheaves on an abelian surface $A$ with Mukai vector $v$. We show this action is determined by the action on $H^2_{\'et}(A_{\bar{k}},\mathbb{Q}_\ell(1))$ and on a subgroup $G_A(v) \leqslant (A\times \hat{A})[3]$, which depends on $v$. This generalizes the analysis carried out by Hassett and Tschinkel [HT13] over $\mathbb{C}$. As a consequence, over number fields, we give a condition under which $K_2(A)$ and $K_2(\hat{A})$ are not derived equivalent. The points of $G_A(v)$ correspond to involutions of $K_A(v)$. Over $\mathbb{C}$, they are known to be symplectic and contained in the kernel of the map $\mathrm{Aut}(K_A(v))\to \mathrm{O}(H^2(K_A(v),\mathbb{Z}))$. We describe this kernel for all varieties $K_A(v)$ of dimension at least $4$. When $K_A(v)$ is a fourfold over a field of characteristic 0, the fixed-point loci of the involutions contain K3 surfaces whose cycle classes span a large portion of the middle cohomology. We examine the fixed loci in fourfolds $K_A(0,l,s)$ over $\mathbb{C}$ where $l$ is a $(1,3)$-polarization, finding the K3 surface to be elliptically fibered under a Lagrangian fibration of $K_A(0,l,s)$.

math.AG↗
arXiv2022

Curve classes on conic bundle threefolds and applications to rationality

We undertake a study of conic bundle threefolds $\pi\colon X\to W$ over geometrically rational surfaces whose associated discriminant covers $\tilde{\Delta}\to\Delta\subset W$ are smooth and geometrically irreducible. First, we determine the structure of the group $\mathrm{CH}^2 X_{\overline{k}}$ of rational equivalence classes of curves. Precisely, we construct a Galois-equivariant group homomorphism from $\mathrm{CH}^2X_{\overline{k}}$ to a group scheme associated to the discriminant cover $\tilde{\Delta}\to \Delta$ of $X$. The target group scheme is a generalization of the Prym variety of $\tilde{\Delta}\to\Delta$ and so our result can be viewed as a generalization of Beauville's result that the algebraically trivial curve classes on $X_{\overline{k}}$ are parametrized by the Prym variety. We apply our structural result on curve classes to study the refined intermediate Jacobian torsor (IJT) obstruction to rationality introduced by Hassett--Tschinkel and Benoist--Wittenberg. The first case of interest is $W = \mathbb P^2$ and $\Delta$ is a smooth plane quartic. In this case, we show that the IJT obstruction characterizes rationality when the ground field has less arithmetic complexity (precisely, when the $2$-torsion in the Brauer group of the ground field is trivial). We also show that a hypothesis of this form is necessary by constructing, over any $k \subset\mathbb R$, a conic bundle threefold with $\Delta$ a smooth quartic where the IJT obstruction vanishes, yet $X$ is irrational over $k$.

math.AG↗
arXiv2021

Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

We consider the reduction of Brauer classes on surfaces over number fields, with a view toward applications to rationality and derived equivalence. We show that a Brauer class on a very general polarized K3 surface over a number field becomes trivial upon reduction for a set of places of positive natural density. As a consequence, there are cubic fourfolds which become rational upon reduction for a positive proportion of places, and there are twisted derived equivalent K3 surfaces which become derived equivalent upon reduction for a positive proportion of places.

math.AG↗
arXiv2019

Rational points and derived equivalence

We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over Q and F_q(t), and conclude with a pair of hyperkaehler 4-folds over Q. The latter is independently interesting as a new example of a transcendental Brauer-Manin obstruction to the Hasse principle.

math.AG↗
arXiv2018

Moduli spaces of sheaves on K3 surfaces and Galois representations

We consider two K3 surfaces defined over an arbitrary field, together with a smooth proper moduli space of stable sheaves on each. When the moduli spaces have the same dimension, we prove that if the \'etale cohomology groups (with Q_ell coefficients) of the two surfaces are isomorphic as Galois representations, then the same is true of the two moduli spaces. In particular, if the field of definition is finite and the K3 surfaces have equal zeta functions, then so do the moduli spaces, even when the moduli spaces are not birational.

math.AG↗
arXiv2017

The a-number of hyperelliptic curves

It is known that for a smooth hyperelliptic curve to have a large $a$-number, the genus must be small relative to the characteristic of the field, $p>0$, over which the curve is defined. It was proven by Elkin that for a genus $g$ hyperelliptic curve $C$ to have $a_C=g-1$, the genus is bounded by $g<\frac{3p}{2}$. In this paper, we show that this bound can be lowered to $g <p$. The method of proof is to force the Cartier-Manin matrix to have rank one and examine what restrictions that places on the affine equation defining the hyperelliptic curve. We then use this bound to summarize what is known about the existence of such curves when $p=3,5$ and $7$.

math.NT↗