Algebraic Cycle Loci at the Integral Level

arXiv2206.11389MaRDI QIDQ6402900FDOQ6402900

Authors: David Urbanik 

Publication date: 22 June 2022

Abstract: Let $f:XoS$ be a smooth projective family defined over $mathcal{O}_K[mathcal{S}^{-1}]$, where $KsubsetmathbbC$ is a number field and $mathcalS$ is a finite set of primes. For each prime $mathfrakpinmathcal{O}_K[mathcal{S}^{-1}]$ with residue field $kappa(mathfrakp)$, we consider the algebraic loci in $S_{overlinekappa(mathfrakp)}$ above which cohomological cycle conjectures predict the existence of non-trivial families of algebraic cycles, generalizing the Hodge loci of the generic fibre $S_{overlineK}$. We develop a technique for studying all such loci, together, at the integral level. As a consequence we give a non-Zariski density criterion for the union of non-trivial ordinary algebraic cycle loci in $S$. The criterion is quite general, depending only on the level of the Hodge flag in a fixed cohomological degree $w$ and the Zariski density of the associated geometric monodromy representation.

This page was built for publication: Algebraic Cycle Loci at the Integral Level

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