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 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 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.

Let f and g be two distinct normalized primitive holomorphic cusp forms of even integral weight $k_{1}$ and $k_{2}$ for the full modular group $SL(2,\mathbb {Z})$, respectively. Suppose that $\lambda _{f\times f\times f}(n)$ and $\lambda _{g\times g\times g}(n)$ are the n-th Dirichlet coefficient of the triple product L-functions $L(s,f\times f\times f)$ and $L(s,g\times g\times g)$. In this paper, we consider the sign changes of the sequence $\{\lambda _{f\times f\times f}(n)\}_{n\geq 1}$ and $\{\lambda _{f\times f\times f}(n)\lambda _{g\times g\times g}(n)\}_{n\geq 1}$ in short intervals and establish quantitative results for the number of sign changes for $n \leq x$, which improve the previous results.

We prove a comparison theorem between Greenberg–Benois $\mathcal {L}$-invariants and Fontaine–Mazur $\mathcal {L}$-invariants. Such a comparison theorem supplies an affirmative answer to a speculation of Besser–de Shalit.

Let $F$ be a totally real field in which $p$ is unramified and let $B$ be a quaternion algebra over $F$ which splits at at most one infinite place. Let $\overline {r}:\operatorname {{\mathrm {Gal}}}(\overline {F}/F)\rightarrow \mathrm {GL}_2(\overline {\mathbb {F}}_p)$ be a modular Galois representation which satisfies the Taylor–Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $\mathbb {Q}_p$ and $\overline {r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb {Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand–Kirillov dimension $1$. As an application we prove that the degree-two Scholze's functor (which is defined by Scholze [On the $p$-adic cohomology of the Lubin–Tate tower, Ann. Sci. Éc. Norm. Supér. (4) 51 (2018), 811–863]) vanishes on generic supersingular representations of $\mathrm {GL}_2(\mathbb {Q}_p)$. We also prove some finer structure theorems about the image of Scholze's functor in the reducible case.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

Compared with algebraic varieties the local monodromy of Drinfeld modules appears to be hopelessly complex: the image of the wild inertia subgroup under Tate module representations is infinite save for the case of potential good reduction. Nonetheless, we show that Tate modules of Drinfeld modules are ramified in a limited way: the image of a sufficiently deep ramification subgroup is trivial. This leads to a new invariant, the local conductor of a Drinfeld module. We establish an upper bound on the conductor in terms of the volume of the period lattice. As an intermediate step we develop a theory of normed lattices in function field arithmetic including the notion of volume. We relate normed lattices to vector bundles on projective curves. With the aid of Castelnuovo–Mumford regularity this implies a volume bound on norms of lattice generators, and the conductor inequality follows. Last but not least we describe the image of inertia for Drinfeld modules with period lattices of rank $1$. Just as in the theory of local $\ell$-adic Galois representations this image is commensurable with a commutative unipotent algebraic subgroup. However, in the case of Drinfeld modules such a subgroup can be a product of several copies of $\mathbf {G}_a$.

We investigate the discrepancy between the distributions of the random variable $\log L (\sigma , f \times f, X)$ and that of $\log L(\sigma +it, f \times f)$, that is,

$$ \begin{align*} D_{\sigma} (T) := \sup_{\mathcal{R}} |\mathbb{P}_T(\log L(\sigma+it, f \times f) \in \mathcal{R}) - \mathbb{P}(\log L(\sigma, f \times f, X) \in \mathcal{R})|, \end{align*} $$

where the supremum is taken over rectangles $\mathcal {R}$ with sides parallel to the coordinate axes. For fixed $T>3$ and $2/3 <\sigma _0 < \sigma < 1$, we prove that

$$ \begin{align*} D_{\sigma} (T) \ll \frac{1}{(\log T)^{\sigma}}. \end{align*} $$

Several authors have studied homomorphisms from first homology groups of modular curves to $K_2(X)$, with $X$ either a cyclotomic ring or a modular curve. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a $1$-cocycle from $\mathrm {GL}_2(\mathbb {Z})$ to the second $K$-group of the function field of a suitable group scheme over $X$, from which the maps of interest arise by specialization.

We prove a general formula that relates the parity of the Langlands parameter of a conjugate self-dual discrete series representation of $\operatorname { {GL}}_n$ to the parity of its Jacquet-Langlands image. It gives a generalization of a partial result by Mieda concerning the case of invariant $1/n$ and supercuspidal representations. It also gives a variation of the result on the self-dual case by Prasad and Ramakrishnan.

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.

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.

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.

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.

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.

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.