Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.18595

Generalized Bogomolov--Gieseker inequalities via Frobenius

Chunyi Li·Zhiyu Liu·Alexander Perry·Xiaolei Zhao
View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish a Bogomolov--Gieseker-type inequality for tilt-semistable objects on smooth projective varieties of dimension $\geq 3$, in the spirit of the Bayer--Macrì--Toda conjecture. A key ingredient is an analysis of the action of the Frobenius morphism on tilt-semistable objects. As an application, we prove the Castelnuovo Bound Conjecture, up to an explicit constant term. Combining our results with work of Feyzbakhsh and Thomas, we further show that on a Calabi--Yau threefold, arbitrary rank Donaldson--Thomas invariants of semistable sheaves are determined by rank one invariants, and hence are symplectic invariants.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chunyi Li, Zhiyu Liu, Alexander Perry, Xiaolei Zhao. 2026-10-13. Generalized Bogomolov--Gieseker inequalities via Frobenius. https://arxiv.org/abs/2610.18595

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

KEEP EXPLORING

Related papers

arXiv2026

Containment problems for fat point schemes via asymptotic multiplier ideals

We study a multiplier-ideal approach to the containment problem for radical ideals of points in projective space. The expected asymptotic multiplier-ideal computation depends on controlling residual base loci of the relevant symbolic linear systems. We isolate this issue in the notion of clean asymptotic multiplier ideals. Under this hypothesis, a failure of \[ I^{(2r-1)}\not\subseteq I^r \] forces \[ 2r\widehatα(I)\geq α(I^{(2r-1)})+3, \] and in particular $\widehatα(I)\geq 3$. We show that the dual-Hesse configuration is clean although its symbolic systems have a genuinely non-trivial residual asymptotic base part. We also verify cleanliness for star configurations of lines, giving a further infinite family of non-monomial examples, and formulate a cleanliness conjecture for singular loci of line arrangements.

math.AG↗
arXiv2026

An algebraic proof of Hrushovski's theorem

In his paper on the Mordell-Lang conjecture, Hrushovski employed techniques from model theory to prove the function field version of the conjecture. In doing so he was able to answer a related question of Voloch, which we refer to henceforth as Hrushovski's theorem. In this paper we shall give an alternative proof of said theorem in the characteristic $p$ setting, but using purely algebro-geometric ideas.

math.AG↗
arXiv2026

Conifold gap and all-genus mirror symmetry for local $\mathbb{P}^2$

The Conifold Gap Conjecture asserts that the polar part of the Gromov-Witten potential of a Calabi-Yau threefold near its conifold locus has a universal expression described by the logarithm of the Barnes $G$-function. In this paper, I prove the Conifold Gap Conjecture for the local projective plane. The proof relates the higher genus conifold Gromov-Witten generating series of local $\mathbb{P}^2$ to the thermodynamics of a certain statistical mechanical ensemble of repulsive particles on the positive half-line. As a corollary, this establishes the all-genus mirror principle for local $\mathbb{P}^2$ through the direct integration of the BCOV holomorphic anomaly equations.

math.AG↗