Source author record

Yu Yasufuku

Yu Yasufuku appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.DS math.AG

Catalog footprint

What is connected

7works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2019arXiv

Greatest common divisors of integral points of numerically equivalent divisors

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.

preprint2016arXiv

Integral points and orbits of endomorphisms on the projective plane

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.

preprint2016arXiv

Vojta's Conjecture on Multiple Blowups of $\mathbb{P}^2$ and the $abc$ conjecture

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.

preprint2015arXiv

Integral Points and Relative Sizes of Coordinates of Orbits in P^N

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.

preprint2014arXiv

Uniform Boundedness of S-Units in Arithmetic Dynamics

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.

preprint2012arXiv

Exponential-polynomial equations and dynamical return sets

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

preprint2010arXiv

Explicit Descriptions of Quadratic Maps on $\pp^1$ defined over a field $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$.