Let A ⊆ [1, N] be a set of integers with |A| ≫ $\sqrt N$. We show that if A avoids about p/2 residue classes modulo p for each prime p, then A must correlate additively with the squares S = {n2 : 1 ≤ n ≤ $\sqrt N$}, in the sense that we have the additive energy estimate

$$ E(A,S)\gg N\log N. $$

Let G be a permutation group on a set Ω. A subset of Ω is a base for G if its pointwise stabiliser in G is trivial. In this paper we introduce and study an associated graph Σ(G), which we call the Saxl graph of G. The vertices of Σ(G) are the points of Ω, and two vertices are adjacent if they form a base for G. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of Σ(G) for a finite transitive group G, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if G is a primitive group with a base of size 2, then the diameter of Σ(G) is at most 2. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when G = Sn or An (with n > 12) and the point stabiliser of G is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.

We run an iteration argument due to Pramanik and Seeger, to provide a proof of sharp decoupling inequalities for conical surfaces and for k-cones. These are extensions of results of Łaba and Pramanik to sharp exponents.

In this paper, we study orbifold constructions associated with the Leech lattice vertex operator algebra. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge 24 is uniquely determined by its weight one Lie algebra if the Lie algebra has the type A3,43A1,2, A4,52, D4,12A2,6, A6,7, A7,4A1,13, D5,8A1,2 or D6,5A1,12 by using the reverse orbifold construction. Our result also provides alternative constructions of these vertex operator algebras (except for the case A6,7) from the Leech lattice vertex operator algebra.

We show for sequences $\left(a_{n}\right)_{n \in \mathbb N}$ of distinct positive integers with maximal order of additive energy, that the sequence $\left(\left\{a_{n} \alpha\right\}\right)_{n \in \mathbb N}$ does not have Poissonian pair correlations for any α. This result essentially sharpens a result obtained by J. Bourgain on this topic.

This classification is found by analyzing the action of a normal subgroup of B3 as hyperbolic isometries. This paper gives an example of an unfaithful specialisation of the Burau representation on B4 that is faithful when restricted to B3, as well as examples of unfaithful specialisations of B3.

Let (R, 𝔪) be a commutative noetherian local ring. In this paper, we prove that if 𝔪 is decomposable, then for any finitely generated R-module M of infinite projective dimension 𝔪 is a direct summand of (a direct sum of) syzygies of M. Applying this result to the case where 𝔪 is quasi-decomposable, we obtain several classifications of subcategories, including a complete classification of the thick subcategories of the singularity category of R.

We prove that every flat tensor-idempotent in the module category Mod- of a tensor-triangulated category comes from a unique smashing ideal in . We deduce that the lattice of smashing ideals forms a frame.

Triple homomorphisms on C*-algebras and JB*-triples have been studied in the literature. From the viewpoint of associative algebras, we characterise the structure of triple homomorphisms from an arbitrary ⋆-algebra onto a prime *-algebra. As an application, we prove that every triple homomorphism from a Banach ⋆-algebra onto a prime semisimple idempotent Banach *-algebra is continuous. The analogous results for prime C*-algebras and standard operator *-algebras on Hilbert spaces are also described.

It is well known that the existence of more than two ends in the sense of J.R. Stallings for a finitely generated discrete group G can be detected on the cohomology group H1(G,R[G]), where R is either a finite field, the ring of integers or the field of rational numbers. It will be shown (cf. Theorem A*) that for a compactly generated totally disconnected locally compact group G the same information about the number of ends of G in the sense of H. Abels can be provided by dH1(G, Bi(G)), where Bi(G) is the rational discrete standard bimodule of G, and dH•(G, _) denotes rational discrete cohomology as introduced in [6].

As a consequence one has that the class of fundamental groups of a finite graph of profinite groups coincides with the class of compactly presented totally disconnected locally compact groups of rational discrete cohomological dimension at most 1 (cf. Theorem B).

It is well-known that the Apéry sequences which arise in the irrationality proofs for ζ(2) and ζ(3) satisfy many intriguing arithmetic properties and are related to the pth Fourier coefficients of modular forms. In this paper, we prove that the connection to modular forms persists for sequences associated to Brown's cellular integrals and state a general conjecture concerning supercongruences.

We prove that, given ε > 0 and k ≥ 1, there is an integer n such that the following holds. Suppose G is a finite group and A ⊆ G is k-stable. Then there is a normal subgroup H ≤ G of index at most n, and a set Y ⊆ G, which is a union of cosets of H, such that |A △ Y| ≤ε|H|. It follows that, for any coset C of H, either |C ∩ A|≤ ε|H| or |C \ A| ≤ ε |H|. This qualitatively generalises recent work of Terry and Wolf on vector spaces over $\mathbb{F}_p$.