Georgia Institute of Technology College of Sciences

In 1990, Mess gave a proof of Thurston's earthquake theorem using the Anti-de Sitter geometry. Since then, several of Mess's ideas have been used to investigate the correspondence between surfaces in 3-dimensional Anti de Sitter space and Teichmüller theory.

In this spirit, we investigate the problem of the existence of vector fields giving infinitesimal earthquakes on the hyperbolic plane, using the so-called Half-pipe geometry which is the dual of Minkowski geometry in a suitable sense. In particular, we recover Gardiner's theorem, which states that any Zygmund vector field on the circle can be represented as an infinitesimal earthquake. Our findings suggest a connection between vector fields on the hyperbolic plane and surfaces in 3-dimensional Half-pipe space, which may be suggestive of a bigger picture.

This talk will have two parts.  The first half will describe how to construct symplectic structures on trisected 4-manifolds. This construction is inspired by projective complex geometry and completely characterizes symplectic 4-manifolds among all smooth 4-manifolds.  The second half will address a curious phenomenon: symplectic 4-manifolds appear to not admit any interesting connected sum decompositions.  One potential explanation is that every embedded 3-sphere can be made contact-type.  I will outline some strategies to prove this from a trisections perspective, describe some of the obstructions, and give evidence that these obstructions may be overcome.

The Kauffman bracket skein module S(M) of a 3-manifold M classifies polynomial invariants of links in M satisfying Kauffman bracket skein relations. Witten conjectured that the skein module (over a field, with generic A) is finite dimensional for any closed 3-manifold M. This conjecture was proved by Gunningham, Jordan, and Safronov, however their work does not lead to an explicit computation of S(M).
In fact, S(M) has been computed for a few specific families of closed 3-manifolds so far. We introduce a novel method of computing these skein modules for certain rational homology spheres. (This is joint work with R. Detcherry and E. Kalfagianni.)

In this talk, we will explore and make comparisons between various models that exist for spherical tensor categories associated to the category of representations of the quantum group U_q(SL_n). In particular, we will discuss the combinatorial model of Murakami-Ohtsuki-Yamada (MOY), the n-valent ribbon model of Sikora and the trivalent spider category of Cautis-Kamnitzer-Morrison (CKM). We conclude by showing that the full subcategory of the spider category from CKM, whose objects are monoidally generated by the standard representation and its dual, is equivalent as a spherical braided category to Sikora's quotient category. This proves a conjecture of Le and Sikora and also answers a question from Morrison's Ph.D. thesis.