Global and analytic versions of the derived deformation problem

Construct global and analytic versions of the derived deformation problem for heterotic G2 systems, beyond the local formal framework developed near the torsion-free standard embedding.

Background

The paper develops local formal Q-theories and compatibility resolutions near a torsion-free standard embedding on a fixed string Courant algebroid. Its analytic arguments rely on compactness and ellipticity, while the nonlinear equivalences are established only in a local formal setting. The discussion explicitly identifies global and analytic extensions of this deformation theory as unresolved.