Let $a$ and $m$ be relatively prime positive integers with $a>1$ and $m>2$. Let ${\it\phi}(m)$ be Euler’s totient function. The quotient $E_{m}(a)=(a^{{\it\phi}(m)}-1)/m$ is called the Euler quotient of $m$ with base $a$. By Euler’s theorem, $E_{m}(a)$ is an integer. In this paper, we consider the Diophantine equation $E_{m}(a)=x^{l}$ in integers $x>1,l>1$. We conjecture that this equation has exactly five solutions $(a,m,x,l)$ except for $(l,m)=(2,3),(2,6)$, and show that if the equation has solutions, then $m=p^{s}$ or $m=2p^{s}$ with $p$ an odd prime and $s\geq 1$.

The values at 1 of single-valued multiple polylogarithms span a certain subalgebra of multiple zeta values. The properties of this algebra are studied from the point of view of motivic periods.

Let $A\subset \{1,\dots ,N\}$ be a set of prime numbers containing no non-trivial arithmetic progressions. Suppose that $A$ has relative density ${\it\alpha}=|A|/{\it\pi}(N)$, where ${\it\pi}(N)$ denotes the number of primes in the set $\{1,\dots ,N\}$. By modifying Helfgott and De Roton’s work [Improving Roth’s theorem in the primes. Int. Math. Res. Not. IMRN2011 (4) (2011), 767–783], we improve their bound and show that

$$\begin{eqnarray}{\it\alpha}\ll \frac{(\log \log \log N)^{6}}{\log \log N}.\end{eqnarray}$$

For any positive integer $n$, let $f(n)$ denote the number of 1-shell totally symmetric plane partitions of $n$. Recently, Hirschhorn and Sellers [‘Arithmetic properties of 1-shell totally symmetric plane partitions’, Bull. Aust. Math. Soc.89 (2014), 473–478] and Yao [‘New infinite families of congruences modulo 4 and 8 for 1-shell totally symmetric plane partitions’, Bull. Aust. Math. Soc.90 (2014), 37–46] proved a number of congruences satisfied by $f(n)$. In particular, Hirschhorn and Sellers proved that $f(10n+5)\equiv 0\ (\text{mod}\ 5)$. In this paper, we establish the generating function of $f(30n+25)$ and prove that $f(250n+125)\equiv 0\ (\text{mod\ 25}).$

Kloosterman sums for a finite field $\mathbb{F}_{p}$ arise as Frobenius trace functions of certain local systems defined over $\mathbb{G}_{m,\mathbb{F}_{p}}$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ that comes from geometry. We also give bounds on the ramification of these Galois representations. All of this is done in the generality of Kloosterman sheaves attached to reductive groups introduced by Heinloth, Ngô and Yun [Ann. of Math. (2) 177 (2013), 241–310]. As an application, we give proofs of conjectures of Evans [Proc. Amer. Math. Soc. 138 (2010), 517–531; Israel J. Math. 175 (2010), 349–362] expressing the seventh and eighth symmetric power moments of the classical Kloosterman sum in terms of Fourier coefficients of explicit modular forms. The proof for the eighth symmetric power moment conjecture relies on the computation done in Appendix B by C. Vincent.

We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1–13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.

Let $Q$ be an infinite subset of $\mathbb{N}$. For any ${\it\tau}>2$, denote $W_{{\it\tau}}(Q)$ (respectively $W_{{\it\tau}}$) to be the set of ${\it\tau}$ well-approximable points by rationals with denominators in $Q$ (respectively in $\mathbb{N}$). We consider the Hausdorff dimension of the liminf set $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ after Adiceam. By using the tools of continued fractions, it is shown that if $Q$ is a so-called $\mathbb{N}\setminus Q$-free set, the Hausdorff dimension of $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ is the same as that of $W_{{\it\tau}}$, i.e. $2/{\it\tau}$.

We consider two families of arithmetic divisors defined on integral models of Shimura curves. The first was studied by Kudla, Rapoport and Yang, who proved that if one assembles these divisors in a formal generating series, one obtains the $q$-expansion of a modular form of weight 3/2. The present work concerns the Shimura lift of this modular form: we identify the Shimura lift with a generating series comprising divisors arising in the recent work of Kudla and Rapoport regarding cycles on Shimura varieties of unitary type. In the prequel to this paper, the author considered the geometry of the two families of cycles. These results are combined with the Archimedean calculations found in this work in order to establish the theorem. In particular, we obtain new examples of modular generating series whose coefficients lie in arithmetic Chow groups of Shimura varieties.

We study the distribution of the orbits of real numbers under the beta-transformation $T_{{\it\beta}}$ for any ${\it\beta}>1$. More precisely, for any real number ${\it\beta}>1$ and a positive function ${\it\varphi}:\mathbb{N}\rightarrow \mathbb{R}^{+}$, we determine the Lebesgue measure and the Hausdorff dimension of the following set:

$$\begin{eqnarray}E(T_{{\it\beta}},{\it\varphi})=\{(x,y)\in [0,1]\times [0,1]:|T_{{\it\beta}}^{n}x-y|<{\it\varphi}(n)\text{ for infinitely many }n\in \mathbb{N}\}.\end{eqnarray}$$

This paper proves two results on the field of rationality $\mathbb{Q}({\it\pi})$ for an automorphic representation ${\it\pi}$, which is the subfield of $\mathbb{C}$ fixed under the subgroup of $\text{Aut}(\mathbb{C})$ stabilizing the isomorphism class of the finite part of ${\it\pi}$. For general linear groups and classical groups, our first main result is the finiteness of the set of discrete automorphic representations ${\it\pi}$ such that ${\it\pi}$ is unramified away from a fixed finite set of places, ${\it\pi}_{\infty }$ has a fixed infinitesimal character, and $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ is bounded. The second main result is that for classical groups, $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ grows to infinity in a family of automorphic representations in level aspect whose infinite components are discrete series in a fixed $L$-packet under mild conditions.

Schinzel’s Hypothesis (H) was used by Colliot-Thélène and Sansuc, and later by Serre, Swinnerton-Dyer and others, to prove that the Brauer–Manin obstruction controls the Hasse principle and weak approximation on pencils of conics and similar varieties. We show that when the ground field is $\mathbb{Q}$ and the degenerate geometric fibres of the pencil are all defined over $\mathbb{Q}$, one can use this method to obtain unconditional results by replacing Hypothesis (H) with the finite complexity case of the generalised Hardy–Littlewood conjecture recently established by Green, Tao and Ziegler.

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}}P(x)$ be a polynomial of degree $d$ with zeros $\alpha _1, \ldots, \alpha _d$. Stulov and Yang [‘An elementary inequality about the Mahler measure’, Involve6(4) (2013), 393–397] defined the total distance of$P$ as ${\rm td}(P)=\sum _{i=1}^{d} | | \alpha _i| -1|$. In this paper, using the method of explicit auxiliary functions, we study the spectrum of the total distance for totally positive algebraic integers and find its five smallest points. Moreover, for totally positive algebraic integers, we establish inequalities comparing the total distance with two standard measures and also the trace. We give numerical examples to show that our bounds are quite good. The polynomials involved in the auxiliary functions are found by a recursive algorithm.

We use an invariant-theoretic method to compute certain twists of the modular curves $\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}}X(n)$ for $n=7,11$ . Searching for rational points on these twists enables us to find non-trivial pairs of $n$ -congruent elliptic curves over ${\mathbb{Q}}$ , that is, pairs of non-isogenous elliptic curves over ${\mathbb{Q}}$ whose $n$ -torsion subgroups are isomorphic as Galois modules. We also find a non-trivial pair of 11-congruent elliptic curves over ${\mathbb{Q}}(T)$ , and hence give an explicit infinite family of non-trivial pairs of 11-congruent elliptic curves  over ${\mathbb{Q}}$ .

Supplementary materials are available with this article.

We exhibit a numerical method to compute three-point branched covers of the complex projective line. We develop algorithms for working explicitly with Fuchsian triangle groups and their finite-index subgroups, and we use these algorithms to compute power series expansions of modular forms on these groups.

We explicitly construct the Kummer variety associated to the Jacobian of a hyperelliptic curve of genus 3 that is defined over a field of characteristic not equal to 2 and has a rational Weierstrass point defined over the same field. We also construct homogeneous quartic polynomials on the Kummer variety and show that they represent the duplication map using results of Stoll.

Supplementary materials are available with this article.

We formulate a conjecture which generalizes Darmon’s ‘refined class number formula’. We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the ‘except $2$-part’ of Darmon’s conjecture, which was first proved by Mazur and Rubin.

In this paper, we study transcendence theory for Thakur multizeta values in positive characteristic. We prove an analogue of the strong form of Goncharov’s conjecture. The same result is also established for Carlitz multiple polylogarithms at algebraic points.

The Chevalley involution of a connected, reductive algebraic group over an algebraically closed field takes every semisimple element to a conjugate of its inverse, and this involution is unique up to conjugacy. In the case of the reals we prove the existence of a real Chevalley involution, which is defined over $\mathbb{R}$, takes every semisimple element of $G(\mathbb{R})$ to a $G(\mathbb{R})$-conjugate of its inverse, and is unique up to conjugacy by $G(\mathbb{R})$. We derive some consequences, including an analysis of groups for which every irreducible representation is self-dual, and a calculation of the Frobenius Schur indicator for such groups.

Let $A_{3}(n)$ denote the number of bipartitions of $n$ with 3-cores. Recently, Lin [‘Some results on bipartitions with 3-core’, J. Number Theory139 (2014), 44–52] established some congruences modulo 4, 5, 7 and 8 for $A_{3}(n)$. In this paper, we prove several infinite families of congruences modulo 3 and 9 for $A_{3}(n)$ by employing two identities due to Ramanujan.

We study the values of the zeta-function of the root system of type G2 at positive integer points. In our previous work we considered the case when all integers are even, but in the present paper we prove several theorems which include the situation when some of the integers are odd. The underlying reason why we may treat such cases, including odd integers, is also discussed.