Closed $\mathrm{G}_2$-structures with $\mathbb{T}^3$-symmetry and hypersymplectic structures

Chengjian Yao; Ziyi Zhou

arxiv: 2601.13747 · v3 · submitted 2026-01-20 · 🧮 math.DG

Closed G₂-structures with mathbb{T}³-symmetry and hypersymplectic structures

Chengjian Yao , Ziyi Zhou This is my paper

Pith reviewed 2026-05-16 12:51 UTC · model grok-4.3

classification 🧮 math.DG

keywords G2-structuresT3 symmetryhypersymplectic structureshyperkahler manifoldstorsion-freeisotropic orbitsorbifoldsflat structures

0 comments

The pith

Closed G2-structures with effective T3-symmetry on complete manifolds with constant orbit volume reduce to flat or hyperkahler structures in three specific cases.

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

The paper decomposes linear G2-structures using natural 1-forms and triples of 2-forms adapted to three-dimensional subspaces, then applies this to classify closed G2-structures carrying an effective T3 action on connected manifolds. Structures split into Type I, where non-isotropic orbits allow reduction to a hypersymplectic orbifold with cyclic stabilizers, and Type II, where isotropic orbits make the action locally multi-Hamiltonian and foliate principal orbits by invariant hypersymplectic 4-manifolds. For torsion-free cases the classification yields a generalized Gibbons-Hawking construction in Type I and local toric behavior in Type II. Adding completeness and constant orbit volume produces a trichotomy: purely non-isotropic non-associative orbits force a flat 4-orbifold, purely associative orbits force a flat T3-action and hyperkahler 4-orbifold, and isotropic orbits force all orbits principal with flat G2-structure.

Core claim

Assuming completeness and constant orbit volume, closed G2-structures with T3-symmetry are of three types: Type Ia with purely non-isotropic non-associative orbits yields a flat hypersymplectic 4-orbifold; Type Ib with purely associative orbits makes the T3-action flat and yields a hyperkahler 4-orbifold; Type II with isotropic orbits makes all orbits principal and the G2-structure flat.

What carries the argument

The orbit-isotropy classification of the effective T3-action together with the reduction of the closed G2-structure to a hypersymplectic structure on the quotient 4-orbifold, which carries the trichotomy under completeness and constant volume.

Load-bearing premise

The T3-action must be effective, the manifold must be complete, and orbit volumes must be constant to obtain the three-type trichotomy.

What would settle it

A complete connected manifold with a closed non-flat G2-structure admitting an effective T3-action of constant orbit volume whose orbits do not fall into one of the three described types.

read the original abstract

We decompose linear $\mathrm{G}_2$-structure in canonical ways adapted to 3-dimensional subspaces, in terms of certain natural 1-forms and definite triple of 2-forms, and apply the decompositions to the study of $\mathrm{G}_2$-structure with $\mathbb{T}^3$-symmetry. Closed $\mathrm{G}_2$-structures $\varphi$ with an effective $\mathbb{T}^3$-symmetry on connected manifolds are roughly classified into two types according the orbits being non-isotropic or isotropic. Type I: if some orbit is non-isotropic, then the action is almost-free and $\varphi$ reduces to a good hypersymplectic orbifold with cyclic isotropic groups. Type II: if some orbit is isotropic, then the action is locally multi-Hamiltonian for $\varphi$. Moreover, the open and dense subset of principal orbits is foliated by $\mathbb{T}^3$-invariant hypersymplectic manifolds. If $\varphi$ is torsion-free, then for Type I, there arises another natural hypersymplectic structure, and a generalized Gibbons-Hawking Ansatz extending Madsen-Swann Ansatz is derived. For Type II, $\varphi$ is locally toric. Assuming moreover completeness and constant orbit volume, exactly three possibilities occur. Type Ia: orbits are purely non-isotropic non-associative, then the hypersymplectic 4-orbifold becomes a flat manifold. Type Ib: orbits are purely associative, then the $\mathbb{T}^3$-action is flat, and the hypersymplectic 4-orbifold becomes a hyperk\"ahler 4-orbifold. Type II: orbits are isotropic, then all orbits are principal, and $\varphi$ is flat.

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.

Desk Editor's Note private letter to a colleague

The orbit-based Type I/II split and the generalized Gibbons-Hawking reduction are the real additions, but the jump to a global trichotomy under completeness rests on an unshown constancy argument for orbit type.

read the letter

The paper decomposes closed G2-structures adapted to a T3 action and splits them into Type I (some non-isotropic orbit) and Type II (some isotropic orbit). In the torsion-free setting it produces a generalized Gibbons-Hawking ansatz for Type I that extends Madsen-Swann, and it shows that Type II is locally toric with a hypersymplectic foliation on the principal orbits. Adding completeness and constant orbit volume then yields the three global cases: flat hypersymplectic 4-orbifold for purely non-associative Type Ia, hyperkähler 4-orbifold for purely associative Type Ib, and flat G2 for Type II with all orbits principal. That trichotomy is the headline claim and it is new in this form. The local reductions and the explicit form decompositions are cleanly written and should be usable by people already working with symmetric G2 examples. The citation pattern is standard and the logic from decomposition to reduction looks internally consistent on the abstract level. The soft spot is the passage from local orbit types to the global “purely” statement. The abstract invokes completeness and constant volume to rule out mixed cases, yet gives no visible continuity or invariance reason why orbit isotropy cannot change across the manifold while volume stays constant. If that step is only sketched, referees will want the argument written out. This is niche work for people already inside G2 geometry and hypersymplectic reductions. It is not a broad reorganization of the field, but the constructions are concrete enough that a serious editor should send it to referees rather than desk-reject it. I would bring it to a reading group if the group already knows Madsen-Swann, and I would not cite it in my own papers unless I needed the specific ansatz extension.

Referee Report

2 major / 3 minor

Summary. The manuscript decomposes linear G2-structures adapted to 3-dimensional subspaces using natural 1-forms and definite triples of 2-forms, then applies these to classify closed G2-structures with effective T3-symmetry on connected manifolds into Type I (some orbit non-isotropic, yielding an almost-free action reducing to a good hypersymplectic orbifold with cyclic isotropic groups) and Type II (some orbit isotropic, yielding a locally multi-Hamiltonian action with the principal-orbit subset foliated by T3-invariant hypersymplectic manifolds). For torsion-free cases, Type I produces a second natural hypersymplectic structure and a generalized Gibbons-Hawking ansatz extending the Madsen-Swann ansatz, while Type II is locally toric. Under the additional assumptions of completeness and constant orbit volume, the paper establishes a trichotomy: Type Ia (purely non-isotropic non-associative orbits, hypersymplectic 4-orbifold flat), Type Ib (purely associative orbits, T3-action flat and hypersymplectic 4-orbifold hyperkahler), and Type II (isotropic orbits, all principal and phi flat).

Significance. If the derivations and trichotomy hold, the work supplies a symmetry-adapted classification that reduces closed G2-structures to hypersymplectic and hyperkahler geometries, together with an explicit ansatz construction. The decomposition technique and the explicit reductions under completeness constitute concrete tools for constructing or analyzing G2-manifolds with torus symmetry; the link to known structures (flat, hyperkahler) supplies falsifiable predictions in the complete case.

major comments (2)

[global trichotomy statement] The inference from the local Type I/II classification to the global trichotomy (the paragraph beginning 'Assuming moreover completeness and constant orbit volume') is load-bearing but omits an explicit argument that constant orbit volume plus completeness forces orbit type to be constant on the connected manifold. The local statements allow a non-isotropic orbit to imply Type I and an isotropic orbit to imply Type II, yet the trichotomy concludes 'purely' without showing that the isotropy type cannot change across a transition locus while volume remains constant; an invariance or continuity argument for the orbit-type function is required.
[torsion-free Type I reduction] In the torsion-free Type I case, the claim that the generalized Gibbons-Hawking ansatz extends the Madsen-Swann ansatz and produces a 'good' hypersymplectic orbifold needs verification that the cyclic isotropic stabilizers are correctly quotiented and that the resulting 4-orbifold metric satisfies the required closedness and non-degeneracy conditions; the reduction steps after the decomposition should be checked against the explicit form of the 3-form.

minor comments (3)

In the abstract, 'according the orbits' should read 'according to the orbits'.
The term 'non-associative' for orbits is used in the trichotomy without a prior definition or reference; it should be introduced when the orbit isotropy types are first defined.
The formatting of 'hyperkähler' in the abstract contains a stray backslash; standardize to the journal's LaTeX conventions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive comments, which help clarify the global structure and the details of the reductions. We address each major comment below and will revise the manuscript to incorporate the necessary arguments and verifications.

read point-by-point responses

Referee: [global trichotomy statement] The inference from the local Type I/II classification to the global trichotomy (the paragraph beginning 'Assuming moreover completeness and constant orbit volume') is load-bearing but omits an explicit argument that constant orbit volume plus completeness forces orbit type to be constant on the connected manifold. The local statements allow a non-isotropic orbit to imply Type I and an isotropic orbit to imply Type II, yet the trichotomy concludes 'purely' without showing that the isotropy type cannot change across a transition locus while volume remains constant; an invariance or continuity argument for the orbit-type function is required.

Authors: We agree that the transition from the local classification to the global trichotomy requires an explicit argument establishing constancy of orbit type. In the revised version we will insert a new lemma (placed immediately before the trichotomy statement) showing that the orbit-type function, defined via the vanishing of the contraction of the volume form with the orbit tangent spaces, is continuous on the manifold. Under the standing assumptions of completeness and constant orbit volume, this function is both open and closed: its zero set (isotropic orbits) is closed by continuity, while its complement is open by the local Type I/II dichotomy and the constancy of volume prevents jumps across loci of measure zero. This justifies the 'purely' qualifiers in Types Ia, Ib and II. revision: yes
Referee: [torsion-free Type I reduction] In the torsion-free Type I case, the claim that the generalized Gibbons-Hawking ansatz extends the Madsen-Swann ansatz and produces a 'good' hypersymplectic orbifold needs verification that the cyclic isotropic stabilizers are correctly quotiented and that the resulting 4-orbifold metric satisfies the required closedness and non-degeneracy conditions; the reduction steps after the decomposition should be checked against the explicit form of the 3-form.

Authors: We accept that the reduction steps in the torsion-free Type I case need to be spelled out more explicitly. In the revision we will expand the relevant subsection to include direct computations: starting from the explicit expression of the closed 3-form φ in the adapted coframe, we verify that the quotient by the cyclic isotropic stabilizers yields a smooth hypersymplectic 4-orbifold whose fundamental 2-forms are closed and non-degenerate. We will also confirm that the induced metric satisfies the hypersymplectic condition by direct substitution into the defining equations, thereby showing that the generalized Gibbons-Hawking ansatz indeed extends the Madsen-Swann construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; classification and trichotomy derive from symmetry decompositions and external assumptions

full rationale

The paper decomposes linear G2-structures into natural 1-forms and triples of 2-forms adapted to 3D subspaces, then applies this to T3-symmetric closed G2-structures on connected manifolds. It classifies locally into Type I (non-isotropic orbits, reducing to hypersymplectic orbifold) or Type II (isotropic orbits, locally multi-Hamiltonian) without self-referential definitions. The torsion-free case invokes an external Madsen-Swann ansatz extension for Type I and toric reduction for Type II. The final trichotomy (Ia, Ib, II) is obtained by adding completeness and constant orbit volume; these global assumptions are invoked after the local classification and do not reduce any derived quantity to a fitted input or prior self-citation by construction. No equations equate a prediction to its own defining data, and no uniqueness theorem is imported from the authors' own prior work. The derivation chain is therefore self-contained against the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard definitions of G2-structures as definite 3-forms, closed condition dφ=0, and properties of T3 group actions on manifolds; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math G2-structures are defined via a stable 3-form φ satisfying specific algebraic conditions on 7-manifolds
Invoked throughout the abstract as the starting object for decomposition and symmetry study
domain assumption Closed G2-structure means the 3-form satisfies dφ = 0
Central to the classification of closed structures with T3-symmetry

pith-pipeline@v0.9.0 · 5622 in / 1494 out tokens · 40818 ms · 2026-05-16T12:51:37.264028+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Bryant and Simon M

Robert L. Bryant and Simon M. Salamon,On the construction of some complete metrics with exceptional holonomy, Duke Math. J. 58(1989) 829-850

work page 1989
[2]

J¨ orgens, Michigan Math

Eugenio Calabi,Improper affine hyperspheres of convex type and a generalization of a theorem by K. J¨ orgens, Michigan Math. J.5(1958), 105–126. MR 106487

work page 1958
[3]

Robert Cardona and Eva Miranda,Integrable systems and closed one forms, J. Geom. Phys.131(2018), 204–

work page 2018
[4]

Simon Donaldson,Two-Forms on Four-Manifolds and Elliptic Equations, Inspired by S. S. Chern., Volume 11 of Nankai Tracts. Math., 153–72. Hackensack, NJ: World Sci. Publ, 2006

work page 2006
[5]

16, Paper No

Joel Fine, Weiyong He, and Chengjian Yao,Hypersymplectic structures invariant under an effective circle action, International Mathematics Research Notices, no. 16, Paper No. rnaf252

work page
[6]

J.167(2018), no

Joel Fine and Chengjian Yao,Hypersymplectic4-manifolds, theG 2-Laplacian flow, and extension assuming bounded scalar curvature, Duke Math. J.167(2018), no. 18, 3533-3589

work page 2018
[7]

,A report on the hypersymplectic flow, Pure Appl. Math. Q.15(2019), no. 4, 1219–1260

work page 2019
[8]

Anna Fino and Alberto Raffero,Closed warpedG 2-structures evolving under the Laplacian flow, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5),20(2020), no. 1, 315–348

work page 2020
[9]

Spiro Karigiannis,Introduction toG 2 geometry, Lectures and surveys onG 2-manifolds and related topics, 3–50, Springer, New York, 2020

work page 2020
[10]

Spiro Karigiannis and Jason Lotay,Bryant-SalamonG 2 manifolds and coassociative fibrations, J. Geom. Phys. 162(2021), Paper No. 104074

work page 2021
[11]

3231-356

Tianjun Li,Symplectic Calabi-Yau Surfaces, Handbook of Geometric Analysis, No. 3231-356. Adv. Lect. Math. (ALM), 14. 231–356. Somerville, MA: Int. Press. (2010)

work page 2010
[12]

Jason Lotay and Yong Wei,Laplacian flow for closedG 2 structures: Shi-type estimates, uniqueness and com- pactness, , Geom. Funct. Anal.27(2017), 165–233

work page 2017
[13]

Differential Geom.111(2019), no

,Stability of torsion-freeG 2 structures along the Laplacian flow, J. Differential Geom.111(2019), no. 3, 495-526

work page 2019
[14]

Madsen and Andrew Swann,Toric geometry ofG 2-manifolds, Geom

Thomas B. Madsen and Andrew Swann,Toric geometry ofG 2-manifolds, Geom. Topol.23(2019), no. 7, 3459–3500

work page 2019
[15]

Sebastien Picard and Caleb Suan,Flows ofG 2-structures associated to Calabi–Yau manifolds, Math. Res. Lett. 31(2024), no. 6, 1837-1877

work page 2024
[16]

Fabio Podest` a and Alberto Raffero,On the automorphism group of a closedG2-structure., Q. J. Math.70(2019), no. 1, 195-200

work page 2019
[17]

Stenzel,Ricci-flat metrics on the complexification of a compact rank one symmetric space, Manuscripta Math.80(1993), no

Matthew B. Stenzel,Ricci-flat metrics on the complexification of a compact rank one symmetric space, Manuscripta Math.80(1993), no. 2, 151-163. Institute of Mathematical Sciences, ShanghaiTech University Email address:yaochj@shanghaitech.edu.cn, zhouzy22023@shanghaitech.edu.cn

work page 1993

[1] [1]

Bryant and Simon M

Robert L. Bryant and Simon M. Salamon,On the construction of some complete metrics with exceptional holonomy, Duke Math. J. 58(1989) 829-850

work page 1989

[2] [2]

J¨ orgens, Michigan Math

Eugenio Calabi,Improper affine hyperspheres of convex type and a generalization of a theorem by K. J¨ orgens, Michigan Math. J.5(1958), 105–126. MR 106487

work page 1958

[3] [3]

Robert Cardona and Eva Miranda,Integrable systems and closed one forms, J. Geom. Phys.131(2018), 204–

work page 2018

[4] [4]

Simon Donaldson,Two-Forms on Four-Manifolds and Elliptic Equations, Inspired by S. S. Chern., Volume 11 of Nankai Tracts. Math., 153–72. Hackensack, NJ: World Sci. Publ, 2006

work page 2006

[5] [5]

16, Paper No

Joel Fine, Weiyong He, and Chengjian Yao,Hypersymplectic structures invariant under an effective circle action, International Mathematics Research Notices, no. 16, Paper No. rnaf252

work page

[6] [6]

J.167(2018), no

Joel Fine and Chengjian Yao,Hypersymplectic4-manifolds, theG 2-Laplacian flow, and extension assuming bounded scalar curvature, Duke Math. J.167(2018), no. 18, 3533-3589

work page 2018

[7] [7]

,A report on the hypersymplectic flow, Pure Appl. Math. Q.15(2019), no. 4, 1219–1260

work page 2019

[8] [8]

Anna Fino and Alberto Raffero,Closed warpedG 2-structures evolving under the Laplacian flow, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5),20(2020), no. 1, 315–348

work page 2020

[9] [9]

Spiro Karigiannis,Introduction toG 2 geometry, Lectures and surveys onG 2-manifolds and related topics, 3–50, Springer, New York, 2020

work page 2020

[10] [10]

Spiro Karigiannis and Jason Lotay,Bryant-SalamonG 2 manifolds and coassociative fibrations, J. Geom. Phys. 162(2021), Paper No. 104074

work page 2021

[11] [11]

3231-356

Tianjun Li,Symplectic Calabi-Yau Surfaces, Handbook of Geometric Analysis, No. 3231-356. Adv. Lect. Math. (ALM), 14. 231–356. Somerville, MA: Int. Press. (2010)

work page 2010

[12] [12]

Jason Lotay and Yong Wei,Laplacian flow for closedG 2 structures: Shi-type estimates, uniqueness and com- pactness, , Geom. Funct. Anal.27(2017), 165–233

work page 2017

[13] [13]

Differential Geom.111(2019), no

,Stability of torsion-freeG 2 structures along the Laplacian flow, J. Differential Geom.111(2019), no. 3, 495-526

work page 2019

[14] [14]

Madsen and Andrew Swann,Toric geometry ofG 2-manifolds, Geom

Thomas B. Madsen and Andrew Swann,Toric geometry ofG 2-manifolds, Geom. Topol.23(2019), no. 7, 3459–3500

work page 2019

[15] [15]

Sebastien Picard and Caleb Suan,Flows ofG 2-structures associated to Calabi–Yau manifolds, Math. Res. Lett. 31(2024), no. 6, 1837-1877

work page 2024

[16] [16]

Fabio Podest` a and Alberto Raffero,On the automorphism group of a closedG2-structure., Q. J. Math.70(2019), no. 1, 195-200

work page 2019

[17] [17]

Stenzel,Ricci-flat metrics on the complexification of a compact rank one symmetric space, Manuscripta Math.80(1993), no

Matthew B. Stenzel,Ricci-flat metrics on the complexification of a compact rank one symmetric space, Manuscripta Math.80(1993), no. 2, 151-163. Institute of Mathematical Sciences, ShanghaiTech University Email address:yaochj@shanghaitech.edu.cn, zhouzy22023@shanghaitech.edu.cn

work page 1993