In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for $k$ a perfect field of characteristic $p$, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with $\mathbb{Q}_{p}$-coefficients.

Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a given Hodge isometry arises in this way. In particular, we describe the image of the representation which associates to any autoequivalence of a twisted K3 surface its realization in cohomology: this image is a subgroup of index $1$ or $2$ in the group of all Hodge isometries of the twisted K3 surface. We show that both indices can occur.

Given a prime $p\geqslant 5$ and an integer $s\geqslant 1$, we show that there exists an integer $M$ such that for any quadratic polynomial $f$ with coefficients in the ring of integers modulo $p^{s}$, such that $f$ is not a square, if a sequence $(f(1),\ldots ,f(N))$ is a sequence of squares, then $N$ is at most $M$. We also provide some explicit formulas for the optimal $M$.

Building upon ideas of the second and third authors, we prove that at least $2^{(1-\unicode[STIX]{x1D700})(\log s)/(\text{log}\log s)}$ values of the Riemann zeta function at odd integers between 3 and $s$ are irrational, where $\unicode[STIX]{x1D700}$ is any positive real number and $s$ is large enough in terms of $\unicode[STIX]{x1D700}$. This lower bound is asymptotically larger than any power of $\log s$; it improves on the bound $(1-\unicode[STIX]{x1D700})(\log s)/(1+\log 2)$ that follows from the Ball–Rivoal theorem. The proof is based on construction of several linear forms in odd zeta values with related coefficients.

We study $\text{Sp}_{2n}(F)$-distinction for representations of the quasi-split unitary group $U_{2n}(E/F)$ in $2n$ variables with respect to a quadratic extension $E/F$ of $p$-adic fields. A conjecture of Dijols and Prasad predicts that no tempered representation is distinguished. We verify this for a large family of representations in terms of the Mœglin–Tadić classification of the discrete series. We further study distinction for some families of non-tempered representations. In particular, we exhibit $L$-packets with no distinguished members that transfer under base change to $\text{Sp}_{2n}(E)$-distinguished representations of $\text{GL}_{2n}(E)$.

We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.

We construct a shifted version of the Turán sieve method developed by R. Murty and the second author and apply it to counting problems on tournaments. More precisely, we obtain upper bounds for the number of tournaments which contain a fixed number of restricted $r$-cycles. These are the first concrete results which count the number of cycles over “all tournaments”.

A celebrated result by Bourgain and Wierdl states that ergodic averages along primes converge almost everywhere for $L^{p}$ -functions, $p>1$ , with a polynomial version by Wierdl and Nair. Using an anti-correlation result for the von Mangoldt function due to Green and Tao, we observe everywhere convergence of such averages for nilsystems and continuous functions.

We study the variation of $\unicode[STIX]{x1D707}$-invariants in Hida families with residually reducible Galois representations. We prove a lower bound for these invariants which is often expressible in terms of the $p$-adic zeta function. This lower bound forces these $\unicode[STIX]{x1D707}$-invariants to be unbounded along the family, and we conjecture that this lower bound is an equality. When $U_{p}-1$ generates the cuspidal Eisenstein ideal, we establish this conjecture and further prove that the $p$-adic $L$-function is simply a power of $p$ up to a unit (i.e. $\unicode[STIX]{x1D706}=0$). On the algebraic side, we prove analogous statements for the associated Selmer groups which, in particular, establishes the main conjecture for such forms.

We improve some results in our paper [A. Languasco and A. Zaccagnini, ‘Short intervals asymptotic formulae for binary problems with prime powers’, J. Théor. Nombres Bordeaux 30 (2018) 609–635] about the asymptotic formulae in short intervals for the average number of representations of integers of the forms $n=p_{1}^{\ell _{1}}+p_{2}^{\ell _{2}}$ and $n=p^{\ell _{1}}+m^{\ell _{2}}$, where $\ell _{1},\ell _{2}\geq 2$ are fixed integers, $p,p_{1},p_{2}$ are prime numbers and $m$ is an integer. We also remark that the techniques here used let us prove that a suitable asymptotic formula for the average number of representations of integers $n=\sum _{i=1}^{s}p_{i}^{\ell }$, where $s$, $\ell$ are two integers such that $2\leq s\leq \ell -1$, $\ell \geq 3$ and $p_{i}$, $i=1,\ldots ,s$, are prime numbers, holds in short intervals.

Let $K$ be a field that admits a cyclic Galois extension of degree $n\geq 2$. The symmetric group $S_{n}$ acts on $K^{n}$ by permutation of coordinates. Given a subgroup $G$ of $S_{n}$ and $u\in K^{n}$, let $V_{G}(u)$ be the $K$-vector space spanned by the orbit of $u$ under the action of $G$. In this paper we show that, for a special family of groups $G$ of affine type, the dimension of $V_{G}(u)$ can be computed via the greatest common divisor of certain polynomials in $K[x]$. We present some applications of our results to the cases $K=\mathbb{Q}$ and $K$ finite.

We prove the Hausdorff measure version of the matrix form of Gallagher’s theorem in the inhomogeneous setting, thereby proving a conjecture posed by Hussain and Simmons [‘The Hausdorff measure version of Gallagher’s theorem—closing the gap and beyond’, J. Number Theory186 (2018), 211–225].

A cyclotomic polynomial $\unicode[STIX]{x1D6F7}_{k}(x)$ is an essential cyclotomic factor of $f(x)\in \mathbb{Z}[x]$ if $\unicode[STIX]{x1D6F7}_{k}(x)\mid f(x)$ and every prime divisor of $k$ is less than or equal to the number of terms of $f.$ We show that if a monic polynomial with coefficients from $\{-1,0,1\}$ has a cyclotomic factor, then it has an essential cyclotomic factor. We use this result to prove a conjecture posed by Mercer [‘Newman polynomials, reducibility, and roots on the unit circle’, Integers12(4) (2012), 503–519].

We consider families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call the Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zero locus defined by the Galois level of the family admits an automorphic description: it is the locus of points that arise from overconvergent eigenforms for $\operatorname{GL}_{2}$, via a $p$-adic Langlands lift attached to the symmetric cube representation. Our proof goes via the comparison of the Galois level with a ‘fortuitous’ congruence ideal. Some of the $p$-adic lifts are interpolated by a morphism of rigid analytic spaces from an eigencurve for $\operatorname{GL}_{2}$ to an eigenvariety for $\operatorname{GSp}_{4}$, while the remainder appear as isolated points on the eigenvariety.

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by

$$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$

$E_{\unicode[STIX]{x1D6FD}}$

$t\in [0,1)$

$t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$E_{2}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$K_{\unicode[STIX]{x1D6FD}}(t)$

$t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$

$\unicode[STIX]{x1D6FD}\in (1,2)$

We discuss the generalizations of the concept of Chebyshev’s bias from two perspectives. First, we give a general framework for the study of prime number races and Chebyshev’s bias attached to general L-functions satisfying natural analytic hypotheses. This extends the cases previously considered by several authors and involving, among others, Dirichlet L-functions and Hasse–Weil L-functions of elliptic curves over Q. This also applies to new Chebyshev’s bias phenomena that were beyond the reach of the previously known cases. In addition, we weaken the required hypotheses such as GRH or linear independence properties of zeros of L-functions. In particular, we establish the existence of the logarithmic density of the set $ \{x \ge 2:\sum\nolimits_{p \le x} {\lambda _f}(p) \ge 0\}$ for coefficients (λf(p)) of general L-functions conditionally on a much weaker hypothesis than was previously known.

We generalize the Cohen–Lenstra heuristics over function fields to étale group schemes $G$ (with the classical case of abelian groups corresponding to constant group schemes). By using the results of Ellenberg–Venkatesh–Westerland, we make progress towards the proof of these heuristics. Moreover, by keeping track of the image of the Weil-pairing as an element of $\wedge ^{2}G(1)$, we formulate more refined heuristics which nicely explain the deviation from the usual Cohen–Lenstra heuristics for abelian $\ell$-groups in cases where $\ell \mid q-1$; the nature of this failure was suggested already in the works of Malle, Garton, Ellenberg–Venkatesh–Westerland, and others. On the purely large random matrix side, we provide a natural model which has the correct moments, and we conjecture that these moments uniquely determine a limiting probability measure.

Motivated by Ramanujan’s continued fraction and the work of Richmond and Szekeres [‘The Taylor coefficients of certain infinite products’, Acta Sci. Math. (Szeged)40(3–4) (1978), 347–369], we investigate vanishing coefficients along arithmetic progressions in four quotients of infinite product expansions and obtain similar results. For example, $a_{1}(5n+4)=0$, where $a_{1}(n)$ is defined by

$$\begin{eqnarray}\displaystyle {\displaystyle \frac{(q,q^{4};q^{5})_{\infty }^{3}}{(q^{2},q^{3};q^{5})_{\infty }^{2}}}=\mathop{\sum }_{n=0}^{\infty }a_{1}(n)q^{n}. & & \displaystyle \nonumber\end{eqnarray}$$

We study the average error term in the usual approximation to the number of y-friable integers congruent to a modulo q, where a ≠ 0 is a fixed integer. We show that in the range exp{(log log x)5/3+ɛ} ⩽ y ⩽ x and on average over q ⩽ x/M with M → ∞ of moderate size, this average error term is asymptotic to −|a| Ψ(x/|a|, y)/2x. Previous results of this sort were obtained by the second author for reasonably dense sequences, however the sequence of y-friable integers studied in the current paper is thin, and required the use of different techniques, which are specific to friable integers.

Soient $S$ un schéma nœthérien et $f:X\rightarrow S$ un morphisme propre. D’après SGA 4 XIV, pour tout faisceau constructible $\mathscr{F}$ de $\mathbb{Z}/n\mathbb{Z}$-modules sur $X$, les faisceaux de $\mathbb{Z}/n\mathbb{Z}$-modules $\mathtt{R}^{i}f_{\star }\mathscr{F}$, obtenus par image directe (pour la topologie étale), sont également constructibles : il existe une stratification $\mathfrak{S}$ de $S$ telle que ces faisceaux soient localement constants constructibles sur les strates. À la suite de travaux de N. Katz et G. Laumon, ou L. Illusie, dans le cas particulier où $S$ est génériquement de caractéristique nulle ou bien les faisceaux $\mathscr{F}$ sont constants (de torsion inversible sur $S$), on étudie ici la dépendance de $\mathfrak{S}$ en $\mathscr{F}$. On montre qu’une condition naturelle de constructibilité et modération « uniforme » satisfaite par les faisceaux constants, introduite par O. Gabber, est stable par les foncteurs $\mathtt{R}^{i}f_{\star }$. Si $f$ n’est pas supposé propre, ce résultat subsiste sous réserve de modération à l’infini, relativement à $S$. On démontre aussi l’existence de bornes uniformes sur les nombres de Betti, qui s’appliquent notamment pour les fibres des faisceaux $\mathtt{R}^{i}f_{\star }\mathbb{F}_{\ell }$, où $\ell$ parcourt les nombres premiers inversibles sur $S$.