Here we classify$J$-embeddable surfaces, i.e. surfaces whose secant varieties have dimension at most 4, when the surfaces have two components at most.

In this paper, we solve a Monge-Ampre-type equation by the continuity method. This equation is motivated by the superstring theory.

We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi–Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi–Yau category is simply connected in the sequel [King and Qiu, Invent. Math., to appear].

For smooth compact oriented Riemannian manifolds$M$of dimension 4$k$+2,$k$≥0, with or without boundary, and a vector bundle$F$on$M$with an inner product and a flat connection, we construct a modification of the Hodge star operator on the middle-dimensional (parabolic) cohomology of$M$twisted by$F$. This operator induces a canonical complex structure on the middle-dimensional cohomology space that is compatible with the natural symplectic form given by integrating the wedge product. In particular, when$k$=0 we get a canonical almost complex structure on the non-singular part of the moduli space of flat connections on a Riemann surface, with monodromies along boundary components belonging to fixed conjugacy classes when the surface has boundary, that is compatible with the standard symplectic form on the moduli space.

We study the Seiberg-Witten invariant λSW(X) of smooth spin 4-manifolds X with integral homology of S1×S3 defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant h(X) and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homology 3-spheres of Rohlin invariant one which have infinite order in the homology cobordism group.