We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We determine the density of integral binary forms of given degree that have squarefree discriminant, proving for the first time that the lower density is positive. Furthermore, we determine the density of integral binary forms that cut out maximal orders in number fields. The latter proves, in particular, an ‘arithmetic Bertini theorem’ conjectured by Poonen for ${\mathbb {P}}^1_{\mathbb {Z}}$.
Our methods also allow us to prove that there are $\gg X^{1/2+1/(n-1)}$ number fields of degree n having associated Galois group $S_n$ and absolute discriminant less than X, improving the best previously known lower bound of $\gg X^{1/2+1/n}$.
Finally, our methods correct an error in and thus resurrect earlier (retracted) results of Nakagawa on lower bounds for the number of totally unramified $A_n$-extensions of quadratic number fields of bounded discriminant.
The aim of this work is to prove a new sure upper bound in a setting that can be thought of as a simplified function field analogue. This result is comparable to a recent result of the author concerning an almost sure upper bound of random multiplicative functions. Having a simpler quantity allows us to make the proof more accessible.
We study the notion of inhomogeneous Poissonian pair correlations, proving several properties that show similarities and differences to its homogeneous counterpart. In particular, we show that sequences with inhomogeneous Poissonian pair correlations need not be uniformly distributed, contrary to what was till recently believed.
We state and prove an extension of the global Gan-Gross-Prasad conjecture and the Ichino-Ikeda conjecture to the case of some Eisenstein series on unitary groups $U_n\times U_{n+1}$. Our theorems are based on a comparison of the Jacquet-Rallis trace formulas. A new point is the expression of some interesting spectral contributions in these formulas in terms of integrals of relative characters. As an application of our main theorems, we prove the global Gan-Gross-Prasad and the Ichino-Ikeda conjecture for Bessel periods of unitary groups.
One of the important problems in algebraic number theory is to study the monogenity of number fields. Monogenic number fields arise from the roots of monogenic polynomials. In this article, we deal with the problem of monogenity of the composition of two monic polynomials having integer coefficients. We provide necessary and sufficient conditions for the composition to be monogenic together with a further sufficient condition. At the end of the paper, we construct an infinite tower of monogenic number fields.
Amdeberhan et al. [‘Arithmetic properties for generalized cubic partitions and overpartitions modulo a prime’, Aequationes Math. (2024), doi:10.1007/s00010-024-01116-7] defined the generalised cubic partition function $a_c(n)$ as the number of partitions of n whose even parts may appear in $c\geq 1$ different colours and proved that $a_3(7n+4)\equiv 0\pmod {7}$ and $a_5(11n+10)\equiv 0\pmod {11}$ for all $n\geq 0$ via modular forms. Recently, the author [‘A note on congruences for generalized cubic partitions modulo primes’, Integers25 (2025), Article no. A20] gave elementary proofs of these congruences. We prove in this note two infinite families of congruences modulo $5$ for $a_c(n)$ given by
Étant donnée une suite $A = (a_n)_{n\geqslant 0}$ d’entiers naturels tous au moins égaux à 2, on pose $q_0 = 1$ et, pour tout entier naturel n, $q_{n+1} = a_n q_n$. Tout nombre entier naturel $n\geqslant 1$ admet une unique représentation dans la base A, dite de Cantor, de la forme
$$ \begin{align*} S = \sum_{n \leqslant x}\Lambda(n) f(n) \end{align*} $$
où $\Lambda $ est la fonction de von Mangoldt et f une fonction fortement multiplicative en base A. L’estimation des sommes de type I et II associées repose sur le bon contrôle de transformées de Fourier discrètes de fonctions construites à partir de f par décalage dans la numération en base A. Cette approche pouvant échouer si la suite $(a_n)_{n\geqslant 0}$ est trop irrégulière, nous introduisons la notion de base de Cantor tempérée et obtenons dans ce cadre une majoration générale de la somme S.
Nous étudions plusieurs exemples dans la base $A = (j+2)_{j\geqslant 0}$, dite factorielle. En particulier, si $s_A$ désigne la fonction somme de chiffres dans cette base et p parcourt la suite des nombres premiers, nous montrons que la suite $(s_A(p))_{p\in \mathcal {P}}$ est bien répartie dans les progressions arithmétiques, et que la suite $(\alpha s_A(p))_{p\in \mathcal {P}}$ est équirépartie modulo $1$ pour tout nombre irrationnel $\alpha $.
We prove an asymptotic formula for the second moment of central values of Dirichlet L-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo d inside the full group of characters modulo q. Suppose that $\nu _p(d) \geq \nu _p(q)/2$ for all primes p dividing q. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem.
We also obtain an asymptotic result for smaller d, with $\nu _p(q)/3 \leq \nu _p(d) \leq \nu _p(q)/2$, with a power-saving error term for d larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly d, which is only slightly smaller than the diagonal main term.
Kam Cheong Au [‘Wilf–Zeilberger seeds and non-trivial hypergeometric series’, Journal of Symbolic Computation130 (2025), Article no. 102241] discovered a powerful methodology for finding new Wilf–Zeilberger (WZ) pairs. He calls it WZ seeds and gives numerous examples of applications to proving longstanding conjectural identities for reciprocal powers of $\pi $ and their duals for Dirichlet L-values. In this note, we explain how a modification of Au’s WZ pairs together with a classical analytic argument yields simpler proofs of these results. We illustrate our method with examples elaborated with assistance of Maple code that we have developed.
For a wide class of integer linear recurrence sequences $(u(n))_{n=1}^\infty $, we give an upper bound on the number of s-tuples $\left (n_1, \ldots , n_s\right ) \in \left ({\mathbb Z}\cap [M+1,M+ N]\right )^s$ such that the corresponding elements $u(n_1), \ldots , u(n_s)$ in the sequence are multiplicatively dependent.
In this note, we prove that quadratic algebraic integers, except for trivial cases, are not Mahler measures of algebraic integers and we also answer in negative the question of A. Schinzel [9] whether $1+\sqrt {17}$ is a Mahler measure of an algebraic number.
We introduce an explicit family of representations of the double affine Hecke algebra $\mathbb {H}$ acting on spaces of quasi-polynomials, defined in terms of truncated Demazure-Lusztig type operators. We show that these quasi-polynomial representations provide concrete realisations of a natural family of cyclic Y-parabolically induced $\mathbb {H}$-representations. We recover Cherednik’s well-known polynomial representation as a special case.
The quasi-polynomial representation gives rise to a family of commuting operators acting on spaces of quasi-polynomials. These generalize the Cherednik operators, which are fundamental in the study of Macdonald polynomials. We provide a detailed study of their joint eigenfunctions, which may be regarded as quasi-polynomial, multi-parametric generalisations of nonsymmetric Macdonald polynomials. We also introduce generalizations of symmetric Macdonald polynomials, which are invariant under a multi-parametric generalization of the standard Weyl group action.
We connect our results to the representation theory of metaplectic covers of reductive groups over non-archimedean local fields. We introduce root system generalizations of the metaplectic polynomials from our previous work by taking a suitable restriction and reparametrization of the quasi-polynomial generalizations of Macdonald polynomials. We show that metaplectic Iwahori-Whittaker functions can be recovered by taking the Whittaker limit of these metaplectic polynomials.
In this work, we investigate the arithmetic properties of $b_{5^k}(n)$, which counts the partitions of n where no part is divisible by $5^k$. By constructing generating functions for $b_{5^k}(n)$ across specific arithmetic progressions, we establish a set of Ramanujan-type congruences.
Inspired by Nakamura’s work [36] on $\epsilon $-isomorphisms for $(\varphi ,\Gamma )$-modules over (relative) Robba rings with respect to the cyclotomic theory, we formulate an analogous conjecture for L-analytic Lubin-Tate $(\varphi _L,\Gamma _L)$-modules over (relative) Robba rings for any finite extension L of $\mathbb {Q}_p.$ In contrast to Kato’s and Nakamura’s setting, our conjecture involves L-analytic cohomology instead of continuous cohomology within the generalized Herr complex. Similarly, we restrict to the identity components of $D_{cris}$ and $D_{dR},$ respectively. For rank one modules of the above type or slightly more generally for trianguline ones, we construct $\epsilon $-isomorphisms for their Lubin-Tate deformations satisfying the desired interpolation property.
Andrews and El Bachraoui [‘On two-colour partitions with odd smallest part’, Preprint, arXiv:2410.14190] explored many integer partitions in two colours, some of which are generated by the mock theta functions of third order of Ramanujan and Watson. They also posed questions regarding combinatorial proofs for these results. In this paper, we establish bijections to provide a combinatorial proof of one of these results and a companion result. We give analytic proofs of further companion results.
We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>2$ by showing that the Kisin–Pappas–Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.
Let F be a non-archimedean local field of characteristic not equal to 2. In this article, we prove the local converse theorem for quasi-split $\mathrm {O}_{2n}(F)$ and $\mathrm {SO}_{2n}(F)$, via the description of the local theta correspondence between $\mathrm {O}_{2n}(F)$ and $\mathrm {Sp}_{2n}(F)$. More precisely, as a main step, we explicitly describe the precise behavior of the $\gamma $-factors under the correspondence. Furthermore, we apply our results to prove the weak rigidity theorems for irreducible generic cuspidal automorphic representations of $\mathrm {O}_{2n}(\mathbb {A})$ and $\mathrm {SO}_{2n}(\mathbb {A})$, respectively, where $\mathbb {A}$ is a ring of adele of a global number field L.
We show that for all real biquadratic fields not containing $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{6}$, $\sqrt{7}$ and $\sqrt{13}$, the Pythagoras number of the ring of algebraic integers is at least 6. We also provide an upper bound on the norm and the minimal (codifferent) trace of additively indecomposable integers in some families of these fields.
We study $\ell $-isogeny graphs of ordinary elliptic curves defined over $\mathbb {F}_q$ with an added level structure. Given an integer N coprime to p and $\ell ,$ we look at the graphs obtained by adding $\Gamma _0(N)$, $\Gamma _1(N),$ and $\Gamma (N)$-level structures to volcanoes. Given an order $\mathcal {O}$ in an imaginary quadratic field $K,$ we look at the action of generalized ideal class groups of $\mathcal {O}$ on the set of elliptic curves whose endomorphism rings are $\mathcal {O}$ along with a given level structure. We show how the structure of the craters of these graphs is determined by the choice of parameters.
Let q be a power of a prime p, let $\mathbb F_q$ be the finite field with q elements and, for each nonconstant polynomial $F\in \mathbb F_{q}[X]$ and each integer $n\ge 1$, let $s_F(n)$ be the degree of the splitting field (over $\mathbb F_q$) of the iterated polynomial $F^{(n)}(X)$. In 1999, Odoni proved that $s_A(n)$ grows linearly with respect to n if $A\in \mathbb F_q[X]$ is an additive polynomial not of the form $aX^{p^h}$; moreover, if q = p and $B(X)=X^p-X$, he obtained the formula $s_{B}(n)=p^{\lceil \log_p n\rceil}$. In this paper we note that $s_F(n)$ grows at least linearly unless $F\in \mathbb F_q[X]$ has an exceptional form and we obtain a stronger form of Odoni’s result, extending it to affine polynomials. In particular, we prove that if A is additive, then $s_A(n)$ resembles the step function $p^{\lceil \log_p n\rceil}$ and we indeed have the identity $s_A(n)=\alpha p^{\lceil \log_p \beta n\rceil}$ for some $\alpha, \beta\in \mathbb Q$, unless A presents a special irregularity of dynamical flavour. As applications of our main result, we obtain statistics for periodic points of linear maps over $\mathbb F_{q^i}$ as $i\to +\infty$ and for the factorization of iterates of affine polynomials over finite fields.