Hypersymplectic 4-manifolds, the $G_2$-Laplacian flow and extension assuming bounded scalar curvature

Abstract

A hypersymplectic structure on a 4-manifold $X$ is a triple $\underline{\omega }$ of symplectic forms which at every point span a maximal positive-definite subspace of ${\Lambda }^2$ for the wedge product. This article is motivated by a conjecture of Donaldson: when $X$ is compact $\underline{\omega }$ can be deformed through cohomologous hypersymplectic structures to a hyperkähler triple. We approach this via a link with $G_2$-geometry. A hypersymplectic structure $\underline{\omega }$ on a compact manifold $X$ defines a natural $G_2$-structure $\varphi$ on $X\times {\mathbb{T}}^3$ which has vanishing torsion precisely when $\underline{\omega }$ is a hyperkähler triple. We study the $G_2$-Laplacian flow starting from $\varphi$, which we interpret as a flow of hypersymplectic structures. Our main result is that the flow extends as long as the scalar curvature of the corresponding $G_2$-structure remains bounded. An application of our result is a lower bound for the maximal existence time of the flow, in terms of weak bounds on the initial data (and with no assumption that scalar curvature is bounded along the flow).

30 pages. v2 typos corrected

References in corpus (1)

• Shi-type estimates and finite time singularities of flows of G${}_2$ structures

Cited by in corpus (14)

• Spacelike mean curvature flow
• Cohomogeneity-one $G_2$-Laplacian flow on 7-torus
• A class of eternal solutions to the G${}_2$-Laplacian flow
• Bryant-Salamon ${\mathrm{G}}_2$ manifolds and coassociative fibrations
• Toric geometry of $G_2$-manifolds
• $S^1$-invariant Laplacian flow
• Gradient estimates and parabolic frequency under the Laplacian G_2 flow
• Curvature pinching estimate under the Laplacian G_{2} flow
• Flows of SU(2)-structures
• Closed G${}_2$-structures on unimodular Lie algebras with non-trivial center
• Real analyticity of the modified Laplacian coflow
• Nonlinear Hodge flows in symplectic geometry
• The Space of Closed $G_2$-Structures. I. Connections
• Hypersymplectic Structures Invariant Under an Effective Circle Action