We define cohomological complexes of locally compact abelian groups associated with varieties over p-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups.

The following theorem, which includes as very special cases results of Jouanolou and Hrushovski on algebraic $D$-varieties on the one hand, and of Cantat on rational dynamics on the other, is established: Working over a field of characteristic zero, suppose $\unicode[STIX]{x1D719}_{1},\unicode[STIX]{x1D719}_{2}:Z\rightarrow X$ are dominant rational maps from an (possibly nonreduced) irreducible scheme $Z$ of finite type to an algebraic variety $X$, with the property that there are infinitely many hypersurfaces on $X$ whose scheme-theoretic inverse images under $\unicode[STIX]{x1D719}_{1}$ and $\unicode[STIX]{x1D719}_{2}$ agree. Then there is a nonconstant rational function $g$ on $X$ such that $g\unicode[STIX]{x1D719}_{1}=g\unicode[STIX]{x1D719}_{2}$. In the case where $Z$ is also reduced, the scheme-theoretic inverse image can be replaced by the proper transform. A partial result is obtained in positive characteristic. Applications include an extension of the Jouanolou–Hrushovski theorem to generalised algebraic ${\mathcal{D}}$-varieties and of Cantat’s theorem to self-correspondences.

We analyze the elementary theory of certain fields $K^{\mathfrak{S}}(\boldsymbol{\unicode[STIX]{x1D70E}})$ of totally $\mathfrak{S}$ -adic algebraic numbers that were introduced and studied by Geyer and Jarden and by Haran, Jarden, and Pop. In particular, we provide an axiomatization of these theories and prove their decidability, thereby giving a common generalization of classical decidability results of Jarden and Kiehne, Fried, Haran, and Völklein, and Ershov.

We introduce a notion of ‘hereditarily antisymmetric’ operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and prove matrix analogs of the theorems of Dilworth and Mirsky for finite posets. Some partial results are obtained in the infinite dimensional case.

The classes in Valiant's theory are classes of polynomials defined by arithmetic circuits. We characterize them by different notions of tensor calculus, in the vein of Damm, Holzer and McKenzie. This characterization underlines in particular the role played by properties of parallelization in these classes. We also give a first natural complete sequence for the class VPnb, the analogue of the class P in this context.

Given a Galois extension $L/K$ of number fields, we describe fine distribution properties of Frobenius elements via invariants from representations of finite Galois groups and ramification theory. We exhibit explicit families of extensions in which we evaluate these invariants and deduce a detailed understanding and a precise description of the possible asymmetries. We establish a general bound on the generic fluctuations of the error term in the Chebotarev density theorem, which under GRH is sharper than the Murty–Murty–Saradha and Bellaïche refinements of the Lagarias–Odlyzko and Serre bounds, and which we believe is best possible (assuming simplicity, it is of the quality of Montgomery’s conjecture on primes in arithmetic progressions). Under GRH and a hypothesis on the multiplicities of zeros up to a certain height, we show that in certain families, these fluctuations are dominated by a constant lower order term. As an application of our ideas, we refine and generalize results of K. Murty and of Bellaïche, and we answer a question of Ng. In particular, in the case where $L/{\mathbb {Q}}$ is Galois and supersolvable, we prove a strong form of a conjecture of K. Murty on the unramified prime ideal of least norm in a given Frobenius set. The tools we use include the Rubinstein–Sarnak machinery based on limiting distributions and a blend of algebraic, analytic, representation theoretic, probabilistic and combinatorial techniques.

The general position hypothesis needs strengthening.

Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $ -adic cohomology of these towers.

Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $ -adique de ces tours.

In this paper, we prove uniform bounds for $\operatorname {GL}(3)\times \operatorname {GL}(2) \ L$-functions in the $\operatorname {GL}(2)$ spectral aspect and the t aspect by a delta method. More precisely, let $\phi $ be a Hecke–Maass cusp form for $\operatorname {SL}(3,\mathbb {Z})$ and f a Hecke–Maass cusp form for $\operatorname {SL}(2,\mathbb {Z})$ with the spectral parameter $t_f$. Then for $t\in \mathbb {R}$ and any $\varepsilon>0$, we have

$$\begin{align*}L(1/2+it,\phi\times f) \ll_{\phi,\varepsilon} (t_f+|t|)^{27/20+\varepsilon}. \end{align*}$$

$L(1/2+it,\phi \times f)$

$|t|-t_f \gg (|t|+t_f)^{3/5+\varepsilon }$

We define stable homotopy refinements of Khovanov’s arc algebras and tangle invariants.

We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.

We investigate the translation lengths of group elements that arise in random walks on the isometry groups of Gromov hyperbolic spaces. In particular, without any moment condition, we prove that non-elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo-Anosov, and almost every random walk on $\mathrm {Out}(F_n)$ eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk.

We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichmüller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.

We observe that, in the eta-periodic motivic stable homotopy category, odd rank vector bundles behave to some extent as if they had a nowhere vanishing section. We discuss some consequences concerning $\operatorname {\mathrm {SL}}^c$-orientations of motivic ring spectra and the étale classifying spaces of certain algebraic groups. In particular, we compute the classifying spaces of diagonalisable groups in the eta-periodic motivic stable homotopy category.

Let K be an imaginary quadratic field and $p\geq 5$ a rational prime inert in K. For a $\mathbb {Q}$-curve E with complex multiplication by $\mathcal {O}_K$ and good reduction at p, K. Rubin introduced a p-adic L-function $\mathscr {L}_{E}$ which interpolates special values of L-functions of E twisted by anticyclotomic characters of K. In this paper, we prove a formula which links certain values of $\mathscr {L}_{E}$ outside its defining range of interpolation with rational points on E. Arithmetic consequences include p-converse to the Gross–Zagier and Kolyvagin theorem for E.

A key tool of the proof is the recent resolution of Rubin’s conjecture on the structure of local units in the anticyclotomic ${\mathbb {Z}}_p$-extension $\Psi _\infty $ of the unramified quadratic extension of ${\mathbb {Q}}_p$. Along the way, we present a theory of local points over $\Psi _\infty $ of the Lubin–Tate formal group of height $2$ for the uniformizing parameter $-p$.

We establish the optimal order of Malliavin-type remainders in the asymptotic density approximation formula for Beurling generalized integers. Given $\alpha \in (0,1]$ and $c>0$ (with $c\leq 1$ if $\alpha =1$), a generalized number system is constructed with Riemann prime counting function $ \Pi (x)= \operatorname {\mathrm {Li}}(x)+ O(x\exp (-c \log ^{\alpha } x ) +\log _{2}x), $ and whose integer counting function satisfies the extremal oscillation estimate $N(x)=\rho x + \Omega _{\pm }(x\exp (- c'(\log x\log _{2} x)^{\frac {\alpha }{\alpha +1}})$ for any $c'>(c(\alpha +1))^{\frac {1}{\alpha +1}}$, where $\rho>0$ is its asymptotic density. In particular, this improves and extends upon the earlier work [Adv. Math. 370 (2020), Article 107240].

While the classification project for the simple groups of finite Morley rank is unlikely to produce a classification of the simple groups of finite Morley rank, the enterprise has already arrived at a considerably closer approximation to that ideal goal than could have been realistically anticipated, with a mix of results of several flavors, some classificatory and others more structural, which can be combined when the stars are suitably aligned to produce results at a level of generality which, in parallel areas of group theory, would normally require either some additional geometric structure, or an explicit classification. And Bruno Poizat is generally awesome, though sometimes he goes too far.

We study $\text{Sp}_{2n}(F)$-distinction for representations of the quasi-split unitary group $U_{2n}(E/F)$ in $2n$ variables with respect to a quadratic extension $E/F$ of $p$-adic fields. A conjecture of Dijols and Prasad predicts that no tempered representation is distinguished. We verify this for a large family of representations in terms of the Mœglin–Tadić classification of the discrete series. We further study distinction for some families of non-tempered representations. In particular, we exhibit $L$-packets with no distinguished members that transfer under base change to $\text{Sp}_{2n}(E)$-distinguished representations of $\text{GL}_{2n}(E)$.

We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalised exponents. Our refinement gives a uniform proof and generalisation of a recent theorem of the second author.

The notion of an angular function has been introduced by Zilber as one possible way of connecting non-commutative geometry with two ‘counterexamples’ from model theory: the non-classical Zariski curves of Hrushovski and Zilber, and Poizat's field with green points. This article discusses some questions of Zilber relating to existentially closed structures in the class of algebraically closed fields with an angular function.

La conjecture de Tate pour les variétés abéliennes sur les corps finis a été prouvée par Tate lui-même dans le cas d'un $H^2$, mais reste ouverte en degré supérieur. Nous démontrons ici une variante affaiblie de cette conjecture (en tout degré), qui décrit néanmoins tout cycle de Tate ‘en termes de’ cycles algébriques. Cette variante s'applique aussi aux variétés abéliennes $A$ sur un corps de type fini sur un corps fini, au moins dans le cas ‘de bonne réduction’, i.e. dans le cas où $A$ est fibre générique d'un schéma abélien sur une base projective normale sur un corps fini.

Tate's conjecture for abelian varieties over finite fields has been proven by Tate himself for $H^2$ but remains open in higher degree. We prove a weaker version of the conjecture in any degree, which describes every Tate cycle `in terms of' algebraic cycles. This variant also applies to abelian varieties $A$ over finitely generated fields of characteristic $p$, at least in the `good reduction' case, i.e. when $A$ is the generic fibre of an abelian scheme on a normal projective variety defined over a finite field.