Related papers: Generalized Diophantine Approximation on Higher-Di…

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…

Using the circle method in combination with lattice point counting arguments, we show that for almost all homogeneous diophantine equations of additive type and degree $k$ in more than $4k$ variables, the Local-Global principle holds true.…

A common practice in arithmetic geometry is that of generalizing rational points on projective varieties to integral points on quasi-projective varieties. Following this practice, we demonstrate an analogue of a result of L. Caporaso, J.…

In this paper we study the problem of approximation of the $L^2$-topological invariants by their finite dimensional analogues. We obtain generalizations of the theorem of L\"uck, dealing with towers of finitely sheeted normal coverings. We…

We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…

We consider an abelian variety defined over a number field. We give conditional bounds for the order of its Tate-Shafarevich group, as well as conditional bounds for the N\'eron-Tate height of generators of its Mordell-Weil group. The…

It is well known that general variational inequalities provide us with a unified, natural, novel and simple framework to study a wide class of unrelated problems, which arise in pure and applied sciences. In this paper, we present a number…

The Bogomolov conjecture for a curve claims finiteness of algebraic points on the curve which are small with respect to the canonical height. Ullmo has established this conjecture over number fields, and Moriwaki generalized it to the…

We establish an Arakelov-type inequality for a morphism $f \colon (X,\Delta) \to S$, where $(X,\Delta)$ is a simple normal crossing semi-log canonical pair and $S$ is a smooth projective variety. As a consequence, we derive a bound on the…

The heights of iterates of the discrete Painleve equations over number fields appear to grow no faster than polynomials while the heights of generic solutions of non-integrable discrete equations grow exponentially. This gives rise to a…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Let $\alpha$ be an irrational real number. We show that the set of $\epsilon$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (\alpha) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| q\alpha -x \| \geq \varepsilon \} \]…

While there has been substantial progress in learning suitable distance metrics, these techniques in general lack transparency and decision reasoning, i.e., explaining why the input set of images is similar or dissimilar. In this work, we…

Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem…

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

In this paper we prove quantitative results about geodesic approximations to submanifolds in negatively curved spaces. Among the main tools is a new and general Jarn\'{i}k-Besicovitch type theorem in Diophantine approximation. The framework…

We study the general problem of equidistribution of expanding translates of an analytic curve by an algebraic diagonal flow on the homogeneous space $G/\Gamma$ of a semisimple algebraic group $G$. We define two families of algebraic…

In this paper we construct a new family of sets based on Diophantine approximation in the Euclidean space, and consider their applications in several problems in harmonic analysis. Our first application is on the Hausdorff dimension of our…

Let $A$ be a simple abelian variety of dimension $g$ over the field $\mathbb{F}_q$. The paper provides improvements on the Weil estimates for the size of $A(\mathbb{F}_q)$. For an arbitrary value of $q$ we prove $(\lfloor(\sqrt{q}-1)^2…

In this paper we study global distance estimates and uniform local volume estimates in a large class of sub-Riemannian manifolds. Our main device is the generalized curvature dimension inequality introduced by the first and the third author…