Dragos Ghioca

A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one

We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$ , endowed with a birational self-map $ϕ$ of dynamical degree $1$ , we expect that either there exists a non-constant rational function $f:X\dashrightarrow \mathbb{P}^1$ such that $f\circ ϕ=f$ , or there exists a proper subvariety $Y\subset X$ with the property that for any invariant proper subvariety $Z\subset X$ , we have that $Z\subseteq Y$ . We prove our conjecture for automorphisms $ϕ$ of dynamical degree $1$ of semiabelian varieties $X$ . Also, we prove a related result for regular dominant self-maps $ϕ$ of semiabelian varieties $X$ : assuming $ϕ$ does not preserve a non-constant rational function, we have that the dynamical degree of $ϕ$ is larger than $1$ if and only if the union of all $ϕ$ -invariant proper subvarieties of $X$ is Zariski dense. We give applications of our results to representation theoretic questions about twisted homogeneous coordinate rings associated to abelian varieties.

A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic

We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated subgroup of the multiplicative group of $K$ , and let $X$ be a (irreducible) quasiprojective variety defined over $K$ . We consider $K$ -valued sequences of the form $a_n:=f(φ^n(x_0))$ , where $φ\colon X\rightarrow X$ and $f\colon X\rightarrow\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $φ$ and $f$ . We show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of upper Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and the $φ$ orbit of $x$ is Zariski dense in $X$ then {there is} a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$ . We then describe various applications of our results.

Rational self-maps with a regular iterate on a semiabelian variety

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$ . Let $Φ\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $Φ^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $τ: G\to G_0$ of semiabelian varieties such that $τ\circ Φ^{m k}=τ$ for some $k \geqslant 1$ . We show that under these assumptions $Φ$ itself must be a regular. We also prove a variant of this assertion in prime characteristic and present examples showing that our results are sharp.

Smoothness in pencils of hypersurfaces over finite fields

We study pencils of hypersurfaces over finite fields $\mathbb{F}_q$ such that each of the $q+1$ members defined over $\mathbb{F}_q$ is smooth.

Zariski dense orbits for endomorphisms of a power of the additive group scheme defined over finite fields

We prove the Zariski dense orbit conjecture in positive characteristic for endomorphisms of $\mathbb{G}_a^N$ defined over $\overline{\mathbb{F}_p}$ .

preprint2021arXiv

On sparsity of representations of polynomials as linear combinations of exponential functions

Given an integer $g$ and also some given integers $m$ (sufficiently large) and $c_1,\dots, c_m$ , we show that the number of all non-negative integers $n\le M$ with the property that there exist non-negative integers $k_1,\dots, k_m$ such that $n^2=\sum_{i=1}^m c_i g^{k_i}$ is $o\left(\left(\log M \right)^{m-1/2}\right)$ . We also obtain a similar bound when dealing with more general inequalities $\left|Q(n)-\sum_{i=1}^m c_iλ^{k_i}\right|\le B,$ where $Q\in {\mathbb C}[X]$ and also $λ\in {\mathbb C}$ (while $B$ is a real number).

preprint2021arXiv

Order of torsion for reduction of linearly independent points for a family of Drinfeld modules

Let $q$ be a power of the prime number $p$ , let $K={\mathbb F}_q(t)$ , and let $r\ge 2$ be an integer. For points ${\mathbf a}, {\mathbf b}\in K$ which are $\mathbb{F}_q$ -linearly independent, we show that there exist positive constants $N_0$ and $c_0$ such that for each integer $\ell\ge N_0$ and for each generator $τ$ of ${\mathbb F}_{q^\ell}/{\mathbb F}_q$ , we have that for all except $N_0$ values $λ\in{\overline{\mathbb{F}_q}}$ , the corresponding specializations ${\mathbf a}, {\mathbf b}(τ)$ and ${\mathbf b}(τ)$ cannot have orders of degrees less than $c_0\log\log\ell$ as torsion points for the Drinfeld module $Φ^{(τ,λ)}:\mathbb{F}_q[T] {\longrightarrow} {\mathrm{End}}_{\overline{\mathbb{F}_q}}({\mathbb G}_a)$ (where ${\mathbb G}_a$ is the additive group scheme), given by $Φ^{(τ,λ)}_T(x)=τx+λx^q + x^{q^r}$ .

preprint2019arXiv

A variant of the Mordell-Lang conjecture

The Mordell-Lang conjecture (proven by Faltings, Vojta and McQuillan) states that the intersection of a subvariety $V$ of a semiabelian variety $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$ with a finite rank subgroup $Γ\le G(\mathbb{k})$ is a finite union of cosets of subgroups of $Γ$ . We explore a variant of this conjecture when $G$ is a product of an abelian variety $A$ defined over $\mathbb{k}$ with the additive group $\mathbb{G}_a$ .

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$ . Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$ . The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$ ) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$ . Our results are most complete in dimension $3$ .

Simultaneously preperiodic points for families of polynomials in normal form

Let $d>m>1$ be integers, let $c_1,\dots, c_{m+1}$ be distinct complex numbers, and let $\mathbf{f}(z):=z^d+t_1z^{m-1}+t_2z^{m-2}+\cdots + t_{m-1}z+t_m$ be an $m$ -parameter family of polynomials. We prove that the set of $m$ -tuples of parameters $(t_1,\dots, t_m)\in\mathbb{C}^m$ with the property that each $c_i$ (for $i=1,\dots, m+1$ ) is preperiodic under the action of the corresponding polynomial $\mathbf{f}(z)$ is contained in finitely many hypersurfaces of the parameter space $\mathbb{A}^m$ .

Squarefree Doubly Primitive Divisors in Dynamical Sequences

Let K be a number field or a function field of characteristic 0, let f be a K-rational function of degree greater than 1, and let a be an element of K. Let S be a finite set of places of K containing all the archimedean ones and the primes where f has bad reduction. After excluding all the natural counter-examples, we define a subset A(f,a) of pairs of integers (m,n) with m nonnegative and n positive, and show that for all but finitely many (m,n) in A(f,a) there is a prime p of K which is not in S such that the p-adic valuation of f^{m+n}(a)-f^m(a) is precisely equal to 1, and moreover a has portrait (m,n) under the action of f modulo p. This latter condition implies that the p-adic valuation of f^{u+v}(a)-f^u(a) is not positive if u is a nonnegative integer and v is a positive integer with u<m or v<n. Our proof assumes a conjecture of Vojta in the number field case and is unconditional in the function field case thanks to a deep theorem of Yamanoi. This paper extends earlier work of Ingram-Silverman, Faber-Granville, and of the authors.

The Dynamical Andre-Oort Conjecture for cubic polynomials

In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of degree d polynomials, the subvarieties containing a Zariski-dense set of special points are exactly these special subvarieties. In this article, we prove the first non-trivial case for this conjecture: the case of cubic polynomials.

The Dynamical Manin-Mumford Conjecture and the Dynamical Bogomolov Conjecture for split rational maps

We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorhisms of P^1\times P^1 defined over the complex numbers.

The dynamical Mordell-Lang conjecture in positive characteristic

Let K be an algebraically closed field of prime characteristic p, let N be a positive integer, let f be a self-map on the algebraic torus T=G_m^N defined over K, let V be a curve in T defined over K, and let x be a K-point of T. We show that the set S consisting of all positive integers n for which f^n(x) is contained in V is a union of finitely many arithmetic progressions, along with a finite set and with finitely many p-arithmetic sequences, which are sets of the form {b + ap^{kn}: n is a positive integer} where a and b are given rational numbers and k is a positive integer. We also prove that our result is sharp in the sense that S may be infinite without containing an arithmetic progression. Our result addresses a positive characteristic version of the dynamical Mordell-Lang conjecture and it is the first known instance when a structure theorem is proven for the set S which includes p-arithmetic sequences.

The orbit intersection problem for linear spaces and semiabelian varieties

Let f_1 and f_2 be affine maps of the N-th dimensional affine space over the complex numbers, i.e., f_i(x):=A_i x + y_i (where each A_i is an N-by-N matrix and y_i is a given vector), and let x_1 and x_2 be vectors such that x_i is not preperiodic under the action of f_i for i=1,2. If none of the eigenvalues of the matrices A_i is a root of unity, then we prove that the set of pairs (n_1,n_2) of non-negative integers such that f_1^{n_1}(x_1)=f_2^{n_2}(x_2) is a finite union of sets of the form (m_1k + \ell_1, m_2k + \ell_2) where m_1, m_2, \ell_1, \ell_2 are given non-negative integers, and k is varying among all non-negative integers. Using this result, we prove that for any two self-maps Φ_i(x) := Φ_{i,0}(x)+y_i on a semiabelian variety X defined over the complex numbers (where Φ_{i,0} is an endomorphism of X and y_i is a given point of X), if none of the eigenvalues of the induced linear action DΦ_{i,0} on the tangent space at the identity 0 of X is a root of unity (for i=1,2), then for any two non-preperiodic points x_1,x_2, the set of pairs (n_1,n_2) of non-negative integers such that Φ_1^{n_1}(x_1) = Φ_2^{n_2}(x_2) is a finite union of sets of the form (m_1k + \ell_1, m_2k + \ell_2) where m_1,m_2,\ell_1,\ell_2 are given non-negative integers, and k is varying among all non-negative integers. We give examples to show that the above condition on eigenvalues is necessary and introduce certain geometric properties that imply such a condition. Our method involves an analysis of certain systems of polynomial-exponential equations and the p-adic exponential map for semiabelian varieties.

preprint2015arXiv

Dynamics of split polynomial maps: uniform bounds for periods and applications

Let K be an algebraically closed field of characteristic 0. Following Medvedev-Scanlon, a polynomial of degree d > 1 is said to be disintegrated if neither f nor -f is linearly conjugate to x^d or T_d(x) where T_d is the Chebyshev polynomial of degree d. Let m and n be integers greater than 1, we prove that there exists an effectively computable constant c(m,n) depending only on m and n such that the following holds. Let f_1,...,f_n be polynomials with coefficients in K, which are disintegrated polynomials of degree at most m and let F be the induced coordinate-wise self-map of the n-th dimensional affine space, i.e. F(x_1,..,x_n)=(f_1(x_1),...,f_n(x_n)). Then the period of every irreducible F-periodic subvariety of the n-th dimensional affine space with non-constant projection to each coordinate axis is at most c(m,n). As an immediate application, we prove an instance of the dynamical Mordell-Lang problem following recent work of Xie. The main technical ingredients are Medvedev-Scanlon classification of invariant subvarieties together with classical and more recent results in Ritt's theory of polynomial decomposition.

preprint2015arXiv

Unlikely Intersection For Two-Parameter Families of Polynomials

Let $c_1, c_2, c_3$ be distinct complex numbers, and let $d\ge 3$ be an integer. We show that the set of all pairs $(a,b)\in \mathbb{C}\times \mathbb{C}$ such that each $c_i$ is preperiodic for the action of the polynomial $x^d+ax+b$ is not Zariski dense in the affine plane.

A case of the Dynamical Andre-Oort Conjecture

We prove a special case of the Dynamical Andre-Oort Conjecture formulated by Baker and DeMarco. For any integer d>1, we show that for a rational plane curve C parametrized by (t, h(t)) for some non-constant polynomial h with complex coefficients, if there exist infinitely many points (a,b) on the curve C such that both z^d+a and z^d+b are postcritically finite maps, then h(z)=uz for a (d-1)-st root of unity u. As a by-product of our proof, we show that the Mandelbrot set is not the filled Julia set of any polynomial with complex coefficients.

Density of orbits of endomorphisms of abelian varieties

Let $A$ be an abelian variety defined over $\bar{\mathbb{Q}}$ , and let $φ$ be a dominant endomorphism of $A$ as an algebraic variety. We prove that either there exists a non-constant rational fibration preserved by $φ$ , or there exists a point $x\in A(\bar{\mathbb{Q}})$ whose $φ$ -orbit is Zariski dense in $A$ . This provides a positive answer for abelian varieties of a question raised by Medvedev and the second author ("nvariant varieties for polynomial dynamical systems", Ann. of Math. (2) 179 (2014), no. 1, 81-177). We prove also a stronger statement of this result in which $φ$ is replaced by any commutative finitely generated monoid of dominant endomorphisms of $A$ .

On a dynamical version of a theorem of Rosenlicht

Consider the action of an algebraic group $G$ on an irreducible algebraic variety $X$ all defined over a field $k$ . M. Rosenlicht showed that orbits in general position in $X$ can be separated by rational invariants. We prove a dynamical analogue of this theorem, where $G$ is replaced by a semigroup of dominant rational self-maps of $X$ . Our semigroup $G$ is not required to have the structure of an algebraic variety and can be of arbitrary cardinality.

Portraits of preperiodic points for rational maps

Let $K$ be a function field over an algebraically closed field $k$ of characteristic $0$ , let $φ\in K(z)$ be a rational function of degree at least equal to $2$ for which there is no point at which $φ$ is totally ramified, and let $α\in K$ . We show that for all but finitely many pairs $(m,n)\in \mathbb{Z}_{\ge 0}\times \mathbb{N}$ there exists a place $\mathfrak{p}$ of $K$ such that the point $α$ has preperiod $m$ and minimum period $n$ under the action of $φ$ . This answers a conjecture made by Ingram-Silverman and Faber-Granville. We prove a similar result, under suitable modification, also when $φ$ has points where it is totally ramified. We give several applications of our result, such as showing that for any tuple $(c_1,\dots , c_{d-1})\in k^{n-1}$ and for almost all pairs $(m_i,n_i)\in \mathbb{Z}_{\ge 0}\times \mathbb{N}$ for $i=1,\dots, d-1$ , there exists a polynomial $f\in k[z]$ of degree $d$ in normal form such that for each $i=1,\dots, d-1$ , the point $c_i$ has preperiod $m_i$ and minimum period $n_i$ under the action of $f$ .

The Dynamical Mordell-Lang problem

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most finitely many arithmetic progressions along with a set of Banach density zero. In particular, we obtain that given any quasi-projective variety X, any rational self-map map f on X, any subvariety Y of X, and any point x in X whose orbit under f is in the domain of definition for f, the set S is a finite union of arithmetic progressions together with a set of Banach density zero. We prove a similar result for the backward orbit of a point.

A Bogomolov type statement for function fields

Let k be a an algebraically closed field of arbitrary characteristic, and we let h be the usual Weil height for the n-dimensional affine space corresponding to the function field k(t) (extended to its algebraic closure). We prove that for any affine variety V defined over the algebraic closure of k(t), there exists a positive real number c such that if P is an algebraic point of V and h(P)< c, then P has its coordinates in k.

Applications of p-adic analysis for bounding periods of subvarieties under etale maps

Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.

Integral points for Drinfeld modules

We prove that in the backward orbit of a non-preperiodic point under the action of a Drinfeld module of generic characteristic there exist at most finitely many points S-integral with respect to another nonpreperiodic point. This provides the answer (in positive characteristic) to a question raised by Sookdeo. We also prove that for each nontorsion point z, there exist at most finitely many torsion points which are S-integral with respect to z. This proves a question raised by Tucker and the author, and it gives the analogue of Ih's conjecture for Drinfeld modules.

The Mordell-Lang Question for Endomorphisms of Semiabelian Varieties

The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of images of the origin under a finitely generated semigroup of translations. We study the analogous question in which the translations are replaced by algebraic group endomorphisms (and the origin is replaced by another point). We show that the conclusion of the Mordell-Lang conjecture remains true in this setting if either (1) the semiabelian variety is simple, (2) the semiabelian variety is $A^2$ , where $A$ is a one-dimensional semiabelian variety, (3) the subvariety is a connected one-dimensional algebraic subgroup, or (4) each endomorphism has diagonalizable Jacobian at the origin. We also give examples showing that the conclusion fails if we make slight modifications to any of these hypotheses.