For any positive integers $k_1,k_2$ and any set $A\subseteq \mathbb {N}$, let $R_{k_1,k_2}(A,n)$ be the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. Let g be a fixed integer. We prove that if $k_1$ and $k_2$ are two integers with $2\le k_1<k_2$ and $(k_1,k_2)=1$, then there does not exist any set $A\subseteq \mathbb {N}$ such that $R_{k_1,k_2}(A,n)-R_{k_1,k_2}(\mathbb {N}\setminus A,n)=g$ for all sufficiently large integers n, and if $1=k_1<k_2$, then there exists a set A such that $R_{k_1,k_2}(A,n)-R_{k_1,k_2}(\mathbb {N}\setminus A,n)=1$ for all positive integers n.

We find closed formulas for arbitrarily high mixed moments of characteristic polynomials of the Alternative Circular Unitary Ensemble, as well as closed formulas for the averages of ratios of characteristic polynomials in this ensemble. A comparison is made to analogous results for the Circular Unitary Ensemble. Both moments and ratios are studied via symmetric function theory and a general formula of Borodin-Olshanski-Strahov.

We show that framed deformation rings of mod p representations of the absolute Galois group of a p-adic local field are complete intersections of expected dimension. We determine their irreducible components and show that they and their special fibres are normal and complete intersection. As an application, we prove density results of loci with prescribed p-adic Hodge theoretic properties.

We establish the linear independence of values of the q-analogue of the exponential function and its derivatives at specified algebraic arguments, when q is a Pisot–Vijayaraghavan number. We also deduce similar results for cognate functions, such as the Tschakaloff function and certain generalised q-series.

We prove $\times a \times b$ measure rigidity for multiplicatively independent pairs when $a\in \mathbb {N}$ and $b>1$ is a ‘specified’ real number (the b-expansion of $1$ has a tail or bounded runs of $0$s) under a positive entropy condition. This is done by proving a mean decay of the Fourier series of the point masses average along $\times b$ orbits. We also prove a quantitative version of this decay under stronger conditions on the $\times a$ invariant measure. The quantitative version together with the $\times b$ invariance of the limit measure is a step toward a general Host-type pointwise equidistribution theorem in which the equidistribution is for Parry measure instead of Lebesgue. We show that finite memory length measures on the a-shift meet the mentioned conditions for mean convergence. Our main proof relies on techniques of Hochman.

We prove that any subset of $\overline {\mathbb {Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountably many transcendental entire functions over $\mathbb {C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions [Lectures on Transcendental Numbers, Lecture Notes in Mathematics, 546 (Springer-Verlag, Berlin, 1976)].

We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher-rank simple Lie groups. Using Galois cohomology, we actually show that $\operatorname {SO}^0(n,2)$ for $n \ge 6$ and the exceptional groups $E_{6(-14)}$ and $E_{7(-25)}$ constitute the complete list of higher-rank Lie groups admitting such examples.

We study for each fixed integer $g \ge 2$, for all primes $\ell $ and p with $\ell \neq p$, finite regular directed graphs associated with the set of equivalence classes of $\ell $-marked principally polarized superspecial abelian varieties of dimension g in characteristic p, and show that the adjacency matrices have real eigenvalues with spectral gaps independent of p. This implies a rapid mixing property of natural random walks on the family of isogeny graphs beyond the elliptic curve case and suggests a potential construction of the Charles–Goren–Lauter-type cryptographic hash functions for abelian varieties. We give explicit lower bounds for the gaps in terms of the Kazhdan constant for the symplectic group when $g \ge 2$. As a byproduct, we also show that the finite regular directed graphs constructed by Jordan and Zaytman also has the same property.

We study higher uniformity properties of the Möbius function $\mu $, the von Mangoldt function $\Lambda $, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{\theta +\varepsilon } \leq H \leq X^{1-\varepsilon }$ for a fixed constant $0 \leq \theta < 1$ and any $\varepsilon>0$.

More precisely, letting $\Lambda ^\sharp $ and $d_k^\sharp $ be suitable approximants of $\Lambda $ and $d_k$ and $\mu ^\sharp = 0$, we show for instance that, for any nilsequence $F(g(n)\Gamma )$, we have

$$\begin{align*}\sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) \Gamma) \ll H \log^{-A} X \end{align*}$$

when $\theta = 5/8$ and $f \in \{\Lambda , \mu , d_k\}$ or $\theta = 1/3$ and $f = d_2$.

As a consequence, we show that the short interval Gowers norms $\|f-f^\sharp \|_{U^s(X,X+H]}$ are also asymptotically small for any fixed s for these choices of $f,\theta $. As applications, we prove an asymptotic formula for the number of solutions to linear equations in primes in short intervals and show that multiple ergodic averages along primes in short intervals converge in $L^2$.

Our innovations include the use of multiparameter nilsequence equidistribution theorems to control type $II$ sums and an elementary decomposition of the neighborhood of a hyperbola into arithmetic progressions to control type $I_2$ sums.

We prove the local Langlands conjecture for the exceptional group $G_2(F)$ where F is a non-archimedean local field of characteristic zero.

We study the Galois module structure of the class groups of the Artin–Schreier extensions K over k of extension degree p, where $k:={\mathbb F}_q(T)$ is the rational function field and p is a prime number. The structure of the p-part $Cl_K(p)$ of the ideal class group of K as a finite G-module is determined by the invariant ${\lambda }_n$, where $G:=\operatorname {\mathrm {Gal}}(K/k)=\langle {\sigma } \rangle $ is the Galois group of K over k, and ${\lambda }_n = \dim _{{\mathbb F}_p}(Cl_K(p)^{({\sigma }-1)^{n-1}}/Cl_K(p)^{({\sigma }-1)^{n}})$. We find infinite families of the Artin–Schreier extensions over k whose ideal class groups have guaranteed prescribed ${\lambda }_n$-rank for $1 \leq n \leq 3$. We find an algorithm for computing ${\lambda }_3$-rank of $Cl_K(p)$. Using this algorithm, for a given integer $t \ge 2$, we get infinite families of the Artin–Schreier extensions over k whose ${\lambda }_1$-rank is t, ${\lambda }_2$-rank is $t-1$, and ${\lambda }_3$-rank is $t-2$. In particular, in the case where $p=2$, for a given positive integer $t \ge 2$, we obtain an infinite family of the Artin–Schreier quadratic extensions over k whose $2$-class group rank (resp. $2^2$-class group rank and $2^3$-class group rank) is exactly t (resp. $t-1$ and $t-2$). Furthermore, we also obtain a similar result on the $2^n$-ranks of the divisor class groups of the Artin–Schreier quadratic extensions over k.

For a principal ideal domain $A$, the Latimer–MacDuffee correspondence sets up a bijection between the similarity classes of matrices in $\textrm{M}_{n}(A)$ with irreducible characteristic polynomial $f(x)$ and the ideal classes of the order $A[x]/(f(x))$. We prove that when $A[x]/(f(x))$ is maximal (i.e. integrally closed, i.e. a Dedekind domain), then every similarity class contains a representative that is, in a sense, close to being a companion matrix. The first step in the proof is to show that any similarity class corresponding to an ideal (not necessarily prime) of degree one contains a representative of the desired form. The second step is a previously unpublished result due to Lenstra that implies that when $A[x]/(f(x))$ is maximal, every ideal class contains an ideal of degree one.

This work characterizes the vanishing of the Fourier coefficients of all CM (Complex Multiplication) eta quotients. As consequences, we recover Serre’s characterization about that of $\eta(12z)^{2}$ and recent results of Chang on the pth coefficients of $\eta(4z)^{6}$ and $\eta(6z)^{4}$. Moreover, we generalize the results on the cases of weight 1 to the setting of binary quadratic forms.

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 }$

In this paper, we study multiple zeta values (abbreviated as MZV’s) over function fields in positive characteristic. Our main result is to prove Thakur’s basis conjecture, which plays the analogue of Hoffman’s basis conjecture for real MZV’s. As a consequence, we derive Todd’s dimension conjecture, which is the analogue of Zagier’s dimension conjecture for classical real MZV’s.

Let $l\in \mathbb {N}_{\ge 1}$ and $\alpha : \mathbb {Z}^l\rightarrow \text {Aut}(\mathscr {N})$ be an action of $\mathbb {Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $\alpha (z)$ is ergodic for $z\in \mathbb {Z}^l\smallsetminus \{0\}$ and show that $\alpha $ satisfies exponential n-mixing for any integer $n\geq 2$. This extends the results of Gorodnik and Spatzier [Mixing properties of commuting nilmanifold automorphisms. Acta Math. 215 (2015), 127–159].

An explicit transformation for the series $\sum \limits _{n=1}^{\infty }\displaystyle \frac {\log (n)}{e^{ny}-1}$, or equivalently, $\sum \limits _{n=1}^{\infty }d(n)\log (n)e^{-ny}$ for Re$(y)>0$, which takes y to $1/y$, is obtained for the first time. This series transforms into a series containing the derivative of $R(z)$, a function studied by Christopher Deninger while obtaining an analog of the famous Chowla–Selberg formula for real quadratic fields. In the course of obtaining the transformation, new important properties of $\psi _1(z)$ (the derivative of $R(z)$) are needed as is a new representation for the second derivative of the two-variable Mittag-Leffler function $E_{2, b}(z)$ evaluated at $b=1$, all of which may seem quite unexpected at first glance. Our transformation readily gives the complete asymptotic expansion of $\sum \limits _{n=1}^{\infty }\displaystyle \frac {\log (n)}{e^{ny}-1}$ as $y\to 0$ which was also not known before. An application of the latter is that it gives the asymptotic expansion of $ \displaystyle \int _{0}^{\infty }\zeta \left (\frac {1}{2}-it\right )\zeta '\left (\frac {1}{2}+it\right )e^{-\delta t}\, dt$ as $\delta \to 0$.

We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.

Given a set X of $n\times n$ matrices and a positive integer m, we consider the problem of estimating the cardinalities of the product sets $A_1 \cdots A_m$, where $A_i\in X$. When $X={\mathcal M}_n(\mathbb {Z};H)$, the set of $n\times n$ matrices with integer elements of size at most H, we give several bounds on the cardinalities of the product sets and solution sets of related equations such as $A_1 \cdots A_m=C$ and $A_1 \cdots A_m=B_1 \cdots B_m$. We also consider the case where X is the subset of matrices in ${\mathcal M}_n(\mathbb {F})$, where $\mathbb {F}$ is a field with bounded rank $k\leq n$. In this case, we completely classify the related product set.

In 2007, Andrews introduced Durfee symbols and k-marked Durfee symbols so as to give a combinatorial interpretation for the symmetrized moment function $\eta _{2k}(n)$ of ranks of partitions. He also considered the relations between odd Durfee symbols and the mock theta function $\omega (q)$, and proved that the $2k$th moment function $\eta _{2k}^0(n)$ of odd ranks of odd Durfee symbols counts $(k+1)$-marked odd Durfee symbols of n. In this paper, we first introduce the definition of symmetrized positive odd rank moments $\eta _k^{0+}(n)$ and prove that for all $1\leq i\leq k+1$, $\eta _{2k-1}^{0+}(n)$ is equal to the number of $(k+1)$-marked odd Durfee symbols of n with the ith odd rank equal to zero and $\eta _{2k}^{0+}(n)$ is equal to the number of $(k+1)$-marked Durfee symbols of n with the ith odd rank being positive. Then we calculate the generating functions of $\eta _{k}^{0+}(n)$ and study its asymptotic behavior. Finally, we use Wright’s variant of the Hardy–Ramanujan circle method to obtain an asymptotic formula for $\eta _{k}^{0+}(n)$.