Very few professional mathematicians have been involved in the “math wars”, and when they have, they have not always inspired confidence. I wondered why.
A-polynomials, Ptolemy varieties and Dehn filling
The A-polynomial encodes hyperbolic geometric information on knots and related manifolds. Historically, it has been difficult to compute, and particularly difficult to determine A-polynomials of infinite families of knots. Here, we show how to compute A-polynomials by starting with a triangulation of a manifold, similar to Champanerkar, then using symplectic properties of the Neumann-Zagier matrix encoding the gluings to change the basis of the computation. The result is a simplicifation of the defining equations. Our methods are a refined version of Dimofte’s symplectic reduction, and we conjecture that the result is equivalent to equations arising from the enhanced Ptolemy variety of Zickert, which would connect these different approaches to the A-polynomial.
We apply this method to families of manifolds obtained by Dehn filling, and show that the defining equations of their A-polynomials are Ptolemy equations which, up to signs, are equations between cluster variables in the cluster algebra of the cusp torus. Thus the change in A-polynomial under Dehn filling is given by an explicit twisted cluster algebra. We compute the equations for Dehn fillings of the Whitehead link.
Liouville structures and convex surfaces
Starting from a Liouville 1-form on a surface, we have been led to 3-dimensional contact geometry, and convex surfaces. We now go in the other direction.
From Liouville geometry to contact geometry

(Technical) We’re going to take Liouville structures and move them into 3 dimensions, to obtain contact structures.
Lovely Liouville geometry

(Technical) I’d like to show you some very nice geometry, involving some vector fields and differential forms.
Limitless as that space too narrow for its inspirations
In which I recall, via neurologist Oliver Sacks, some musings of Sylvester from 1877 on the limitlessness of mathematics.
A-infinity algebras, strand algebras, and contact categories
In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered Floer theory. Being isomorphic to the homology of a differential graded algebra, this contact category algebra has an A-infinity structure. In this paper we investigate such A-infinity structures in detail. We give explicit constructions of such A-infinity structures, and establish some of their properties, including conditions for the nonvanishing of A-infinity operations. Along the way we develop several related notions, including a detailed consideration of tensor products of strand diagrams.
Holy h-principle, Batman!
In which I attempt to explain some of the ideas behind the h-principle.
The Impact of Impact
On some aspects of the research funding system in the UK and Australia.
Geometric quantisation and A-polynomials, June 2015
On 12 June, 2015 I gave a talk at the University of Melbourne, in the Moduli Spaces seminar. The talk was entitled “Geometric quantisation and calculation of A-polynomials”.