We prove modularity of some two-dimensional, $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}2$-adic Galois representations over a totally real field that are nearly ordinary at all places above $2$ and that are residually dihedral. We do this by employing the strategy of Skinner and Wiles, using Hida families, together with the $2$-adic patching method of Khare and Wintenberger. As an application we deduce modularity of some elliptic curves over totally real fields that have good ordinary or multiplicative reduction at places above $2$.

We study the McKay correspondence for representations of the cyclic group of order $p$ in characteristic $p$. The main tool is the motivic integration generalized to quotient stacks associated to representations. Our version of the change of variables formula leads to an explicit computation of the stringy invariant of the quotient variety. A consequence is that a crepant resolution of the quotient variety (if any) has topological Euler characteristic $p$ as in the tame case. Also, we link a crepant resolution with a count of Artin–Schreier extensions of the power series field with respect to weights determined by ramification jumps and the representation.

We prove a simple level-raising result for regular algebraic, conjugate self-dual automorphic forms on $\mathrm{GL}_n$ . This gives a systematic way to construct irreducible Galois representations whose residual representation is reducible.

Weinvestigate the Hasse principle for complete intersections cut out by a quadric hypersurface and a cubic hypersurface defined over the rational numbers.

The $p$-cohomology of an algebraic variety in characteristic $p$ lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl, Illusie, Raynaud). We study homological algebra in this category. When the base field is finite, our results provide relations between the absolute cohomology groups of algebraic varieties, log varieties, algebraic stacks, etc., and the special values of their zeta functions. These results provide compelling evidence that $D_{c}^{b}(R)$ is the correct target for $p$-cohomology in characteristic $p$.

We show that the exponent of distribution of the ternary divisor function $d_{3}$ in arithmetic progressions to prime moduli is at least $1/2+1/46$, improving results of Friedlander–Iwaniec and Heath-Brown. Furthermore, when averaging over a fixed residue class, we prove that this exponent is increased to $1/2+1/34$.

We address the problem of evaluating an $L$ -function when only a small number of its Dirichlet coefficients are known. We use the approximate functional equation in a new way and find that it is possible to evaluate the $L$ -function more precisely than one would expect from the standard approach. The method, however, requires considerably more computational effort to achieve a given accuracy than would be needed if more Dirichlet coefficients were available.

We construct an elliptic curve over the field of rational functions with torsion group $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}$ and rank equal to four, and an elliptic curve over $\mathbb{Q}$ with the same torsion group and rank nine. Both results improve previous records for ranks of curves of this torsion group. They are obtained by considering elliptic curves induced by Diophantine triples.

We give a separability criterion for the polynomials of the form

$$\begin{equation*} ax^{2n + 2} + (bx^{2m} + c)(d x^{2k} + e). \end{equation*}$$

$$\begin{equation*} z^2 = ax^{2n + 2} + (bx^{2m} + c)(d x^{2k} + e) \end{equation*}$$

Boyd showed that the beta expansion of Salem numbers of degree 4 were always eventually periodic. Based on an heuristic argument, Boyd had conjectured that the same is true for Salem numbers of degree 6 but not for Salem numbers of degree 8. This paper examines Salem numbers of degree 8 and collects experimental evidence in support of Boyd’s conjecture.

In this paper we present a new family of identities for multiple harmonic sums which generalize a recent result of Hessami Pilehrood et al  [Trans. Amer. Math. Soc. (to appear)]. We then apply it to obtain a family of identities relating multiple zeta star values to alternating Euler sums. In such a typical identity the entries of the multiple zeta star values consist of blocks of arbitrarily long 2-strings separated by positive integers greater than two while the largest depth of the alternating Euler sums depends only on the number of 2-string blocks but not on their lengths.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\mathbb{F}_q$ be the finite field of $q$ elements. An analogue of the regular continued fraction expansion for an element $\alpha $ in the field of formal Laurent series over $\mathbb{F}_q$ is given uniquely by

$$\begin{equation*}\alpha = A_0(\alpha )+\cfrac {1}{A_1(\alpha )+\cfrac {1}{A_2(\alpha )+\ddots }}, \end{equation*}$$

$(A_n(\alpha ))_{n=0}^\infty $

$\mathbb{F}_q$

$\deg (A_n(\alpha ))\ge 1$

$n\ge 1.$

$(p_n)_{n=1}^\infty $

$$\begin{equation*}\lim _{n\to \infty }\frac {1}{n}\sum _{j=1}^n \deg (A_{p_j}(\alpha )) = \frac {q}{q-1} \end{equation*}$$

$\alpha $

$(p_n)_{n=1}^\infty $

$(n)_{n=1}^\infty ,$

We obtain new bounds of multivariate exponential sums with monomials, when the variables run over rather short intervals. Furthermore, we use the same method to derive estimates on similar sums with multiplicative characters to which previously known methods do not apply. In particular, in the case of multiplicative characters modulo a prime $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$ we break the barrier of $p^{1/4}$ for ranges of individual variables.

We give a new proof of a recent result of Kohnen–Martin on a characterization of degree 2 Siegel cusp forms by the growth of their Fourier coefficients. Our main tools are Koecher–Maass series, Imai’s converse theorem and the theory of singular modular forms.

Let $F$ be a totally real field, and $v$ a place of $F$ dividing an odd prime $p$. We study the weight part of Serre’s conjecture for continuous totally odd representations $\overline{{\it\rho}}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbb{F}}_{p})$ that are reducible locally at $v$. Let $W$ be the set of predicted Serre weights for the semisimplification of $\overline{{\it\rho}}|_{G_{F_{v}}}$. We prove that, when $\overline{{\it\rho}}|_{G_{F_{v}}}$ is generic, the Serre weights in $W$ for which $\overline{{\it\rho}}$ is modular are exactly the ones that are predicted (assuming that $\overline{{\it\rho}}$ is modular). We also determine precisely which subsets of $W$ arise as predicted weights when $\overline{{\it\rho}}|_{G_{F_{v}}}$ varies with fixed generic semisimplification.

For a positive integer $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}n$, let $\sigma (n)$ denote the sum of the positive divisors of $n$. Let $d$ be a proper divisor of $n$. We call $n$ a deficient-perfect number if $\sigma (n) = 2n - d$. In this paper, we show that there are no odd deficient-perfect numbers with three distinct prime divisors.

We determine a lower gap property for the growth of an unbounded $\mathbb{Z}$-valued $k$-regular sequence. In particular, if $f:\mathbb{N}\to \mathbb{Z}$ is an unbounded $k$-regular sequence, we show that there is a constant $c>0$ such that $|f(n)|>c\log n$ infinitely often. We end our paper by answering a question of Borwein, Choi and Coons on the sums of completely multiplicative automatic functions.

Recently, Keith used the theory of modular forms to study 9-regular partitions modulo 2 and 3. He obtained one infinite family of congruences modulo 3, and meanwhile proposed an analogous conjecture. In this note, we show that 9-regular partitions and 3-cores satisfy the same congruences modulo 3. Thus, we first derive several results on 3-cores, and then generalise Keith’s conjecture and get a stronger result, which implies that all of Keith’s results on congruences modulo 3 are consequences of our result.

We estimate double sums

$$\begin{eqnarray}S_{{\it\chi}}(a,{\mathcal{I}},{\mathcal{G}})=\mathop{\sum }\limits_{x\in {\mathcal{I}}}\mathop{\sum }\limits_{{\it\lambda}\in {\mathcal{G}}}{\it\chi}(x+a{\it\lambda}),\quad 1\leq a<p-1,\end{eqnarray}$$

${\it\chi}$

$p$

${\mathcal{I}}=\{1,\dots ,H\}$

${\mathcal{G}}$

$T$

$p$

$S_{{\it\chi}}(a,{\mathcal{I}},{\mathcal{G}})$

$H\geq p^{1/4+{\it\varepsilon}}$

$T\geq p^{1/2+{\it\varepsilon}}$

${\it\varepsilon}>0$

$H$

$T$

$$\begin{eqnarray}T_{{\it\chi}}(a,{\mathcal{G}})=\mathop{\sum }\limits_{{\it\lambda},{\it\mu}\in {\mathcal{G}}}{\it\chi}(a+{\it\lambda}+{\it\mu}),\quad 1\leq a<p-1,\end{eqnarray}$$

$p$

We determine several variants of the classical interpolation formula for finite fields which produce polynomials that induce a desirable mapping on the nonspecified elements, and without increasing the number of terms in the formula. As a corollary, we classify those permutation polynomials over a finite field which are their own compositional inverse, extending work of C. Wells.