Let $F$ be a binary form of degree $d \geq 3$ with integer coefficients and non-zero discriminant. In this talk we give an asymptotic formula for the quantity $R_F(Z)$, the number of integers in the interval $[-Z,Z]$ representable by the binary form $F$.
This is joint work with C.L. Stewart.
I will survey of some of the many significant connections between integrable many-body physics and mathematics. I exploit an algebraic structure called a fusion category, familiar from the study of conformal field theory, topological quantum field theory and knot invariants. Rewriting statistical-mechanical models in terms of a fusion category allows the derivation of combinatorial identities for the Tutte polynomial, the analysis of discrete ``holomorphic'' observables in probability, and to defining topological defects in lattice models. I will give a little more detail on topological defects, explaining how they allows exact computations of conformal-field-theory quantities directly on the lattice, as well as a greatly generalised set of duality transformations.
Following an idea of Gaiotto, a symplectic representation of a complex Lie group G defines a complex Lagrangian subvariety inside the moduli space of G-Higgs bundles. The talk will discuss the case of G=SL(2) and its link with determinant divisors, or equivalently Brill-Noether loci, in the moduli space of semistable SL(2)-bundles.
Given a (-1)-shifted symplectic derived scheme or stack (X,w) over C equipped with an orientation, we explain how to construct a perverse sheaf P on the classical truncation of X so that its hypercohomology H*(P) can be regarded as a categorification of (or linearisation of) X. Given also a Lagrangian morphism L -> X equipped with a relative orientation, we outline a programme in progress to construct a natural morphism of constructible complexes on the truncation of L from the (shifted) constant complex on L to a suitable pullback of P to L. The morphisms and resulting hypercohomology classes are expected to satisfy various identities under products, composition of Lagrangian correspondences, etc. This programme will have interesting applications, such as proving associativity of a Kontsevich-Soibelman type COHA multiplication on H*(P) when X is the derived moduli stack of coherent sheaves on a Calabi-Yau 3-fold Y, and defining Lagrangian Floer cohomology and the Fukaya cat!
egory of an algebraic or complex symplectic manifold S.
We will explore the many guises under which groups of 2x2 matrices appear, such as isometries of the hyperbolic plane, mapping class groups and the modular group. Along the way we will learn some interesting and perhaps surprising facts.
We will explain a result of Bridson, Howie, Miller and Short on the finiteness properties of subgroups of direct products of surface groups. More precisely, we will show that a subgroup of a direct product of n surface groups is of finiteness type $FP_n$ if and only if there is virtually a direct product of at most n finitely generated surface groups. All relevant notions will be explained in the talk.
A Steiner Triple System on a set X is a collection T of 3-element subsets of X such that every pair of elements of X is contained in exactly one of the triples in T. An example considered by Plücker in 1835 is the affine plane of order three, which consists of 12 triples on a set of 9 points. Plücker observed that a necessary condition for the existence of a Steiner Triple System on a set with n elements is that n be congruent to 1 or 3 mod 6. In 1846, Kirkman showed that this necessary condition is also sufficient. In 1974, Wilson conjectured an approximate formula for the number of such systems. We will outline a proof of this
conjecture, and a more general estimate for the number of Steiner systems. Our main tool is the technique of Randomised Algebraic Construction, which
we introduced to resolve a question of Steiner from 1853 on the existence of designs.
For a holomorphic function (“superpotential”) W: X —> C on a complex manifold X, one defines the (2-periodic) matrix factorisation category MF(X;W), which is supported on the critical locus Crit(W) of W. At a Morse singularity, MF(X;W) is equivalent to the category of modules over the Clifford algebra on the tangent space TX. It had been suggested by Kapustin and Rozansky that, for Morse-Bott W, MF(X;W) should be equivalent to the (2-periodicised) derived category of Crit(W), twisted by the Clifford algebra of the normal bundle. I will discuss why this holds when the first neighbourhood of Crit(W) splits, why it fails in general, and will explain the correct general statement.