The Eichler–Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz–Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(\tau )=1$. More generally, we consider the singular moduli for the Hecke system of modular functions

For each $\nu \geq 0$ and $m\geq 1$, we obtain an Eichler–Selberg relation. For $\nu =0$ and $m\in \{1, 2\},$ these relations are Kaneko’s celebrated singular moduli formulas for the coefficients of $j(\tau ).$ For each $\nu \geq 1$ and $m\geq 1,$ we obtain a new Eichler–Selberg trace formula for the Hecke action on the space of weight $2 \nu +2$ cusp forms, where the traces of $j_m(\tau )$ singular moduli replace Hurwitz–Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution L-functions.

In this paper, we study ergodic $\mathbb {Z}^r$-actions and investigate expansion properties along cyclic subgroups. We show that under some spectral conditions, there are always directions which expand significantly a given measurable set with positive measure. Among other things, we use this result to prove that the set of volumes of all r-simplices with vertices in a set with positive upper density must contain an infinite arithmetic progression, thus showing a discrete density analogue of a classical result by Graham.

In this article, we calculate the Birkhoff spectrum in terms of the Hausdorff dimension of level sets for Birkhoff averages of continuous potentials for a certain family of diagonally affine iterated function systems. Also, we study Besicovitch–Eggleston sets for finite generalized Lüroth series number systems with redundancy. The redundancy refers to the fact that each number $x \in [0,1]$ has uncountably many expansions in the system. We determine the Hausdorff dimension of digit frequency sets for such expansions along fibres.

We investigate the relationship between lower bounds for the Mahler measure and splitting of primes, and prove various lower bounds for the Mahler measure of algebraic integers in terms of the least common multiples of all inertia degrees of primes. The results generalise work of the second author and Kumar [‘Lehmer’s problem and splitting of rational primes in number fields’, Acta Math. Hungar. 169(2) (2023), 349–358].

This paper contains a method to prove the existence of smooth curves in positive characteristic whose Jacobians have unusual Newton polygons. Using this method, I give a new proof that there exist supersingular curves of genus $4$ in every prime characteristic. More generally, the main result of the paper is that, for every $g \geq 4$ and prime p, every Newton polygon whose p-rank is at least $g-4$ occurs for a smooth curve of genus g in characteristic p. In addition, this method resolves some cases of Oort’s conjecture about Newton polygons of curves.

For a prime p and a rational elliptic curve $E_{/\mathbb {Q}}$, set $K=\mathbb {Q}(E[p])$ to denote the torsion field generated by $E[p]:=\operatorname {ker}\{E\xrightarrow {p} E\}$. The class group $\operatorname {Cl}_K$ is a module over $\operatorname {Gal}(K/\mathbb {Q})$. Given a fixed odd prime number p, we study the average nonvanishing of certain Galois stable quotients of the mod-p class group $\operatorname {Cl}_K/p\operatorname {Cl}_K$. Here, E varies over all rational elliptic curves, ordered according to height. Our results are conditional, since we assume that the p-primary part of the Tate–Shafarevich group is finite. Furthermore, we assume predictions made by Delaunay for the statistical variation of the p-primary parts of Tate–Shafarevich groups. We also prove results in the case when the elliptic curve $E_{/\mathbb {Q}}$ is fixed and the prime p is allowed to vary.

We give sharp point-wise bounds in the weight-aspect on fourth moments of modular forms on arithmetic hyperbolic surfaces associated to Eichler orders. Thereby, we strengthen a result of Xia and extend it to co-compact lattices. We realize this fourth moment by constructing a holomorphic theta kernel on $\mathbf {G} \times \mathbf {G} \times \mathbf {SL}_{2}$, for $\mathbf {G}$ an indefinite inner form of $\mathbf {SL}_2$ over $\mathbb {Q}$, based on the Bergman kernel, and considering its $L^2$-norm in the Weil variable. The constructed theta kernel further gives rise to new elementary theta series for integral quadratic forms of signature $(2,2)$.

In this paper, we study the universal lifting spaces of local Galois representations valued in arbitrary reductive group schemes when $\ell \neq p$. In particular, under certain technical conditions applicable to any root datum, we construct a canonical smooth component in such spaces, generalizing the minimally ramified deformation condition previously studied for classical groups. Our methods involve extending the notion of isotypic decomposition for a $\operatorname {\mathrm {GL}}_n$-valued representation to general reductive group schemes. To deal with certain scheme-theoretic issues coming from this notion, we are led to a detailed study of certain families of disconnected reductive groups, which we call weakly reductive group schemes. Our work can be used to produce geometric lifts for global Galois representations, and we illustrate this for $\mathrm {G}_2$-valued representations.

Let $P_1, \ldots , P_m \in \mathbb {K}[\mathrm {y}]$ be polynomials with distinct degrees, no constant terms and coefficients in a general local field $\mathbb {K}$. We give a quantitative count of the number of polynomial progressions $x, x+P_1(y), \ldots , x + P_m(y)$ lying in a set $S\subseteq \mathbb {K}$ of positive density. The proof relies on a general $L^{\infty }$ inverse theorem which is of independent interest. This inverse theorem implies a Sobolev improving estimate for multilinear polynomial averaging operators which in turn implies our quantitative estimate for polynomial progressions. This general Sobolev inequality has the potential to be applied in a number of problems in real, complex and p-adic analysis.

Let $[a_1(x),a_2(x),\ldots ,a_n(x),\ldots ]$ be the continued fraction expansion of $x\in [0,1)$ and $q_n(x)$ be the denominator of its nth convergent. The irrationality exponent and Khintchine exponent of x are respectively defined by

$$ \begin{align*} \overline{v}(x)=2+\limsup_{n\to\infty}\frac{\log a_{n+1}(x)}{\log q_n(x)} \quad \text{and}\quad \gamma(x)=\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^{n}\log a_i(x). \end{align*} $$

We study the multifractal spectrum of the irrationality exponent and the Khintchine exponent for continued fractions with nondecreasing partial quotients. For any $v>2$, we completely determine the Hausdorff dimensions of the sets $\{x\in [0,1): a_1(x)\leq a_2(x)\leq \cdots , \overline {v}(x)=v\}$ and

$$ \begin{align*}\bigg\{x\in[0,1): a_1(x)\leq a_2(x)\leq\cdots, \lim\limits_{n\to\infty}\frac{\log a_1(x)+\log a_2(x)+\cdots+\log a_n(x)}{\psi(n)}=1\bigg\},\end{align*} $$

where $\psi :\mathbb {N}\rightarrow \mathbb {R}^+$ is a function satisfying $\psi (n)\to \infty $ as $n\to \infty $.

We establish new results on complex and $p$-adic linear independence on a class of semiabelian varieties. As applications, we obtain transcendence results concerning complex and $p$-adic Weierstrass sigma functions associated with elliptic curves.

Recently, Alanazi et al. [‘Refining overpartitions by properties of nonoverlined parts’, Contrib. Discrete Math. 17(2) (2022), 96–111] considered overpartitions wherein the nonoverlined parts must be $\ell $-regular, that is, the nonoverlined parts cannot be divisible by the integer $\ell $. In the process, they proved a general parity result for the corresponding enumerating functions. They also proved some specific congruences for the case $\ell =3$. In this paper we use elementary generating function manipulations to significantly extend this set of known congruences for these functions.

Given a positive integer m, let $\mathbb {Z}_m$ be the set of residue classes mod m. For $A\subseteq \mathbb {Z}_m$ and $n\in \mathbb {Z}_m$, let $\sigma _A(n)$ be the number of solutions to the equation $n=x+y$ with $x,y\in A$. Let $\mathcal {H}_m$ be the set of subsets $A\subseteq \mathbb {Z}_m$ such that $\sigma _A(n)\geq 1$ for all $n\in \mathbb {Z}_m$. Let

$$ \begin{align*} \ell_m=\min\limits_{A\in \mathcal{H}_m}\bigg\lbrace m^{-1}\sum_{n\in \mathbb{Z}_m}\sigma_A(n)\bigg\rbrace. \end{align*} $$

Ding and Zhao [‘A new upper bound on Ruzsa’s numbers on the Erdős–Turán conjecture’, Int. J. Number Theory 20 (2024), 1515–1523] showed that $\limsup _{m\rightarrow \infty }\ell _m\le 192$. We prove

$$ \begin{align*} \limsup\limits_{m\rightarrow\infty}\ell_m\leq 144 \end{align*} $$

and investigate parallel results on subtractive bases of $ \mathbb {Z}_m$.

To date, the bestmethodsfor estimating the growth of mean values of arithmetic functions rely on the Voronoï summation formula. By noticing a general pattern in the proof of his summation formula, Voronoï postulated that analogous summation formulas for $\sum a(n)f(n)$ can be obtained with ‘nice’ test functions f(n), provided a(n) is an ‘arithmetic function’. These arithmetic functions a(n) are called so because they are expected to appear as coefficients of some L-functions satisfying certain properties. It has been well-known that the functional equation for a general L-function can be used to derive a Voronoï-type summation identity for that L-function. In this article, we show that such a Voronoï-typesummation identity in fact endows the L-function with some structural properties, yielding in particular the functional equation. We do this by considering Dirichlet series satisfying functional equations involving multiple Gamma factors and show that a given arithmetic function appears as a coefficient of such a Dirichlet series if and only if it satisfies the aforementioned summation formulas.

Let G be a split connected reductive group defined over $\mathbb {Z}$. Let F and $F'$ be two non-Archimedean m-close local fields, where m is a positive integer. D. Kazhdan gave an isomorphism between the Hecke algebras $\mathrm {Kaz}_m^F :\mathcal {H}\big (G(F),K_F\big ) \rightarrow \mathcal {H}\big (G(F'),K_{F'}\big )$, where $K_F$ and $K_{F'}$ are the mth usual congruence subgroups of $G(F)$ and $G(F')$, respectively. On the other hand, if $\sigma $ is an automorphism of G of prime order l, then we have Brauer homomorphism $\mathrm {Br}:\mathcal {H}(G(F),U(F))\rightarrow \mathcal {H}(G^\sigma (F),U^\sigma (F))$, where $U(F)$ and $U^\sigma (F)$ are compact open subgroups of $G(F)$ and $G^\sigma (F),$ respectively. In this article, we study the compatibility between these two maps in the local base change setting. Further, an application of this compatibility is given in the context of linkage – which is the representation theoretic version of Brauer homomorphism.

We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwiłł.

We prove the existence of a vector-valued cusp form for the full modular group for which the nth derivative of its L-function does not vanish under certain conditions. As an application, we generalize our result to Kohnen’s plus space and prove an analogous result for Jacobi forms.

We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the ai and b are fixed coefficients and h is an arbitrary integer polynomial of degree d. We establish that the natural necessary conditions for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers are also sufficient when the equation has at least $(1+o(1))d^2$ variables. We similarly characterize when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain lower bounds for the number of monochromatic or dense solutions in primes that are of the correct order of magnitude. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.

For $ \beta>1 $, let $ T_\beta $ be the $\beta $-transformation on $ [0,1) $. Let $ \beta _1,\ldots ,\beta _d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define

$$ \begin{align*}W(\mathcal P)=\{\mathbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_d})^n(\mathbf{x})\in P_n\text{ infinitely often}\}.\end{align*} $$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}}$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}} W(\mathcal P)$