Thomas-Yau conjecture and holomorphic curves

The main theme of this paper is the Thomas-Yau conjecture, primarily in the setting of exact, (quantitatively) almost calibrated, unobstructed Lagrangian branes inside Calabi-Yau Stein manifolds. In our interpretation, the conjecture is that Thomas-Yau semistability is equivalent to the existence of special Lagrangian representatives. We clarify how holomorphic curves enter this conjectural picture, through the construction of bordism currents between Lagrangians, and in the definition of the Solomon functional. Under some extra hypothesis, we shall prove Floer theoretic obstructions to the existence of special Lagrangians, using the technique of integration over moduli spaces. In the converse direction, we set up a variational framework with the goal of finding special Lagrangians under the Thomas-Yau semistability asumption, and we shall make sufficient progress to pinpoint the outstanding technical difficulties, both in Floer theory and in geometric measure theory.