arXiv Science⌕ Search

arXiv · 2609.37242

Weighted projective spaces admitting $\mathbb Q$-Gorenstein smoothings to $\mathbb P^3$

Abstract

We study well-formed weighted projective threefolds that admit $\mathbb Q$-Gorenstein smoothings to $\mathbb P^3$. Two families are known: the $\mathbb P^2$-type and the $Q$-type, and it is conjectured that these are the only possibilities. We derive numerical and local necessary conditions for such a smoothing. In addition to the anticanonical volume equation, constancy of the anticanonical Hilbert polynomial yields a further identity when all codimension two singularities are of $A$-type. We also obtain a semigroup condition governing the existence of global smoothing directions along codimension two curves with transverse $A$-type singularities. We apply these conditions to prove the expected classification in several cases. In particular, for every fixed square-free integer $d$, there are only finitely many $\mathbb Q$-Gorenstein smoothable spaces $\mathbb P(1,a,b,c)$ such that $\gcd(a,b)=d$. Our method reduces the possible weights to a finite exact computation; for every prime $p\le100$, the computation produces only members of the two expected families. Finally, we prove the classification when $\gcd(a,b)=d$ and $a=d^2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jungkai Alfred Chen, Yongnam Lee. 2026-09-29. Weighted projective spaces admitting $\mathbb Q$-Gorenstein smoothings to $\mathbb P^3$. https://arxiv.org/abs/2609.37242

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

KEEP EXPLORING

Related papers

Arithmetic liftings and 2d TQFT for dormant opers of higher level

This manuscript represents an advance in the enumerative geometry of opers that takes the subject beyond our previous work. Motivated by a counting problem of linear differential equations in positive characteristic, we investigate the moduli space of opers from arithmetic and combinatorial points of view. We construct and investigate the moduli space classifying dormant $\mathrm{PGL}_n^{(N)}$-opers (i.e., dormant $\mathrm{PGL}_n$-opers of level $N$) on pointed stable curves in characteristic $p>0$. One of the key results is the generic étaleness of that space for $n=2$, which is proved by obtaining a detailed understanding of relevant deformation spaces. This fact induces a certain arithmetic lifting of each dormant $\mathrm{PGL}_2^{(N)}$-oper on a general curve to characteristic $p^N$; this lifting is called the canonical diagonal lifting. On the other hand, the generic étaleness also implies that the degree function for the moduli spaces in the rank $2$ case satisfies factorization properties determined by various gluing morphisms of the underlying curves. That is to say, the degree function forms a $2$d TQFT (= a $2$-dimensional topological quantum field theory); it leads us to describe dormant $\mathrm{PGL}_2^{(N)}$-opers in terms of edge numberings on trivalent graphs, as well as lattice points inside generalized rational polytopes. These results yield an effective way of computing the numbers of such objects and $2$nd order differential equations in characteristic $p^N$ with a full set of solutions.

math.AG↗

A new approach to flatness in categories of sheaves

Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. This way, Durgun has introduced absolutely pure domains of modules as a mean to gauge the extent of the flatness of any given module (so not just to determine whether or not the module is flat). In this paper, we develop a new treatment of the goemetric flatness in categories of sheaves which shed more light on some of its various important aspects. Namely, in terms of this new approach, some classical schemes are characterized, some new results are established and also known ones are generalized.

math.AG↗

Unirationality is the Same as Rational Connectedness in Characteristic Zero

In this paper we describe a fibration for a smooth, projective variety $ X $ over a field of characteristic zero. This fibration is similar to the MRC fibration, and we call it the MU fibration of $ X $. The MU fibration $ π: X \dashrightarrow MU(X) $ is characterized by the following properties: i) The very general fibres of $ π$ are unirational, ii) if $ Z $ is a unirational sub-variety of $ X $, $ z $ is a very general point of $ MU(X) $ (i.e., a point in the complement of a countable union of Zariski closed sub-sets of $ MU(X) $), and $ Z $ intersects $ π^{-1}(z) $ non-trivially, then $ Z $ is contained in $ π^{-1}(z) $, iii) The variety $ MU(X) $ is unique up to birational equivalence. If we call $ MU(X) $ a maximal unirational quotient, then $ X $ is unirational if and only if the dimension of any maximal unirational quotient is equal to zero. We use this work to show that unirationality, rational connectedness, and rational chain connectedness are equivalent for smooth varieties over a field of characteristic zero, and that the MRC quotient of a smooth, projective variety over a field of characteristic zero is not uniruled.

math.AG↗