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.

In this study, we introduce multiple zeta functions with structures similar to those of symmetric functions such as the Schur P-, Schur Q-, symplectic and orthogonal functions in representation theory. Their basic properties, such as the domain of absolute convergence, are first considered. Then, by restricting ourselves to the truncated multiple zeta functions, we derive the Pfaffian expression of the Schur Q-multiple zeta functions, the sum formula for Schur P- and Schur Q-multiple zeta functions, the determinant expressions of symplectic and orthogonal Schur multiple zeta functions by making an assumption on variables. Finally, we generalize those to the quasi-symmetric functions.

We establish sharp upper bounds for shifted moments of quadratic Dirichlet L-function under the generalized Riemann hypothesis. Our result is then used to prove bounds for moments of quadratic Dirichlet character sums.

For a smooth affine group scheme G over the ring of p-adic integers and a cocharacter $\mu $ of G, we develop the deformation theory for G-$\mu $-displays over the prismatic site of Bhatt–Scholze, and discuss how our deformation theory can be interpreted in terms of prismatic F-gauges introduced by Drinfeld and Bhatt–Lurie. As an application, we prove the local representability and the formal smoothness of integral local Shimura varieties with hyperspecial level structure. We also revisit and extend some classification results of p-divisible groups.

We establish two new truncated identities for theta series. Their partition-theoretic interpretations are also given.

We study the rationality properties of the moduli space ${\mathcal{A}}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular, we show that any principally polarised abelian 3-fold over ${\mathbb{F}}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri–Lang conjecture, we also show that this is not the case for abelian varieties of dimension at least 7. Concerning moduli spaces, we show that ${\mathcal{A}}_g$ is unirational over $\mathbb{Q}$ for $g\le 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

What proportion of integers $n \leq N$ may be expressed as $x^2 + dy^2$ for some $d \leq \Delta $, with $x,y$ integers? Writing $\Delta = (\log N)^{\log 2} 2^{\alpha \sqrt {\log \log N}}$ for some $\alpha \in (-\infty , \infty )$, we show that the answer is $\Phi (\alpha ) + o(1)$, where $\Phi $ is the Gaussian distribution function $\Phi (\alpha ) = \frac {1}{\sqrt {2\pi }} \int ^{\alpha }_{-\infty } e^{-x^2/2} dx$.

A consequence of this is a phase transition: Almost none of the integers $n \leq N$ can be represented by $x^2 + dy^2$ with $d \leq (\log N)^{\log 2 - \varepsilon }$, but almost all of them can be represented by $x^2 + dy^2$ with $d \leq (\log N)^{\log 2 + \varepsilon}\kern-1.5pt$.

Let s be a fixed positive integer constant and let $\varepsilon $ be a fixed small positive number. Then, provided that a prime p is large enough, we prove that, for any set ${\mathcal M}\subseteq \mathbb {F}_p^*$ of size $|{\mathcal M}|= \lfloor { p^{14/29}}\rfloor $ and integer $H=\lfloor {p^{14/29+\varepsilon }}\rfloor $, any integer $\lambda $ can be represented in the form

$$ \begin{align*} \frac{m_1}{x_1^s}+\frac{m_2}{x_2^s}+\frac{m_3}{x_3^s}\equiv \lambda \bmod p \quad\text{with } m_i\in {\mathcal M} \text{ and } 1\leqslant x_i\leqslant H, \, i=1,2,3. \end{align*} $$

When $s=1$, we show that, for almost all primes p, if $|{\mathcal M}|= \lfloor p^{1/2}\rfloor $ and $H=\lfloor p^{1/2}(\log p)^{6+\varepsilon }\rfloor $, then any integer $\lambda $ can be represented in the form

$$ \begin{align*} \frac{m_1}{x_1}+\frac{m_2}{x_2}\equiv \lambda \bmod p \quad\text{with } m_i\in {\mathcal M} \text{ and } 1\leqslant x_i\leqslant H, \, i=1,2. \end{align*} $$

Given a polarised abelian variety over a number field, we provide totally explicit upper bounds for the cardinality of the rational points whose Néron-Tate height is less than a small threshold. These imply new estimates for the number of torsion points as well as the minimal height of a non-torsion point. Our bounds involve the Faltings height and dimension of the abelian variety together with the degrees of the polarisation and the number field but we also get a stronger statement where we use certain successive minima associated to the period lattice at a fixed archimedean place, in the spirit of a result of David for elliptic curves.

Let F be a non-archimedean locally compact field of residual characteristic p, let $G=\operatorname {GL}_{r}(F)$ and let $\widetilde {G}$ be an n-fold metaplectic cover of G with $\operatorname {gcd}(n,p)=1$. We study the category $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ of complex smooth representations of $\widetilde {G}$ having inertial equivalence class $\mathfrak {s}=(\widetilde {M},\mathcal {O})$, which is a block of the category $\operatorname {Rep}(\widetilde {G})$, following the ‘type theoretical’ strategy of Bushnell-Kutzko.

Precisely, first we construct a ‘maximal simple type’ $(\widetilde {J_{M}},\widetilde {\lambda }_{M})$ of $\widetilde {M}$ as an $\mathfrak {s}_{M}$-type, where $\mathfrak {s}_{M}=(\widetilde {M},\mathcal {O})$ is the related cuspidal inertial equivalence class of $\widetilde {M}$. Along the way, we prove the folklore conjecture that every cuspidal representation of $\widetilde {M}$ could be constructed explicitly by a compact induction. Secondly, we construct ‘simple types’ $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$ and prove that each of them is an $\mathfrak {s}$-type of a certain block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$. When $\widetilde {G}$ is either a Kazhdan-Patterson cover or Savin’s cover, the corresponding blocks turn out to be those containing discrete series representations of $\widetilde {G}$. Finally, for a simple type $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$, we describe the related Hecke algebra $\mathcal {H}(\widetilde {G},\widetilde {\lambda })$, which turns out to be not far from an affine Hecke algebra of type A, and is exactly so if $\widetilde {G}$ is one of the two special covers mentioned above.

We leave the construction of a ‘semi-simple type’ related to a general block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ to a future phase of the work.

In this paper, we complete the proof of the conjecture of Gross and Zagier concerning algebraicity of higher Green functions at a single CM point on the product of modular curves. The new ingredient is an analogue of the incoherent Eisenstein series over a real quadratic field, which is constructed as the Doi-Naganuma theta lift of a deformed theta integral on hyperbolic 1-space.

Arthur packets have been defined for pure real forms of symplectic and special orthogonal groups following two different approaches. The first approach, due to Arthur, Moeglin, and Renard uses harmonic analysis. The second approach, due to Adams, Barbasch, and Vogan uses microlocal geometry. We prove that the two approaches produce essentially equivalent Arthur packets. This extends previous work of the authors and J. Adams for the quasisplit real forms.