pith. machine review for the scientific record. sign in

arxiv: 2605.05970 · v1 · submitted 2026-05-07 · 🧮 math.DG

Recognition: unknown

Isometric solutions to the heterotic G₂-system

Andr\'es J. Moreno, Udhav Fowdar, Viviana del Barco

Pith reviewed 2026-05-08 05:03 UTC · model grok-4.3

classification 🧮 math.DG
keywords heterotic G2-systemisometric solutions2-step nilmanifolds3-Sasakian manifoldsnon-abelian gauge groupscharacteristic connectionG2-structures
0
0 comments X

The pith

An ansatz produces multiple isometric solutions to the heterotic G2-system on the same manifolds with different non-abelian gauge groups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs solutions to the heterotic G2-system by using an ansatz that varies the G2-structure and gauge data while holding the metric and orientation fixed. This yields distinct solutions that are isometric, sharing identical geometry yet employing different gauge groups. On some of the manifolds the resulting gauge connection equals the characteristic connection of the G2-structure. The method covers both compact and non-compact 2-step nilmanifolds and 3-Sasakian manifolds, recovering earlier examples inside one framework.

Core claim

By using an ansatz that varies the G2-structure and gauge data while keeping the underlying metric and orientation fixed, we construct new solutions to the heterotic G2-system with non-abelian gauge group, both compact and non-compact, on certain 2-step nilmanifolds and 3-Sasakian manifolds. This leads, in particular, to distinct isometric solutions on the same manifold but with different gauge groups, and in some cases the resulting connection coincides with the characteristic connection of the G2-structure. We also investigate an S1-invariant construction that yields further isometric solutions and with varying cosmological constant.

What carries the argument

An ansatz that varies the G2-structure and gauge data while keeping the underlying metric and orientation fixed.

Load-bearing premise

The chosen ansatz that varies the G2-structure and gauge data while keeping the underlying metric and orientation fixed actually satisfies the full heterotic G2-system equations on the listed manifolds.

What would settle it

Direct substitution of the explicit G2-structure and gauge connection produced by the ansatz into the heterotic G2-system equations on one of the 2-step nilmanifolds or 3-Sasakian manifolds, checking whether every component vanishes.

read the original abstract

In this note, we construct new solutions to the heterotic $\mathrm{G}_2$-system with non-abelian gauge group, both compact and non-compact, on certain $2$-step nilmanifolds and $3$-Sasakian manifolds. Our approach is based on an ansatz that allows us to vary both the $\mathrm{G}_2$-structure and the gauge data while keeping the underlying metric and orientation fixed. This leads, in particular, to distinct isometric solutions on the same manifold but with different gauge groups, and in some cases the resulting connection coincides with the characteristic connection of the $\mathrm{G}_2$-structure. We also investigate an $S^1$-invariant construction that yields further isometric solutions and with varying cosmological constant. Our results recover and extend several known examples solving the heterotic $\mathrm{G}_2$-system within a unified framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript constructs new solutions to the heterotic G₂-system with non-abelian gauge groups, both compact and non-compact, on certain 2-step nilmanifolds and 3-Sasakian manifolds. The approach relies on an ansatz that varies the G₂-structure φ and gauge connection A while keeping the underlying metric g and orientation fixed. This produces distinct isometric solutions on the same manifold with different gauge groups; in some cases the connection coincides with the characteristic connection of the G₂-structure. An S¹-invariant construction is also studied, yielding further solutions with varying cosmological constant. The results recover and extend known examples within a unified framework.

Significance. If the explicit verifications hold, the constructions are significant for supplying new non-abelian examples on concrete manifolds and for demonstrating that multiple isometric solutions can exist on the same manifold differing only in gauge data. The unified treatment of known cases and the S¹-invariant family with variable cosmological constant add value. The paper supplies explicit, manifold-specific data rather than abstract existence statements.

major comments (2)
  1. The central claim rests on the ansatz satisfying the complete heterotic G₂-system (G₂-instanton condition F_A ∧ ψ = 0, torsion equation relating dφ to H, and Bianchi identity dH = tr(F_A ∧ F_A) − tr(R ∧ R)). The manuscript must supply the explicit algebraic substitution of the left-invariant data into these equations for at least one 2-step nilmanifold example, including the curvature 2-forms and structure-constant reductions, so that independent verification is possible.
  2. For the 3-Sasakian and S¹-invariant constructions, the reduction of the full system (including the instanton condition and Bianchi identity) under the chosen invariance must be shown in detail; any algebraic slip in the curvature computations would invalidate the claimed solutions with varying cosmological constant.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and for highlighting points that will improve the clarity and verifiability of our constructions. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: The central claim rests on the ansatz satisfying the complete heterotic G₂-system (G₂-instanton condition F_A ∧ ψ = 0, torsion equation relating dφ to H, and Bianchi identity dH = tr(F_A ∧ F_A) − tr(R ∧ R)). The manuscript must supply the explicit algebraic substitution of the left-invariant data into these equations for at least one 2-step nilmanifold example, including the curvature 2-forms and structure-constant reductions, so that independent verification is possible.

    Authors: We agree that explicit algebraic substitutions of the left-invariant data are necessary for independent verification. In the revised version we will insert a new subsection (or appendix) that, for one representative 2-step nilmanifold, lists the left-invariant coframe, computes the curvature 2-forms from the structure constants, and carries out the full substitution into the G₂-instanton condition, the torsion equation, and the Bianchi identity. revision: yes

  2. Referee: For the 3-Sasakian and S¹-invariant constructions, the reduction of the full system (including the instanton condition and Bianchi identity) under the chosen invariance must be shown in detail; any algebraic slip in the curvature computations would invalidate the claimed solutions with varying cosmological constant.

    Authors: We accept that the reductions under S¹-invariance and for the 3-Sasakian cases require more explicit detail. We will expand the corresponding sections to display the step-by-step reduction of the instanton condition and Bianchi identity, including the curvature computations, and will verify that the cosmological constant varies as claimed. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit ansatz-based constructions verified directly on the manifolds

full rationale

The paper constructs solutions by applying a fixed ansatz (varying the G2-structure φ and gauge connection A while holding metric g and orientation fixed) to left-invariant data on 2-step nilmanifolds and S1-invariant data on 3-Sasakian manifolds, then verifying the heterotic G2-system equations (instanton condition, torsion, Bianchi identity) by direct substitution. This is a standard constructive approach in differential geometry; the resulting isometric solutions with different gauge groups follow from the algebraic independence of the chosen data from the target equations. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear. Known examples are recovered as special cases within the same framework, but the new non-abelian solutions are independently obtained and not forced by prior results of the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No full manuscript text was available for review; the abstract gives no explicit list of free parameters, axioms, or invented entities. The ansatz is presumed to introduce at least one or more continuous parameters controlling the variation of the G2-structure and gauge data.

pith-pipeline@v0.9.0 · 5456 in / 1179 out tokens · 31114 ms · 2026-05-08T05:03:51.820346+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 4 canonical work pages

  1. [1]

    M. F. Atiyah, N. J. Hitchin, and I. M. Singer,Self-Duality in Four-Dimensional Riemannian Geometry, Proc. Roy. Soc. Lond. A 362(1978), 425–461.↑2, 4, 13

    1978

  2. [2]

    Bagaglini, M

    L. Bagaglini, M. Fernández, and A. Fino,Coclosed G2-structures inducing nilsolitons, Forum Math.30(2018), no. 1, 109–128. ↑8

    2018

  3. [3]

    Ball and G

    G. Ball and G. Oliveira,Gauge theory on Aloff–Wallach spaces, Geom. Topol.23(2019), no. 2, 685–743.↑3

    2019

  4. [4]

    Bedulli and L

    L. Bedulli and L. Vezzoni,The Ricci tensor of SU(3)-manifolds, J. Geom. Phys.57(2007), no. 4, 1125–1146.↑5

    2007

  5. [5]

    Bismut,A local index theorem for non Kähler manifolds, Math

    J.-M. Bismut,A local index theorem for non Kähler manifolds, Math. Ann.284(1989), no. 4, 681–699.↑5

    1989

  6. [6]

    Bryant,Some remarks onG 2-structures, Proceedings of Gökova Geometry-Topology Conference 2005, 2006.↑3, 4, 5

    R. Bryant,Some remarks onG 2-structures, Proceedings of Gökova Geometry-Topology Conference 2005, 2006.↑3, 4, 5

    2005

  7. [7]

    R. R. Carrión,A generalization of the notion of instanton, Diff. Geom. Appl.8(1998), 1–20.↑4

    1998

  8. [8]

    Chiossi and S

    S. Chiossi and S. Salamon,The intrinsic torsion of SU(3) and G2 structures, Differential Geometry, Valencia 2001, 2002, pp. 115–133.↑5

    2001

  9. [9]

    Clarke, V

    A. Clarke, V . del Barco, and A. J. Moreno,G2-instantons on 2-step nilpotent Lie groups, Adv. Theor. Math. Phys.29(2025), no. 3, 751–813.↑2, 7, 8, 10, 17

    2025

  10. [10]

    Clarke, M

    A. Clarke, M. Garcia-Fernandez, and C. Tipler,T-Dual solutions and infinitesimal moduli of the G 2-Strominger system, Adv. Theor. Math. Phys26(2022), no. 6, 1669–1704.↑1

    2022

  11. [11]

    da Silva, M

    A. da Silva, M. Garcia-Fernandez, J. Lotay, and H. Sá Earp,Coupled G 2-instantons, Int. J. Math. (2025), 2542002.↑1, 9, 13

    2025

  12. [12]

    de la Hera, M

    A. de la Hera, M. Galdeano, and M. Garcia-Fernandez,G 2-structures with torsion and the deformed Shatashvili–Vafa vertex algebra, 2024 MATRIX Annals, Part II, 2026, pp. 341–355.↑3

    2024

  13. [13]

    de la Ossa and M

    X. de la Ossa and M. Galdeano,Families of solutions of the heterotic G 2 system, arXiv:2111.13221 (2021).↑1

    work page arXiv 2021

  14. [14]

    de la Ossa, M

    X. de la Ossa, M. Larfors, M. Magill, and E. Svanes,Superpotential of three dimensional n= 1 heterotic supergravity, JHEP195 (2020), no. 1.↑1

    2020

  15. [15]

    de la Ossa, M

    X. de la Ossa, M. Larfors, and E. Svanes,Exploring SU (3) structure moduli spaces with integrable G2 structures, Adv. Theor. Math. Phys.19(2015), no. 4, 837–903.↑1

    2015

  16. [16]

    ,The infinitesimal moduli space of heteroticG 2 systems, Comm. Math. Phys.360(2018), no. 2, 727–775.↑1

    2018

  17. [17]

    del Barco, A

    V . del Barco, A. Moroianu, and A. Raffero,Purely coclosedG2-structures on 2-step nilpotent Lie groups, Rev. Mat. Complut.35 (2022), 323–359.↑8

    2022

  18. [18]

    Fernández, S

    M. Fernández, S. Ivanov, L. Ugarte, and R. Villacampa,Compact supersymmetric solutions of the heterotic equations of motion in dimensions 7 and 8, Adv. Theor. Math. Phys.15(2011), no. 2, 245–284.↑1, 2, 3, 17, 18

    2011

  19. [19]

    Fino and U

    A. Fino and U. Fowdar,Some remarks on strong G2-structures with torsion, J. Math. Pures Appl.211(2026), 103882. ↑11, 15, 16

    2026

  20. [20]

    A. Fino, G. Grantcharov, and J. Medel,New Solutions to the G 2 Hull-Strominger system via torus fibrations over K3 orbifolds, arXiv:2601.20813 (2026).↑1

    work page arXiv 2026

  21. [21]

    A. Fino, L. Martín-Merchán, and A. Raffero,The twisted G 2 equation for strong G2-structures with torsion, Pure Appl. Math. Q20 (2024), no. 6, 2711–2767.↑3, 15

    2024

  22. [22]

    Friedrich and S

    T. Friedrich and S. Ivanov,Parallel spinors and connections with skew-symmetric torsion in string theory., Asian J. Math.6(2002), no. 2, 303–335.↑1, 4

    2002

  23. [23]

    Friedrich, I

    T. Friedrich, I. Kath, A. Moroianu, and U. Semmelmann,On nearly parallel G2-structures, J. Geom. Phys.23(1997), no. 3, 259–286.↑2, 12

    1997

  24. [24]

    Galdeano and L

    M. Galdeano and L. Stecker,The heterotic G2 system with reducible characteristic holonomy, J. Geom. Phys.217(2025), 105635. ↑1, 2

    2025

  25. [25]

    Galicki and S

    K. Galicki and S. Salamon,Betti numbers of 3-Sasakian manifolds, Geom. Dedicata63(1996), no. 1, 45–68.↑2, 12

    1996

  26. [26]

    Garcia-Fernandez, A

    M. Garcia-Fernandez, A. Moreno, A. Payne, and J. Streets,A parabolic flow for the large volume heterotic G 2 system, arXiv preprint :2512.14317 (2025).↑1

    work page arXiv 2025

  27. [27]

    Gong,Classification of nilpotent Lie algebras of dimension 7, over algebraically closed fields and R, PhD Thesis, University Warteloo (Canada), 1998.↑8 18

    M-P. Gong,Classification of nilpotent Lie algebras of dimension 7, over algebraically closed fields and R, PhD Thesis, University Warteloo (Canada), 1998.↑8 18

    1998

  28. [28]

    Harland and C

    D. Harland and C. Nölle,Instantons and killing spinors, JHEP2012(2012), no. 3, 82.↑13

    2012

  29. [29]

    Hitchin,The geometry of three-forms in six and seven dimensions, J

    N. Hitchin,The geometry of three-forms in six and seven dimensions, J. Differ. Geom.55(2000), no. 3, 547–576.↑4

    2000

  30. [30]

    C. M. Hull,Compactifications of the heterotic superstring, Physics Letters B178(1986), no. 4, 357–364.↑1

    1986

  31. [31]

    Ivanov and S

    P. Ivanov and S. Ivanov, SU(3)-instantons and G2, Spin(7)-heterotic string solitons, Commun. Math. Phys.259(2005), no. 1, 79–102.↑2, 3, 5, 13, 17

    2005

  32. [32]

    Ivanov,Heterotic supersymmetry, anomaly cancellation and equations of motion, Physics Letters B685(2010), no

    S. Ivanov,Heterotic supersymmetry, anomaly cancellation and equations of motion, Physics Letters B685(2010), no. 2, 190–196. ↑1

    2010

  33. [33]

    Lotay and H

    J. Lotay and H. Sá Earp,The heteroticG 2 system on contact Calabi-Yau7-manifolds, Trans. A.M.S.10(2023), 907–943.↑1

    2023

  34. [34]

    Malcev,On a class of homogeneous spaces, Amer

    A.I. Malcev,On a class of homogeneous spaces, Amer. Math. Soc. Trans. Ser.9(1962), no. 1, 276–307.↑9, 11

    1962

  35. [35]

    Milnor,Curvatures of left invariant metrics on Lie groups., Adv

    J. Milnor,Curvatures of left invariant metrics on Lie groups., Adv. Math.21(1976), 293–329.↑6, 9

    1976

  36. [36]

    Moroianu, A

    A. Moroianu, A. Raffero, and L. Vezzoni,The heterotic G2-system on 2-step nilmanifolds endowed with principal torus bundles, arXiv2512.16817 (2025).↑1, 11

    work page arXiv 2025

  37. [37]

    Salamon,Riemannian geometry and holonomy groups, Pitman Research Notes in Mathematics Series, vol

    S. Salamon,Riemannian geometry and holonomy groups, Pitman Research Notes in Mathematics Series, vol. 201, Longman Scientific & Technical, Harlow, 1989.↑3

    1989

  38. [38]

    Pure Appl

    ,Complex structures on nilpotent Lie algebras, J. Pure Appl. Algebra157(2001), no. 2-3, 311–333.↑8

    2001

  39. [39]

    Strominger,Superstrings with torsion, Nuclear Physics B274(1986), no

    A. Strominger,Superstrings with torsion, Nuclear Physics B274(1986), no. 2, 253–284.↑1, 5 V . del Barco, Instituto de Matemática, Estatística e Computação Científica, Universidade Estadual de Campinas, Rua Sergio Buarque de Holanda, 651, 13083-859, Campinas, SP, Brazil. Email:delbarc@unicamp.br U. Fowdar, Institute of Mathematics, University of Warsaw, Ba...

    1986