Let $p \geq 5$ be a prime number, and let $G = {\mathrm {SL}}_2(\mathbb {Q}_p)$. Let $\Xi = {\mathrm {Spec}}(Z)$ denote the spectrum of the centre Z of the pro-p Iwahori–Hecke algebra of G with coefficients in a field k of characteristic p. Let $\mathcal {R} \subset \Xi \times \Xi $ denote the support of the pro-p Iwahori ${\mathrm {Ext}}$-algebra of G, viewed as a $(Z,Z)$-bimodule. We show that the locally ringed space $\Xi /\mathcal {R}$ is a projective algebraic curve over ${\mathrm {Spec}}(k)$ with two connected components and that each connected component is a chain of projective lines. For each Zariski open subset U of $\Xi /\mathcal {R}$, we construct a stable localising subcategory $\mathcal {L}_U$ of the category of smooth k-linear representations of G.

For a connected reductive group G over a nonarchimedean local field F of positive characteristic, Genestier-Lafforgue and Fargues-Scholze have attached a semisimple parameter ${\mathcal {L}}^{ss}(\pi )$ to each irreducible representation $\pi $. Our first result shows that the Genestier-Lafforgue parameter of a tempered $\pi $ can be uniquely refined to a tempered L-parameter ${\mathcal {L}}(\pi )$, thus giving the unique local Langlands correspondence which is compatible with the Genestier-Lafforgue construction. Our second result establishes ramification properties of ${\mathcal {L}}^{ss}(\pi )$ for unramified G and supercuspidal $\pi $ constructed by induction from an open compact (modulo center) subgroup. If ${\mathcal {L}}^{ss}(\pi )$ is pure in an appropriate sense, we show that ${\mathcal {L}}^{ss}(\pi )$ is ramified (unless G is a torus). If the inducing subgroup is sufficiently small in a precise sense, we show $\mathcal {L}^{ss}(\pi )$ is wildly ramified. The proofs are via global arguments, involving the construction of Poincaré series with strict control on ramification when the base curve is ${\mathbb {P}}^1$ and a simple application of Deligne’s Weil II.

We study the growth of the local $L^2$-norms of the unitary Eisenstein series for reductive groups over number fields, in terms of their parameters. We derive a poly-logarithmic bound on an average, for a large class of reductive groups. The method is based on Arthur’s development of the spectral side of the trace formula, and ideas of Finis, Lapid and Müller.

As applications of our method, we prove the optimal lifting property for $\mathrm {SL}_n(\mathbb {Z}/q\mathbb {Z})$ for square-free q, as well as the Sarnak–Xue [52] counting property for the principal congruence subgroup of $\mathrm {SL}_n(\mathbb {Z})$ of square-free level. This makes the recent results of Assing–Blomer [8] unconditional.

We investigate the joint distribution of L-functions on the line $ \sigma= {1}/{2} + {1}/{G(T)}$ and $ t \in [ T, 2T]$, where $ \log \log T \leq G(T) \leq { \log T}/{ ( \log \log T)^2 } $. We obtain an upper bound on the discrepancy between the joint distribution of L-functions and that of their random models. As an application we prove an asymptotic expansion of a multi-dimensional version of Selberg’s central limit theorem for L-functions on $ \sigma= 1/2 + 1/{G(T)}$ and $ t \in [ T, 2T]$, where $ ( \log T)^\varepsilon \leq G(T) \leq { \log T}/{ ( \log \log T)^{2+\varepsilon } } $ for $ \varepsilon > 0$.

Let $G$ be a split semisimple group over a global function field $K$. Given a cuspidal automorphic representation $\Pi$ of $G$ satisfying a technical hypothesis, we prove that for almost all primes $\ell$, there is a cyclic base change lifting of $\Pi$ along any $\mathbb {Z}/\ell \mathbb {Z}$-extension of $K$. Our proof does not rely on any trace formulas; instead it is based on using modularity lifting theorems, together with a Smith theory argument, to obtain base change for residual representations. As an application, we also prove that for any split semisimple group $G$ over a local function field $F$, and almost all primes $\ell$, any irreducible admissible representation of $G(F)$ admits a base change along any $\mathbb {Z}/\ell \mathbb {Z}$-extension of $F$. Finally, we characterize local base change more explicitly for a class of toral representations considered in work of Chan and Oi.

We investigate the Gross–Prasad conjecture and its refinement for the Bessel periods in the case of $(\mathrm {SO}(5), \mathrm {SO}(2))$. In particular, by combining several theta correspondences, we prove the Ichino–Ikeda-type formula for any tempered irreducible cuspidal automorphic representation. As a corollary of our formula, we prove an explicit formula relating certain weighted averages of Fourier coefficients of holomorphic Siegel cusp forms of degree two, which are Hecke eigenforms, to central special values of $L$-functions. The formula is regarded as a natural generalization of the Böcherer conjecture to the non-trivial toroidal character case.

For $g \geqslant 2$, we show that the number of positive integers at most X which can be written as sum of two base g palindromes is at most ${X}/{\log^c X}$. This answers a question of Baxter, Cilleruelo and Luca.

We establish a q-analogue of a supercongruence related to a supercongruence of Rodriguez-Villegas, which extends a q-congruence of Guo and Zeng [‘Some q-analogues of supercongruences of Rodriguez-Villegas’, J. Number Theory 145 (2014), 301–316]. The important ingredients in the proof include Andrews’ $_4\phi _3$ terminating identity.

Let $k\geq 4$ be an integer. We prove that the set $\mathcal {O}$ of all nonzero generalised octagonal numbers is a k-additive uniqueness set for the set of multiplicative functions. That is, if a multiplicative function $f_k$ satisfies the condition

$$ \begin{align*} f_k(x_1+x_2+\cdots+x_k)=f_k(x_1)+f_k(x_2)+\cdots+f_k(x_k) \end{align*} $$

for arbitrary $x_1,\ldots ,x_k\in \mathcal {O}$, then $f_k$ is the identity function $f_k(n)=n$ for all $n\in \mathbb {N}$. We also show that $f_2$ and $f_3$ are not determined uniquely.

Let $m,\,r\in {\mathbb {Z}}$ and $\omega \in {\mathbb {R}}$ satisfy $0\leqslant r\leqslant m$ and $\omega \geqslant 1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum _{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{\omega,m}(r)=\omega ^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,\,1,\,\ldots,\,m\}$ such that $g_{\omega,m}(0)<\cdots < g_{\omega,m}(r_0-1)\leqslant g_{\omega,m}(r_0)$ and $g_{\omega,m}(r_0)>\cdots >g_{\omega,m}(m)$. For real $\omega \geqslant \sqrt 3$ we prove that $r_0\in \{\lfloor \frac {m+2}{\omega +1}\rfloor,\,\lfloor \frac {m+2}{\omega +1}\rfloor +1\}$, and also $r_0 =\lfloor \frac {m+2}{\omega +1}\rfloor$ for $\omega \in \{3,\,4,\,\ldots \}$ or $\omega =2$ and $3\nmid m$.

We formulate and prove the archimedean period relations for Rankin–Selberg convolutions for ${\mathrm {GL}}(n)\times {\mathrm {GL}}(n-1)$. As a consequence, we prove the period relations for critical values of the Rankin–Selberg L-functions for ${\mathrm {GL}}(n)\times {\mathrm {GL}}(n-1)$ over arbitrary number fields.

The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth projective variety: one is via the $K$-theory of a regular integral model, the other is through its $\ell$-adic realization. Both approaches are conjectured to coincide. This paper initiates the study of motivic cohomology for global fields of positive characteristic, hereafter named $A$-motivic cohomology, where classical mixed motives are replaced by mixed Anderson $A$-motives. Our main objective is to set the definitions of the integral part and the good $\ell$-adic part of the $A$-motivic cohomology using Gardeyn's notion of maximal models as the analogue of regular integral models of varieties. Our main result states that the integral part is contained in the good $\ell$-adic part. As opposed to what is expected in the number field setting, we show that the two approaches do not match in general. We conclude this work by introducing the submodule of regulated extensions of mixed Anderson $A$-motives, for which we expect the two approaches to match, and solve some particular cases of this expectation.

We give a vanishing and classification result for holomorphic differential forms on smooth projective models of the moduli spaces of pointed K3 surfaces. We prove that there is no nonzero holomorphic k-form for $0<k<10$ and for even $k>19$. In the remaining cases, we give an isomorphism between the space of holomorphic k-forms with that of vector-valued modular forms ($10\leq k \leq 18$) or scalar-valued cusp forms (odd $k\geq 19$) for the modular group. These results are in fact proved in the generality of lattice-polarisation.

This paper is the first part in a series of three papers devoted to the study of enumerative invariants of abelian surfaces through the tropical approach. In this paper, we consider the enumeration of genus g curves of fixed degree passing through g points. We compute the tropical multiplicity provided by a correspondence theorem due to T. Nishinou and show that it is possible to refine this multiplicity in the style of the Block–Göttsche refined multiplicity to get tropical refined invariants.

In this paper, we establish some finiteness results about the multiplicative dependence of rational values modulo sets which are ‘close’ (with respect to the Weil height) to division groups of finitely generated multiplicative groups of a number field K. For example, we show that under some conditions on rational functions $f_1, \ldots, f_n\in K(X)$, there are only finitely many elements $\alpha \in K$ such that $f_1(\alpha),\ldots,f_n(\alpha)$ are multiplicatively dependent modulo such sets.

We show that if F is $\mathbb{Q}$ or a multiquadratic number field, $p\in\left\{{2,3,5}\right\}$, and $K/F$ is a Galois extension of degree a power of p, then for elliptic curves $E/\mathbb{Q}$ ordered by height, the average dimension of the p-Selmer groups of $E/K$ is bounded. In particular, this provides a bound for the average K-rank of elliptic curves $E/\mathbb{Q}$ for such K. Additionally, we give bounds for certain representation–theoretic invariants of Mordell–Weil groups over Galois extensions of such F.

The central result is that: for each finite Galois extension $K/F$ of number fields and prime number p, as $E/\mathbb{Q}$ varies, the difference in dimension between the Galois fixed space in the p-Selmer group of $E/K$ and the p-Selmer group of $E/F$ has bounded average.

An integer partition of a positive integer n is called t-core if none of its hook lengths is divisible by t. Gireesh et al. [‘A new analogue of t-core partitions’, Acta Arith. 199 (2021), 33–53] introduced an analogue $\overline {a}_t(n)$ of the t-core partition function. They obtained multiplicative formulae and arithmetic identities for $\overline {a}_t(n)$ where $t \in \{3,4,5,8\}$ and studied the arithmetic density of $\overline {a}_t(n)$ modulo $p_i^{\,j}$ where $t=p_1^{a_1}\cdots p_m^{a_m}$ and $p_i\geq 5$ are primes. Bandyopadhyay and Baruah [‘Arithmetic identities for some analogs of the 5-core partition function’, J. Integer Seq. 27 (2024), Article no. 24.4.5] proved new arithmetic identities satisfied by $\overline {a}_5(n)$. We study the arithmetic densities of $\overline {a}_t(n)$ modulo arbitrary powers of 2 and 3 for $t=3^\alpha m$ where $\gcd (m,6)$=1. Also, employing a result of Ono and Taguchi [‘2-adic properties of certain modular forms and their applications to arithmetic functions’, Int. J. Number Theory 1 (2005), 75–101] on the nilpotency of Hecke operators, we prove an infinite family of congruences for $\overline {a}_3(n)$ modulo arbitrary powers of 2.

We determine the characteristic polynomials of the matrices $[q^{\,j-k}+t]_{1\le \,j,k\le n}$ and $[q^{\,j+k}+t]_{1\le \,j,k\le n}$ for any complex number $q\not =0,1$. As an application, for complex numbers $a,b,c$ with $b\not =0$ and $a^2\not =4b$, and the sequence $(w_m)_{m\in \mathbb Z}$ with $w_{m+1}=aw_m-bw_{m-1}$ for all $m\in \mathbb Z$, we determine the exact value of $\det [w_{\,j-k}+c\delta _{jk}]_{1\le \,j,k\le n}$.

Let $\pi $ be a cuspidal, cohomological automorphic representation of an inner form G of $\operatorname {{PGL}}_2$ over a number field F of arbitrary signature. Further, let $\mathfrak {p}$ be a prime of F such that G is split at $\mathfrak {p}$ and the local component $\pi _{\mathfrak {p}}$ of $\pi $ at $\mathfrak {p}$ is the Steinberg representation. Assuming that the representation is noncritical at $\mathfrak {p}$, we construct automorphic $\mathcal {L}$-invariants for the representation $\pi $. If the number field F is totally real, we show that these automorphic $\mathcal {L}$-invariants agree with the Fontaine–Mazur $\mathcal {L}$-invariant of the associated p-adic Galois representation. This generalizes a recent result of Spieß respectively Rosso and the first named author from the case of parallel weight $2$ to arbitrary cohomological weights.

For $\lambda \in (0,\,1/2]$ let $K_\lambda \subset \mathbb {R}$ be a self-similar set generated by the iterated function system $\{\lambda x,\, \lambda x+1-\lambda \}$. Given $x\in (0,\,1/2)$, let $\Lambda (x)$ be the set of $\lambda \in (0,\,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda (x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\,\ldots,\, y_p\in (0,\,1/2)$ there exists a full Hausdorff dimensional set of $\lambda \in (0,\,1/2]$ such that $y_1,\,\ldots,\, y_p \in K_\lambda$.