arXiv Science⌕ Search

arXiv · 2610.06225

Lifting negative curves from finite fields and Seshadri constants at ten points

Abstract

We use finite-field calculations and mixed-characteristic deformation to construct nef divisors on very general complex blow-ups of the plane. A lifting and smoothing criterion converts a reducible nodal divisor over $\mathbb{F}_{127}$ into a smooth genus-$10$ curve of class $117H-37(E_1+\cdots+E_{10})$, retaining control of its first-order obstruction map. Its normal bundle in a suitable deformation is semistable, so Petrakiev's multiplicity estimate yields the nef class $27379H-8658(E_1+\cdots+E_{10})$ at ten very general points. Their multipoint Seshadri constant is therefore at least $8658/27379$, improving Petrakiev's bound $228/721$. The geometric input is an existence criterion in characteristic zero verified by computations in positive characteristic.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Piotr Pokora, Tomasz Szemberg. 2026-10-05. Lifting negative curves from finite fields and Seshadri constants at ten points. https://arxiv.org/abs/2610.06225

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

KEEP EXPLORING

Related papers

On the minimal model of semi-isogenous mixed surfaces

The aim of this paper is to determine minimal models of the semi-isogenous mixed surfaces with $χ=1$ and $K^2>0$ constructed by Cancian and Frapporti (Math. Nachr., 291(2-3): 264-283, 2018). In order to do this, we further develop the idea of orbit divisors introduced by Frapporti and Lee (Pac. J. Math., 318(2): 233-247, 2022), to construct effective divisors on surfaces isogenous to a product of mixed type, extending it to the semi-isogenous mixed surfaces.

math.AG↗

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

If two conical symplectic resolutions $X\to X_0$ and $X^!\to X_0^!$ are symplectic dual, the cohomology ring $H^*(X)$ and the coordinate ring of $\mathbb{C}^*$-fixed points in $X_0^!$ are expected to be isomorphic as graded algebras. This statement is called Hikita conjecture and it is known that the conjecture holds for some cases. In this paper, we deal with the cohomology of framed moduli spaces over the projective plane and the coordinate ring of $\mathbb{C}^*$- fixed points of $\mathbb{C}^{2n}/((\mathbb{Z}/r\mathbb{Z})\wr S_n) $ and show that these are isomorphic as graded vector spaces. Building on subsequent work of Krylov and Shlykov on the Hikita--Nakajima conjecture for the Gieseker variety, the appendix establishes an isomorphism of graded algebras by a different approach and gives an explicit presentation by generators and relations. This revised version also corrects an error in the proof in the previous version.

math.AG↗