In the relative trace formula approach to the arithmetic Gan–Gross–Prasad conjecture, we formulate a local conjecture (arithmetic transfer) in the case of an exotic smooth formal moduli space of p-divisible groups, associated to a unitary group relative to a ramified quadratic extension of a p-adic field. We prove our conjecture in the case of a unitary group in three variables.

No abstract uploaded!

For any natural number$m$(>1) let$P$($m$) denote the greatest prime divisor of$m$. By the problem of Erdős in the title of the present paper we mean the general version of his problem, that is, his conjecture from 1965 that $$\frac{P(2^n-1)}{n} \to \infty \quad {\rm as}\, n \to \infty$$ (see Erdős [10]) and its far-reaching generalization to Lucas and Lehmer numbers. In the present paper the author delivers three refinements upon Yu [40] required by C. L. Stewart for solving completely the problem of Erdős (see Stewart [25]). The author gives also some remarks on the solution of this problem, aiming to be more streamlined with respect to the$p$-adic theory of logarithmic forms.

Let $p\equiv 4,7\ \mathrm {mod}\ 9$ be a rational prime number such that $3\ \mathrm {mod}\ p$ is not a cube. In this paper, we prove the $3$-part of $|\textrm {III}(E_p)|\cdot |\textrm {III}(E_{3p^2})|$ is as predicted by the Birch and Swinnerton-Dyer conjecture, where $E_p: x^3+y^3=p$ and $E_{3p^2}: x^3+y^3=3p^2$ are the elliptic curves related to the Sylvester conjecture and cube sum problems.

No abstract uploaded!