Let ($M$,$ω$) be a connected, symplectic 4-manifold. A$semitoric integrable system$on ($M$,$ω$) essentially consists of a pair of independent, real-valued, smooth functions$J$and$H$on$M$, for which$J$generates a Hamiltonian circle action under which$H$is invariant. In this paper we give a general method to construct, starting from a collection of five ingredients, a symplectic 4-manifold equipped a semitoric integrable system. Then we show that every semitoric integrable system on a symplectic 4-manifold is obtained in this fashion. In conjunction with the uniqueness theorem proved recently by the authors, this gives a classification of semitoric integrable systems on 4-manifolds, in terms of five invariants.

In [SW2], we defined a generalized mean curvature vector field on any almost Lagrangian submanifold with respect to a torsion connection on an almost K\"ahler manifold. The short time existence of the corresponding parabolic flow was established. In addition, it was shown that the flow preserves the Lagrangian condition as long as the connection satisfies an Einstein condition. In this article, we show that the canonical connection on the cotangent bundle of any Riemannian manifold is an Einstein connection (in fact, Ricci flat). The generalized mean curvature vector on any Lagrangian submanifold is related to the Lagrangian angle defined by the phase of a parallel (n, 0) form, just like the Calabi-Yau case. We also show that the corresponding Lagrangian mean curvature flow in cotangent bundles preserves the exactness and the zero Maslov class conditions. At the end, we prove a long time existence and convergence result to demonstrate the stability of the zero section of the cotangent bundle of spheres.

No abstract uploaded!

We prove a surgery formula for the smooth Yamabe invariant σ(M) of a compact manifold M. Assume that N is obtained from M by surgery of codimension at least 3. We prove the existence of a positive constant n, depending only on the dimension n of M, such that.

We define analytic torsion (X, E,H) 2 detH•(X, E,H) for the twisted de Rham complex, consisting of the spaces of differential forms on a compact oriented Riemannian manifold X valued in a flat vector bundle E, with a differential given by rE + H ^ · , where rE is a flat connection on E, H is an odd-degree closed differential form on X, and H•(X, E,H) denotes the cohomology of this Z2-graded complex. The definition uses pseudodifferential operators and residue traces. We show that when dimX is odd, (X, E,H) is independent of the choice of metrics on X and E and of the representative H in the cohomology class [H]. We define twisted analytic torsion in the context of generalized geometry and show that when H is a 3-form, the deformation H 7! H−dB, where B is a 2-form on X, is equivalent to deforming a usual metric g to a generalized metric (g,B). We demonstrate some basic functorial properties. When H is a top-degree form, we compute the torsion, define its simplicial counterpart, and prove an analogue of the Cheeger-M¨uller Theorem. We also study the twisted analytic torsion for T -dual circle bundles with integral 3- form fluxes.