We prove that a stable minimal hypersurface of an open ball which is immersed away from a closed (singular) set of finite codimension 2 Hausdorff measure and weakly close to a multiplicity 2 hyperplane must in the interior be the graph over the hyperplane of a 2-valued function satisfying a local C1, estimate. This regularity is optimal under our hypotheses. As a consequence, we also establish compactness of the class of stable minimal hypersur- faces of an open ball which have volume density ratios uniformly bounded by 3−δ for any fixed δ ∈ (0, 1) and interior singular sets of vanishing co-dimension 2 Hausdorff measure.

We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A1 structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given embeddings with isomorphic normal bundles of a closed manifold B into manifolds Q1 and Q2, we construct a differential graded category from the singular cochains of these spaces, and prove that it is equivalent to the A1 category obtained by considering exact Lagrangian embeddings of Q1 and Q2 which intersect cleanly along B.

For a compact Riemann surface X of positive genus, the space of sections of a certain theta bundle on moduli of bundles of rank r and level k admits a natural map to (the dual of) a similar space of sections of rank k and level r (the strange duality isomorphism). Both sides of the isomorphism carry projective connections as X varies in a family. We prove that this map is (projectively) flat.

In a previous paper, we described a natural closed subset, M 0 1,k(X,A; J), of the moduli space M1,k(X,A; J) of stable genusone J-holomorphic maps into a symplectic manifold X. In this paper we generalize the definition of the main component to moduli spaces of perturbed, in a restricted way, J-holomorphic maps and conclude that M 0 1,k(X,A; J), just like M1,k(X,A; J), carries a virtual fundamental class, which can be used to define symplectic invariants. These truly genus-one invariants constitute part of the standard genus-one Gromov-Witten invariants, which arise from the entire moduli space M1,k(X,A; J). The new invariants are more geometric and can be used to compute the genus-one GW-invariants of complete intersections, as shown in a separate paper.

We prove that generalized conifolds and orbifolded conifolds are mirror symmetric under the SYZ program with quantum corrections. Our work mathematically confirms the gaugetheoretic assertion of Aganagic–Karch–Lust–Miemiec, and also provides a supportive evidence to Morrison’s conjecture that geometric transitions are reversed under mirror symmetry.