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 Plücker embedding exhibits the Grassmannian Gr(r, n) as a closed subvariety of projective space. A theorem of Hodge shows that its homogeneous ideal has as a quadratic Gröbner basis the so-called multiple-exchange relations between Plücker coordinates. Since the set of these polynomials is quite large and unwieldy, it is often preferable to work with a smaller set of single-exchange Plücker relations. An even smaller set of polynomials is the collection of local (or 3-term) exchange relations. We will recall and clarify the relationships between these three. We go on to examine the situation over hyperfields. In their pioneering work, Baker and Bowler showed that the theories of matroids, oriented matroids, valuated matroids etc. can be collectively understood under a common banner as the theory of Grassmanians over hyperfields. Their work gives a good accounting of the relationship between single- and local-exchange relations in this generalized setting. We will discuss what can be said about the multiple-exchange relations. This leads to considerations of elementary linear-algebraic facts in the hyperfield setting. All results may be suitably extended to the flag setting---which we will discuss, time permitting. The talk is based on joint work with Nathan Bowler and Changxin Ding.

It is well-known that a spacetime which expands sufficiently fast can stabilize the fluid for relativistic/Einstein-fluid systems. One may wonder whether the expansion of the fluid, instead of the background spacetime geometry, is also able to achieve a similar stabilizing effect. As an attempt to address this question, we consider the free boundary relativistic Euler equations in Minkowski background M1+3 equipped with a physical vacuum boundary, which models the motion of relativistic gas. For the class of isentropic, barotropic, and polytropic gas, we construct an open class of initial data which launch future-global solutions. Such solutions are spherically symmetric, have small initial density, and expand asymptotically linearly in time. In particular, the asymptotic rate of expansion is allowed to be arbitrarily close to the speed of light. Therefore, our main result is far from a perturbation of existing results concerning the classical Euler counterparts. This is joint work with Marcelo Disconzi and Chenyun Luo.

Rescaling limits were first introduced by Jan Kiwi to study degenerations of rational maps of degree at least two. Building on the work of Luo and Favre–Gong, we explain how rescaling limits can serve as a substitute for a good compactification of $Rat_d$, the moduli space of degree d rational maps. In particular, this framework allows one to promote pointwise results to uniform statements in a systematic way.