Let S be a finite set of primes. We prove that a form of finite Galois descent obstruction is the only obstruction to the existence of $\mathbb {Z}_{S}$-points on integral models of Hilbert modular varieties, extending a result of D. Helm and F. Voloch about modular curves. Let L be a totally real field. Under (a special case of) the absolute Hodge conjecture and a weak Serre’s conjecture for mod $\ell $ representations of the absolute Galois group of L, we prove that the same holds also for the $\mathcal {O}_{L,S}$-points.

We prove a functional equation for a vector valued real analytic Eisenstein series transforming with the Weil representation of $\operatorname{Sp}(n,\mathbb{Z})$ on $\mathbb{C}[(L^{\prime }/L)^{n}]$ . By relating such an Eisenstein series with a real analytic Jacobi Eisenstein series of degree $n$ , a functional equation for such an Eisenstein series is proved. Employing a doubling method for Jacobi forms of higher degree established by Arakawa, we transfer the aforementioned functional equation to a zeta function defined by the eigenvalues of a Jacobi eigenform. Finally, we obtain the analytic continuation and a functional equation of the standard $L$ -function attached to a Jacobi eigenform, which was already proved by Murase, however in a different way.

Let f and g be two cuspidal modular forms and let ${\mathcal {F}}$ be a Coleman family passing through f, defined over an open affinoid subdomain V of weight space $\mathcal {W}$. Using ideas of Pottharst, under certain hypotheses on f and $g,$ we construct a coherent sheaf over $V \times \mathcal {W}$ that interpolates the Bloch–Kato Selmer group of the Rankin–Selberg convolution of two modular forms in the critical range (i.e, the range where the p-adic L-function $L_p$ interpolates critical values of the global L-function). We show that the support of this sheaf is contained in the vanishing locus of $L_p$.

We study intersections of orbits in polynomial semigroup dynamics with lines on the affine plane over a number field, extending previous work of D. Ghioca, T. Tucker, and M. Zieve (2008).

By making use of the ‘creative microscoping’ method, Guo and Zudilin [‘Dwork-type supercongruences through a creative $q$-microscope’, Preprint, 2020, arXiv:2001.02311] proved several Dwork-type supercongruences, including some conjectures of Swisher. In this paper, we apply the Guo–Zudilin method to prove a new Dwork-type supercongruence, which uniformly generalises several conjectures of Swisher.

In order to study integers with few prime factors, the average of $\unicode[STIX]{x1D6EC}_{k}=\unicode[STIX]{x1D707}\ast \log ^{k}$ has been a central object of research. One of the more important cases, $k=2$, was considered by Selberg [‘An elementary proof of the prime-number theorem’, Ann. of Math. (2) 50 (1949), 305–313]. For $k\geq 2$, it was studied by Bombieri [‘The asymptotic sieve’, Rend. Accad. Naz. XL (5) 1(2) (1975/76), 243–269; (1977)] and later by Friedlander and Iwaniec [‘On Bombieri’s asymptotic sieve’, Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 5(4) (1978), 719–756], as an application of the asymptotic sieve.

Let $\unicode[STIX]{x1D6EC}_{j,k}:=\unicode[STIX]{x1D707}_{j}\ast \log ^{k}$, where $\unicode[STIX]{x1D707}_{j}$ denotes the Liouville function for $(j+1)$-free integers, and $0$ otherwise. In this paper we evaluate the average value of $\unicode[STIX]{x1D6EC}_{j,k}$ in a residue class $n\equiv a\text{ mod }q$, $(a,q)=1$, uniformly on $q$. When $j\geq 2$, we find that the average value in a residue class differs by a constant factor from the expected value. Moreover, an explicit formula of Weil type for $\unicode[STIX]{x1D6EC}_{k}(n)$ involving the zeros of the Riemann zeta function is derived for an arbitrary compactly supported ${\mathcal{C}}^{2}$ function.

The aim of this paper is to study circular units in the compositum K of t cyclic extensions of ${\mathbb {Q}}$ ($t\ge 2$) of the same odd prime degree $\ell $. If these fields are pairwise arithmetically orthogonal and the number s of primes ramifying in $K/{\mathbb {Q}}$ is larger than $t,$ then a nontrivial root $\varepsilon $ of the top generator $\eta $ of the group of circular units of K is constructed. This explicit unit $\varepsilon $ is used to define an enlarged group of circular units of K, to show that $\ell ^{(s-t)\ell ^{t-1}}$ divides the class number of K, and to prove an annihilation statement for the ideal class group of K.

We formulate a general question regarding the size of the iterated Galois groups associated with an algebraic dynamical system and then we discuss some special cases of our question. Our main result answers this question for certain split polynomial maps whose coordinates are unicritical polynomials.

In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is,

$$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$

$\chi $

$GL(n)$

${\mathbb {Q}}$

We prove a 1966 conjecture of Tate concerning the Artin–Tate pairing on the Brauer group of a surface over a finite field, which is the analog of the Cassels–Tate pairing. Tate asked if this pairing is always alternating and we find an affirmative answer, which is somewhat surprising in view of the work of Poonen–Stoll on the Cassels–Tate pairing. Our method is based on studying a connection between the Artin–Tate pairing and (generalizations of) Steenrod operations in étale cohomology. Inspired by an analogy to the algebraic topology of manifolds, we develop tools allowing us to calculate the relevant étale Steenrod operations in terms of characteristic classes.

We prove the test function conjecture of Kottwitz and the first named author for local models of Shimura varieties with parahoric level structure attached to Weil-restricted groups, as defined by B. Levin. Our result covers the (modified) local models attached to all connected reductive groups over $p$-adic local fields with $p\geqslant 5$. In addition, we give a self-contained study of relative affine Grassmannians and loop groups formed using general relative effective Cartier divisors in a relative curve over an arbitrary Noetherian affine scheme.

The bounded height conjecture of Bombieri, Masser, and Zannier states that for any sufficiently generic algebraic subvariety of a semiabelian $\overline{\mathbb{Q}}$-variety $G$ there is an upper bound on the Weil height of the points contained in its intersection with the union of all algebraic subgroups having (at most) complementary dimension in $G$. This conjecture has been shown by Habegger in the case where $G$ is either a multiplicative torus or an abelian variety. However, there are new obstructions to his approach if $G$ is a general semiabelian variety. In particular, the lack of Poincaré reducibility means that quotients of a given semiabelian variety are intricate to describe. To overcome this, we study directly certain families of line bundles on $G$. This allows us to demonstrate the conjecture for general semiabelian varieties.

We prove Bogolyubov–Ruzsa-type results for finite subsets of groups with small tripling, |A3| ≤ O(|A|), or small alternation, |AA−1A| ≤ O(|A|). As applications, we obtain a qualitative analogue of Bogolyubov’s lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox and Zhao, and gives a quantitative version of previous work of the author, Pillay and Terry.

Many phenomena in geometry and analysis can be explained via the theory of $D$-modules, but this theory explains close to nothing in the non-archimedean case, by the absence of integration by parts. Hence there is a need to look for alternatives. A central example of a notion based on the theory of $D$-modules is the notion of holonomic distributions. We study two recent alternatives of this notion in the context of distributions on non-archimedean local fields, namely $\mathscr{C}^{\text{exp}}$-class distributions from Cluckers et al. [‘Distributions and wave front sets in the uniform nonarchimedean setting’, Trans. Lond. Math. Soc.5(1) (2018), 97–131] and WF-holonomicity from Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)]. We answer a question from Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)] by showing that each distribution of the $\mathscr{C}^{\text{exp}}$-class is WF-holonomic and thus provides a framework of WF-holonomic distributions, which is stable under taking Fourier transforms. This is interesting because the $\mathscr{C}^{\text{exp}}$-class contains many natural distributions, in particular, the distributions studied by Aizenbud and Drinfeld [‘The wave front set of the Fourier transform of algebraic measures’, Israel J. Math.207(2) (2015), 527–580 (English)]. We show also another stability result of this class, namely, one can regularize distributions without leaving the $\mathscr{C}^{\text{exp}}$-class. We strengthen a link from Cluckers et al. [‘Distributions and wave front sets in the uniform nonarchimedean setting’, Trans. Lond. Math. Soc.5(1) (2018), 97–131] between zero loci and smooth loci for functions and distributions of the $\mathscr{C}^{\text{exp}}$-class. A key ingredient is a new resolution result for subanalytic functions (by alterations), based on embedded resolution for analytic functions and model theory.

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [Logarithm laws for flows on homogeneous spaces. Invent. Math. 138(3) (1999), 451–494] resolving Sprindžuk’s conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. Selecta Math. 10 (2004), 479–523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson–Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW’s sufficient conditions for extremality. In the first of this series of papers [Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures. Selecta Math. 24(3) (2018), 2165–2206], we introduce and develop a systematic account of two classes of measures, which we call quasi-decaying and weakly quasi-decaying. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ‘inherited exponent of irrationality’ version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson–Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying.

Using the axioms of He and Rapoport for the stratifications of Shimura varieties, we explain a result of Görtz, He, and Nie that the EKOR strata contained in the basic loci can be described as a disjoint union of Deligne–Lusztig varieties. In the special case of Siegel modular varieties, we compare their descriptions to that of Görtz and Yu for the supersingular Kottwitz-Rapoport strata and to the descriptions of Harashita and Hoeve for the supersingular Ekedahl–Oort strata.

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional.

We study the growth of p-primary Selmer groups of abelian varieties with good ordinary reduction at p in ${{Z}}_p$-extensions of a fixed number field K. Proving that in many situations the knowledge of the Selmer groups in a sufficiently large number of finite layers of a ${{Z}}_p$-extension over K suffices for bounding the over-all growth, we relate the Iwasawa invariants of Selmer groups in different ${{Z}}_p$-extensions of K. As applications, we bound the growth of Mordell–Weil ranks and the growth of Tate-Shafarevich groups. Finally, we derive an analogous result on the growth of fine Selmer groups.

Given $d\in \mathbb{N}$, we establish sum-product estimates for finite, nonempty subsets of $\mathbb{R}^{d}$. This is equivalent to a sum-product result for sets of diagonal matrices. In particular, let $A$ be a finite, nonempty set of $d\times d$ diagonal matrices with real entries. Then, for all $\unicode[STIX]{x1D6FF}_{1}<1/3+5/5277$,

$$\begin{eqnarray}|A+A|+|A\cdot A|\gg _{d}|A|^{1+\unicode[STIX]{x1D6FF}_{1}/d},\end{eqnarray}$$

The notion of the truncated Euler characteristic for Iwasawa modules is an extension of the notion of the usual Euler characteristic to the case when the homology groups are not finite. This article explores congruence relations between the truncated Euler characteristics for dual Selmer groups of elliptic curves with isomorphic residual representations, over admissible p-adic Lie extensions. Our results extend earlier congruence results from the case of elliptic curves with rank zero to the case of higher rank elliptic curves. The results provide evidence for the p-adic Birch and Swinnerton-Dyer formula without assuming the main conjecture.