We generalize our previous method on the subconvexity problem for \text{GL}_{2}\times \text{GL}_{1}$\text{GL}_{2}\times \text{GL}_{1}$ with cuspidal representations to Eisenstein series, and deduce a Burgess-like subconvex bound for Hecke characters, that is, the bound |L(1/2,\unicode[STIX]{x1D712})|\ll _{\mathbf{F},\unicode[STIX]{x1D716}}\mathbf{C}(\unicode[STIX]{x1D712})^{1/4-(1-2\unicode[STIX]{x1D703})/16+\unicode[STIX]{x1D716}}$|L(1/2,\unicode[STIX]{x1D712})|\ll _{\mathbf{F},\unicode[STIX]{x1D716}}\mathbf{C}(\unicode[STIX]{x1D712})^{1/4-(1-2\unicode[STIX]{x1D703})/16+\unicode[STIX]{x1D716}}$ for varying Hecke characters \unicode[STIX]{x1D712}$\unicode[STIX]{x1D712}$ over a number field \mathbf{F}$\mathbf{F}$ with analytic conductor \mathbf{C}(\unicode[STIX]{x1D712})$\mathbf{C}(\unicode[STIX]{x1D712})$. As a main tool, we apply the extended theory of regularized integrals due to Zagier developed in a previous paper to obtain the relevant triple product formulas of Eisenstein series.

In this paper we study the subgroup of the Picard group of Voevodsky’s category of geometric motives \operatorname{DM}_{\text{gm}}(k;\mathbb{Z}/2)$\operatorname{DM}_{\text{gm}}(k;\mathbb{Z}/2)$ generated by the reduced motives of affine quadrics. Our main tools here are the functors of Bachmann [On the invertibility of motives of affine quadrics, Doc. Math. 22 (2017), 363–395], but we also provide an alternative method. We show that the group in question can be described in terms of indecomposable direct summands in the motives of projective quadrics over k$k$. In particular, we describe all the relations among the reduced motives of affine quadrics. We also extend the criterion of motivic equivalence of projective quadrics.

The notion of Hochschild cochains induces an assignment from \mathsf{Aff}$\mathsf{Aff}$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under appropriate finiteness conditions, to a functor \mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$\mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$, where the latter denotes the category of monoidal DG categories and bimodules. Any functor \mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$\mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$ gives rise, by taking modules, to a theory of sheaves of categories \mathsf{ShvCat}^{\mathbb{A}}$\mathsf{ShvCat}^{\mathbb{A}}$. In this paper, we study \mathsf{ShvCat}^{\mathbb{H}}$\mathsf{ShvCat}^{\mathbb{H}}$. Loosely speaking, this theory categorifies the theory of \mathfrak{D}$\mathfrak{D}$-modules, in the same way as Gaitsgory’s original \mathsf{ShvCat}$\mathsf{ShvCat}$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of \mathsf{ShvCat}^{\mathbb{H}}$\mathsf{ShvCat}^{\mathbb{H}}$, its descent properties and the notion of \mathbb{H}$\mathbb{H}$-affineness. We then prove the \mathbb{H}$\mathbb{H}$-affineness of algebraic stacks: for {\mathcal{Y}}${\mathcal{Y}}$ a stack satisfying some mild conditions, the \infty$\infty$-category \mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$\mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$ is equivalent to the \infty$\infty$-category of modules for \mathbb{H}({\mathcal{Y}})$\mathbb{H}({\mathcal{Y}})$, the monoidal DG category of higher differential operators. The main consequence, for {\mathcal{Y}}${\mathcal{Y}}$ quasi-smooth, is the following: if {\mathcal{C}}${\mathcal{C}}$ is a DG category acted on by \mathbb{H}({\mathcal{Y}})$\mathbb{H}({\mathcal{Y}})$, then {\mathcal{C}}${\mathcal{C}}$ admits a theory of singular support in \operatorname{Sing}({\mathcal{Y}})$\operatorname{Sing}({\mathcal{Y}})$, where \operatorname{Sing}({\mathcal{Y}})$\operatorname{Sing}({\mathcal{Y}})$ is the space of singularities of {\mathcal{Y}}${\mathcal{Y}}$. As an application to the geometric Langlands programme, we indicate how derived Satake yields an action of \mathbb{H}(\operatorname{LS}_{{\check{G}}})$\mathbb{H}(\operatorname{LS}_{{\check{G}}})$ on \mathfrak{D}(\operatorname{Bun}_{G})$\mathfrak{D}(\operatorname{Bun}_{G})$, thereby equipping objects of \mathfrak{D}(\operatorname{Bun}_{G})$\mathfrak{D}(\operatorname{Bun}_{G})$ with singular support in \operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$\operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$.

Nous montrons, pour une grande famille de propriétés des espaces homogènes, qu’une telle propriété vaut pour tout espace homogène d’un groupe linéaire connexe dès qu’elle vaut pour les espaces homogènes de \text{SL}_{n}$\text{SL}_{n}$ à stabilisateur fini. Nous réduisons notamment à ce cas particulier la vérification d’une importante conjecture de Colliot-Thélène sur l’obstruction de Brauer–Manin au principe de Hasse et à l’approximation faible. Des travaux récents de Harpaz et Wittenberg montrent que le résultat principal s’applique également à la conjecture analogue (dite conjecture (E)) pour les zéro-cycles.

Let \mathfrak{g}=\mathfrak{g}\mathfrak{l}_{N}(\Bbbk )$\mathfrak{g}=\mathfrak{g}\mathfrak{l}_{N}(\Bbbk )$, where \Bbbk$\Bbbk$ is an algebraically closed field of characteristic p>0$p>0$, and N\in \mathbb{Z}_{{\geqslant}1}$N\in \mathbb{Z}_{{\geqslant}1}$. Let \unicode[STIX]{x1D712}\in \mathfrak{g}^{\ast }$\unicode[STIX]{x1D712}\in \mathfrak{g}^{\ast }$ and denote by U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$ the corresponding reduced enveloping algebra. The Kac–Weisfeiler conjecture, which was proved by Premet, asserts that any finite-dimensional U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$-module has dimension divisible by p^{d_{\unicode[STIX]{x1D712}}}$p^{d_{\unicode[STIX]{x1D712}}}$, where d_{\unicode[STIX]{x1D712}}$d_{\unicode[STIX]{x1D712}}$ is half the dimension of the coadjoint orbit of \unicode[STIX]{x1D712}$\unicode[STIX]{x1D712}$. Our main theorem gives a classification of U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$-modules of dimension p^{d_{\unicode[STIX]{x1D712}}}$p^{d_{\unicode[STIX]{x1D712}}}$. As a consequence, we deduce that they are all parabolically induced from a one-dimensional module for U_{0}(\mathfrak{h})$U_{0}(\mathfrak{h})$ for a certain Levi subalgebra \mathfrak{h}$\mathfrak{h}$ of \mathfrak{g}$\mathfrak{g}$; we view this as a modular analogue of Mœglin’s theorem on completely primitive ideals in U(\mathfrak{g}\mathfrak{l}_{N}(\mathbb{C}))$U(\mathfrak{g}\mathfrak{l}_{N}(\mathbb{C}))$. To obtain these results, we reduce to the case where \unicode[STIX]{x1D712}$\unicode[STIX]{x1D712}$ is nilpotent, and then classify the one-dimensional modules for the corresponding restricted W$W$-algebra.

Given a finite group \text{G}$\text{G}$ and a field K$K$, the faithful dimension of \text{G}$\text{G}$ over K$K$ is defined to be the smallest integer n$n$ such that \text{G}$\text{G}$ embeds into \operatorname{GL}_{n}(K)$\operatorname{GL}_{n}(K)$. We address the problem of determining the faithful dimension of a p$p$-group of the form \mathscr{G}_{q}:=\exp (\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q})$\mathscr{G}_{q}:=\exp (\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q})$ associated to \mathfrak{g}_{q}:=\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q}$\mathfrak{g}_{q}:=\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q}$ in the Lazard correspondence, where \mathfrak{g}$\mathfrak{g}$ is a nilpotent \mathbb{Z}$\mathbb{Z}$-Lie algebra which is finitely generated as an abelian group. We show that in general the faithful dimension of \mathscr{G}_{p}$\mathscr{G}_{p}$ is a piecewise polynomial function of p$p$ on a partition of primes into Frobenius sets. Furthermore, we prove that for p$p$ sufficiently large, there exists a partition of \mathbb{N}$\mathbb{N}$ by sets from the Boolean algebra generated by arithmetic progressions, such that on each part the faithful dimension of \mathscr{G}_{q}$\mathscr{G}_{q}$ for q:=p^{f}$q:=p^{f}$ is equal to fg(p^{f})$fg(p^{f})$ for a polynomial g(T)$g(T)$. We show that for many naturally arising p$p$-groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single formula of the latter form. The arguments rely on various tools from number theory, model theory, combinatorics and Lie theory.