arXiv Science⌕ Search

arXiv · 2610.06884

Deformations of toric pairs and the smoothing of Batyrev Calabi-Yau threefolds

Abstract

Let $Δ$ be a reflexive four-polytope with primitive edges. We construct deformations of the toric fourfold defined by its face fan that smooth the singularities of a generic anticanonical Calabi-Yau hypersurface over a chosen two-dimensional face. The construction applies when the face cone is smoothable and the dual edge has an interior lattice point; its equations are trinomials in Cox coordinates. It gives a smoothing of the hypersurface when this is the only face whose cone is singular. If every singular face satisfies these conditions, simultaneous smoothing follows in the nodal case and, in general, under irreducibility of the semiuniversal deformation space. A seven-vertex example with one ordinary double point and no smoothing shows that the dual-edge condition is sharp. A scan of the Kreuzer--Skarke classification shows that the facewise criterion accounts for 3,774 of the 30,241 smoothings in the Batyrev--Kreuzer census; the other 26,467 require relations among exceptional curve classes from different faces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bernd Johannes Wuebben. 2026-09-19. Deformations of toric pairs and the smoothing of Batyrev Calabi-Yau threefolds. https://arxiv.org/abs/2610.06884

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

KEEP EXPLORING

Related papers

Ceresa Cycles of $X_{0}(N)$

The Ceresa cycle is an algebraic 1-cycle on the Jacobian of an algebraic curve. Although it is homologically trivial, Ceresa famously proved that for a very general complex curve of genus at least 3, it is non-trivial in the Chow group. In this paper we study the Ceresa cycle attached to the complete modular curve $X_{0}(N)$ modulo rational equivalence. For prime level $p$ we give a complete description, namely we prove that if $X_{0}(p)$ is not hyperelliptic, then its Ceresa cycle is non-torsion. For general level $N$, we prove that there are finitely many $X_{0}(N)$ with torsion Ceresa cycle. Our method relies on the relationship between the vanishing of the Ceresa cycle and Chow-Heegner points on the Jacobian. We use the geometry and arithmetic of modular Jacobians to prove that such points are of infinite order and therefore deduce non-vanishing of the Ceresa cycle.

math.AG↗

Uniform vector bundles over $\mathbb{P}^4$

There is a long-standing conjecture which states that every uniform algebraic vector bundle of rank $r<2n$ on the $n$-dimensional projective space $\mathbb{P}^n$ over an algebraically closed field of characteristic $0$ is homogeneous. This conjecture is valid for $n\leq3$. In this paper, we classify all uniform vector bundles of rank $r<8$ over $\mathbb{P}^4$ and show that the conjecture holds for $n=4$.

math.AG↗

Splitting vector bundles over real algebraic varieties

Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal. In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.

math.AG↗