Search arXiv⌕ Search

arXiv · 2609.36410

Failure of semipositive metric extension in a smooth projective family

Abstract

We construct a smooth projective family of rational surfaces, an effective line bundle on its total space, and a prescribed semipositively curved singular Hermitian metric on the central fibre that has no semipositive extension to any neighbourhood of that fibre. It has analytic singularities and is of minimal singularity type. The failure persists even when the restriction is only required to have the same singularity type as the prescribed metric. The family is obtained by blowing up four disjoint sections of a product, with three points becoming collinear on the central fibre. An integrable adjoint section on that fibre cannot extend because the corresponding adjoint systems vanish on every nearby fibre. This gives a negative answer to Păun's metric-extension question, listed as Question 38 by Dinew, Guedj, and Zeriahi.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xiangsen Qin. 2026-09-29. Failure of semipositive metric extension in a smooth projective family. https://arxiv.org/abs/2609.36410

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

KEEP EXPLORING

Related papers

Blocking sets from a union of plane curves

Motivated by a question of Erdős on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.

math.AG↗

On a relation of a conjecture of Goncharov to the co-Lie algebra of Bloch-Kriz mixed Tate motives

Goncharov defined for each field $F$ and an integer $n$ greater than 1 a certain group $B_n(F)$. We consider the possibility of defining a linear map from $B_n(F)$ to the co-Lie algebra of the category of mixed Tate motives defined by Bloch and Kriz, in terms of motivic polylogarithms. We give results which support this possibility assuming part of the conjecture by Beilinson and Soulé on vanishing of $K$-groups of fields.

math.AG↗

Supersingular Tate conjecture for irreducible symplectic varieties of known types: I

We prove that for a supersingular irreducible symplectic variety admitting suitable lifting to characteristic zero has Tate Chow motive if it is of deformation type $K3^{[n]}$, OG6 (with Artin invariant $\neq$ 4), or OG10 (with Artin invariant $\neq$ 12), and has supersingular abelian Chow motive if it is of $\mathrm{Kum}^n$-type (with Artin invariant $\neq$ 3). In particular, any product of those irreducible symplectic varieties satisfies the supersingular Tate conjecture for the whole $\ell$-adic or crystalline cohomology ring.

math.AG↗