Searcharxiv⌕ Search

arXiv subjects

Dragos Ghioca

Publications and source records attributed to Dragos Ghioca.

At least 55 records · Page 3Linked to original sources

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$.

math.NT↗

Higher arithmetic degrees of dominant rational self-maps

Suppose that $f \colon X \dashrightarrow X$ is a dominant rational self-map of a smooth projective variety defined over ${\overline{\mathbf Q}}$. Kawaguchi and Silverman conjectured that if $P \in X({\overline{\mathbf Q}})$ is a point with well-defined forward orbit, then the growth rate of the height along the orbit exists, and coincides with the first dynamical degree $λ_1(f)$ of $f$ if the orbit of $P$ is Zariski dense in $X$. In this note, we extend the Kawaguchi-Silverman conjecture to the setting of orbits of higher-dimensional subvarieties of $X$. We begin by defining a set of arithmetic degrees of $f$, independent of the choice of cycle, and we then develop the theory of arithmetic degrees in parallel to existing results for dynamical degrees. We formulate several conjectures governing these higher arithmetic degrees, relating them to dynamical degrees.

math.NT↗

Dynamical Uniform Bounds for Fibers and a Gap Conjecture

We prove a uniform version of the Dynamical Mordell-Lang Conjecture for étale maps; also, we obtain a gap result for the growth rate of heights of points in an orbit along an arbitrary endomorphism of a quasiprojective variety defined over a number field. More precisely, for our first result, we assume $X$ is a quasi-projective variety defined over a field $K$ of characteristic $0$, endowed with the action of an étale endomorphism $Φ$, and $f\colon X\to Y$ is a morphism with $Y$ a quasi-projective variety defined over $K$. Then for any $x\in X(K)$, if for each $y\in Y(K)$, the set $S_y:=\{n\in \mathbb{N}\colon f(Φ^n(x))=y\}$ is finite, then there exists a positive integer $N$ such that $\#S_y\le N$ for each $y\in Y(K)$. For our second result, we let $K$ be a number field, $f:X\dashrightarrow \mathbb{P}^1$ is a rational map, and $Φ$ is an arbitrary endomorphism of $X$. If $\mathcal{O}_Φ(x)$ denotes the forward orbit of $x$ under the action of $Φ$, then either $f(\mathcal{O}_Φ(x))$ is finite, or $\limsup_{n\to\infty} h(f(Φ^n(x)))/\log(n)>0$, where $h(\cdot)$ represents the usual logarithmic Weil height for algebraic points.

math.NT↗

Finite index theorems for iterated Galois groups of unicritical polynomials

Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $β\in \overline{K}$. For all $n\in\mathbb{N}\cup\{\infty\}$, the Galois groups $G_n(β)=\mathop{\rm{Gal}}(K(f^{-n}(β))/K(β))$ embed into $[C_q]^n$, the $n$-fold wreath product of the cyclic group $C_q$. We show that if $f$ is not isotrivial, then $[[C_q]^\infty:G_\infty(β)]<\infty$ unless $β$ is postcritical or periodic. We are also able to prove that if $f_1(x)=x^q+c_1$ and $f_2(x)=x^q+c_2$ are two such distinct polynomials, then the fields $\bigcup_{n=1}^\infty K(f_1^{-n}(β))$ and $\bigcup_{n=1}^\infty K(f_2^{-n}(β))$ are disjoint over a finite extension of $K$.

math.NT↗

Periodic subvarieties of semiabelian varieties and annihilators of irreducible representations

Let $G$ be a semiabelian variety defined over a field of characteristic $0$, endowed with an endomorphism $Φ$. We prove there is no proper subvariety $Y\subset G$ which intersects the orbit of each periodic point of $G$ under the action of $Φ$. As an application, we are able to give a topological characterization of the annihilator ideals of irreducible representations in certain skew polynomial algebras.

math.RA↗

The Dynamical Mordell-Lang Conjecture for skew-linear self-maps

Let k be an algebraically closed field of characteristic 0, let X=P^1\times A^N and let f be a rational endomorphism of X given by (x,y)--->(g(x), A(x)y), where g is a rational function, while A is an N-by-N matrix with entries in k(x). We prove that if g is of the form x--->ax+b, then each irreducible curve C of X which intersects some orbit of f in infinitely many points must be periodic under the action of f. In the case g is an endomorphism of degree greater than 1, then we prove that each irreducible subvariety Y of X intersecting an orbit of f in a Zariski dense set of points must be periodic as well. Our results provide the desired conclusion in the Dynamical Mordell-Lang Conjecture in a couple new instances. Also, our results have interesting consequences towards a conjecture of Rubel and towards a generalized Skolem-Mahler-Lech problem proposed by Wibmer in the context of difference equations. In the appendix it is shown that the results can also be used to construct Picard-Vessiot extensions in the ring of sequences.

math.NT↗

Density of orbits of endomorphisms of commutative linear algebraic groups

We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $Φ\colon G\longrightarrow G$ is a dominant endomorphism, we prove that one of the following holds: either there exists a non-constant rational function $f\in \mathbb{k}(G)$ preserved by $Φ$ (i.e., $f\circ Φ= f$), or there exists a point $x\in G(\mathbb{k})$ whose $Φ$-orbit is Zariski dense in $G$.

math.NT↗

Algebraic dynamics of skew-linear self-maps

Let $X$ be a variety defined over an algebraically closed field $k$ of characteristic $0$, let $N\in\mathbb{N}$, let $g:X\dashrightarrow X$ be a dominant rational self-map, and let $A:\mathbb{A}^N\to \mathbb{A}^N$ be a linear transformation defined over $k(X)$, i.e., for a Zariski open dense subset $U\subset X$, we have that for $x\in U(k)$, the specialization $A(x)$ is an $N$-by-$N$ matrix with entries in $k$. We let $f:X\times\mathbb{A}^N\dashrightarrow X\times \mathbb{A}^N$ be the rational endomorphism given by $(x,y)\mapsto (g(x), A(x)y)$. We prove that if the determinant of $A$ is nonzero and if there exists $x\in X(k)$ such that its orbit $\mathcal{O}_g(x)$ is Zariski dense in $X$, then either there exists a point $z\in (X\times \mathbb{A}^N)(k)$ such that its orbit $\mathcal{O}_f(z)$ is Zariski dense in $X\times \mathbb{A}^N$ or there exists a nonconstant rational function $ψ\in k(X\times \mathbb{A}^N)$ such that $ψ\circ f=ψ$. Our result provides additional evidence to a conjecture of Medvedev and Scanlon.

math.AG↗

The Dynamical Mordell-Lang Conjecture for endomorphisms of semiabelian varieties defined over fields of positive characteristic

Let K be an algebraically closed field of prime characteristic p, let X be a semiabelian variety defined over a finite subfield of K, let f be a regular self-map on X defined over K, let V be a subvariety of X defined over K, and let x be a K-point of X. The Dynamical Mordell-Lang Conjecture in characteristic p predicts that the set S consisting of all positive integers n for which f^n(x) lies on V is a union of finitely many arithmetic progressions, along with finitely many p-sets, which are sets consisting of all integers of the form c_1 p^{k_1 n_1} + ... + c_m p^{k_m n_m} (as we vary n_1,..,n_m among all positive integers), for some given positive integer m, some rational numbers c_i and some non-negative integers k_i. We prove that this conjecture is equivalent with some difficult Diophantine problem in characteristic 0. In the case X is an algebraic torus, we can prove the conjecture in two cases: either when the dimension of V is at most 2, or when no iterate of f is a group endomorphism which induces the action of a power of the Frobenius on a positive dimensional algebraic subgroup of X.

math.NT↗

Bounding periods of subvarieties of (P^1)^n

Using methods of p-adic analysis, along with the powerful result of Medvedev-Scanlon (Annals of Mathematics, 2014) for the classification of periodic subvarieties of (P^1)^n, we bound the length of the orbit of a periodic subvariety Y of (P^1)^n under the action of a dominant endomorphism.

math.NT↗

Density of orbits of dominant regular self-maps of semiabelian varieties

We prove a conjecture of Medvedev and Scanlon in the case of regular morphisms of semiabelian varieties. That is, if $G$ is a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$, and $φ\colon G\to G$ is a dominant regular self-map of $G$ which is not necessarily a group homomorphism, we prove that one of the following holds: either there exists a non-constant rational fibration preserved by $φ$, or there exists a point $x\in G(K)$ whose $φ$-orbit is Zariski dense in $G$.

math.NT↗

Rationality of dynamical canonical height

We present a dynamical proof of the well-known fact that the Neron-Tate canonical height (and its local counterpart) takes rational values at points of an elliptic curve over a function field k of transcendence degree 1 over an algebraically closed field K of characteristic 0. More generally, we investigate the mechanism for which the local canonical height for a rational function f defined over k can take irrational values (at points in a local completion of k), providing examples in all degrees greater than 1. Building on Kiwi's classification of non-archimedean Julia sets for quadratic maps, we give a complete answer in degree 2 characterizing the existence of points with irrational local canonical heights. As an application of our results, we prove that if the canonical heights of two points a and b under the action of two rational functions f and g (defined over k) are positive rational numbers, and if the degrees of f and g are multiplicatively independent, then the orbit of a under f intersects the orbit of b under g in at most finitely many points, complementing the results of Ghioca-Tucker-Zieve.

math.DS↗

Bounded height in families of dynamical systems

Let a and b be algebraic numbers such that exactly one of a and b is an algebraic integer, and let f_t(z):=z^2+t be a family of polynomials parametrized by t. We prove that the set of all algebraic numbers t for which there exist positive integers m and n such that f_t^m(a)=f_t^n(b) has bounded Weil height. This is a special case of a more general result supporting a new bounded height conjecture in dynamics. Our results fit into the general setting of the principle of unlikely intersections in arithmetic dynamics.

math.NT↗

A variant of a theorem by Ailon-Rudnick for elliptic curves

Given a smooth projective curve C defined over a number field and given two elliptic surfaces E_1/C and E_2/C along with sections P_i and Q_i of E_i (for i = 1,2), we prove that if there exist infinitely many algebraic points t on C such that for some integers m_{1,t} and m_{2,t}, we have that [m_{i,t}](P_i)_t = (Q_i)_t on E_i (for i = 1,2), then at least one of the following conclusions must hold: either (i) there exists an isogeny f between E_1 and E_2 and also there exists a nontrivial endomorphism g of E_2 such that f(P_1) = g(P_2); or (ii) Q_i is a multiple of P_i for some i = 1,2. A special case of our result answers a conjecture made by Silverman.

math.NT↗

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$.

math.DS↗

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$.

math.AG↗

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.

math.NT↗