A proposal for the worldsheet string theory that is dual to free N=4 SYM in 4d will be explained. It is described by a free field sigma model on the twistor space of AdS5 x S5, and is a direct generalisation of the corresponding model for tensionless string theory on AdS3 x S3. I will explain how our proposal fits into the general framework of AdS/CFT, and review the various checks that have been performed.
 

It is widely believed that consistent theories of quantum gravity satisfy two basic kinematic constraints: they are free from any global symmetry, and they contain a complete spectrum of gauge charges. For compact, abelian gauge groups, completeness follows from the absence of a 1-form global symmetry. However, this correspondence breaks down for more general gauge groups, where the breaking of the 1-form symmetry is insufficient to guarantee a complete spectrum. We show that the correspondence may be restored by broadening our notion of symmetry to include non-invertible topological operators, and prove that their absence is sufficient to guarantee a complete spectrum for any compact, possibly disconnected gauge group. In addition, we prove an analogous statement regarding the completeness of twist vortices: codimension-2 objects defined by a discrete holonomy around their worldvolume, such as cosmic strings in four dimensions. I will also discuss how this correspondence is modified in more general contexts, including e.g. Chern-Simons terms. 

Manifolds with G2 structure allow almost contact structures. In this talk I will discuss various aspects of such structures, and their effect on certain supersymmetric configurations in string and M-theory.

This is based on recent work with Xenia de la Ossa and Matthew Magill.

We discuss constraints from perturbative unitarity and crossing on the leading contributions of the higher-dimension operators to the four-graviton amplitude in four spacetime dimensions. We focus on the leading order effect due to exchange by massive degrees of freedom which makes the amplitudes of interest IR finite. To test the constraints we obtain nontrivial effective field theory data by computing and taking the large mass expansion of the one-loop minimally-coupled four-graviton amplitude with massive particles up to spin 2 circulating in the loop. Remarkably, the leading EFT corrections to Einstein gravity of physical theories, both string theory and QFT coupled to gravity, end up in minuscule islands which are much smaller than what is suggested by the generic bounds obtained from consistency of the 2-2 graviton scattering amplitude. We discuss the underlying mechanism for this phenomenon.

The observation that the Dirac operator on a spin manifold encodes both the Riemannian metric as well as the fundamental class in K-homology leads to the paradigm of noncommutative geometry: the viewpoint that spectral triples generalise Riemannian manifolds. To encode maps between Riemannian manifolds, one is naturally led to consider the unbounded picture of Kasparov's KK-theory. In this talk I will explain how smooth cycles in KK-theory give a natural notion of noncommutative fibration, encoding morphisms noncommutative geometry in manner compatible with index theory.

n this talk we consider a p-isometrisability property of discrete groups. If p=2 this property is equivalent to unitarisability. We prove that any group containing a non-abelian free subgroup is not p-isometrisable for any p∈(1,∞). We also discuss some open questions and possible relations of p-isometrisability with the recently introduced Littlewood exponent Lit(Γ).

The action of the automorphisms of a formal group on its deformation space is crucial to understanding periodic families in the homotopy groups of spheres and the unsolved Hecke orbit conjecture for unitary Shimura varieties. We can explicitly pin down this squirming action by geometrically modelling it as coming from an action on a moduli space, which we construct using inverse Galois theory and some representation theory (a Hurwitz space). I will show you pretty pictures.

A set of positive integers is primitive (or 1-primitive) if no member divides another. Erdős proved in 1935 that the weighted sum $\sum 1/(n\log n)$ for n ranging over a primitive set A is universally bounded over all choices for A. In 1988 he asked if this universal bound is attained by the set of prime numbers. One source of difficulty in this conjecture is that $\sum n^{-\lambda}$ over a primitive set is maximized by the primes if and only if $\lambda$ is at least the critical exponent $\tau_1\approx1.14$.
A set is $k$-primitive if no member divides any product of up to $k$ other distinct members. In joint work with C. Pomerance and T.H. Chan, we study the critical exponent $\tau_k$ for which the primes are maximal among $k$-primitive sets. In particular we prove that $\tau_2<0.8$, which directly implies the Erdős conjecture for 2-primitive sets.