Effective Methods for Diophantine Finiteness

Publication date 27 October 2021

Abstract: Let

K s u b s e t m a t h b b C

be a number field, and let

m a t h c a l O_{K, N} = m a t h c a l O_{K} [N^{- 1}]

be its ring of

N

-integers. Recently, Lawrence and Venkatesh proposed a general strategy for proving the Shafarevich conjecture for the fibres of a smooth projective family

f : X o S

defined over

m a t h c a l O_{K, N}

. To carry out their strategy, one needs to be able to decide whether the algebraic monodromy group

m a t h b f H_{Z}

of any positive-dimensional geometrically irreducible subvariety

Z s u b s e t S_{m a t h b b C}

is "large enough", in the sense that a certain orbit of

m a t h b f H_{Z}

in a variety of Hodge flags has dimension bounded from below by a certain quantity. In this article we give an effective method for deciding this question. Combined with the effective methods of Lawrence-Venkatesh for understanding semisimplifications of global Galois representations using

p

-adic Hodge theory, this gives a fully effective strategy for solving Shafarevich-type problems for arbitrary families

f

.

This page was built for publication: Effective Methods for Diophantine Finiteness

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