New Solutions to the $G_2$ Hull-Strominger System via torus fibrations over $K3$ orbifolds

Using torus fibrations over K3 orbisurfaces, we construct new smooth solutions to the $G_2$ Hull-Strominger system. These manifolds arise as total spaces of principal $T^3$ (orbi)bundles over singular K3 surfaces. Our construction is based on the choice of three divisors on a singular K3 surface that are primitive with respect to a particular Kählermetric. The stable bundle is obtained via an adaptation of the Serre construction to the singular setting.

💡 Research Summary

The paper presents a novel construction of smooth solutions to the seven‑dimensional G₂ Hull‑Strominger system by exploiting torus fibrations over singular K3 surfaces (K3 orbifolds). The authors begin by recalling the geometric background: a compact 7‑manifold equipped with a G₂‑structure φ must admit a metric connection with totally skew‑symmetric torsion H, and the Hull‑Strominger system couples this data with a dilaton function f, a connection ∇ on the tangent bundle, and a gauge connection A on a principal bundle P. The system consists of the equations

 dφ∧φ = 0, d⋆φ = –4 df∧⋆φ, FA∧⋆φ = 0, R∇∧⋆φ = 0, dH = α′(tr FA∧FA – tr R∇∧R∇).

The authors focus on the case where the underlying 7‑manifold M is the total space of a principal T³‑orbibundle over a K3 orbifold X. They assume X carries a hyper‑Kähler triple (ω₁, ω₂, ω₃) and three anti‑self‑dual (1,1) forms β₁, β₂, β₃ whose cohomology classes are integral. These classes determine a T³‑connection θ = (θ₁,θ₂,θ₃) with curvature dθ = (πβ₁,πβ₂,π*β₃).

A family of G₂‑structures is then defined by

 φ_{u,t} = t³ θ₁∧θ₂∧θ₃ – t e^{u}(θ₁∧ω₁ + θ₂∧ω₂ + θ₃∧ω₃),

where u∈C^∞(M) and t>0 are parameters. Direct computation (following the authors’ earlier work) shows that φ_{u,t} automatically satisfies dφ∧φ = 0 and d⋆φ = –4 df∧⋆φ with f = –¼ u, so the Lee form is exact. The torsion three‑form H_φ is expressed in terms of the βᵢ, the connection forms, and the gradient of u. Its exterior derivative dH_φ contains a term proportional to β₁∧β₂ + β₂∧β₃ + β₃∧β₁ and additional pieces involving du.

To meet the anomaly‑cancellation condition, the authors need a gauge bundle whose curvature contributes precisely the opposite of the curvature term from the Levi‑Civita connection. They construct such a bundle by adapting the Serre construction to the orbifold setting. Starting from a normal surface X with at least one Aₙ singularity (n≥3), they blow up X to obtain a smooth surface \tilde X with an ample rational divisor E and three integral divisors D₀, D₁, D₂ that are primitive with respect to E. Each Dᵢ defines a Seifert S¹‑bundle; the successive S¹‑bundles give a smooth, simply‑connected T³‑bundle over \tilde X. The authors verify ampleness and primitivity by explicit intersection calculations, choosing integers k,m large enough to satisfy positivity conditions.

The vector bundle E on \tilde X is then built as an extension of line bundles determined by the Dᵢ, yielding a rank‑2 bundle that is stable, hyper‑holomorphic (i.e., its curvature is of type (1,1) for all three complex structures), and therefore an instanton on the hyper‑Kähler base. Its Chern classes are tuned so that tr FA∧FA matches the curvature term from the base geometry, ensuring the Bianchi identity holds.

Putting everything together, the tuple (M, φ_{u,t}, f, ∇, A) satisfies all equations of the G₂ Hull‑Strominger system. The construction yields manifolds with topologies distinct from previously known examples (e.g., different fundamental groups and Betti numbers). In the final sections the authors exhibit concrete examples by selecting K3 orbifolds from the classifications of Iano‑Fletcher and Reid, specifying the singularity types, and providing explicit values for the parameters k, m, and the divisors. They compute topological invariants of the resulting 7‑manifolds, confirming smoothness, simple‑connectedness, and the existence of the required G₂‑structure with torsion.

Overall, the paper extends the toolkit for constructing heterotic compactifications with torsion by showing that torus fibrations over singular K3 orbifolds, together with carefully engineered Seifert bundles and hyper‑holomorphic gauge bundles, provide a rich source of new solutions to the G₂ Hull‑Strominger system.