Let T  (Y, ) be a transverse knot which is the binding of some open book, (T, ), for the ambient contact manifold (Y, ). In this paper, we show that the transverse invariant bT(T ) 2[HFK(−Y,K), defined in [LOSSz09], is nonvanishing for such transverse knots. This is true regardless of whether or not  is tight. We also prove a vanishing theorem for the invariants L and T. As a corollary, we show that if (T, ) is an open book with connected binding, then the complement of T has no Giroux torsion.

1 Preliminaries 3 1.1 Linear algebra 3 1.1. 1 Vectors and matrices 3 1.1. 2 Symmetric bilinear forms 5 1.1. 3 Vector subspaces 6 1.1. 4 Linear maps from Rn to Rn 7 1.1. 5 A convention 9 1.2 Vector calculus 9

In this paper we study the geometry of manifolds with vector cross products and its complexification. First we develop the theory of instantons and branes and study their deformations. For example they are (i) holomorphic curves and Lagrangian submanifolds in symplectic manifolds and (ii) associative submanifolds and coassociative submanifolds in G2-manifolds. Second we classify K¨ahler manifolds with the complex analog of the vector cross product, namely they are Calabi-Yau manifolds and hyperk¨ahler manifolds. Furthermore we study instantons, Neumann branes and Dirichlet branes on these manifolds. For example they are special Lagrangian submanifolds with phase angle zero, complex hypersurfaces and special Lagrangian submanifolds with phase angle pi/2 in Calabi-Yau manifolds.

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.

We study weakly trapped submanifolds of codimension two in a standard static spacetime. In this setting, we apply some generalized maximum principles in order to investigate the geometry of these trapped submanifolds. For instance, we establish sufficient conditions to guarantee that such a spacelike submanifold must be a hypersurface of the Riemannian base of the ambient spacetime. As a consequence, we prove that there do not exist n-dimensional compact (without boundary) trapped submanifolds immersed in an (n+2)-dimensional standard static spacetime. Such a nonexistence result was originally obtained for stationary spacetimes by Mars and Senovilla [20]. Furthermore, we also investigate parabolic weakly trapped submanifolds immersed in a standard static spacetime.