We prove that there exist infinitely many coprime numbers a, b, c with $a+b=c$ and $c>\operatorname {\mathrm {rad}}(abc)\exp (6.563\sqrt {\log c}/\log \log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby providing a new lower bound on the tightest possible form of the conjecture. Our work builds on that of van Frankenhuysen (J. Number Theory 82(2000), 91–95) who proved the existence of examples satisfying the above bound with the constant $6.068$ in place of $6.563$. We show that the constant $6.563$ may be replaced by $4\sqrt {2\delta /e}$ where $\delta $ is a constant such that all unimodular lattices of sufficiently large dimension n contain a nonzero vector with $\ell _1$-norm at most $n/\delta $.

The lifting problem for universal quadratic forms over a totally real number field K consists of determining the existence or otherwise of a quadratic form with integer coefficients (or $\mathbb {Z}$-form) that is universal over K. We prove the nonexistence of universal $\mathbb {Z}$-forms over simplest cubic fields for which the integer parameter is big enough. The monogenic case is already known. We prove the nonexistence in the nonmonogenic case by using the existence of a totally positive nonunit algebraic integer in K with minimal (codifferent) trace equal to one.

We prove that the homology classes of closed geodesics associated to subgroups of narrow class groups of real quadratic fields concentrate around the Eisenstein line. This fits into the framework of Duke’s Theorem and can be seen as a real quadratic analogue of results of Michel and Liu–Masri–Young on supersingular reduction of CM-elliptic curves. We also study the level aspect, as well as a homological version of the sup norm problem. Finally, we present applications to group theory and modular forms

In 2007 Chang and Yu determined all the algebraic relations among Goss’s zeta values for $A=\mathbb F_q[\theta ]$, also known as the Carlitz zeta values. Goss raised the problem of determining all algebraic relations among Goss’s zeta values at positive integers for a general base ring A, but very little is known. In this paper, we develop a general method, and we determine all algebraic relations among Goss’s zeta values for the base ring A which is the coordinate ring of an elliptic curve defined over $\mathbb F_q$. To our knowledge, this is the first work tackling Goss’s problem when the base ring has class number strictly greater than 1.

In this note, we revisit Ramanujan-type series for $\frac {1}{\pi }$ and show how they arise from genus zero subgroups of $\mathrm {SL}_{2}(\mathbb {R})$ that are commensurable with $\mathrm {SL}_{2}(\mathbb {Z})$. As illustrations, we reproduce a striking formula of Ramanujan for $\frac {1}{\pi }$ and a recent result of Cooper et al., as well as derive a new rational Ramanujan-type series for $\frac {1}{\pi }$. As a byproduct, we obtain a Clausen-type formula in some general sense and reproduce a Clausen-type quadratic transformation formula closely related to the aforementioned formula of Ramanujan.

This paper deals with applications of Voronin’s universality theorem for the Riemann zeta-function $\zeta$. Among other results we prove that every plane smooth curve appears up to a small error in the curve generated by the values $\zeta(\sigma+it)$ for real t where $\sigma\in(1/2,1)$ is fixed. In this sense, the values of the zeta-function on any such vertical line provides an atlas for plane curves. In the same framework, we study the curvature of curves generated from $\zeta(\sigma+it)$ when $\sigma>1/2$ and we show that there is a connection with the zeros of $\zeta'(\sigma+it)$. Moreover, we clarify under which conditions the real and the imaginary part of the zeta-function are jointly universal.

Erdős, Graham and Selfridge considered, for each positive integer n, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with n is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC conjecture. We establish some results on the distribution of $t_n$, and in the process solve Granville’s problem unconditionally.

In this paper, together with the preceding Part I [10], we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to [10] the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality – more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.

A crucial ingredient in the theory of theta liftings of Kudla and Millson is the construction of a $q$-form $\varphi_{KM}$ on an orthogonal symmetric space, using Howe's differential operators. This form can be seen as a Thom form of a real oriented vector bundle. We show that the Kudla-Millson form can be recovered from a canonical construction of Mathai and Quillen. A similar result was obtaind by Garcia for signature $(2,q)$ in case the symmetric space is hermitian and we extend it to arbitrary signature.

This paper is concerned with the study of the fine Selmer group of an abelian variety over a $\mathbb{Z}_{p}$-extension which is not necessarily cyclotomic. It has been conjectured that these fine Selmer groups are always torsion over $\mathbb{Z}_{p}[[ \Gamma ]]$, where $\Gamma$ is the Galois group of the $\mathbb{Z}_{p}$-extension in question. In this paper, we shall provide several strong evidences towards this conjecture. Namely, we show that the conjectural torsionness is consistent with the pseudo-nullity conjecture of Coates–Sujatha. We also show that if the conjecture is known for the cyclotomic $\mathbb{Z}_{p}$-extension, then it holds for almost all $\mathbb{Z}_{p}$-extensions. We then carry out a similar study for the fine Selmer group of an elliptic modular form. When the modular forms are ordinary and come from a Hida family, we relate the torsionness of the fine Selmer groups of the specialization. This latter result allows us to show that the conjectural torsionness in certain cases is consistent with the growth number conjecture of Mazur. Finally, we end with some speculations on the torsionness of fine Selmer groups over an arbitrary p-adic Lie extension.

For any subset $Z \subseteq {\mathbb {Q}}$, consider the set $S_Z$ of subfields $L\subseteq {\overline {\mathbb {Q}}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in L such that $C \cap {\mathbb {Q}}=Z$. Placing a natural topology on the set ${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ of subfields of ${\overline {\mathbb {Q}}}$, we show that if Z is not thin in ${\mathbb {Q}}$, then $S_Z$ is meager in ${\operatorname {Sub}({\overline {\mathbb {Q}}})}$. Here, thin and meager both mean “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields L have the property that the ring of algebraic integers $\mathcal {O}_L$ is universally definable in L. The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists $-definable subset of an algebraic extension of ${\mathbb Q}$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus g over $\mathbb{F}_q$. As a consequence of Katz–Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all q large enough, the existence of a curve of genus g over $\mathbb{F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally, explicit constructions of towers of curves improve this result: We show that the bound $1+q+4 \sqrt{q} -32$ is valid for all $g\ge 2$ and for all q.

In this article, we prove that the Riemann hypothesis implies a conjecture of Chandee on shifted moments of the Riemann zeta function. The proof is based on ideas of Harper concerning sharp upper bounds for the $2k$th moments of the Riemann zeta function on the critical line.

We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty )$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow–Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages.

We prove discrete restriction estimates for a broad class of hypersurfaces arising in seminal work of Birch. To do so, we use a variant of Bourgain’s arithmetic version of the Tomas–Stein method and Magyar’s decomposition of the Fourier transform of the indicator function of the integer points on a hypersurface.

Let $S=\{s_{1}, s_{2}, \ldots \}$ be an unbounded sequence of positive integers with $s_{n+1}/s_{n}$ approaching $\alpha $ as $n\rightarrow \infty $ and let $\beta>\max (\alpha , 2)$. We show that for all sufficiently large positive integers l, if $A\subset [0, l]$ with $l\in A$, $\gcd A=1$ and $|A|\geq (2-{k}/{\lambda \beta })l/(\lambda +1)$, where $\lambda =\lceil {k}/{\beta }\rceil $, then $kA\cap S\neq \emptyset $ for $2<\beta \leq 3$ and $k\geq {2\beta }/{(\beta -2)}$ or for $\beta>3$ and $k\geq 3$.

We study the étale cohomology of Hilbert modular varieties, building on the methods introduced by Caraiani and Scholze for unitary Shimura varieties. We obtain the analogous vanishing theorem: in the ‘generic’ case, the cohomology with torsion coefficients is concentrated in the middle degree. We also probe the structure of the cohomology beyond the generic case, obtaining bounds on the range of degrees where cohomology with torsion coefficients can be non-zero. The proof is based on the geometric Jacquet–Langlands functoriality established by Tian and Xiao and avoids trace formula computations for the cohomology of Igusa varieties. As an application, we show that, when $p$ splits completely in the totally real field and under certain technical assumptions, the $p$-adic local Langlands correspondence for $\mathrm {GL}_2(\mathbb {Q}_p)$ occurs in the completed homology of Hilbert modular varieties.

We derive an explicit formula for the N-point correlation $F_N(s)$ of the van der Corput sequence in base $2$ for all $N \in \mathbb {N}$ and $s \geq 0$. The formula can be evaluated without explicit knowledge about the elements of the van der Corput sequence. This constitutes the first example of an exact closed-form expression of $F_N(s)$ for all $N \in \mathbb {N}$ and all $s \geq 0$ which does not require explicit knowledge about the involved sequence. Moreover, it can be immediately read off that $\lim _{N \to \infty } F_N(s)$ exists only for $0 \leq s \leq 1/2$.

In this paper, we present the results related to a problem posed by Andrzej Schinzel. Does the number $N_1(n)$ of integer solutions of the equation

$$ \begin{align*}x_1+x_2+\cdots+x_n=x_1x_2\cdot\ldots\cdot x_n,\,\,x_1\ge x_2\ge\cdots\ge x_n\ge 1\end{align*} $$

$N_a(n)$

$$ \begin{align*}x_1+x_2+\cdots+x_n=ax_1x_2\cdot\ldots\cdot x_n,\,\, x_1\ge x_2\ge\cdots\ge x_n\ge 1.\end{align*} $$

$N_2(n)=1$

$2n-3$

$N_2(n)$

$\{n:N_2(n)\le k,\,n\ge 2\}$

In this article, we give generalizations of the well-known Fermat’s Little Theorem, Wilson’s theorem, and the little-known Gegenbauer’s theorem.