Families of disjoint divisors on varieties

DOI10.1007/S40879-016-0109-1MaRDI QIDQ524915zbMATH OpenOpenAlexFDO

Authors Alena Pirutka, Aaron Michael Silberstein, Fedor Bogomolov

Publication date 27 April 2017

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.05534

zbMATH Keywords

Chow groupdisjoint divisorsHodge index theoremregular functions

Mathematics Subject Classification ID

Parametrization (Chow and Hilbert schemes) (14C05) Algebraic cycles (14C25) Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05)

Abstract: Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove that $h{o}_w(X)+1$ pairwise-disjoint, connected divisors suffices for proper, normal varieties $X$, where $h{o}_w(X)$ is a modification of the N'eron-Severi rank of $X$ (they agree when $X$ is projective and smooth). We then prove a strong counterexample in the affine case: if $X$ is quasi-affine and of dimension $geq2$ over a countable, algebraically-closed field $k$, then there exists a (countable) collection of pairwise-disjoint divisors which cover the $k$-points of X, so that for any non-constant morphism from $X$ to a curve, at most finitely many are contained in the fibers thereof. We show, however, that an uncountable collection of pairwise-disjoint, connected divisors in any normal variety over an algebraically-closed field must be contained in the fibers of a morphism to a curve.

Review text

Let \(X\) be a normal, proper, integral variety defined over an algebraically closed field. The Weil divisor rank \(\rho_w(X)\) of \(X\) is defined to be the minimum dimension of the \(\mathbb{Q}\)-vector space \(B^1(\tilde{X})=(\text{CH}^1(\tilde{X})/\text{CH}^1(\tilde{X})_{\text{hom}})\otimes\mathbb{Q}\) over all projective, normal modifications \(\pi:\tilde{X}\rightarrow X\) of \(X\). Let \(\{D_i\}_{i\in I}\) be a collection of pairwise-disjoint, reduced, codimension-one, connected subvarieties of \(X\) such that \(\sharp I\geq\rho_w(X)+1\). The main result of this paper shows that there is a smooth, projective curve and a surjective morphism \(f:X\rightarrow C\) with connected fibers such that for any \(i\in I\), the divisor \(D_i\) is contained in a fiber of \(f\). Furthermore, there is a set \(\Sigma\subset I\) so that \(\sharp I\setminus\Sigma\leq\rho_w(X)-2\) and for each \(i\in\Sigma\), \(D_i\) is equal to a fiber of \(f\). On the other hand the authors prove a strong counterexample in the affine case: if \(X\) is a quasi-affine variety over a countable, algebraically-closed field \(k\), then there is a countable family \(\{D_i\}_{i\in I}\) of pairwise-disjoint divisors which cover the \(k\)-points of \(X\), so that for any non-constant morphism from \(X\) to a curve, at most finitely many are contained in the fibers thereof.

Recommendations

• On covering and quasi-unsplit families of curves
• Families of affine planes: the existence of a cylinder.
• Varieties of Picard rank one as components of ample divisors
• Families of reducible algebraic varieties
• scientific article; zbMATH DE number 3889704

Cites work

• Algebraization of formal moduli. II: Existence of modifications
• Cohomologie étale. Seminaire de géométrie algébrique du Bois-Marie SGA 4 1/2 par P. Deligne, avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier
• Degenerate fibres and stable reduction of curves
• Fibrations, divisors and transcendental leaves
• scientific article; zbMATH DE number 2128361 (Why is no real title available?)
• scientific article; zbMATH DE number 3859276 (Why is no real title available?)
• scientific article; zbMATH DE number 1941572 (Why is no real title available?)
• The Hyperplane Sections of Normal Varieties
• The topology of smooth divisors and the arithmetic of abelian varieties.

Cited in

(1)

• An integral version of Zariski decompositions on normal surfaces

This page was built for publication: Families of disjoint divisors on varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q524915)