Searcharxiv⌕ Search

arXiv subjects

Gal Binyamini

Publications and source records attributed to Gal Binyamini.

At least 37 records · Page 2Linked to original sources
arXiv2021

Some effective estimates for André-Oort in $Y(1)^n$

Let $X\subset Y(1)^n$ be a subvariety defined over a number field $\mathbb F$ and let $(P_1,\ldots,P_n)\in X$ be a special point not contained in a positive-dimensional special subvariety of $X$. We show that the if a coordinate $P_i$ corresponds to an order not contained in a single exceptional Siegel-Tatuzawa imaginary quadratic field $K_*$ then the associated discriminant $|Δ(P_i)|$ is bounded by an effective constant depending only on $\operatorname{deg} X$ and $[{\mathbb F}:{\mathbb Q}]$. We derive analogous effective results for the positive-dimensional maximal special subvarieties. From the main theorem we deduce various effective results of André-Oort type. In particular we define a genericity condition on the leading homogeneous part of a polynomial, and give a fully effective André-Oort statement for hypersurfaces defined by polynomials satisfying this condition.

math.AG↗
arXiv2021

Effective computations for weakly optimal subvarieties

Ren and the second author established that the weakly optimal subvarieties (e.g. maximal weakly special subvarieties) of a subvariety $V$ of a Shimura variety arise in finitely many families. In this article, we refine this theorem by (1) constructing a finite collection of algebraic families whose fibers are precisely the weakly optimal subvarieties of $V$; (2) obtaining effective degree bounds on the weakly optimal locus and its individual members; (3) describing an effective procedure to determine the weakly optimal locus.

math.AG↗
arXiv2021

Effective André-Oort for non-compact curves in Hilbert modular varieties

In the proofs of most cases of the André-Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer-Siegel and the use of Pila-Wilkie. Only the case of curves in ${\bf C}^2$ is currently known effectively (by other methods). We give an effective proof of André-Oort for non-compact curves in every Hilbert modular surface and every Hilbert modular variety of odd genus (under a minor generic simplicity condition). In particular we show that in these cases the first step may be replaced by the endomorphism estimates of Wüstholz and the second author together with the specialization method of André via G-functions, and the second step may be effectivized using the Q-functions of Novikov, Yakovenko and the first author.

math.NT↗
arXiv2020

Effective cylindrical cell decompositions for restricted sub-Pfaffian sets

The o-minimal structure generated by the restricted Pfaffian functions, known as restricted sub-Pfaffian sets, admits a natural measure of complexity in terms of a format $\mathcal{F}$, recording information like the number of variables and quantifiers involved in the definition of the set, and a degree $D$ recording the degrees of the equations involved. Khovanskii and later Gabrielov and Vorobjov have established many effective estimates for the geometric complexity of sub-Pfaffian sets in terms of these parameters. It is often important in applications that these estimates are polynomial in $D$. Despite much research done in this area, it is still not known whether cell decomposition, the foundational operation of o-minimal geometry, preserves polynomial dependence on $D$. We slightly modify the usual notions of format and degree and prove that with these revised notions this does in fact hold. As one consequence we also obtain the first polynomial (in $D$) upper bounds for the sum of Betti numbers of sets defined using quantified formulas in the restricted sub-Pfaffian structure.

math.LO↗
arXiv2020

The Yomdin-Gromov algebraic lemma revisited

In 1987, Yomdin proved a lemma on smooth parametrizations of semialgebraic sets as part of his solution of Shub's entropy conjecture for $C^\infty$ maps. The statement was further refined by Gromov, producing what is now known as the Yomdin-Gromov algebraic lemma. Several complete proofs based on Gromov's sketch have appeared in the literature, but these have been considerably more complicated than Gromov's original presentation due to some technical issues. In this note we give a proof that closely follows Gromov's original presentation. We prove a somewhat stronger statement, where the parameterizing maps are guaranteed to be \emph{cellular}. It turns out that this additional restriction, along with some elementary lemmas on differentiable functions in o-minimal structures, allows the induction to be carried out without technical difficulties.

math.AG↗
arXiv2020

Point counting for foliations over number fields

We consider an algebraic variety and its foliation, both defined over a number field. We prove upper bounds for the geometric complexity of the intersection between a leaf of the foliation and a subvariety of complementary dimension (also defined over a number field). Our bounds depend polynomially on the degrees, logarithmic heights, and the logarithmic distance to a certain \emph{locus of unlikely intersections}. Under suitable conditions on the foliation, we show that this implies a bound, polynomial in the degree and height, for the number of algebraic points on transcendental sets defined using such foliations. We deduce several results in Diophantine geometry. i) Following Masser-Zannier, we prove that given a pair of sections $P,Q$ of a non-isotrivial family of squares of elliptic curves that do not satisfy a constant relation, whenever $P,Q$ are simultaneously torsion their order of torsion is bounded effectively by a polynomial in the degrees and log-heights of the sections $P,Q$. In particular the set of such simultaneous torsion points is effectively computable in polynomial time. ii) Following Pila, we prove that given $V\subset\mathbb{C}^n$ there is an (ineffective) upper bound, polynomial in the degree and log-height of V, for the degrees and discriminants of maximal special subvarieties. In particular it follows that André-Oort for powers of the modular curve is decidable in polynomial time (by an algorithm depending on a universal, ineffective Siegel constant). iii) Following Schmidt, we show that our counting result implies a Galois-orbit lower bound for torsion points on elliptic curves of the type previously obtained using transcendence methods by David.

math.AG↗
arXiv2019

Complex Cellular Structures

We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $δ\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension $\mathcal{C}\subset\mathcal{C}^δ$, which is again a complex cell. The hyperbolic geometry of $\mathcal{C}$ within $\mathcal{C}^δ$ provides the class of complex cells with a rich geometric function theory absent in the real case. We use this to prove a complex analog of the cellular decomposition theorem of real tame geometry. In the algebraic case we show that the complexity of such decompositions depends polynomially on the degrees of the equations involved. Using this theory, we refine the Yomdin-Gromov algebraic lemma on $C^r$-smooth parametrizations of semialgebraic sets: we show that the number of $C^r$ charts can be taken to be polynomial in the smoothness order $r$ and in the complexity of the set. The algebraic lemma was initially invented in the work of Yomdin and Gromov to produce estimates for the topological entropy of $C^\infty$ maps. For analytic maps our refined version, combined with work of Burguet, Liao and Yang, establishes an optimal refinement of these estimates in the form of tight bounds on the tail entropy and volume growth. This settles a conjecture of Yomdin who proved the same result in dimension two in 1991. A self-contained proof of these estimates using the refined algebraic lemma is given in an appendix by Yomdin. The algebraic lemma has more recently been used in the study of rational points on algebraic and transcendental varieties. We use the theory of complex cells in these two directions. In the algebraic context we refine a result of Heath-Brown on interpolating rational points in algebraic varieties. In the transcendental context we prove an interpolation result for (unrestricted) logarithmic images of subanalytic sets.

math.CV↗
arXiv2017

Zero counting and invariant sets of differential equations

Consider a polynomial vector field $ξ$ in $\mathbb{C}^n$ with algebraic coefficients, and $K$ a compact piece of a trajectory. Let $N(K,d)$ denote the maximal number of isolated intersections between $K$ and an algebraic hypersurface of degree $d$. We introduce a condition on $ξ$ called \emph{constructible orbits} and show that under this condition $N(K,d)$ grows polynomially with $d$. We establish the constructible orbits condition for linear differential equations over $\mathbb{C}(t)$, for planar polynomial differential equations and for some differential equations related to the automorphic $j$-function. As an application of the main result we prove a polylogarithmic upper bound for the number of rational points of a given height in planar projections of $K$ following works of Bombieri-Pila and Masser.

math.CA↗
arXiv2017

Density of algebraic points on Noetherian varieties

Let $Ω\subset{\mathbb R}^n$ be a relatively compact domain. A finite collection of real-valued functions on $Ω$ is called a \emph{Noetherian chain} if the partial derivatives of each function are expressible as polynomials in the functions. A \emph{Noetherian function} is a polynomial combination of elements of a Noetherian chain. We introduce \emph{Noetherian parameters} (degrees, size of the coefficients) which measure the complexity of a Noetherian chain. Our main result is an explicit form of the Pila-Wilkie theorem for sets defined using Noetherian equalities and inequalities: for any $ε>0$, the number of points of height $H$ in the transcendental part of the set is at most $C\cdot H^ε$ where $C$ can be \emph{explicitly} estimated from the Noetherian parameters and $ε$. We show that many functions of interest in arithmetic geometry fall within the Noetherian class, including elliptic and abelian functions, modular functions and universal covers of compact Riemann surfaces, Jacobi theta functions, periods of algebraic integrals, and the uniformizing map of the Siegel modular variety $\mathcal{A}_g$. We thus effectivize the (geometric side of) Pila-Zannier strategy for unlikely intersections in those instances that involve only compact domains.

math.NT↗
arXiv2016

Wilkie's conjecture for restricted elementary functions

We consider the structure ${\mathbb R}^{\mathrm{RE}}$ obtained from $({\mathbb R},<,+,\cdot)$ by adjoining the restricted exponential and sine functions. We prove Wilkie's conjecture for sets definable in this structure: the number of rational points of height $H$ in the transcendental part of any definable set is bounded by a polynomial in $\log H$. We also prove two refined conjectures due to Pila concerning the density of algebraic points from a fixed number field, or with a fixed algebraic degree, for ${\mathbb R}^{\mathrm{RE}}$-definable sets.

math.LO↗
arXiv2015

Finiteness properties of formal Lie group actions

Following ideas of Arnold and Seigal-Yakovenko, we prove that the space of matrix coefficients of a formal Lie group action belongs to a Noetherian ring. Using this result we extend the uniform intersection multiplicity estimates of these authors from the abelian case to general Lie groups. We also demonstrate a simple new proof for a jet-determination result of Baouendi et. al. In the second part of the paper we use similar ideas to prove a result on embedding formal diffeomorphisms in one-parameter groups extending a result of Takens. In particular this implies that the results of Arnold and Seigal-Yakovenko are formal consequence of our result for Lie groups.

math.DS↗
arXiv2015

Pfaffian Intersections and Multiplicity Cycles

We consider the problem of estimating the intersection multiplicity between an algebraic variety and a Pfaffian foliation, at every point of the variety. We show that this multiplicity can be majorized at every point $p$ by the local algebraic multiplicity at $p$ of a suitably constructed algebraic cycle. The construction is based on Gabrielov's complex analog of the Rolle-Khovanskii lemma. We illustrate the main result by deriving similar uniform estimates for the complexity of the Milnor fiber of a deformation (under a smoothness assumption) and for the order of contact between an algebraic hypersurface and an arbitrary non-singular one-dimensional foliation. We also use the main result to give an alternative geometric proof for a classical multiplicity estimate in the context of commutative group varieties.

math.AG↗
arXiv2015

Multiplicity Estimates: a Morse-theoretic approach

The problem of estimating the multiplicity of the zero of a polynomial when restricted to the trajectory of a non-singular polynomial vector field, at one or several points, has been considered by authors in several different fields. The two best (incomparable) estimates are due to Gabrielov and Nesterenko. In this paper we present a refinement of Gabrielov's method which simultaneously improves these two estimates. Moreover, we give a geometric description of the multiplicity function in terms certain naturally associated polar varieties, giving a topological explanation for an asymptotic phenomenon that was previously obtained by elimination theoretic methods in the works of Brownawell, Masser and Nesterenko. We also give estimates in terms of Newton polytopes, strongly generalizing the classical estimates.

math.DS↗
arXiv2015

Multiplicities of Noetherian deformations

The \emph{Noetherian class} is a wide class of functions defined in terms of polynomial partial differential equations. It includes functions appearing naturally in various branches of mathematics (exponential, elliptic, modular, etc.). A conjecture by Khovanskii states that the \emph{local} geometry of sets defined using Noetherian equations admits effective estimates analogous to the effective \emph{global} bounds of algebraic geometry. We make a major step in the development of the theory of Noetherian functions by providing an effective upper bound for the local number of isolated solutions of a Noetherian system of equations depending on a parameter $ε$, which remains valid even when the system degenerates at $ε=0$. An estimate of this sort has played the key role in the development of the theory of Pfaffian functions, and is expected to lead to similar results in the Noetherian setting. We illustrate this by deducing from our main result an effective form of the Lojasiewicz inequality for Noetherian functions.

math.AG↗
arXiv2015

Uniform upper bounds for the cyclicity of the zero solution of the Abel differential equation

Given two polynomials $P,q$ we consider the following question: "how large can the index of the first non-zero moment $\tilde{m}_k=\int_a^b P^k q$ be, assuming the sequence is not identically zero?". The answer $K$ to this question is known as the moment Bautin index, and we provide the first general upper bound: $K\leqslant 2+\mathrm{deg} q+3(\mathrm{deg} P-1)^2$. The proof is based on qualitative analysis of linear ODEs, applied to Cauchy-type integrals of certain algebraic functions. The moment Bautin index plays an important role in the study of bifurcations of periodic solution in the polynomial Abel equation $y'=py^2+\varepsilon qy^3$ for $p,q$ polynomials and $\varepsilon \ll 1$. In particular, our result implies that for $p$ satisfying a well-known generic condition, the number of periodic solutions near the zero solution does not exceed $5+\mathrm{deg} q+3\mathrm{deg}^2 p$. This is the first such bound depending solely on the degrees of the Abel equation.

math.CA↗
arXiv2015

Bezout-type Theorems for Differential Fields

We prove analogs of the Bezout and the Bernstein-Kushnirenko-Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives of an $n$-tuple of functions, which admits finitely many solutions, we show that the number of solutions is bounded by an appropriate constant (depending singly-exponentially on $n$ and $l$) times the volume of the Newton polytope of the set of conditions. This improves a doubly-exponential estimate due to Hrushovski and Pillay. We illustrate the application of our estimates in two diophantine contexts: to counting transcendental lattice points on algebraic subvarieties of semi-abelian varieties, following Hrushovski and Pillay; and to counting the number of intersections between isogeny classes of elliptic curves and algebraic varieties, following Freitag and Scanlon. In both cases we obtain bounds which are singly-exponential (improving the known doubly-exponential bounds) and which exhibit the natural asymptotic growth with respect to the degrees of the equations involved.

math.AG↗
arXiv2014

Multiplicity estimates, analytic cycles and Newton polytopes

We consider the problem of estimating the multiplicity of a polynomial when restricted to the smooth analytic trajectory of a (possibly singular) polynomial vector field at a given point or points, under an assumption known as the D-property. Nesterenko has developed an elimination theoretic approach to this problem which has been widely used in transcendental number theory. We propose an alternative approach to this problem based on more local analytic considerations. In particular we obtain simpler proofs to many of the best known estimates, and give more general formulations in terms of Newton polytopes, analogous to the Bernstein-Kushnirenko theorem. We also improve the estimate's dependence on the ambient dimension from doubly-exponential to an essentially optimal single-exponential.

math.NT↗