Pith. sign in

REVIEW 1 major objections 2 minor 33 references

Nearly Parallel $\mathrm{G}_{2}$-Structures with Torus Symmetry

T0 review · 1 major / 2 minor · reviewed 2026-05-21 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Nearly parallel G2-structures with effective three-torus symmetry reduce to two triples of closed two-forms on three-dimensional bases related by a Riemannian metric.

desk verdict The reduction of T3-symmetric nearly parallel G2-structures to two triples of closed 2-forms on 3-manifolds plus the inverse construction is the concrete new piece. read the letter →

arxiv 2508.21703 v2 pith:MLCNCJUW submitted 2025-08-29 math.DG

Giovanni Russo , Andrew Swann This is my paper · ORCID
classification math.DG
keywords nearlyparallelG2-structurestorussymmetrymulti-momentmapsreductionclosedtwo-formsthree-manifoldsinvariantstructuresG2-geometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper examines nearly parallel G2-structures that admit an effective action by a three-dimensional torus. Using multi-moment map techniques, it shows that the regular level sets form torus bundles over three-dimensional base manifolds. The geometry on these bases is captured by two triples of closed two-forms that are linked through a Riemannian metric. The authors supply an inverse construction that produces invariant nearly parallel G2-structures starting from suitable three-dimensional data. They further note that the local picture can yield examples possessing four-torus symmetry.

What carries the argument

The multi-moment map for the three-torus action, which reduces the nearly parallel G2-structure to a three-dimensional base equipped with two triples of closed two-forms related by a Riemannian metric.

What would settle it

An explicit nearly parallel G2-manifold with effective three-torus symmetry whose base three-manifolds cannot be equipped with two triples of closed two-forms related by a Riemannian metric in the manner described.

Watch

Extended reading notes

Core claim

An effective three-torus action on a nearly parallel G2-manifold yields a multi-moment map whose regular level sets are torus bundles over smooth three-dimensional manifolds. The geometry of these base spaces is specified by two triples of closed two-forms related by a Riemannian metric. An inverse construction is then given that produces invariant nearly parallel G2-structures from three-dimensional data, and locally this may produce examples with four-torus symmetry.

Load-bearing premise

An effective three-torus action on a nearly parallel G2-manifold yields a multi-moment map, and the torus acts freely on its regular level sets so that they are torus bundles over smooth three-dimensional manifolds.

Editorial extensions

If this is right

  • The regular level sets of the multi-moment map are torus bundles over three-dimensional manifolds.
  • The base geometry is completely determined by two triples of closed two-forms together with a Riemannian metric.
  • Any suitable three-dimensional data of this form can be lifted via the inverse construction to an invariant nearly parallel G2-structure.
  • The construction locally admits an additional circle factor, producing examples with four-torus symmetry.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Choosing appropriate closed two-forms and metrics on the base may yield new compact examples of nearly parallel G2-manifolds.
  • The reduction technique could be adapted to study other special holonomy structures that admit torus actions.
  • The local four-torus symmetry observation suggests a possible route to classifying nearly parallel G2-structures with higher symmetry.
  • The framework might connect to constructions of G2-structures with different types of symmetry or on non-compact manifolds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The paper studies nearly parallel G₂-structures on 7-manifolds admitting an effective three-torus symmetry. Using multi-moment map techniques, it shows that such an action produces a multi-moment map whose regular level sets are free T³-bundles over smooth three-dimensional base manifolds. The geometry of these bases is encoded by two triples of closed two-forms related by a Riemannian metric. An inverse construction is given that produces invariant nearly parallel G₂-structures from three-dimensional data, and local examples with four-torus symmetry are observed.

Significance. If the central claims are verified, the work supplies a concrete reduction of nearly parallel G₂-manifolds with T³ symmetry to three-dimensional data consisting of closed 2-forms and a compatible metric, together with an explicit inverse construction. This is a genuine strength: the inverse construction allows systematic generation of examples from lower-dimensional input and may produce new manifolds with enhanced symmetry. The approach builds on standard multi-moment map methods but applies them specifically to the nearly parallel equation, potentially aiding classification and example construction in G₂-geometry.

major comments (1)
  1. [§3] §3 (Multi-moment map and level sets): The claim that the T³ action is free on regular level sets of the multi-moment map requires an explicit verification that the three Killing vector fields remain linearly independent there. This must be shown using only the nearly parallel condition dφ = λ ⋆φ together with the G₂-compatibility of the metric; if the independence is instead asserted by appeal to a general fact about multi-moment maps, the reduction to smooth 3-manifolds may hold only under additional hypotheses not stated in the abstract or main theorem.
minor comments (2)
  1. [§4] Notation for the two triples of closed 2-forms on the base should be introduced with a clear table or displayed equations early in the reduction section to improve readability.
  2. [§5] The inverse construction in §5 would benefit from an explicit statement of the dimension and smoothness assumptions on the three-dimensional data to make the correspondence fully rigorous.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. The major comment identifies a point where greater explicitness is needed to support the reduction. We address this below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§3] §3 (Multi-moment map and level sets): The claim that the T³ action is free on regular level sets of the multi-moment map requires an explicit verification that the three Killing vector fields remain linearly independent there. This must be shown using only the nearly parallel condition dφ = λ ⋆φ together with the G₂-compatibility of the metric; if the independence is instead asserted by appeal to a general fact about multi-moment maps, the reduction to smooth 3-manifolds may hold only under additional hypotheses not stated in the abstract or main theorem.

    Authors: We agree that an explicit verification is required. In the revised manuscript we will insert a short lemma in §3 proving that the three Killing vector fields remain linearly independent on the regular level sets of the multi-moment map. The argument will use only the nearly parallel equation dφ = λ ⋆φ together with the G₂-compatibility of the metric and the definition of the multi-moment map; no appeal will be made to general properties of multi-moment maps that might impose extra hypotheses. This addition will confirm that the T³-action is free on those level sets and that the reduction to smooth three-dimensional base manifolds holds under the hypotheses stated in the abstract and main theorem. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

Derivation uses standard multi-moment maps without reduction to inputs by construction

full rationale

The paper applies established multi-moment map techniques to nearly parallel G2-structures admitting an effective T3 action. The claimed reduction to base spaces specified by two triples of closed 2-forms follows from the general properties of the multi-moment map on the level sets where the action is free, combined with the nearly parallel equation, without any step that defines the output in terms of itself or renames a fitted quantity as a prediction. The inverse construction from three-dimensional data is presented as an independent existence result. No load-bearing self-citations, uniqueness theorems imported from prior author work, or ansatzes smuggled via citation appear in the derivation chain. The freeness assertion on regular level sets is a standard consequence of the multi-moment map construction under the given hypotheses and does not collapse the geometry description to a tautology.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The abstract invokes standard domain assumptions from G2-geometry and multi-moment map theory without introducing new free parameters or postulated entities.

assumptions (1)
  • domain assumption An effective three-torus action on a nearly parallel G2-manifold yields a multi-moment map.
    This premise is stated at the outset and is required for the level-set analysis to proceed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nearly Parallel $\mathrm{G}_{2}$-Structures with Torus Symmetry." pith.science (2026). https://pith.science/paper/MLCNCJUW

@misc{pith2026250821703,
  author       = {Pith},
  title        = {Pith review of: Nearly Parallel $\mathrmG_2$-Structures with Torus Symmetry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MLCNCJUW}},
  note         = {Machine review of arXiv:2508.21703}
}
abstract

We study nearly parallel $\mathrm{G}_{2}$-structures with a three-torus symmetry via multi-moment map techniques. An effective three-torus action on a nearly parallel $\mathrm{G}_{2}$-manifold yields a multi-moment map. The torus acts freely on its regular level sets, so they are torus bundles over smooth three-dimensional manifolds. We show that the geometry of the base spaces is specified by two triples of closed two-forms related by a Riemannian metric. We then describe an inverse construction producing invariant nearly parallel $\mathrm{G}_{2}$-structures from three-dimensional data. We observe that locally this may produce examples with four-torus symmetry.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    The torus acts freely on its regular level sets, so they are torus bundles over smooth three-dimensional manifolds. We show that the geometry of the base spaces is specified by two triples of closed two-forms related by a Riemannian metric.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    On weak holonomy

    B. Alexandrov, “On weak holonomy”. Math. Scand. 96(2) (2005), 169–189

    work page 2005

  2. [2]

    Real Killing Spinors and Holonomy

    C. B¨ ar, “Real Killing Spinors and Holonomy”.Commun. Math. Phys. 154(3) (1993), 509–521

    work page 1993

  3. [3]

    Associative submanifolds of the Berger space

    G. Ball, J. Madnick, “Associative submanifolds of the Berger space”. Comm. Anal. Geom. 31(5) (2023), 1125–1175

    work page 2023

  4. [4]

    Twistors and Killing spinors on Riemannian manifolds

    H. Baum, Th. Friedrich, R. Grunewald, I. Kath, “Twistors and Killing spinors on Riemannian manifolds”. B. G. Teubner Verlagsgesellschaft, Stuttgart, Leipzig, 1991

    work page 1991

  5. [5]

    Einstein manifolds

    A. L. Besse, “Einstein manifolds”. Classics in Mathematics. Springer-Verlag, Berlin, 2008

    work page 2008

  6. [6]

    Complete hyper-K¨ ahler 4n-manifolds with a local tri-Hamiltonian Rn-action

    R. Bielawski, “Complete hyper-K¨ ahler 4n-manifolds with a local tri-Hamiltonian Rn-action”. Math. Ann. 314(3) (1999), 505–528

    work page 1999

  7. [7]

    Sasakian Geometry

    C. P. Boyer, K. Galicki, “Sasakian Geometry”. Oxford Mathematical Monographs, Oxford, 2008

    work page 2008

  8. [8]

    Metrics with exceptional holonomy

    R. L. Bryant, “Metrics with exceptional holonomy”. Ann. of Math. 126(3) (1987), 525–576

    work page 1987

Show all 33 references
  1. [9]

    Some remarks on G 2-structures

    R. L. Bryant, “Some remarks on G 2-structures”. In Proceedings of 12th G¨ okova, Geometry- Topology Conference, 2005, G¨ okova Geometry/Topology Conference (GGT), G¨ okova, 2006, pp. 75–109

    2005

  2. [10]

    Classification des vari´ et´ es approximativement k¨ ahleriennes homog` enes

    J.-B. Butruille, “Classification des vari´ et´ es approximativement k¨ ahleriennes homog` enes”.Ann. Global Anal. Geom. 27(3) (2005), 201–225

    2005

  3. [11]

    Uniqueness and examples of compact toric Sasaki-Einstein metrics

    K. Cho, A. Futaki, H. Ono, “Uniqueness and examples of compact toric Sasaki-Einstein metrics”. Comm. Math. Phys. 277(2) (2008), 439–458

    2008

  4. [12]

    Cohomogeneity-one G2-structures

    R. Cleyton, A. F. Swann, “Cohomogeneity-one G2-structures”. J. Geom. Phys. 44(2–3) (2002), 202–220

    2002

  5. [13]

    Einstein metrics via intrinsic or parallel torsion

    R. Cleyton, A. F. Swann, “Einstein metrics via intrinsic or parallel torsion”. Math. Z. 247(3) (2004), 513–528

    2004

  6. [14]

    New Einstein-Sasaki and Einstein spaces from Kerr-de Sitter

    M. Cvetiˇ c, H. L¨ u, D.-N. Page, C. N. Pope, “New Einstein-Sasaki and Einstein spaces from Kerr-de Sitter”. J. High Energy Phys. 7 (2009), 082, 25 pages. 18 GIOVANNI RUSSO AND ANDREW SWANN

    2009

  7. [15]

    Nearly parallel G2-manifolds: formality and associative submanifolds

    M. Fern´ andez, A. Fino, A. Kovalev, V. Mu˜ noz, “Nearly parallel G2-manifolds: formality and associative submanifolds”. Math. Res. Lett. 31(5) (2024), 1391–1434

    2024

  8. [16]

    New G 2-holonomy cones and exotic nearly K¨ ahler structures onS6 and S3 × S3

    L. Foscolo, M. Haskins, “New G 2-holonomy cones and exotic nearly K¨ ahler structures onS6 and S3 × S3”. Ann. of Math. 185(1) (2017), 59–130

    2017

  9. [17]

    On nearly parallel G 2-structures

    Th. Friedrich, I. Kath, A. Moroianu, U. Semmelmann, “On nearly parallel G 2-structures”. J. Geom. Phys. 23(3–4) (1997), 259–286

    1997

  10. [18]

    Transverse K¨ ahler geometry of Sasaki manifolds and toric Sasaki-Einstein manifolds

    A. Futaki, H. Ono, G. Wang, “Transverse K¨ ahler geometry of Sasaki manifolds and toric Sasaki-Einstein manifolds”. J. Differential Geom. 83(3) (2009), 585–635

    2009

  11. [19]

    Weak holonomy groups

    A. Gray, “Weak holonomy groups”, Math. Z. 123 (1971), 290–300

    1971

  12. [20]

    The structure of nearly K¨ ahler manifolds

    A. Gray, “The structure of nearly K¨ ahler manifolds”.Math. Ann. 223(3) (1976), 233–248

    1976

  13. [21]

    Calibrated geometries

    F. R. Harvey, H. Blaine Lawson, Jr., “Calibrated geometries”, Acta Math. 148 (1982), 47–157

    1982

  14. [22]

    The topology of certain 3-Sasakian 7-manifolds

    R. A. Hepworth, “The topology of certain 3-Sasakian 7-manifolds”. Math. Ann. 339(4) (2007), 733–755

    2007

  15. [23]

    Some associative submanifolds of the squashed 7-sphere

    K. Kawai, “Some associative submanifolds of the squashed 7-sphere”. Quart. J. Math. 66(3) (2015), 861–893

    2015

  16. [24]

    Some nondiffeomorphic homeomorphic homogeneous 7-manifolds with positive sectional curvature

    M. Kreck, S. Stolz, “Some nondiffeomorphic homeomorphic homogeneous 7-manifolds with positive sectional curvature”. J. Differential Geom. 33(2) (1991), 465–486; correction 49(1) (1998), 203–204

    1991

  17. [25]

    Associative submanifolds of the 7-sphere

    J. D. Lotay, “Associative submanifolds of the 7-sphere”. Proc. Lond. Math. Soc. 105(6) (2012), 1183–1214

    2012

  18. [26]

    Multi-moment maps

    T. B. Madsen, A. F. Swann, “Multi-moment maps”. Adv. Math. 229(4) (2012) 2287–2309

    2012

  19. [27]

    Sasaki-Einstein manifolds and volume minimisation

    D. Martelli, J. Sparks, S.-T. Yau, “Sasaki-Einstein manifolds and volume minimisation”. Comm. Math. Phys. 280(3) (2008), 611–673

    2008

  20. [28]

    Toric nearly K¨ ahler manifolds

    A. Mororianu, P.-A. Nagy, “Toric nearly K¨ ahler manifolds”.Ann. Global Anal. Geom. 55(4) (2019), 703–717

    2019

  21. [29]

    Nearly parallel G2-structures with large symmetry group

    F. Podest` a, “Nearly parallel G2-structures with large symmetry group”. Canad. J. Math. 73(2) (2021), 339–359

    2021

  22. [30]

    Spaces admitting homogeneous G 2-structures

    F. Reidegeld, “Spaces admitting homogeneous G 2-structures”. Differential Geom. Appl. 28(3) (2010), 301–312

    2010

  23. [31]

    Multi-moment maps on nearly K¨ ahler six-manifolds

    G. Russo, “Multi-moment maps on nearly K¨ ahler six-manifolds”.Geom. Dedicata 213 (2021), 57–81

    2021

  24. [32]

    The Einstein condition on nearly K¨ ahler six-manifolds

    G. Russo, “The Einstein condition on nearly K¨ ahler six-manifolds”.Expo. Math. 39(3) (2021), 384–410

    2021

  25. [33]

    Nearly K¨ ahler six-manifolds with two-torus symmetry

    G. Russo, A. F. Swann, “Nearly K¨ ahler six-manifolds with two-torus symmetry”.J. Geom. Phys. 138 (2019), 144–153. Mathematics Area, SISSA - Scuola Internazionale Superiore di Studi A vanzati, via Bonomea 265, 34136 Trieste (TS), Italy Email address: girusso@sissa.it Departmen...

    2019

Pith tools

Reviewed May 21, 2026 · model on record in the stance chip above.