Related papers: Belyi's theorem revisited
We give explicit numerical estimates for the generalized Chebyshev functions. Explicit results of this kind are useful for estimating of computational complexity of algorithms which generates special primes. Such primes are needed to…
A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We…
In this paper, we prove the Bloch-Beilinson conjecture for certain abelian surfaces over $\mathbb{Q}$, provided that the BSD is known for these abelian surfaces.
In this paper we establish a version of the Paley-Wiener theorem of Fourier analysis in the frame of the Mellin transform. We provide two different proofs, one involving complex analysis arguments, namely the Riemann surface of the…
We give an upper bound on the number of extensions of a fixed number field of prescribed degree and discriminant less than X; these bounds improve on work of Schmidt. We also prove various related results, such as lower bounds for the…
We prove some results on the border of Ramsey theory (finite partition calculus) and model theory. Also a beginning of classification theory of finite models in undertaken.
In this paper we give a survey of recent methods for the asymptotic and exact enumeration of number fields with given Galois group of the Galois closure. In particular, the case of fields of degree up to 4 is now almost completely solved,…
The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the \v{C}ech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $\beta_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil…
A tool package for computing genus 0 Belyi functions is presented, including simplification routines, computation of moduli fields, decompositions, dessins d'enfant. The main algorithm for computing the Belyi functions themselves is based…
We will give a simple proof of the ambiguous class number formula.
We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of…
The purpose of this note is to rephrase Speyer's elegant topological proof for Kasteleyn's Theorem in a simple graph theoretical manner.
We prove a no-dimensional Helly theorem for affine spaces and convex sets using the unboundedness framework of Aronov, Goodman, and Pollack (Computational Geometry, 2002). This generalizes the fundamental result of Adiprasito, B\'ar\'any,…
In the article it was shown the convergence of special integral of two dimensional Terry's problem. Main tools of the article are an investigation of real algebraic varieties and estimations of areas of algebraic surfaces.
This note presents a new, self-contained proof of Shahgholian's geometric theorem on quadrature surfaces using the thickness function and level set methods. By relying on a radial parametrisation and fundamental maximum principles, the…
We propose a simple proof of the vertical half-space theorem for Heisenberg space.
Given a minimal surface equipped with a generically finite map to an Abelian variety, we give an optimal bound on the canonical degree of a rational or an elliptic curve. As a corollary, we obtain the finiteness of rational and elliptic…
We prove several bounds on the number of incidences between two sets of multivariate polynomials of bounded degree over finite fields. From these results, we deduce bounds on incidences between points and multivariate polynomials, extending…
We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise…
We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain $n \ge \b_2-2$ disjoint smooth rational curves with self-intersection -2, where $\b_2$ is the…