Related papers: Rational points on the inner product cone via the …

For a K3 surface S, consider the subring of CH(S^n) generated by divisor and diagonal classes (with Q-coefficients). Voisin conjectures that the restriction of the cycle class map to this ring is injective. We prove that Voisin's conjecture…

A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is…

We prove the strong form of the Gaussian product conjecture in dimension three. Our purely analytical proof simplifies previously known proofs based on combinatorial methods or computer-assisted methods, and allows us to solve the case of…

The representation of integral binary forms as sums of two squares is discussed and applied to establish the Manin conjecture for certain Ch\^atelet surfaces defined over the rationals.

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral…

We present the transformation of several sums of positive integer powers of the sine and cosine into non-trigonometric combinatorial forms. The results are applied to the derivation of generating functions and to the number of the closed…

We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…

Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…

The purpose of this article is twofold. On the one hand, we prove asymptotic formulas for the quantitative distribution of rational points on any smooth non-split projective quadratic surface. We obtain the optimal error term for the real…

We describe and analyze an interior-point method to decide feasibility problems of second-order conic systems. A main feature of our algorithm is that arithmetic operations are performed with finite precision. Bounds for both the number of…

We introduce a certain birational invariant of a polarized algebraic variety and use that to obtain upper bounds for the counting functions of rational points on algebraic varieties. Using our theorem, we obtain new upper bounds of Manin…

We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly…

By using some tools of analysis, we establish some analytical properties such as monotonicity and inequalities involving the hyperbolic sine integral function. As applications of some of the established properties, we obtain some rational…

We establish Manin's conjecture for a cubic surface split over Q and whose singularity type is 2A_2+A_1. For this, we make use of a deep result about the equidistribution of the values of a certain restricted divisor function in three…

In this note we document the existence of a finitely generated rational cone that is not covered by its unimodular Hilbert subcones, but satisfies the integral Caratheodory property. We explain the algorithms that decide these properties…

We prove the existence of Sinai-Ruelle-Bowen measures for a class of $C^2$ self-mappings of a rectangle with unbounded derivatives. The results can be regarded as a generalization of a well-known one dimensional Folklore Theorem on the…

We determine couples of singular moduli which have rational products

In this paper we determine a complete list of rational surface singularities which have metrically conical bilipschitz type of its inner metric. We achieve this by using the thick-thin decomposition of Birbrair, Neumann and Pichon.

For every rational homology 3-sphere with 2-torsion only we construct a unified invariant (which takes values in a certain cyclotomic completion of a polynomial ring), such that the evaluation of this invariant at any odd root of unity…

A nonstandard application of bivariate polynomial interpolation is discussed: the implicitization of a rational algebraic curve given by its parametric equations. Three different approaches using the same interpolation space are considered,…