We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$, which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

In this paper, we study the stability of the ring solution of the N-body problem in the entire sphere $\mathbb {S}^2$ by using the logarithmic potential proposed in Boatto et al. (2016, Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 472, 20160020) and Dritschel (2019, Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 377, 20180349), derived through a definition of central force and Hodge decomposition theorem for 1-forms in manifolds. First, we characterize the ring solution and study its spectral stability, obtaining regions (spherical caps) where the ring solution is spectrally stable for $2\leq N\leq 6$, while, for $N\geq 7$, the ring is spectrally unstable. The nonlinear stability is studied by reducing the system to the homographic regular polygonal solutions, obtaining a 2-d.o.f. Hamiltonian system, and therefore some classic results on stability for 2-d.o.f. Hamiltonian systems are applied to prove that the ring solution is unstable at any parallel where it is placed. Additionally, this system can be reduced to 1-d.o.f. by using the angular momentum integral, which enables us to describe the phase portraits and use them to find periodic ring solutions to the full system. Some of those solutions are numerically approximated.

Let a and b be positive integers and let $\{U_n\}_{n\ge 0}$ be the Lucas sequence of the first kind defined by

$$ \begin{align*}U_0=0,\quad U_1=1\quad \mbox{and} \quad U_n=aU_{n-1}+bU_{n-2} \quad \mbox{for }n\ge 2.\end{align*} $$

We define an $(a,b)$-Wall–Sun–Sun prime to be a prime p such that $\gcd (p,b)=1$ and $\pi (p^2)=\pi (p),$ where $\pi (p):=\pi _{(a,b)}(p)$ is the length of the period of $\{U_n\}_{n\ge 0}$ modulo p. When $(a,b)=(1,1)$, such primes are known in the literature simply as Wall–Sun–Sun primes. In this note, we provide necessary and sufficient conditions such that a prime p dividing $a^2+4b$ is an $(a,b)$-Wall–Sun–Sun prime.

Erdős proved that every real number is the sum of two Liouville numbers. A set W of complex numbers is said to have the Erdős property if every real number is the sum of two members of W. Mahler divided the set of all transcendental numbers into three disjoint classes S, T and U such that, in particular, any two complex numbers which are algebraically dependent lie in the same class. The set of Liouville numbers is a proper subset of the set U and has Lebesgue measure zero. It is proved here, using a theorem of Weil on locally compact groups, that if $m\in [0,\infty )$, then there exist $2^{\mathfrak {c}}$ dense subsets W of S each of Lebesgue measure m such that W has the Erdős property and no two of these W are homeomorphic. It is also proved that there are $2^{\mathfrak {c}}$ dense subsets W of S each of full Lebesgue measure, which have the Erdős property. Finally, it is proved that there are $2^{\mathfrak {c}}$ dense subsets W of S such that every complex number is the sum of two members of W and such that no two of these W are homeomorphic.

Erdős considered the second moment of the gap-counting function of prime divisors in 1946 and proved an upper bound that is not of the right order of magnitude. We prove asymptotics for all moments. Furthermore, we prove a generalisation stating that the gaps between primes p for which there is no $\mathbb{Q}_p$-point on a random variety are Poisson distributed.

Let F be a subfield of the complex numbers and $f(x)=x^6+ax^5+bx^4+cx^3+bx^2+ax+1 \in F[x]$ an irreducible polynomial. We give an elementary characterisation of the Galois group of $f(x)$ as a transitive subgroup of $S_6$. The method involves determining whether three expressions involving a, b and c are perfect squares in F and whether a related quartic polynomial has a linear factor. As an application, we produce one-parameter families of reciprocal sextic polynomials with a specified Galois group.

We generalize the works of Pappas–Rapoport–Zhu on twisted affine Grassmannians to the wildly ramified case under mild assumptions. This rests on a construction of certain smooth affine $\mathbb {Z}[t]$-groups with connected fibers of parahoric type, motivated by previous work of Tits. The resulting $\mathbb {F}_p(t)$-groups are pseudo-reductive and sometimes non-standard in the sense of Conrad–Gabber–Prasad, and their $\mathbb {F}_p [\hspace {-0,5mm}[ {t} ]\hspace {-0,5mm}] $-models are parahoric in a generalized sense. We study their affine Grassmannians, proving normality of Schubert varieties and Zhu’s coherence theorem.

Let q be an odd prime power and suppose that $a,b\in \mathbb {F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb {F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if $v-u$ is a square, and $u*v=u+b(v{-}u)$ if $v-u$ is a nonsquare. This quasigroup is called maximally nonassociative if it satisfies $x*(y*z) = (x*y)*z \Leftrightarrow x=y=z$. Denote by $\sigma (q)$ the number of $(a,b)$ for which $Q_{a,b}$ is maximally nonassociative. We show that there exist constants $\alpha \approx 0.029\,08$ and $\beta \approx 0.012\,59$ such that if $q\equiv 1 \bmod 4$, then $\lim \sigma (q)/q^2 = \alpha $, and if $q \equiv 3 \bmod 4$, then $\lim \sigma (q)/q^2 = \beta $.

We discuss near-perfect numbers of various forms. In particular, we study the existence of near-perfect numbers in the Fibonacci and Lucas sequences, near-perfect values taken by integer polynomials and repdigit near-perfect numbers.

A natural operation on numerical semigroups is taking a quotient by a positive integer. If $\mathcal {S}$ is a quotient of a numerical semigroup with k generators, we call $\mathcal {S}$ a k-quotient. We give a necessary condition for a given numerical semigroup $\mathcal {S}$ to be a k-quotient and present, for each $k \ge 3$, the first known family of numerical semigroups that cannot be written as a k-quotient. We also examine the probability that a randomly selected numerical semigroup with k generators is a k-quotient.

Let F be a CM number field. We generalise existing automorphy lifting theorems for regular residually irreducible p-adic Galois representations over F by relaxing the big image assumption on the residual representation.

Jannsen asked whether the rational cycle class map in continuous $\ell $-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by Schreieder, the integral version of Jannsen’s question is also of interest. We exhibit several examples showing that the answer to the integral version is negative in general. Our examples also have consequences for the coniveau filtration on Chow groups and the transcendental Abel-Jacobi map constructed by Schreieder.

In this paper, we give an explicit computable algorithm for the Zelevinsky–Aubert duals of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.

Let $\psi : \mathbb {N} \to [0,1/2]$ be given. The Duffin–Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals $\alpha$ there are infinitely many coprime solutions $(p,q)$ to the inequality $|\alpha - p/q| < \psi (q)/q$, provided that the series $\sum _{q=1}^\infty \varphi (q) \psi (q) / q$ is divergent. In the present paper, we establish a quantitative version of this result, by showing that for almost all $\alpha$ the number of coprime solutions $(p,q)$, subject to $q \leq Q$, is of asymptotic order $\sum _{q=1}^Q 2 \varphi (q) \psi (q) / q$. The proof relies on the method of GCD graphs as invented by Koukoulopoulos and Maynard, together with a refined overlap estimate from sieve theory, and number-theoretic input on the ‘anatomy of integers’. The key phenomenon is that the system of approximation sets exhibits ‘asymptotic independence on average’ as the total mass of the set system increases.

The aim of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to p-adic numbers. Firstly, we establish complete analogues of Khintchine’s theorem, the Duffin–Schaeffer theorem and the Jarník–Besicovitch theorem for ‘weighted’ simultaneous Diophantine approximation in the p-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of weighted simultaneously approximable points lying on p-adic manifolds. This is valid for very general classes of curves and manifolds and have natural constraints on the exponents of approximation. The key tools we use in our proofs are the Mass Transference Principle, including its recent extension due to Wang and Wu in 2019, and a Zero-One law for weighted p-adic approximations established in this paper.

An explicit formula forthe mean value of $\vert L(1,\chi )\vert ^2$ is known, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors p. Bounds on the relative class number of the cyclotomic field ${\mathbb Q}(\zeta _p)$ follow. Lately, the authors obtained that the mean value of $\vert L(1,\chi )\vert ^2$ is asymptotic to $\pi ^2/6$, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors $p\equiv 1\ \ \pmod {2d}$ which are trivial on a subgroup H of odd order d of the multiplicative group $({\mathbb Z}/p{\mathbb Z})^*$, provided that $d\ll \frac {\log p}{\log \log p}$. Bounds on the relative class number of the subfield of degree $\frac {p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta _p)$ follow. Here, for a given integer $d_0>1$, we consider the same questions for the nonprimitive odd Dirichlet characters $\chi '$ modulo $d_0p$ induced by the odd primitive characters $\chi $ modulo p. We obtain new estimates for Dedekind sums and deduce that the mean value of $\vert L(1,\chi ')\vert ^2$ is asymptotic to $\frac {\pi ^2}{6}\prod _{q\mid d_0}\left (1-\frac {1}{q^2}\right )$, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors p which are trivial on a subgroup H of odd order $d\ll \frac {\log p}{\log \log p}$. As a consequence, we improve the previous bounds on the relative class number of the subfield of degree $\frac {p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta _p)$. Moreover, we give a method to obtain explicit formulas and use Mersenne primes to show that our restriction on d is essentially sharp.

In this paper, the nilspace approach to higher-order Fourier analysis is developed in the setting of vector spaces over a prime field $\mathbb {F}_p$, with applications mainly in ergodic theory. A key requisite for this development is to identify a class of nilspaces adequate for this setting. We introduce such a class, whose members we call p-homogeneous nilspaces. One of our main results characterizes these objects in terms of a simple algebraic property. We then prove various further results on these nilspaces, leading to a structure theorem describing every finite p-homogeneous nilspace as the image, under a nilspace fibration, of a member of a simple family of filtered finite abelian p-groups. The applications include a description of the Host–Kra factors of ergodic $\mathbb {F}_p^\omega $-systems as p-homogeneous nilspace systems. This enables the analysis of these factors to be reduced to the study of such nilspace systems, with central questions on the factors thus becoming purely algebraic problems on finite nilspaces. We illustrate this approach by proving that for $k\leq p+1$ the kth Host–Kra factor is an Abramov system of order at most k, extending a result of Bergelson–Tao–Ziegler that holds for $k< p$. We illustrate the utility of p-homogeneous nilspaces also by showing that the structure theorem yields a new proof of the Tao–Ziegler inverse theorem for Gowers norms on $\mathbb {F}_p^n$.

Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of $\mathbb {Q}$ and to give a new proof of the vanishing of Massey triple products in Galois cohomology.

Fujii obtained a formula for the average number of Goldbach representations with lower-order terms expressed as a sum over the zeros of the Riemann zeta function and a smaller error term. This assumed the Riemann Hypothesis. We obtain an unconditional version of this result and obtain applications conditional on various conjectures on zeros of the Riemann zeta function.

Recently, when studying intricate connections between Ramanujan’s theta functions and a class of partition functions, Banerjee and Dastidar [‘Ramanujan’s theta functions and parity of parts and cranks of partitions’, Ann. Comb., to appear] studied some arithmetic properties for $c_o(n)$, the number of partitions of n with odd crank. They conjectured a congruence modulo $4$ satisfied by $c_o(n)$. We confirm the conjecture and evaluate $c_o(4n)$ modulo $8$ by dissecting some q-series into even powers. Moreover, we give a conjecture on the density of divisibility of odd cranks modulo 4, 8 and 16.