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.

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.

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

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.

In this short paper, we prove that the restriction conjecture for the (hyperbolic) paraboloid in $\mathbb{R}^{d}$ implies the $l^p$-decoupling theorem for the (hyperbolic) paraboloid in $\mathbb{R}^{2d-1}$. In particular, this gives a simple proof of the $l^p$ decoupling theorem for the (hyperbolic) paraboloid in $\mathbb{R}^3$.

We define the symmetric braid index $b_s(K)$ of a ribbon knot K to be the smallest index of a braid whose closure yields a symmetric union diagram of K, and derive a Khovanov-homological characterisation of knots with $b_s(K)$ at most three. As applications, we show that there exist knots whose symmetric braid index is strictly greater than the braid index, and deduce that every chiral slice knot with determinant one has braid index at least four. We also calculate bounds for $b_s(K)$ for prime ribbon knots with at most 11 crossings.

Let S be a fine and saturated (fs) log scheme, and let F be a group scheme over the underlying scheme of S which is étale locally representable by (1) a finite dimensional $\mathbb{Q}$-vector space, or (2) a finite rank free abelian group, or (3) a finite abelian group. We give a full description of all the higher direct images of F from the Kummer log flat site to the classical flat site. In particular, we show that: in case (1) the higher direct images of F vanish; and in case (2) the first higher direct image of F vanishes and the nth ($n\gt 1$) higher direct image of F is isomorphic to the $(n-1)$-th higher direct image of $F\otimes_{{\mathbb Z}}{\mathbb Q}/{\mathbb Z}$. In the end, we make some computations when the base is a standard henselian log trait or a Dedekind scheme endowed with the log structure associated to a finite set of closed points.

We use a graph to define a new stability condition for algebraic moduli spaces of rational curves. We characterise when the tropical compactification of the moduli space agrees with the theory of geometric tropicalisation. The characterisation statement occurs only when the graph is complete multipartite.

An action of a group G on a set X is said to be quasi-n-transitive if the diagonal action of G on $X^n$ has only finitely many orbits. We show that branch groups, a special class of groups of automorphisms of rooted trees, cannot act quasi-2-transitively on infinite sets.

Non-autonomous self-similar sets are a family of compact sets which are, in some sense, highly homogeneous in space but highly inhomogeneous in scale. The main purpose of this paper is to clarify various regularity properties and separation conditions relevant for the fine local scaling properties of these sets. A simple application of our results is a precise formula for the Assouad dimension of non-autonomous self-similar sets in $\mathbb{R}^d$ satisfying a certain “bounded neighbourhood” condition, which generalises earlier work of Li–Li–Miao–Xi and Olson–Robinson–Sharples. We also see that the bounded neighbourhood assumption is, in few different senses, as general as possible.

For an ideal I in a Noetherian ring R, the Fitting ideals $\mathrm{Fitt}_j(I)$ are studied. We discuss the question of when $\mathrm{Fitt}_j(I)=I$ or $\sqrt{\mathrm{Fitt}_j(I)}=\sqrt{I}$ for some j. A classical case is the Hilbert–Burch theorem when $j=1$ and I is a perfect ideal of grade 2 in a local ring.

The 3-dimensional Heisenberg group can be equipped with three different types of left-invariant Lorentzian metric, according to whether the center of the Lie algebra is spacelike, timelike or null. Using the second of these types, we study spacelike surfaces of mean curvature zero. These surfaces with singularities are associated with harmonic maps into the 2-sphere. We show that the generic singularities are cuspidal edge, swallowtail and cuspidal cross-cap. We also give the loop group construction for these surfaces, and the criteria on the loop group potentials for the different generic singularities. Lastly, we solve the Cauchy problem for harmonic maps into the 2-sphere using loop groups, and use this to give a geometric characterisation of the singularities. We use these results to prove that a regular spacelike maximal disc with null boundary must have at least two cuspidal cross-cap singularities on the boundary.

In this paper, we prove that the hitting probability of the Minkowski sum of fractal percolations can be characterised by capacity. Then we extend this result to Minkowski sums of general random sets in $\mathbb Z^d$, including ranges of random walks and critical branching random walks, whose hitting probabilities are described by Newtonian capacity individually.

We discuss the Singer conjecture and Gromov–Lück inequality $\chi\geq |\sigma|$ for aspherical complex surfaces. We give a proof of the Singer conjecture for aspherical complex surfaces with residually finite fundamental group that does not rely on Gromov’s Kähler groups theory. Without the residually finiteness assumption, we observe that this conjecture can be proven for all aspherical complex surfaces except possibly those in Class $\mathrm{VII}_0^+$ (a positive answer to the global spherical shell conjecture would rule out the existence of aspherical surfaces in this class). We also sharpen the Gromov-Lück inequality for aspherical complex surfaces that are not in Class $\mathrm{VII}_0^+$. This is achieved by connecting the circle of ideas of the Singer conjecture with the study of Reid’s conjecture.

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

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

$a_p(E)$

$E/\mathbb{Q}$

For every positive integer d, we show that there must exist an absolute constant $c \gt 0$ such that the following holds: for any integer $n \geqslant cd^{7}$ and any red-blue colouring of the one-dimensional subspaces of $\mathbb{F}_{2}^{n}$, there must exist either a d-dimensional subspace for which all of its one-dimensional subspaces get coloured red or a 2-dimensional subspace for which all of its one-dimensional subspaces get coloured blue. This answers recent questions of Nelson and Nomoto, and confirms that for any even plane binary matroid N, the class of N-free, claw-free binary matroids is polynomially $\chi$-bounded.

Our argument will proceed via a reduction to a well-studied additive combinatorics problem, originally posed by Green: given a set $A \subset \mathbb{F}_{2}^{n}$ with density $\alpha \in [0,1]$, what is the largest subspace that we can find in $A+A$? Our main contribution to the story is a new result for this problem in the regime where $1/\alpha$ is large with respect to n, which utilises ideas from the recent breakthrough paper of Kelley and Meka on sets of integers without three-term arithmetic progressions.

Let E be an elliptic curve defined over ${{\mathbb{Q}}}$ which has good ordinary reduction at the prime p. Let K be a number field with at least one complex prime which we assume to be totally imaginary if $p=2$. We prove several equivalent criteria for the validity of the $\mathfrak{M}_H(G)$-property for ${{\mathbb{Z}}}_p$-extensions other than the cyclotomic extension inside a fixed ${{\mathbb{Z}}}_p^2$-extension $K_\infty/K$. The equivalent conditions involve the growth of $\mu$-invariants of the Selmer groups over intermediate shifted ${{\mathbb{Z}}}_p$-extensions in $K_\infty$, and the boundedness of $\lambda$-invariants as one runs over ${{\mathbb{Z}}}_p$-extensions of K inside of $K_\infty$.

Using these criteria we also derive several applications. For example, we can bound the number of ${{\mathbb{Z}}}_p$-extensions of K inside $K_\infty$ over which the Mordell–Weil rank of E is not bounded, thereby proving special cases of a conjecture of Mazur. Moreover, we show that the validity of the $\mathfrak{M}_H(G)$-property sometimes can be shifted to a larger base field K′.

If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that needs to be uncovered is $O( n^2 \exp({-}2\pi\sqrt{n/6}))$, and for many of these entries we are only interested in whether the entry is zero.

Continuing our work on group-theoretic generalisations of the prime Ax–Katz Theorem, we give a lower bound on the p-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\dots,f_r)$ of r maps $f_j\,{:}\,A\rightarrow B_j$ between arbitrary finite commutative groups A and $B_j$ in terms of the invariant factors of $A, B_1,B_2, \cdots,B_r$ and the functional degrees of the maps $f_1,f_2, \dots,f_r$.

Let p be an odd prime, and suppose that $E_1$ and $E_2$ are two elliptic curves which are congruent modulo p. Fix an Artin representation $\tau\,{:}\,G_{F}\rightarrow \mathrm{GL}_2(\mathbb{C})$ over a totally real field F, induced from a Hecke character over a CM-extension $K/F$. Assuming $E_1$ and $E_2$ are ordinary at p, we compute the variation in the $\mu$- and $\lambda$-invariants for the $\tau$-part of the Iwasawa Main Conjecture, as one switches from $E_1$ to $E_2$. Provided an Euler system exists, it will follow directly that IMC$(E_1,\tau)$ is true if and only if IMC$(E_2,\tau)$ is true.