Georgia Institute of Technology College of Sciences

In the past few years there have been a host of remarkable topological results arising from considering "real" versions of various gauge and Floer-theoretic invariants of three- and four-dimensional manifolds equipped with involutions. Recently Guth and Manolescu defined a real version of Lagrangian Floer theory, and applied it to Ozsváth and Szabó's three-manifold invariant Heegaard Floer homology, producing an invariant called real Heegaard Floer homology associated to a 3-manifold together with an orientation-preserving involution whose fixed set is codimension two (for example a branched double cover). We review the construction of real Heegaard Floer theory and use tools from equivariant Lagrangian Floer theory, originally developed by Seidel-Smith and Large in a somewhat different context, to produce a spectral sequence from the ordinary to real Heegaard Floer homologies in their simplest "hat" version, in particular proving the existence of a rank inequality between the theories. Our results apply more generally to the real Lagrangian Floer homology of exact symplectic manifolds with antisymplectic involutions. Along the way we give a little history and context for this kind of result in Heegaard Floer theory. This is a series of two talks; the first "prep" talk will discuss some background and context that might be helpful to (for example) graduate students in attendance.

The Khovanov-Rozansky skein lasagna module was introduced by Morrison-Walker-Wedrich as an invariant of 4-manifold with a framed oriented link in the boundary. I will discuss an extension of the skein lasagna theory to 4-manifolds with codimension 2 corners, and its behavior under gluing. I will also talk about a categorical framework for computing skein lasagna modules of closed 4-manifolds via trisection, as well as an extended 4d TQFT based on skein lasagna theory. This is joint work with Sarah Blackwell and Slava Krushkal.

Giroux torsion is an important class of contact structures on a neighborhood of a torus, which is known to obstruct symplectic fillability. Ghiggini conjectured that half Giroux torsion along a separating torus always results in a vanishing Heegaard Floer contact invariant hence also obstructs fillability. In this talk, we present a counterexample to that conjecture. Our main tool is a bordered contact invariant, which enables efficient computation of the contact invariant.

Symplectic manifolds exhibit curious behaviour at the interface of rigidity and flexibility. A non-squeezing phenomenon discovered by Gromov in the 1980s was the first manifestation of this. Since then, extensive research has been carried out into when standard symplectic shapes embed inside another -- it turns out that even when volume obstructions vanish, sometimes they cannot. A mysterious connection to Markov numbers, a generalization of the Fibonacci numbers, and an infinite staircase, is exhibited in the study of embeddings of ellipsoids into balls. In other cases ingenious constructions such as folding have been invented to find embeddings. In recent work with Hutchings, Weiler, and Yao, I studied the embedding problem for four-dimensional symplectic shapes in conjunction with the question of existence of symplectic surfaces (called anchors) inside the embedding region. In this talk I will survey some of the results and time permitting, discuss the ideas behind the proof, and applications of these techniques to understanding isotopy classes of embeddings.