Gay and Meier asked if a trisection diagram for the Gluck twist on a spun or twist-spun 2-knot in $S^4$ obtained by a certain method is standard. In this paper, we show that the trisection diagram for the Gluck twist on the spun $(p+1,p)$-torus knot is standard, where p is any integer greater than or equal to 2.

Given a morphism $\varphi \;:\; G \to A \wr B$ from a finitely presented group G to a wreath product $A \wr B$, we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free subgroup and $\varphi$ factors through an acylindrically hyperbolic quotient of G. As direct applications, we classify the finitely presented subgroups in $A \wr B$ up to isomorphism and we deduce that a finitely presented group having a wreath product $(\text{non-trivial}) \wr (\text{infinite})$ as a quotient must be SQ-universal (extending theorems of Baumslag and Cornulier–Kar). Finally, we exploit our theorem in order to describe the structure of the automorphism groups of several families of wreath products, highlighting an interesting connection with the Kaplansky conjecture on units in group rings.

We construct efficient topological cobordisms between torus links and large connected sums of trefoil knots. As an application, we show that the signature invariant $\sigma_\omega$ at $\omega=\zeta_6$ takes essentially minimal values on torus links among all concordance homomorphisms with the same normalisation on the trefoil knot.

We prove that there is an absolute constant $C{\,\gt\,}0$ such that every k-vertex connected rainbow graph R with minimum degree at least $C\log k$ has inducibility $k!/(k^k-k)$. The same result holds if $k\ge 11$, and R is a clique. This answers a question posed by Huang, that is a generalisation of an old problem of Erdös and Sós. It remains open to determine the minimum k for which this is true.

We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the “magic manifold” is bi-orderable, answering a question of Kin and Rolfsen.

We consider the self-similar measure $\nu_\lambda=\text{law}\left(\sum_{j \geq 0} \xi_j \lambda^j\right)$ on $\mathbb{R}$, where $|\lambda| \lt 1$ and the $\xi_j \sim \nu$ are independent, identically distributed with respect to a measure $\nu$ finitely supported on $\mathbb{Z}$. One example of such a measure is a Bernoulli convolution. It is known that for certain combinations of algebraic $\lambda$ and $\nu$ uniform on an interval, $\nu_\lambda$ is absolutely continuous and its Fourier transform has power decay; in the proof, it is exploited that for these combinations, a quantity called the Garsia entropy $h_{\lambda}(\nu)$ is maximal.

In this paper, we show that the phenomenon of $h_{\lambda}(\nu)$ being maximal is equivalent to absolute continuity of a self-affine measure $\mu_\lambda$, which is naturally associated to $\lambda$ and projects onto $\nu_\lambda$. We also classify all combinations for which this phenomenon occurs: we find that if an algebraic $\lambda$ without a Galois conjugate of modulus exactly one has a $\nu$ such that $h_{\lambda}(\nu)$ is maximal, then all Galois conjugates of $\lambda$ must be smaller in modulus than one and $\nu$ must satisfy a certain finite set of linear equations in terms of $\lambda$. Lastly, we show that in this case, the measure $\mu_\lambda$ is not only absolutely continuous but also has power Fourier decay, which implies the same for $\nu_\lambda$.

We show how finiteness properties of a group and a subgroup transfer to finiteness properties of the Schlichting completion relative to this subgroup.n Further, we provide a criterion when the dense embedding of a discrete group into the Schlichting completion relative to one of its subgroups induces an isomorphism in (continuous) cohomology. As an application, we show that the continuous cohomology of the Neretin group vanishes in all positive degrees.

We provide upper bounds for the Assouad spectrum $\dim_A^\theta(\mathrm{Gr}({\kern2pt}f))$ of the graph of a real-valued Hölder or Sobolev function f defined on an interval $I \subset \mathbb{R}$. We demonstrate via examples that all of our bounds are sharp. In the setting of Hölder graphs, we further provide a geometric algorithm which takes as input the graph of an $\alpha$-Hölder continuous function satisfying a matching lower oscillation condition with exponent $\alpha$ and returns the graph of a new $\alpha$-Hölder continuous function for which the Assouad $\theta$-spectrum realizes the stated upper bound for all $\theta\in (0,1)$. Examples of functions to which this algorithm applies include the continuous nowhere differentiable functions of Weierstrass and Takagi.

A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden.

We extend the work of N. Zubrilina on murmuration of modular forms to the case when prime-indexed coefficients are replaced by squares of primes. Our key observation is that the shape of the murmuration density is the same.

Let G be a locally compact, Hausdorff, second countable groupoid and A be a separable, $C_0(G^{(0)})$-nuclear, G-$C^*$-algebra. We prove the existence of quasi-invariant, completely positive and contractive lifts for equivariant, completely positive and contractive maps from A into a separable, quotient $C^*$-algebra. Along the way, we construct the Busby invariant for G-actions.

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

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