The size of semigroup orbits modulo primes

Abstract: Let

V

be a projective variety defined over a number field

K

, let

S

be a polarized set of endomorphisms of

V

all defined over

K

, and let

P i n V (K)

. For each prime

m a t h f r a k p

of

K

, let

m_{m a t h f r a k p} (S, P)

denote the number of points in the orbit of

for the semigroup of maps generated by

S

. Under suitable hypotheses on

S

and

P

, we prove an analytic estimate for

m_{m a t h f r a k p} (S, P)

and use it to show that the set of primes for which

m_{m a t h f r a k p} (S, P)

grows subexponentially as a function of

o p e r a t o r n a m e {m a t h s f N}_{K / m a t h b b Q} m a t h f r a k p

is a set of density zero. For

V = m a t h b b P^{1}

we show that this holds for a generic set of maps

S

provided that at least two of the maps in

S

have degree at least four.

Cites Work

This page was built for publication: The size of semigroup orbits modulo primes