In this paper, we generalise to the family of Fermat quartics $X^4 + Y^4 = 2^m, m \in \mathbb {Z}$, a result of Aigner [‘Über die Möglichkeit von $x^4 + y^4 = z^4$ in quadratischen Körpern’, Jahresber. Deutsch. Math.-Ver. 43 (1934), 226–228], which proves that there is only one quadratic field, namely $\mathbb {Q}(\sqrt {-7})$, that contains solutions to the Fermat quartic $X^4 + Y^4 = 1$. The $m \equiv 0 \pmod 4$ case is due to Aigner. The $m \equiv 2 \pmod 4$ case follows from a result of Emory [‘The Diophantine equation $X^4 + Y^4 = D^2Z^4$ in quadratic fields’, Integers 12 (2012), Article no. A65, 8 pages]. This paper focuses on the two cases $m \equiv 1, 3 \pmod 4$, classifying for $m \equiv 1 \pmod 4$ the infinitely many quadratic number fields that contain solutions, and proving for $m \equiv 3 \pmod 4$ that $\mathbb {Q}(\sqrt {2})$ and $\mathbb {Q}(\sqrt {-2})$ are the only quadratic number fields that contain solutions.

We prove the central limit theorem (CLT), the first-order Edgeworth expansion and a mixing local central limit theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise $C^2$ expanding maps of the interval. As a corollary, we obtain the corresponding results for Boolean-type transformations on $\mathbb {R}$. The class of observables in the CLT and the MLCLT on $\mathbb {R}$ include the real part, the imaginary part and the absolute value of the Riemann zeta function. Thus obtained CLT and MLCLT for the Riemann zeta function are in the spirit of the results of Lifschitz & Weber [Sampling the Lindelöf hypothesis with the Cauchy random walk. Proc. Lond. Math. Soc. (3) 98 (2009), 241–270] and Steuding [Sampling the Lindelöf hypothesis with an ergodic transformation. RIMS Kôkyûroku Bessatsu B34 (2012), 361–381] who have proven the strong law of large numbers for sampling the Lindelöf hypothesis.

For every positive integer n, we introduce a set ${\mathcal {T}}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb {Z}^2\to {\mathcal {T}}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq 1$, we show that the Wang shift ${\Omega }_n$, defined as the set of valid configurations over the tiles ${\mathcal {T}}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{{\Omega }_n\}_{n\geq 1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $\Omega _n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the n-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles ${\mathcal {T}}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

Granville–Soundararajan, Harper–Nikeghbali–Radziwiłł and Heap–Lindqvist independently established an asymptotic for the even natural moments of partial sums of random multiplicative functions defined over integers. Building on these works, we study the even natural moments of partial sums of Steinhaus random multiplicative functions defined over function fields. Using a combination of analytic arguments and combinatorial arguments, we obtain asymptotic expressions for all the even natural moments in the large field limit and large degree limit, as well as an exact expression for the fourth moment.

Let $\ell $ be an odd prime. We investigate the enumeration of cyclic extensions of degree $\ell $ over $\mathbb {Q}$ subject to specified local conditions. By ordering these extensions according to their conductors, we derive an asymptotic count with a power-saving error term. As a consequence of our results, we analyze the distribution of values of L-functions associated with these extensions in the critical strip.

We provide new upper bounds for sums of certain arithmetic functions in many variables at polynomial arguments and, exploiting recent progress on the mean-value of the Erdős—Hooley $\Delta$-function, we derive lower bounds for the cardinality of those integers not exceeding a given limit that are expressible as certain sums of powers.

We study the freeness problem for multiplicative subgroups of $\operatorname{SL}_2(\mathbb{Q})$. For $q = r/p$ in $\mathbb{Q} \cap (0,4)$, where p is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic structure of the group $\Delta_q$ generated by

\[A = \begin{pmatrix}1 & 0 \\ 1 & 1\end{pmatrix} \text{ and } Q_q = \begin{pmatrix}1 & q \\ 0 & 1\end{pmatrix}.\]

$\Delta_{r/p} = \overline{\Gamma}_1^{(p)}(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$r \leq 4$

$r = 5$

$r \in \{ p-1, p+1, (p+1)/2 \}$

$\Delta_{r/p}$

$J_2(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$J_2(r)$

Our goal is to show that both the fast and slow versions of the triangle map (a type of multi-dimensional continued fraction algorithm) in dimension n are ergodic, resolving a conjecture of Messaoudi, Noguiera, and Schweiger [Ergodic properties of triangle partitions. Monatsh. Math. 157 (2009), 283–299]. This particular type of higher dimensional multi-dimensional continued fraction algorithm has recently been linked to the study of partition numbers, with the result that the underlying dynamics has combinatorial implications.

It is conjectured that for any fixed relatively prime positive integers a,b and c all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers x, y and z, except for specific cases. We develop the methods in our previous work which rely on a variety from Baker’s theory and thoroughly study the conjecture for cases where c is small relative to a or b. Using restrictions derived from the hypothesis that there is more than one solution to the equation, we obtain a number of finiteness results on the conjecture. In particular, we find some, presumably infinitely many, new values of c with the property that for each such c the conjecture holds true except for only finitely many pairs of a and b. Most importantly we prove that if $c=13$ then the equation has at most one solution, except for $(a,b)=(3,10)$ or (10,3) each of which gives exactly two solutions. Further, our study with the help of the Schmidt Subspace Theorem among others more, brings strong contributions to the study of Pillai’s type Diophantine equations, notably a general and satisfactory result on a well-known conjecture of M. Bennett on the equation $a^x-b^y=c$ for any fixed positive integers a,b and c with both a and b greater than 1. Some conditional results are presented under the abc-conjecture as well.

We formulate Guo–Jacquet type fundamental lemma conjectures and arithmetic transfer conjectures for inner forms of $GL_{2n}$. Our main results confirm these conjectures for division algebras of invariant $1/4$ and $3/4$.

We will give a precise and explicit asymptotic estimate for the characteristic of the Riemann zeta function $\zeta $ with an error term of order $O(\frac {\log r}{r})$ and a corresponding asymptotic estimate for the number of fixed points of $\zeta $.

For an even positive integer n, we study rank-one Eisenstein cohomology of the split orthogonal group $\mathrm {O}(2n+2)$ over a totally real number field $F.$ This is used to prove a rationality result for the ratios of successive critical values of degree-$2n$ Langlands L-functions associated to the group $\mathrm {GL}_1 \times \mathrm {O}(2n)$ over F. The case $n=2$ specializes to classical results of Shimura on the special values of Rankin–Selberg L-functions attached to a pair of Hilbert modular forms.

Let $t\geq 2$ and $k\geq 1$ be integers. A t-regular partition of a positive integer n is a partition of n such that none of its parts is divisible by t. Let $b_{t,k}(n)$ denote the number of hooks of length k in all the t-regular partitions of n. In this article, we prove some inequalities for $b_{t,k}(n)$ for fixed values of k. We prove that for any $t\geq 2$, $b_{t+1,1}(n)\geq b_{t,1}(n)$, for all $n\geq 0$. We also prove that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n>3$, and $b_{3,3}(n)\geq b_{2,3}(n)$ for all $n\geq 0$. Finally, we state some problems for future works.

Given any finite collection $\mathcal {G}$ of translation-invariant linear equations of the form

$$ \begin{align*} \sum_{i=1}^{v} m_i x_i = m_0 x_0, \end{align*} $$

where $(m_0, m_1, \ldots , m_v) \in \mathbb {N}^{v+1}$, $m_0 = \sum _{i=1}^{v} m_i$ and $v \ge 2$, we estimate lower and upper bounds of the supremum of the Hausdorff dimension of sets on the real line that uniformly avoid nontrivial zeros of any f in $\mathcal {G}$.

We construct an fpqc gerbe $\mathcal {E}_{\dot {V}}$ over a global function field F such that for a connected reductive group G over F with finite central subgroup Z, the set of $G_{\mathcal {E}_{\dot {V}}}$-torsors contains a subset $H^{1}(\mathcal {E}_{\dot {V}}, Z \to G)$ which allows one to define a global notion of (Z-)rigid inner forms. There is a localization map $H^{1}(\mathcal {E}_{\dot {V}}, Z \to G) \to H^{1}(\mathcal {E}_{v}, Z \to G)$, where the latter parametrizes local rigid inner forms (cf. [8, 6]) which allows us to organize local rigid inner forms across all places v into coherent families. Doing so enables a construction of (conjectural) global L-packets and a conjectural formula for the multiplicity of an automorphic representation $\pi $ in the discrete spectrum of G in terms of these L-packets. We also show that, for a connected reductive group G over a global function field F, the adelic transfer factor $\Delta _{\mathbb {A}}$ for the ring of adeles $\mathbb {A}$ of F serving an endoscopic datum for G decomposes as the product of the normalized local transfer factors from [6].

We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where n is even. For these varieties, we construct smooth p-adic integral models for $s=1$ and regular p-adic integral models for $s=2$ and $s=3$ over odd primes p which ramify in the imaginary quadratic field with level subgroup at p given by the stabilizer of a $\pi $-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.

We give a short proof of the anticyclotomic analogue of the “strong” main conjecture of Kurihara on Fitting ideals of Selmer groups for elliptic curves with good ordinary reduction under mild hypotheses. More precisely, we completely determine the initial Fitting ideal of Selmer groups over finite subextensions of an imaginary quadratic field in its anticyclotomic $\mathbb {Z}_p$-extension in terms of Bertolini–Darmon’s theta elements.

We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of $OG10$ type. In particular, if X is an IHS manifold of $OG10$ type and G a finite subgroup of symplectic birational transformations of X, then the action of G on $H^2(X,\mathbb {Z})$ is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided, and our results are available in a Zenodo dataset.

In the early 2000s, Ramakrishna asked the question: for the elliptic curve

\[E\;:\; y^2 = x^3 - x,\]

$a_p(E)$

$E/\mathbb{Q}$

We construct explicit generating series of arithmetic extensions of Kudla’s special divisors on integral models of unitary Shimura varieties over CM fields with arbitrary split levels and prove that they are modular forms valued in the arithmetic Chow groups. This provides a partial solution to Kudla’s modularity problem. The main ingredient in our construction is S. Zhang’s theory of admissible arithmetic divisors. The main ingredient in the proof is an arithmetic mixed Siegel-Weil formula.