In recent work, Aganagic proposed a categorification of quantum link invariants based on a category of A-branes. The theory is a generalization of Heegaard–Floer theory from gl(1|1) to arbitrary Lie algebras. It turns out that this theory is solvable explicitly and can be used to compute homological link invariants associated to any minuscule representation of a simple Lie algebra. This invariant coincides with Khovanov–Rozansky homology for type A and gives a new invariant for other types. In this talk, I will introduce the relevant category of A-branes, explain the explicit algorithm used to compute the link invariants, and give a sketch of the proof of invariance. This talk is based on 2305.13480 with Mina Aganagic and Miroslav Rapcak and work in progress with Mina Aganagic and Ivan Danilenko.

: With motivation from string compactifications, I will present work on the use of machine learning methods for the computation of geometric and topological properties of Calabi-Yau manifolds.