The purpose of this talk is to illustrate an application of the powerful machinery of geometric measure theory to a conjecture in Gromov–Witten theory arising from physics. Very roughly speaking, the Gromov–Witten invariants of a symplectic manifold $(X,ω)$ equipped with a tamed almost complex structure $J$ are obtained by counting pseudo-holomorphic maps from mildly singular Riemann surfaces into $(X,J)$. It turns out that Gromov–Witten invariants are quite complicated (or “have a rich internal structure”). This is true especially for if $(X,ω)$ is a symplectic Calabi–Yau 3–fold (that is: $dim(X) = 6$, $c_1(X,ω) = 0$).

In 1998, using arguments from M–theory, Gopakumar and Vafa argued that there are integer BPS invariants of symplectic Calabi–Yau 3–folds. Unfortunately, they did not give a direct mathematical definition of their BPS invariants, but they predicted that they are related to the Gromov–Witten invariants by a transformation of the generating series. The Gopakumar–Vafa conjecture asserts that if one defines the BPS invariants indirectly through this procedure, then they satisfy an integrality and a (genus) finiteness condition.

The integrality conjecture has been resolved by Ionel and Parker. A key innovation of their proof is the introduction of the cluster formalism: an ingenious device to side-step questions regarding multiple covers and super-rigidity. Their argument could not resolve the finiteness conjecture, however. The reason for this is that it relies on Gromov’s compactness theorem for pseudo-holomorphic maps which requires an a priori genus bound. It turns out, however, that Gromov’s compactness theorem can (and should!) be replaced with the work of Federer–Flemming, Allard, and De Lellis–Spadaro–Spolaor. This upgrade of Ionel and Parker’s cluster formalism proves both the integrality and finiteness conjecture.

This talk is based on joint work with Eleny Ionel and Aleksander Doan.