Related papers: An effective uniform Artin-Rees lemma

We apply the theory of functors of Artin rings to prove the existence of a universal formal solution to a exterior differential system. We compute the tangent space and the obstruction theory of the funtor of Artin ring governing the…

We generalize the polynomial Szemer\'{e}di theorem to intersective polynomials over the ring of integers of an algebraic number field, by which we mean polynomials having a common root modulo every ideal. This leads to the existence of new…

Smooth complex surfaces polarized with an ample and globally generated line bundle of degree three and four, such that the adjoint bundle is not globally generated, are considered. Scrolls of a vector bundle over a smooth curve are shown to…

We prove a quantitative version of the injectivity of the Fubini--Study map that is polynomial in the exponent of the ample line bundle, and correct the arguments in the author's previous papers.

We construct explicit dominant, rational morphisms from projective bundles over rational varieties to relevant moduli spaces, showing their unirationality. These constructions work for $U_{r,d,g}$; for all ranks, degrees and genus $2\leq g…

We show how lattice paths and the reflection principle can be used to give easy proofs of unimodality results. In particular, we give a "one-line" combinatorial proof of the unimodality of the binomial coefficients. Other examples include…

Let S be a complex smooth projective surface and L be a line bundle on S. For any given collection of isolated topological or analytic singularity types, we show the number of curves in the linear system |L| with prescribed singularities is…

We prove an effective equidistribution theorem for orbits of certain unipotent subgroups in arithmetic quotients of perfect Lie groups with a polynomial error term. Even for semisimple quotients, our result provides the first infinite…

We prove the No Invariant Line Fields conjecture for a class of generalized postcritically-finite branched covers on higher-dimensional Riemannian manifolds. Moreover, we establish a quasisymmetric uniformization theorem for this class of…

We prove an effective version of the Oppenheim conjecture with a polynomial error rate. The proof is based on an effective equidistribution theorem which in turn relies on recent progress towards restricted projection problem.

In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with…

In this article we prove, in a simple way, that for any complete toric variety, and for any Cartier divisor, the ring of global sections of multiples of the line bundle associated to the divisor is finitely generated.

Let X be a smooth complex projective curve of genus g bigger or equal to 1. If g is bigger than 1 assume further that X is either bielliptic or with general moduli. Under a natural condition on slopes, we prove that there exists a short…

We introduce the strength for sections of a line bundle on an algebraic variety. This generalizes the strength of homogeneous polynomials that has been recently introduced to resolve Stillman's conjecture, an important problem in…

We prove that certain vector bundles over surfaces are ample if they are so when restricted to divisors, certain numerical criteria hold, and they are semistable (with respect to $\det(E)$). This result is a higher-rank version of a theorem…

This paper contains some estimates for the {\it integral-uniform} norm and the uniform norm of a wide class of random polynomials. The family of integral-uniform norms introduced by Kasin and Tzafriri is a natural generalization of the…

We prove edge universality for a general class of correlated real symmetric or complex Hermitian Wigner matrices with arbitrary expectation. Our theorem also applies to internal edges of the self-consistent density of states. In particular,…

For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on…

We generalise Birch's seminal work on forms in many variables to handle a system of forms in which the degrees need not all be the same. This allows us to prove the Hasse principle, weak approximation, and the Manin-Peyre conjecture for a…

A common problem in analytic number theory is to bound the sum of an arithmetic function over a set of integers. Nair and Tenenbaum found a very general bound that applies to short sums of a multivariable arithmetic function over polynomial…