Parametrized Ring-Spectra and the Nearby Lagrangian Conjecture

We prove that any closed connected exact Lagrangian manifold L in a connected cotangent bundle TN is up to a finite covering space lift a homology equivalence. We prove this by constructing a fibrant parametrized family of ring spectra FL parametrized by the manifold N. The homology of FL will be (twisted) symplectic cohomology of TL. The fibrancy property will imply that there is a Serre spectral sequence converging to the homology of FL and the product combined with intersection product on N induces a product on this spectral sequence. This product structure and its relation to the intersection product on L is then used to obtain the result. Combining this result with work of Abouzaid we arrive at the conclusion that L -> N is always a homotopy equivalence.