Oxford

I will talk about my work arxiv:1911.05038. We prove the local-in-time well-posedness for the solution of the compressible Euler equations in $3$-D, for the Cauchy data of the velocity, density and vorticity $(v,\varrho, \omega) \in H^s\times H^s\times H^{s'}$, $2<s'<s$. The result extends the sharp result of Smith-Tataru and Wang, established in the irrotational case, i.e $ \omega=0$, which is known to be optimal for $s>2$. At the opposite extreme, in the incompressible case, i.e. with a constant density, the result is known to hold for $ \omega\in H^s$, $s>3/2$ and fails for $s\le 3/2$, see the work of Bourgain-Li. It is thus natural to conjecture that the optimal result should be $(v,\varrho, \omega) \in H^s\times H^s\times H^{s'}$, $s>2, \, s'>\frac{3}{2}$. We view our work here as an important step in proving the conjecture. The main difficulty in establishing sharp well-posedness results for general compressible Euler flow is due to the highly nontrivial interaction between the sound waves, governed by quasilinear wave equations, and vorticity which is transported by the flow. To overcome this difficulty, we separate the dispersive part of sound wave from the transported part, and gain regularity significantly by exploiting the nonlinear structure of the system and the geometric structures of the acoustic spacetime.
 

I will describe work exploring the spectrum of two-dimensional unitary conformal field theories(CFT) with no extended chiral algebra and central charge larger than one. I will revisit a classical result from analytic number theory by Rademacher, which provides an exact formula for the Fourier coefficients of modular forms of non-positive weight. Generalizing this, I will explain how we employed Rademacher's idea to study the spectral density of two-dimensional CFT of our interest. The expression is given in terms of a Rademacher expansion, which converges for nonzero spin. The implications of our spectral density to the pure gravity in AdS3 will be discussed.

The asymptotically locally Euclidean Ricci-flat self-dual 4-manifolds were classified and constructed by Kronheimer as hyperkahler quotients. Each belongs to a finite-dimensional family and a particularly interesting subfamily consists of manifolds with a circle action which can be identified with the minimal resolution of a quotient singularity C^2/G where G is a finite subgroup of SU(2). The resolved singularity is a configuration of rational curves and there is a distinguished one which is pointwise fixed by the circle action. The talk will give an explicit description of the induced metric on this central sphere, and involves twistor theory and the geometry of the lines on a cubic surface.
 

A subset $D$ of a finite cyclic group $\mathbb{Z}/m\mathbb{Z}$ is called a "perfect difference set" if every nonzero element of $\mathbb{Z}/m\mathbb{Z}$ can be written uniquely as the difference of two elements of $D$. If such a set exists, then a simple counting argument shows that $m=n^2+n+1$ for some nonnegative integer $n$. Singer constructed examples of perfect difference sets in $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ whenever $n$ is a prime power, and it is an old conjecture that these are the only such $n$ for which $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ contains a perfect difference set. In this talk, I will discuss a proof of an asymptotic version of this conjecture.

There is a class $\mathcal{B}$ of analytic Besov functions on a half-plane, with a very simple description.   This talk will describe a bounded functional calculus $f \in \mathcal{B} \mapsto f(A)$ where $-A$ is the generator of either a bounded $C_0$-semigroup on Hilbert space or a bounded analytic semigroup on a Banach space.    This calculus captures many known results for such operators in a unified way, and sometimes improves them.   A discrete version of the functional calculus was shown by Peller in 1983.

In the process of studying the zeta-function for one parameter families of Calabi-Yau manifolds we have been led to a manifold, for which the quartic numerator of the zeta-function factorises into two quadrics remarkably often. Among these factorisations, we find persistent factorisations; these are determined by a parameter that satisfies an algebraic equation with coefficients in Q, so independent of any particular prime.  We note that these factorisations are due a splitting of Hodge structure and that these special values of the parameter are rank two attractor points in the sense of IIB supergravity. To our knowledge, these points provide the first explicit examples of non-singular, non-rigid rank two attractor points for Calabi-Yau manifolds of full SU(3) holonomy. Modular groups and modular forms arise in relation to these attractor points in a way that, to a physicist, is unexpected. This is a report on joint work with Xenia de la Ossa, Mohamed Elmi and Duco van Straten.

Given a number field K, it is natural to ask whether it has a finite extension with ideal class number one. This question can be translated into a fundamental question in class field theory, namely the class field tower problem. In this talk, we are going to discuss this problem as well as its solution due to Golod and Shafarevich using methods of group cohomology.
 

A well-known theorem of Choquet-Bruhat and Geroch states that for given smooth initial data for the Einstein equations there exists a unique maximal globally hyperbolic development. In particular, time evolution of globally hyperbolic solutions is unique. This talk investigates whether the same result holds for quasilinear wave equations defined on a fixed background. After recalling the notion of global hyperbolicity, we first present an example of a quasilinear wave equation for which unique time evolution in fact fails and contrast this with the Einstein equations. We then proceed by presenting conditions on quasilinear wave equations which ensure uniqueness. This talk is based on joint work with Harvey Reall and Felicity Eperon.