Related papers: Log geometry and lifting rational points
If there exists a diffeomorphism $f$ on a closed, orientable $n$-manifold $M$ such that the non-wandering set $\Omega(f)$ consists of finitely many orientable $(\pm)$ attractors derived from expanding maps, then $M$ must be a rational…
In this paper, we give a uniform upper bound on the rational points of bounded height provided by conics in a cubic surface. For this target, we give a generalized version of the global determinant method of Salberger by Arakelov geometry.
We prove an estimate on the number of rational points on the Grassmannian variety of bounded twisted height, refining the classical results of Schmidt ([12]) and Thunder ([20]) over the rational field: most importantly, our formula counts…
One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…
This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the…
This paper is concerned with configurations of points in a plane lattice which determine angles that are rational multiples of $\pi$. We shall study how many such angles may appear in a given lattice and in which positions, allowing the…
In this note, we use Rouch\'e's theorem and the pleasant properties of the arithmetic of the logarithmic derivative to establish several new results regarding the geometry of the zeros, poles, and critical points of a rational function.…
Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log…
We introduce a new criterion which tests if a given decomposition of a given ternary form $T$ of even degree is unique. The criterion is based on the analysis of the Hilbert function of the projective set of points $Z$ associated to the…
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
The concepts of tropical-semiring and tropical hypersurface, are extended for an arbitrary ordered group. Then, we define the tropicalization of a polynomial with coefficients in a Krull-valued field. After a close study of the properties…
We give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree…
Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…
We study the multi-height distribution of rational points of smooth, projective and split toric varieties over $\mathbf{Q}$ using the lift of the number of points to universal torsors.
In this paper, we study arithmetic dynamics in arbitrary characteristic, in particular in positive characteristic. We generalise some basic facts on arithmetic degree and canonical height in positive characteristic. As applications, we…
We propose a simple criterion to know if an abelian variety $A$ defined over a finite field $\mathbb{F}_q$ is cyclic, i.e., it has a cyclic group of rational points; this criterion is based on the endomorphism ring End$_{\mathbb{F}_q}(A)$.…
We use the circle method to count $\mathbb{F}_q(t)$-rational points of bounded naive height on a quadric hypersurface $X\subseteq \mathbb{P}^{n-1}$ defined over $\mathbb{F}_q$, provided that $\mathrm{char}(\mathbb{F}_q)>2$ and $n\ge 3$.…
Let $f(x) = x^{2g+1} + c_1 x^{2g} + \dots + c_{2g+1} \in k[x]$ be a polynomial of nonzero discriminant, and let $J$ denote the Jacobian of the odd hyperelliptic curve $C : y^2 = f(x)$. We show that the morphism $J \to \mathbb{P}^{2^g-1}$…
We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a…
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…