Related papers: On distinct cross-ratios in positive characteristi…

Given a set of points $P \subset \mathbb F_q^2$ such that $|P|\geq q^{3/2}$ it is established that $|P|$ determines $\Omega(q^2)$ distinct perpendicular bisectors. It is also proven that, if $|P| \geq q^{4/3}$, then for a positive…

We study the Erd\H os-Falconer distance problem for a set $A\subset \mathbb{F}^2$, where $\mathbb{F}$ is a field of positive characteristic $p$. If $\mathbb{F}=\mathbb{F}_p$ and the cardinality $|A|$ exceeds $p^{5/4}$, we prove that $A$…

We prove a range of new sum-product type growth estimates over a general field $\mathbb{F}$, in particular the special case $\mathbb{F}=\mathbb{F}_p$. They are unified by the theme of "breaking the $3/2$ threshold", epitomising the previous…

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg…

The classical theory of the cross-ratio is a beautiful case study of the moduli of ordered points of the projective line and of invariants of the action of $PGL_2$. We generalize the theory of the cross-ratio to the setting of $S$-valued…

We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(\zeta_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $…

We prove that $\Theta$-positive representations of fundamental groups of surfaces (possibly cusped or of infinite type) satisfy a collar lemma, and their associated cross-ratios are positive. As a consequence we deduce that…

We introduce the notion of intersective polynomials having coefficients in the ring of integers $\mathscr{O}_K$ of a number field $K$, and define a notion of upper density of subsets of $\mathscr{O}_K$. We prove that given any intersective…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

Consider the property $(\aleph_{\omega + 1},\aleph_{\omega + 2},\ldots) \twoheadrightarrow (\aleph_1,\aleph_2,\ldots)$. Here we will show that this property with the addition of the General Continuum Hypothesis implies projective…

Let $\mathbb{F}_p$ be the field of a prime order $p.$ It is known that for any integer $N\in [1,p]$ one can construct a subset $A\subset\mathbb{F}_p$ with $|A|= N$ such that $$ \max\{|A+A|, |AA|\}\ll p^{1/2}|A|^{1/2}. $$ In the present…

Let $\mathbb{F}_p$ be a finite field of prime order $p$ and let $A \subset \mathbb{F}_p$ be a subset. In the dense regime when $|A| \geq \alpha p$ for some $\alpha \in (0,1)$, we determine the optimal constant $f(\alpha)$ in the inequality…

Let $F$ be a field with positive odd characteristic $p$. We prove a variety of new sum-product type estimates over $F$. They are derived from the theorem that the number of incidences between $m$ points and $n$ planes in the projective…

Let $p$ be an odd prime and $A \subseteq \mathbb{F}_p$ be a subset of the finite field with $p$ elements. We show that $A \times A \subseteq \mathbb{F}_p^2$ determines at least a constant multiple of $\min\{p, |A|^{3/2}\}$ distinct pinned…

We establish a sufficient condition for the ultimate positivity of P-recursive sequences of arbitrary order with a unique dominant root. By additionally verifying finitely many initial terms, the positivity can also be resolved. As an…

We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the…

We establish two results on three-dimensional del Pezzo fibrations in positive characteristic. First, we give an explicit bound for torsion index of relatively torsion line bundles. Second, we show the existence of purely inseparable…

We prove that a general Fano hypersurface in a projective space over an algebraically closed field of arbitrary characteristic is separably rationally connected.

Let $p \geq 5$ be a prime and for $a, b \in \mathbb{F}_{p}$, let $E_{a,b}$ denote the elliptic curve over $\mathbb{F}_{p}$ with equation $y^2=x^3+a\,x + b$. As usual define the trace of Frobenius $a_{p,\,a,\,b}$ by \begin{equation*}…

We study positive supersolutions to an elliptic equation $(*)$: $-\Delta u=c|x|^{-s}u^p$, $p,s\in\bf R$ in cone-like domains in $\bf R^N$ ($N\ge 2$). We prove that in the sublinear case $p<1$ there exists a critical exponent $p_*<1$ such…