Oxford

Laura Capuano's talk 'Pell equations and continued fractions in number theory'

The classical Pell equation has an extraordinary long history and it is very useful in many different areas of number theory. For example, they given a way to write a prime congruent to 1 modulo 4 as a sum of two squares, or they can also be used to break RSA excryption when the decription key is too small. In this talk, I will present some properties of this wonderful equation and its relation with continued fractions. I will also treat the case of Pell equations in other contexts, such as the ring of polynomials, showing the differences with the classical case. 

Noemi Picco's talk 'Cortical neurogenesis: how humans (and mathematicians) can do more than macaque, with less'

The cerebral cortex is perhaps the crowning achievement of evolution and is the region of the brain that distinguishes us from other species. Studying the developmental programmes that generate cortices of different sizes and neuron counts, is the key to understanding both brain evolution and disease. I will show what mathematical modeling has to say about cortex evolution, when data resolution is poor. I will then discuss why humans are so special in the way they create their cortex, and how we are just like everybody else in many other aspects of brain development.

We give new obstructions to the existence of planar open books on contact structures, in terms of the homology of their fillings. I will talk about applications to links of surface singularities, Seifert fibred spaces, and integer homology spheres. No prior knowledge of contact or symplectic topology will be assumed. This is joint work with Paolo Ghiggini and Olga Plamenevskaya.
 

We discuss mathematical studies on the Vafa-Witten theory, one of topological twists of N=4 super Yang-Mills theory in four dimensions, from the viewpoints of both differential and algebraic geometry. After mentioning backgrounds and motivation, we describe some issues to construct mathematical theory of this Vafa-Witten one, and explain possible ways to sort them out by analytic and algebro-geometric methods, the latter is joint work with Richard Thomas.

Developments in geometry and low dimensional topology have given renewed vigour to the following classical question: to what extent do the finite images of a finitely presented group determine the group? I'll survey what we know about this question in the context of 3-manifolds, and I shall present recent joint work with McReynolds, Reid and Spitler showing that the fundamental groups of certain hyperbolic orbifolds are distingusihed from all other finitely generated groups by their finite quotients.

In this talk I will construct a reduced tensor product of braided fusion categories containing a symmetric fusion category $\mathcal{A}$. This tensor product takes into account the relative braiding with respect to objects of $\mathcal{A}$ in these braided fusion categories. The resulting category is again a braided fusion category containing $\mathcal{A}$. This tensor product is inspired by the tensor product of $G$-equivariant once-extended three-dimensional quantum field theories, for a finite group $G$.
To define this reduced tensor product, we equip the Drinfeld centre $\mathcal{Z}(\mathcal{A})$ of the symmetric fusion category $\mathcal{A}$ with an unusual tensor product, making $\mathcal{Z}(\mathcal{A})$ into a 2-fold monoidal category. Using this 2-fold structure, we introduce a new type of category enriched over the Drinfeld centre to capture the braiding behaviour with respect to $\mathcal{A}$ in the braided fusion categories, and use this encoding to define the reduced tensor product.
 

Any four dimensional N=2 superconformal field theory (SCFT) contains a subsector of local operator which is isomorphic to a two dimensional chiral algebra.  If the 4d theory possesses N= 4 superconformal symmetry, the corresponding chiral algebra is an extension of the (small) N=4 super-Virasoro algebra.  In this talk I  will present some results on the classification of N=4 chiral algebras and discuss the conditions they should satisfy in order to correspond to a 4d theory. 
 

Hilbert's Nullstellensatz asserts the existence of a complex point satisfying lying on a given variety, provided there is no (ideal-theoretic) proof to the contrary.
I will describe an analogue for curves (of unbounded degree), with respect to conditions specifying that they lie on a given smooth variety, and have homology class
near a specified ray.   In particular, an analogue of the Lefschetz principle (relating large positive characteristic to characteristic zero) becomes available for such questions.
The proof is very close to a theorem of  Boucksom-Demailly-Pau-Peternell on moveable curves, but requires a certain sharpening.   This is part of a joint project with Itai Ben Yaacov, investigating the logic of the product formula; the algebro-geometric statement is needed for proving the existential closure of $\Cc(t)^{alg}$ in this language.  
 

Hilbert's Nullstellensatz asserts the existence of a complex point satisfying lying on a given variety, provided there is no (ideal-theoretic) proof to the contrary.
I will describe an analogue for curves (of unbounded degree), with respect to conditions specifying that they lie on a given smooth variety, and have homology class
near a specified ray.   In particular, an analogue of the Lefschetz principle (relating large positive characteristic to characteristic zero) becomes available for such questions.
The proof is very close to a theorem of  Boucksom-Demailly-Pau-Peternell on moveable curves, but requires a certain sharpening.   This is part of a joint project with Itai Ben Yaacov, investigating the logic of the product formula; the algebro-geometric statement is needed for proving the existential closure of $\Cc(t)^{alg}$ in this language. 

Given a Fano manifold we will consider two ways of attaching a (usually infinite) collection of polytopes, and a certain combinatorial transformation relating them, to it. The first is via Mirror Symmetry, following a proposal of  Coates--Corti--Kasprzyk--Galkin--Golyshev. The second is via symplectic topology, and comes from considering degenerating Lagrangian torus fibrations. We then relate these two collections using the Gross--Siebert program. I will also comment on the situation in higher dimensions, noting particularly that by 'inverting' the second method (degenerating Lagrangian fibrations) we can produce topological constructions of Fano threefolds.