-
Greatest common divisors of integral points of numerically equivalent divisors
Authors:
Julie Tzu-Yueh Wang,
Yu Yasufuku
Abstract:
We generalize the G.C.D. results of Corvaja--Zannier and Levin on $\mathbb G_m^n$ to more general settings. More specifically, we analyze the height of a closed subscheme of codimension at least $2$ inside an $n$-dimensional Cohen-Macaulay projective variety, and show that this height is small when evaluated at integral points with respect to a divisor $D$ when $D$ is a sum of $n+1$ effective divi…
▽ More
We generalize the G.C.D. results of Corvaja--Zannier and Levin on $\mathbb G_m^n$ to more general settings. More specifically, we analyze the height of a closed subscheme of codimension at least $2$ inside an $n$-dimensional Cohen-Macaulay projective variety, and show that this height is small when evaluated at integral points with respect to a divisor $D$ when $D$ is a sum of $n+1$ effective divisors which are all numerically equivalent to some multiples of a fixed ample divisor. Our method is inspired by Silverman's G.C.D. estimate as an application of Vojta's conjecture, which is substituted by a more general version of Schmidt's subspace theorem of Ru--Vojta in our proof.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
A large arboreal Galois representation for a cubic postcritically finite polynomial
Authors:
Robert L. Benedetto,
Xander Faber,
Benjamin Hutz,
Jamie Juul,
Yu Yasufuku
Abstract:
We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not conjugate to a power map, Chebyshev polynomial, or Lattès map. The associated Galois action on an infinite ternary rooted tree has Hausdorff dimension bounded stri…
▽ More
We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not conjugate to a power map, Chebyshev polynomial, or Lattès map. The associated Galois action on an infinite ternary rooted tree has Hausdorff dimension bounded strictly between that of the infinite wreath product of cyclic groups and that of the infinite wreath product of symmetric groups. We deduce a zero-density result for prime divisors in an orbit under this polynomial. We also obtain a zero-density result for the set of places of convergence of Newton's method for a certain cubic polynomial, thus resolving the first nontrivial case of a conjecture of Faber and Voloch.
△ Less
Submitted 21 December, 2017; v1 submitted 10 December, 2016;
originally announced December 2016.
-
Integral points and orbits of endomorphisms on the projective plane
Authors:
Aaron Levin,
Yu Yasufuku
Abstract:
We analyze when integral points on the complement of a finite union of curves in $\mathbb{P}^2$ are potentially dense. We divide the analysis of these affine surfaces based on their logarithmic Kodaira dimension $\barκ$. When $\barκ = -\infty$, we completely characterize the potential density of integral points in terms of the number of irreducible components on the surface at infinity and the num…
▽ More
We analyze when integral points on the complement of a finite union of curves in $\mathbb{P}^2$ are potentially dense. We divide the analysis of these affine surfaces based on their logarithmic Kodaira dimension $\barκ$. When $\barκ = -\infty$, we completely characterize the potential density of integral points in terms of the number of irreducible components on the surface at infinity and the number of multiple members in a pencil naturally associated to the surface. When integral points are not potentially dense, we show that they lie on finitely many effectively computable curves. When $\barκ = 0$, we prove that integral points are always potentially dense. The bulk of our analysis concerns the subtle case of $\barκ=1$. We determine the potential density of integral points in a number of cases and develop tools for studying integral points on surfaces fibered over a curve. Finally, nondensity of integral points in the case $\barκ=2$ is predicted by the Lang-Vojta conjecture, to which we have nothing new to add.
In a related direction, we study integral points in orbits under endomorphisms of $\mathbb{P}^2$. Assuming the Lang--Vojta conjecture, we prove that an orbit under an endomorphism $φ$ of $\mathbb{P}^2$ can contain a Zariski-dense set of integral points (with respect to some nontrivial effective divisor) only if there is a nontrivial completely invariant proper Zariski-closed set with respect to $φ$. This may be viewed as a generalization of a result of Silverman on integral points in orbits of rational functions. We provide many specific examples, and end with some open problems.
△ Less
Submitted 4 April, 2016;
originally announced April 2016.
-
Vojta's Conjecture on Multiple Blowups of $\mathbb{P}^2$ and the $abc$ conjecture
Authors:
Yu Yasufuku
Abstract:
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture implies Vojta's conjecture on these surfaces. Moreover, for similar but different rational surfaces, we prove Vojta's conjecture unconditionally. To prove these…
▽ More
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture implies Vojta's conjecture on these surfaces. Moreover, for similar but different rational surfaces, we prove Vojta's conjecture unconditionally. To prove these results, we use some (possibly new) properties of Farey sequences.
△ Less
Submitted 23 January, 2016; v1 submitted 15 January, 2016;
originally announced January 2016.
-
Integral Points and Relative Sizes of Coordinates of Orbits in P^N
Authors:
Yu Yasufuku
Abstract:
We give a generalization to higher dimensions of Silverman's result on finiteness of integer points in orbits. Assuming Vojta's conjecture, we prove a sufficient condition for morphisms on P^N so that (S,D)-integral points in each orbit are Zariski-non-dense. This condition is geometric, and for dimension 1 it corresponds precisely to Silverman's hypothesis that the second iterate of the map is no…
▽ More
We give a generalization to higher dimensions of Silverman's result on finiteness of integer points in orbits. Assuming Vojta's conjecture, we prove a sufficient condition for morphisms on P^N so that (S,D)-integral points in each orbit are Zariski-non-dense. This condition is geometric, and for dimension 1 it corresponds precisely to Silverman's hypothesis that the second iterate of the map is not a polynomial. In fact, we will prove a more precise formulation comparing local heights outside S to the global height. For hyperplanes, this amounts to comparing logarithmic sizes of the coordinates, generalizing Silverman's precise version in dimension 1. We also discuss a variant where we can conclude that integral points in orbits are finite, rather than just Zariski-non-dense. Further, we show unconditional results and examples, using Schmidt's subspace theorem and known cases of Lang--Vojta conjecture. We end with some extensions to the case of rational maps and to the case when the arithmetic of the orbit under one map is controlled by the geometric properties of another. We include many explicit examples to illustrate different behaviors of integral points in orbits in higher dimensions.
△ Less
Submitted 14 January, 2015;
originally announced January 2015.
-
Uniform Boundedness of S-Units in Arithmetic Dynamics
Authors:
Holly Krieger,
Aaron Levin,
Zachary Scherr,
Thomas J. Tucker,
Yu Yasufuku,
Michael Zieve
Abstract:
Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set f(K) contains only finitely many S-units. We conjecture that the number of such S-units is bounded by a function of |S| and d (independently of K and f). We prove…
▽ More
Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set f(K) contains only finitely many S-units. We conjecture that the number of such S-units is bounded by a function of |S| and d (independently of K and f). We prove this conjecture for several classes of rational functions, and show that the full conjecture follows from the Bombieri--Lang conjecture.
△ Less
Submitted 8 June, 2014;
originally announced June 2014.
-
Exponential-polynomial equations and dynamical return sets
Authors:
Thomas Scanlon,
Yu Yasufuku
Abstract:
We show that for each finite sequence of algebraic integers $α_1,...,α_n$ and polynomials $P_1(x_1,...,x_n;y_1,...,y_n),..., P_r(x_1,...,x_n;y_1,...,y_n)$ with algebraic integer coefficients, there are a natural number $N$, $n$ commuting endomorphisms $Φ_i:\Gm^N \to \Gm^N$ of the $N^\text{th}$ Cartesian power of the multiplicative group, a point $P \in \Gm^N(\QQ)$, and an algebraic subgroup…
▽ More
We show that for each finite sequence of algebraic integers $α_1,...,α_n$ and polynomials $P_1(x_1,...,x_n;y_1,...,y_n),..., P_r(x_1,...,x_n;y_1,...,y_n)$ with algebraic integer coefficients, there are a natural number $N$, $n$ commuting endomorphisms $Φ_i:\Gm^N \to \Gm^N$ of the $N^\text{th}$ Cartesian power of the multiplicative group, a point $P \in \Gm^N(\QQ)$, and an algebraic subgroup $G \leq \Gm^N$ so that the return set $\{(\ell_1,...,\ell_n) \in \NN^n : Φ_1^{\circ \ell_1} \circ... \circ Φ_n^{\circ \ell_n}(P) \in G(\QQ) \}$ is identical to the set of solutions to the given exponential-polynomial equation: $\{(\ell_1,...,\ell_n) \in \NN^n : P_1(\ell_1,...,\ell_n;α_1^{\ell_1},...,α_n^{\ell_n}) = ... = P_r(\ell_1,...,\ell_n;α_1^{\ell_1},...,α_n^{\ell_n}) = 0 \}$.
△ Less
Submitted 8 December, 2012;
originally announced December 2012.
-
Explicit Descriptions of Quadratic Maps on $\pp^1$ defined over a field $K$
Authors:
Michelle Manes,
Yu Yasufuku
Abstract:
We describe an explicit parameter space for the set of all quadratic rational maps on $\pp^1$ defined over a field $K$, up to conjugacy over $K$.
We describe an explicit parameter space for the set of all quadratic rational maps on $\pp^1$ defined over a field $K$, up to conjugacy over $K$.
△ Less
Submitted 29 July, 2010; v1 submitted 15 April, 2010;
originally announced April 2010.
