Searcharxiv⌕ Search

arXiv · 2610.25532

The blow-up of the cubic fourfold along eight planes is Fano

Abstract

We prove that the blow-up Z_m of a smooth cubic fourfold along m <= 8 planes, pairwise meeting at distinct points and satisfying explicit generality conditions, is a smooth Fano fourfold of Picard rank rho(Z_m) = m+1 <= 9; in particular, we obtain three new families of smooth Fano fourfolds with rho > 6 that are not a product of surfaces. Complementary to this result, we show that a smooth cubic fourfold as above exists. Moreover, we study the birational geometry of Z_m and show that it corresponds exactly to that of a smooth del Pezzo surfaces S_m, obtained as the blow-up of P^2 along m <= 8 points in general position. Namely, Z_m and S_m have isomorphic Mori cones, pseudo-effective cones with same Mori chamber decomposition, and there is a one-to-one correspondence between the contractions of Z_m and the contractions of S_m. Lastly, we study the anticanonical linear system of Z_m and prove that it is basepoint free if and only if m <= 7. For m = 8 and a special configuration of planes, we show that the anticanonical base locus Bs(|-K_{Z_8}|) has dimension 2 and contains a smooth del Pezzo surface of degree 1.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Saverio Andrea Secci. 2026-10-18. The blow-up of the cubic fourfold along eight planes is Fano. https://arxiv.org/abs/2610.25532

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A cluster criterion for potential degeneracy of superelliptic curves

Let $K$ be a field with a discrete valuation; let $p$ be a prime; and let $C$ be the curve defined by an equation of the form $y^p = f(x)$. We show that the curve $C$ has a model over an algebraic extension of $K$ whose special fiber consists of genus-$0$ components and has at worst nodal singularities if and only if the cluster data of the roots of $f$ satisfies a certain criterion, and when these hold, we show explicitly how to build the minimal regular model of $C$. We develop an interpretation of cluster data in terms of a convex hull in the Berkovich projective line and express the above results directly in terms of this convex hull.

math.AG↗

A note on complex Lie Algebras isomorphic to their conjugate

A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Deré. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.

math.AG↗