Let f and g be two distinct normalized primitive holomorphic cusp forms of even integral weight $k_{1}$ and $k_{2}$ for the full modular group $SL(2,\mathbb {Z})$, respectively. Suppose that $\lambda _{f\times f\times f}(n)$ and $\lambda _{g\times g\times g}(n)$ are the n-th Dirichlet coefficient of the triple product L-functions $L(s,f\times f\times f)$ and $L(s,g\times g\times g)$. In this paper, we consider the sign changes of the sequence $\{\lambda _{f\times f\times f}(n)\}_{n\geq 1}$ and $\{\lambda _{f\times f\times f}(n)\lambda _{g\times g\times g}(n)\}_{n\geq 1}$ in short intervals and establish quantitative results for the number of sign changes for $n \leq x$, which improve the previous results.

We give an explicit formula for the Frobenius number of triples associated with the Diophantine equation $x^2+y^2=z^3$, that is, the largest positive integer that can only be represented in p ways by combining the three integers of the solutions of $x^2+y^2=z^3$. For the equation $x^2+y^2=z^2$, the Frobenius number has already been given. Our approach can be extended to the general equation $x^2+y^2=z^r$ for $r>3$.

We prove a comparison theorem between Greenberg–Benois $\mathcal {L}$-invariants and Fontaine–Mazur $\mathcal {L}$-invariants. Such a comparison theorem supplies an affirmative answer to a speculation of Besser–de Shalit.

We study a certain class of arithmetic functions that appeared in Klurman’s classification of $\pm 1$ multiplicative functions with bounded partial sums; c.f., Comp. Math. 153(2017), 2017, no. 8, 1622–1657. These functions are periodic and $1$-pretentious. We prove that if $f_1$ and $f_2$ belong to this class, then $\sum _{n\leq x}(f_1\ast f_2)(n)=\Omega (x^{1/4})$. This confirms a conjecture by the first author. As a byproduct of our proof, we studied the correlation between $\Delta (x)$ and $\Delta (\theta x)$, where $\theta $ is a fixed real number. We prove that there is a nontrivial correlation when $\theta $ is rational, and a decorrelation when $\theta $ is irrational. Moreover, if $\theta $ has a finite irrationality measure, then we can make it quantitative this decorrelation in terms of this measure.

We study the exact Hausdorff and packing dimensions of the prime Cantor set, $\Lambda _P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set cannot be finite and positive with respect to any sufficiently regular dimension function, thus negatively answering a question of Mauldin and Urbański (1999) and Mauldin (2013) for this class of dimension functions. By contrast, under a reasonable number-theoretic conjecture we prove that the packing measure of the conformal measure on the prime Cantor set is in fact positive and finite with respect to the dimension function $\psi (r) = r^\delta \log ^{-2\delta }\log (1/r)$, where $\delta $ is the dimension (conformal, Hausdorff, and packing) of the prime Cantor set.

We show that, for any prime p, there exist absolutely simple abelian varieties over $\mathbb {Q}$ with arbitrarily large p-torsion in their Tate-Shafarevich groups. To prove this, we construct explicit $\mu _p$-covers of Jacobians of curves of the form $y^p = x(x-1)(x-a)$ which violate the Hasse principle. In the appendix, Tom Fisher explains how to interpret our proof in terms of a Cassels-Tate pairing.

Oda’s problem, which deals with the fixed field of the universal monodromy representation of moduli spaces of curves and its independence with respect to the topological data, is a central question of anabelian arithmetic geometry. This paper emphasizes the stack nature of this problem by establishing the independence of monodromy fields with respect to finer special loci data of curves with symmetries, which we show provides a new proof of Oda’s prediction.

We establish explicit constructions of Mahler’s p-adic $U_{m}$-numbers by using Ruban p-adic continued fraction expansions of algebraic irrational p-adic numbers of degree m.

Let $\mathcal {O}$ be a maximal order in the quaternion algebra over $\mathbb Q$ ramified at p and $\infty $. We prove two theorems that allow us to recover the structure of $\mathcal {O}$ from limited information. The first says that for any infinite set S of integers coprime to p, $\mathcal {O}$ is spanned as a ${\mathbb {Z}}$-module by elements with norm in S. The second says that $\mathcal {O}$ is determined up to isomorphism by its theta function.

Describing the equality conditions of the Alexandrov–Fenchel inequality [Ale37] has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem and is a complexity counterpart of the recent result by Shenfeld and van Handel [SvH23], which gave a geometric characterization of the equality conditions. The proof involves Stanley’s [Sta81] order polytopes and employs poset theoretic technology.

Let A be an abelian surface over ${\mathbb {Q}}$ whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur’s theorem for elliptic curves, we show that the torsion subgroup of $A({\mathbb {Q}})$ is $12$-torsion and has order at most $18$. Under the additional assumption that A is of $ {\mathrm{GL}}_2$-type, we give a complete classification of the possible torsion subgroups of $A({\mathbb {Q}})$.

Given an integer $k\ge 2$, let $\omega _k(n)$ denote the number of primes that divide n with multiplicity exactly k. We compute the density $e_{k,m}$ of those integers n for which $\omega _k(n)=m$ for every integer $m\ge 0$. We also show that the generating function $\sum _{m=0}^\infty e_{k,m}z^m$ is an entire function that can be written in the form $\prod _{p} \bigl (1+{(p-1)(z-1)}/{p^{k+1}} \bigr )$; from this representation we show how to both numerically calculate the $e_{k,m}$ to high precision and provide an asymptotic upper bound for the $e_{k,m}$. We further show how to generalize these results to all additive functions of the form $\sum _{j=2}^\infty a_j \omega _j(n)$; when $a_j=j-1$ this recovers a classical result of Rényi on the distribution of $\Omega (n)-\omega (n)$.

Ishitsuka et al. [‘Explicit calculation of the mod 4 Galois representation associated with the Fermat quartic’, Int. J. Number Theory 16(4) (2020), 881–905] found all points on the Fermat quartic ${F_4\colon x^4+y^4=z^4}$ over quadratic extensions of ${\mathbb {Q}}(\zeta _8)$, where $\zeta _8$ is the eighth primitive root of unity $e^{i\pi /4}$. Using Mordell’s technique, we give an alternative proof for the result of Ishitsuka et al. and extend it to the rational function field ${\mathbb {Q}}({\zeta _8})(T_1,T_2,\ldots ,T_n)$.

We study the $\overline {\mathbb {F}}_{p}$-points of the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level. We show that if the group is quasi-split, then every isogeny class contains the reduction of a CM point, proving a conjecture of Kisin–Madapusi–Shin. We, furthermore, show that the mod p isogeny classes are of the form predicted by the Langlands–Rapoport conjecture (cf. Conjecture 9.2 of [Rap05]) if either the Shimura variety is proper or if the group at p is unramified. The main ingredient in our work is a global argument that allows us to reduce the conjecture to the case of very special parahoric level. This case is dealt with in the Appendix by Zhou. As a corollary to our arguments, we determine the connected components of Ekedahl–Oort strata.

For $E \subset \mathbb {N}$, a subset $R \subset \mathbb {N}$ is E-intersective if for every $A \subset E$ having positive relative density, $R \cap (A - A) \neq \varnothing $. We say that R is chromatically E-intersective if for every finite partition $E=\bigcup _{i=1}^k E_i$, there exists i such that $R\cap (E_i-E_i)\neq \varnothing $. When $E=\mathbb {N}$, we recover the usual notions of intersectivity and chromatic intersectivity. We investigate to what extent the known intersectivity results hold in the relative setting when $E = \mathbb {P}$, the set of primes, or other sparse subsets of $\mathbb {N}$. Among other things, we prove the following: (1) the set of shifted Chen primes $\mathbb {P}_{\mathrm {Chen}} + 1$ is both intersective and $\mathbb {P}$-intersective; (2) there exists an intersective set that is not $\mathbb {P}$-intersective; (3) every $\mathbb {P}$-intersective set is intersective; (4) there exists a chromatically $\mathbb {P}$-intersective set which is not intersective (and therefore not $\mathbb {P}$-intersective).

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

Let f(x) and g(x) be polynomials in $\mathbb F_{2}[x]$ with ${\rm deg}\text{ } f=n$. It is shown that for $n\gg 1$, there is an $g_{1}(x)\in \mathbb F_{2}[x]$ with ${\rm deg}\text{ } g_{1}\leqslant \max\{{\rm deg}\text{ } g, 6.7\log n\}$ and $g(x)-g_{1}(x)$ having $ \lt 6.7\log n$ terms such that $\gcd(f(x), g_{1}(x))=1$. As an application, it is established using a result of Dubickas and Sha that given $f(x)\in \mathbb F_{2}[x]$ of degree $n\geqslant 1$, there is a separable $g(x)\in 2[x]$ with ${\rm deg}\text{ } g= {\rm deg}\text{ } f$ and satisfying that $f(x)-g(x)$ has $\leqslant 6.7\log n$ terms. As a simple consequence, the latter result holds in $\mathbb Z[x]$ after replacing ‘number of terms’ by the L1-norm of a polynomial and $6.7\log n$ by $6.8\log n$. This improves the bound $(\log n)^{\log 4 +\operatorname{\varepsilon}}$ obtained by Filaseta and Moy.

Let $F$ be a totally real field in which $p$ is unramified and let $B$ be a quaternion algebra over $F$ which splits at at most one infinite place. Let $\overline {r}:\operatorname {{\mathrm {Gal}}}(\overline {F}/F)\rightarrow \mathrm {GL}_2(\overline {\mathbb {F}}_p)$ be a modular Galois representation which satisfies the Taylor–Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $\mathbb {Q}_p$ and $\overline {r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb {Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand–Kirillov dimension $1$. As an application we prove that the degree-two Scholze's functor (which is defined by Scholze [On the $p$-adic cohomology of the Lubin–Tate tower, Ann. Sci. Éc. Norm. Supér. (4) 51 (2018), 811–863]) vanishes on generic supersingular representations of $\mathrm {GL}_2(\mathbb {Q}_p)$. We also prove some finer structure theorems about the image of Scholze's functor in the reducible case.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

In this paper, we give an explicit formula as well as a practical algorithm for computing the Cassels–Tate pairing on $\text{Sel}^{2}(J) \times \text{Sel}^{2}(J)$ where J is the Jacobian variety of a genus two curve under the assumption that all points in J[2] are K-rational. We also give an explicit formula for the Obstruction map $\text{Ob}: H^1(G_K, J[2]) \rightarrow \text{Br}(K)$ under the same assumption. Finally, we include a worked example demonstrating that we can improve the rank bound given by a 2-descent via computing the Cassels–Tate pairing.