We give effective finiteness results for the power values of polynomials with coefficients composed of a fixed finite set of primes; in particular, of Littlewood polynomials.

In this paper, we study lower-order terms of the one-level density of low-lying zeros of quadratic Hecke L-functions in the Gaussian field. Assuming the generalized Riemann hypothesis, our result is valid for even test functions whose Fourier transforms are supported in $(-2, 2)$. Moreover, we apply the ratios conjecture of L-functions to derive these lower-order terms as well. Up to the first lower-order term, we show that our results are consistent with each other when the Fourier transforms of the test functions are supported in $(-2, 2)$.

In this article we study integral models of Shimura varieties, called Pappas–Rapoport splitting model, for ramified P.E.L. Shimira data. We study the special fiber and some stratification of these models, in particular we show that these are smooth and the Rapoport locus and the $\mu $-ordinary locus are dense, under some condition on the ramification.

In this article, we show that the Abel–Jacobi images of the Heegner cycles over the Shimura curves constructed by Nekovar, Besser and the theta elements contructed by Chida–Hsieh form a bipartite Euler system in the sense of Howard. As an application of this, we deduce a converse to Gross–Zagier–Kolyvagin type theorem for higher weight modular forms generalising works of Wei Zhang and Skinner for modular forms of weight 2. That is, we show that if the rank of certain residual Selmer group is 1, then the Abel–Jacobi image of the Heegner cycle is nonzero in this residual Selmer group.

Let $E/\mathbf {Q}$ be an elliptic curve and $p>3$ be a good ordinary prime for E and assume that $L(E,1)=0$ with root number $+1$ (so $\text {ord}_{s=1}L(E,s)\geqslant 2$). A construction of Darmon–Rotger attaches to E and an auxiliary weight 1 cuspidal eigenform g such that $L(E,\text {ad}^{0}(g),1)\neq 0$, a Selmer class $\kappa _{p}\in \text {Sel}(\mathbf {Q},V_{p}E)$, and they conjectured the equivalence

$$ \begin{align*} \kappa_{p}\neq 0\quad\Longleftrightarrow\quad{\textrm{dim}}_{{\mathbf{Q}}_{p}}\textrm{Sel}(\mathbf{Q},V_{p}E)=2. \end{align*} $$

In this article, we prove the first cases on Darmon–Rotger’s conjecture when the auxiliary eigenform g has complex multiplication. In particular, this provides a new construction of nontrivial Selmer classes for elliptic curves of rank 2.

The formula of the title relates p-adic heights of Heegner points and derivatives of p-adic L-functions. It was originally proved by Perrin-Riou for p-ordinary elliptic curves over the rationals, under the assumption that p splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties.

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

We use circulant matrices and hyperelliptic curves over finite fields to study some arithmetic properties of certain determinants involving Legendre symbols and kth power residues.

In this note, we use Dedekind’s eta function to prove a congruence relation between the number of representations by binary quadratic forms of discriminant $-31$ and Fourier coefficients of a weight $16$ cusp form. Our result is analogous to the classical result concerning Ramanujan’s tau function and binary quadratic forms of discriminant $-23$.

We prove that if $s\ge 2$ is a fixed integer, then the equation $ns^n+1=(b^m-1)/(b-1)$ has only finitely many positive integer solutions $(n,b,m)$ with $b\ge 2$ and $m\ge 3$. When $s=2$, it has no solution.

For a set A of positive integers and any positive integer n, let $R_{1}(A, n)$, $R_{2}(A,n)$ and $R_{3}(A,n)$ denote the number of solutions of $a+a^{\prime }=n$ with $a, a^{\prime }\in A$ and the additional restriction that $a<a^{\prime }$ for $R_{2}$ and $a\leq a^{\prime }$ for $R_{3}$. We consider Problem 6 of Erdős et al. [‘On additive properties of general sequences’, Discrete Math. 136 (1994), 75–99] about locally small and locally large values of $R_{1}, R_{2}$ and $R_{3}$.

Let $k\geq 2$ be an integer. We prove that the 2-automatic sequence of odious numbers $\mathcal {O}$ is a k-additive uniqueness set for multiplicative functions: if a multiplicative function f satisfies a multivariate Cauchy’s functional equation $f(x_1+x_2+\cdots +x_k)=f(x_1)+f(x_2)+\cdots +f(x_k)$ for arbitrary $x_1,\ldots ,x_k\in \mathcal {O}$, then f is the identity function $f(n)=n$ for all $n\in \mathbb {N}$.

Let $C$ be a smooth curve over a finite field of characteristic $p$ and let $M$ be an overconvergent $\mathbf {F}$-isocrystal over $C$. After replacing $C$ with a dense open subset, $M$ obtains a slope filtration. This is a purely $p$-adic phenomenon; there is no counterpart in the theory of lisse $\ell$-adic sheaves. The graded pieces of this slope filtration correspond to lisse $p$-adic sheaves, which we call geometric. Geometric lisse $p$-adic sheaves are mysterious, as there is no $\ell$-adic analogue. In this article, we study the monodromy of geometric lisse $p$-adic sheaves with rank one. More precisely, we prove exponential bounds on their ramification breaks. When the generic slopes of $M$ are integers, we show that the local ramification breaks satisfy a certain type of periodicity. The crux of the proof is the theory of $\mathbf {F}$-isocrystals with log-decay. We prove a monodromy theorem for these $\mathbf {F}$-isocrystals, as well as a theorem relating the slopes of $M$ to the rate of log-decay of the slope filtration. As a consequence of these methods, we provide a new proof of the Drinfeld–Kedlaya theorem for irreducible $\mathbf {F}$-isocrystals on curves.

In earlier work, the first named author generalized the construction of Darmon-style $\mathcal {L}$-invariants to cuspidal automorphic representations of semisimple groups of higher rank, which are cohomological with respect to the trivial coefficient system and Steinberg at a fixed prime. In this paper, assuming that the Archimedean component of the group has discrete series we show that these automorphic $\mathcal {L}$-invariants can be computed in terms of derivatives of Hecke eigenvalues in $p$-adic families. Our proof is novel even in the case of modular forms, which was established by Bertolini, Darmon and Iovita. The main new technical ingredient is the Koszul resolution of locally analytic principal series representations by Kohlhaase and Schraen. As an application of our results we settle a conjecture of Spieß: we show that automorphic $\mathcal {L}$-invariants of Hilbert modular forms of parallel weight $2$ are independent of the sign character used to define them. Moreover, we show that they are invariant under Jacquet–Langlands transfer and, in fact, equal to the Fontaine–Mazur $\mathcal {L}$-invariant of the associated Galois representation. Under mild assumptions, we also prove the equality of automorphic and Fontaine–Mazur $\mathcal {L}$-invariants for representations of definite unitary groups of arbitrary rank. Finally, we study the case of Bianchi modular forms to show how our methods, given precise results on eigenvarieties, can also work in the absence of discrete series representations.

We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge–Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proof, independent of the classical Jacquet–Langlands correspondence, that Galois representations can be attached to classical and $p$-adic quaternionic eigenforms.

Consider three normalized cuspidal eigenforms of weight $2$ and prime level p. Under the assumption that the global root number of the associated triple product L-function is $+1$, we prove that the complex Abel–Jacobi image of the modified diagonal cycle of Gross–Kudla–Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel–Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow–Heegner points associated with modified diagonal cycles on elliptic curves of prime conductor with split multiplicative reduction. The approach also works in the case of composite square-free level.

Let E be an elliptic curve defined over a number field F with good ordinary reduction at all primes above p, and let $F_\infty $ be a finitely ramified uniform pro-p extension of F containing the cyclotomic $\mathbb {Z}_p$-extension $F_{\operatorname {cyc}}$. Set $F^{(n)}$ be the nth layer of the tower, and $F^{(n)}_{\operatorname {cyc}}$ the cyclotomic $\mathbb {Z}_p$-extension of $F^{(n)}$. We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $\lambda $-invariant of the Selmer group over $F^{(n)}_{ \operatorname {cyc}}$ as $n\rightarrow \infty $. This method has its origins in work of A. Cuoco, who studied $\mathbb {Z}_p^2$-extensions. Refined estimates for growth are proved that are close to conjectured estimates. The results are illustrated in special cases.

We explicate the combinatorial/geometric ingredients of Arthur’s proof of the convergence and polynomiality, in a truncation parameter, of his noninvariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur’s results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur’s work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence–Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii–Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind’s axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set N, a distinguished element $0\in N$ and a function $s\colon N\to N$. The structure in our axiomatization is a triple $(O,L,s)$, where O is a class, L is a class function defined on all s-closed ‘subsets’ of O, and s is a class function $s\colon O\to O$. In fact, we develop the theory relative to a Grothendieck-style universe (minus the power set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system.