We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Sets of Special Subvarieties of Bounded Degree

Authors: David Urbanik
Abstract: Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$ cohomology it induces. Associated to $\mathbb{V}$ one has the so-called Hodge locus $\textrm{HL}(S) \subset S$, which is a countable union of "special" algebraic subvarieties of $S$ parametrizing those fibres of $\mathbb{V}$ possessing extra Hodge tensors (and so conjecturally, those fibres of $f$ possessing extra algebraic cycles). The special subvarieties belong to a larger class of so-called weakly special subvarieties, which are subvarieties of $S$ maximal for their algebraic monodromy groups. For each positive integer $d$, we give an algorithm to compute the set of all weakly special subvarieties $Z \subset S$ of degree at most $d$ (with the degree taken relative to a choice of projective compactification $S \subset \overline{S}$ and very ample line bundle $\mathcal{L}$ on $\overline{S}$). As a corollary of our algorithm we prove conjectures of Daw-Ren and Daw-Javanpeykar-K\"uhne on the finiteness of sets of special and weakly special subvarieties of bounded degree.
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Cite as: arXiv:2109.07663 [math.AG]
  (or arXiv:2109.07663v1 [math.AG] for this version)

Submission history

From: David Urbanik [view email]
[v1] Thu, 16 Sep 2021 01:49:04 GMT (55kb)

Link back to: arXiv, form interface, contact.