Pith. sign in

REVIEW 1 major objections 2 minor 41 references

Integral Gauss formula and the Poisson equation for the $G_2$-Laplacian

T0 review · 1 major / 2 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read An integral Gauss-type formula relates the G₂-Laplacian on a manifold to the induced SU(3)-structure on any embedded hypersurface.

desk verdict New integral formula relating G2-Laplacian to hypersurface SU(3)-structure is the solid contribution; sufficiency for Poisson solvability holds only under cohomogeneity-one plus compact simple symmetry assumptions. read the letter →

arxiv 2606.29659 v1 pith:YYVMZ6XF submitted 2026-06-28 math.DG

Timothy Buttsworth , Stepan Hudecek , Artem Pulemotov This is my paper · ORCID
classification math.DG
keywords G2-structuresGauss-CodazziformulaPoissonequationhypersurfacecohomogeneityoneSU(3)-structureHodgeLaplacianspecialholonomy
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 derives an integral identity analogous to the Gauss-Codazzi equations that connects the Hodge Laplacian of a G₂-structure to geometric data on the induced SU(3)-structure of an embedded hypersurface. This identity immediately produces necessary conditions that must be satisfied for the Poisson equation associated to the G₂-Laplacian to be solvable in a neighborhood of the hypersurface, even when the G₂-structure is not closed. The authors further establish that these conditions are also sufficient when the manifold carries a cohomogeneity-one action by a compact simple Lie group.

What carries the argument

The integral Gauss formula for the G₂-Laplacian, which equates an integrated pairing of the Laplacian against test functions to explicit boundary terms built from the induced SU(3)-structure.

What would settle it

A concrete G₂-structure on a manifold lacking such symmetry where the integral formula holds yet the Poisson equation remains unsolvable in every neighborhood of the hypersurface.

Watch

Extended reading notes

Core claim

We produce a formula, analogous to the Gauss-Codazzi equation, which relates the geometry of a G₂-structure and its Hodge Laplacian to the geometry of the induced SU(3)-structure on an embedded hypersurface. As an application, we obtain necessary conditions for the solvability of the Poisson equation for (not necessarily closed) G₂-structures in a neighbourhood of this hypersurface. Next, we prove that our conditions are sufficient in the cohomogeneity one setting, assuming the symmetry group is compact and simple.

Load-bearing premise

Sufficiency of the derived conditions requires the manifold to admit a cohomogeneity-one action by a compact simple Lie group.

Editorial extensions

If this is right

  • The integral formula supplies explicit integrability obstructions for local solvability of the G₂-Poisson equation near any hypersurface.
  • These obstructions are sharp: they become sufficient for existence once the cohomogeneity-one compact simple symmetry assumption is imposed.
  • The argument applies directly to non-closed G₂-structures.
  • The reduction to the induced SU(3)-structure on the hypersurface yields computable geometric quantities that control the Laplacian.

Reading between the lines

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

  • Without the symmetry hypothesis, further pointwise or curvature obstructions may appear that are invisible to the integral formula alone.
  • The same technique may produce analogous integral identities for other holonomy reductions that admit hypersurface quotients.
  • The formula could serve as a starting point for variational or numerical schemes that enforce the necessary conditions as constraints.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 manuscript derives an integral Gauss-type formula relating the geometry of a G₂-structure φ and its Hodge Laplacian Δ_φ to the induced SU(3)-structure on an embedded hypersurface. This yields necessary conditions for solvability of the Poisson equation Δ_φ f = g near the hypersurface for not necessarily closed G₂-structures. The authors then prove sufficiency of these conditions in the cohomogeneity-one setting when the symmetry group is compact and simple.

Significance. If the integral formula and its consequences hold, the work supplies a direct geometric relation analogous to the classical Gauss-Codazzi equations, furnishing necessary conditions for local Poisson solvability that become sufficient under the stated symmetry hypotheses. The derivation is presented as parameter-free and geometric, without ad-hoc choices or fitted quantities, which strengthens the contribution within the G₂ and special-holonomy literature. The explicit restriction of sufficiency to the cohomogeneity-one case with compact simple groups is a clear limitation on scope but is stated in the abstract and main claims.

major comments (1)
  1. [sufficiency argument (final section)] The sufficiency proof (described in the abstract and the final section) reduces the problem via representation-theoretic invariants and an ODE system that relies on the compact simple group and cohomogeneity-one action; outside this class the reduction does not apply, so the necessity conditions do not automatically become sufficient. The manuscript correctly limits the sufficiency claim, but the integral formula itself is presented as holding in greater generality; a brief remark on whether the necessity conditions are expected to remain sufficient without symmetry would clarify the scope.
minor comments (2)
  1. [Abstract] The abstract states the symmetry assumptions for sufficiency but could place them in the same sentence as the sufficiency claim for immediate readability.
  2. [application to Poisson equation] Notation for the induced SU(3)-structure and the precise definition of the integral Gauss formula should be cross-referenced to the main equation number in the application section to aid readers tracing the necessity conditions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and constructive suggestion regarding the scope of our results. We address the single major comment below.

read point-by-point responses

  1. Referee: [sufficiency argument (final section)] The sufficiency proof (described in the abstract and the final section) reduces the problem via representation-theoretic invariants and an ODE system that relies on the compact simple group and cohomogeneity-one action; outside this class the reduction does not apply, so the necessity conditions do not automatically become sufficient. The manuscript correctly limits the sufficiency claim, but the integral formula itself is presented as holding in greater generality; a brief remark on whether the necessity conditions are expected to remain sufficient without symmetry would clarify the scope.

    Authors: We agree that a clarifying remark would be helpful. The necessity conditions derived from the integral formula hold without symmetry assumptions, but the sufficiency argument in the final section relies on the representation-theoretic reduction and ODE analysis that are available only under the compact simple group and cohomogeneity-one hypotheses. We will add a brief remark (in the introduction and/or concluding section) noting that sufficiency of the conditions outside this symmetric setting remains open and is not addressed by the present methods. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; direct geometric derivation with explicit symmetry restrictions

full rationale

The paper derives an integral formula analogous to Gauss-Codazzi relating the G₂-structure, its Hodge Laplacian, and the induced SU(3)-structure on a hypersurface. This produces necessary conditions for solvability of the Poisson equation Δ_φ f = g near the hypersurface. Sufficiency is then established only under the explicit additional assumptions of cohomogeneity-one action by a compact simple symmetry group, reducing the problem to an ODE system via representation theory. No step equates a claimed result to its own inputs by definition, renames a fit as a prediction, or relies on a load-bearing self-citation whose content is unverified. The necessity-to-sufficiency upgrade is openly restricted rather than smuggled in, and the derivation chain remains independent of its target outputs. This is the standard case of a self-contained geometric argument.

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

The work relies on standard axioms of differential geometry for G2-structures, hypersurface embeddings, and Hodge theory; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

assumptions (2)
  • standard math Standard properties of G2-structures, SU(3)-structures on hypersurfaces, and the Hodge Laplacian on differential forms hold.
    Invoked throughout the derivation of the integral formula and Poisson conditions.
  • domain assumption The hypersurface is smoothly embedded and the G2-structure is smooth in a neighborhood.
    Required for the induced SU(3)-structure and local solvability statements.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integral Gauss formula and the Poisson equation for the $G_2$-Laplacian." pith.science (2026). https://pith.science/paper/YYVMZ6XF

@misc{pith2026260629659,
  author       = {Pith},
  title        = {Pith review of: Integral Gauss formula and the Poisson equation for the $G_2$-Laplacian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YYVMZ6XF}},
  note         = {Machine review of arXiv:2606.29659}
}
abstract

We produce a formula, analogous to the Gauss-Codazzi equation, which relates the geometry of a $G_2$-structure and its Hodge Laplacian to the geometry of the induced $SU(3)$-structure on an embedded hypersurface. As an application, we obtain necessary conditions for the solvability of the Poisson equation for (not necessarily closed) $G_2$-structures in a neighbourhood of this hypersurface. Next, we prove that our conditions are sufficient in the cohomogeneity one setting, assuming the symmetry group is compact and simple.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 6 canonical work pages

  1. [1]

    Agricola, S

    I. Agricola, S. G. Chiossi, T. Friedrich, J. H¨ oll, Spinorial description ofSU(3)- andG 2-manifolds, J. Geom. Phys. 98 (2015) 535–555

    2015

  2. [2]

    Akbulut, S

    S. Akbulut, S. Salur, Mirror duality viaG 2 andSpin(7) manifolds, in: ¨O. Ceyhan et al. (eds), Arithmetic and geometry around quantization, Birkh¨ auser, Boston, 2010, pages 1–21

    2010

  3. [3]

    Anderson, M

    M.T. Anderson, M. Herzlich, Unique continuation results for Ricci curvature and applications, J. Geom. Phys. 58 (2008) 179–207; erratum in J. Geom. Phys. 60 (2010) 1062–1067

    2008

  4. [4]

    Besse, Einstein manifolds, Springer-Verlag, Berlin, 1987

    A. Besse, Einstein manifolds, Springer-Verlag, Berlin, 1987

    1987

  5. [5]

    Bilal, S

    A. Bilal, S. Metzger, Compact weakG 2-manifolds with conical singularities, Nucl. Phys. B 663 (2003) 343–364

    2003

  6. [6]

    Bogoyavlenskaya, On a new family of complete Riemannian metrics onS 3 ×R 4 with holonomy groupG 2, Sibirsk

    O.A. Bogoyavlenskaya, On a new family of complete Riemannian metrics onS 3 ×R 4 with holonomy groupG 2, Sibirsk. Mat. Zh. 54 (2013) 551–562. 26

    2013

  7. [7]

    Bryant, Metrics with exceptional holonomy, Ann

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

    1987

  8. [8]

    Bryant, S.M

    R.L. Bryant, S.M. Salamon, On the construction of some complete metrics with exceptional holon- omy, Duke Math. J. 58 (1989) 829–850

    1989

Show all 41 references
  1. [9]

    Bryant, F

    R. Bryant, F. Xu, Laplacian flow for closedG 2-structures: short time behaviour, arXiv:1101.2004v1, 2011

    2011 arXiv

  2. [10]

    Buttsworth, M

    T. Buttsworth, M. Hallgren, Local stability of Einstein metrics under the Ricci iteration, J. Funct. Anal. 280 (2021), article 108801

    2021

  3. [11]

    Buttsworth, A

    T. Buttsworth, A. Pulemotov, Local solvability of the Poisson equation for closedG 2-structures, Calc. Var. 64 (2025), article 72

    2025

  4. [12]

    Calabi, Construction and properties of some 6-dimensional almost complex manifolds, Trans

    E. Calabi, Construction and properties of some 6-dimensional almost complex manifolds, Trans. AMS 87 (1958) 407–438

    1958

  5. [13]

    C.H. Chan, M. Czubak, The Gauss formulas for Laplacians on submanifolds, arXiv:2212.11928 [math.DG], 2025

    2025

  6. [14]

    Charalambous, L

    N. Charalambous, L. Gross, The Yang–Mills heat semigroup on three-manifolds with boundary, Commun. Math. Phys. 317 (2013) 727–785

    2013

  7. [15]

    Chiossi, S.M

    S. Chiossi, S.M. Salamon, The intrinsic torsion ofSU(3) andG 2 structures, in: O. Gil-Medrano, V. Miquel (eds), Differential geometry, Valencia 2001, World Scientific, Singapore, 2002, pages 115– 133

    2001

  8. [16]

    Cleyton, A

    R. Cleyton, A. Swann, Cohomogeneity-oneG 2-structures, J. Geom. Phys. 44 (2002) 202–220

    2002

  9. [17]

    Cort´ es, T

    V. Cort´ es, T. Leistner, L. Sch¨ afer, F. Schulte-Hengesbach, Half-flat structures and special holonomy, Proc. London Math. Soc. 102 (2011) 113–158

    2011

  10. [18]

    Crowley, J

    D. Crowley, J. Nordstr¨ om, ExoticG2-manifolds, Math. Ann. 381 (2021) 29–74

    2021

  11. [19]

    Darvas, Y.A

    T. Darvas, Y.A. Rubinstein, Convergence of the K¨ ahler–Ricci iteration, Anal. PDE 12 (2019) 721– 735

    2019

  12. [20]

    DeTurck, H

    D. DeTurck, H. Goldschmidt, Metrics with prescribed Ricci curvature of constant rank. I. The integrable case, Adv. Math. 145 (1999) 1–97

    1999

  13. [21]

    Donaldson, Remarks onG 2-manifolds with boundary, Surv

    S. Donaldson, Remarks onG 2-manifolds with boundary, Surv. Differ. Geom. 22 (2017) 103–124

    2017

  14. [22]

    Donaldson, An elliptic boundary value problem forG 2-structures, Ann

    S. Donaldson, An elliptic boundary value problem forG 2-structures, Ann. Inst. Fourier 68 (2018) 2783–2809

    2018

  15. [23]

    Falcitelli, A

    L. Falcitelli, A. Farinola, S. Salamon, Almost-Hermitian geometry, Differ. Geom. Appl. 4 (1994) 259–282

    1994

  16. [24]

    A. Fino, A. Tomassini, GeneralisedG 2-manifolds andSU(3)-structures, Int. J. Math. 19 (2008) 1147–1165

    2008

  17. [25]

    Foscolo, M

    L. Foscolo, M. Kasins, J. Nordstr¨ om, Infinitely many new families of complete cohomogeneity one G2-manifolds:G 2 analogues of the Taub-NUT and Eguchi-Hanson spaces, J. Eur. Math. Soc. 23 (2021) 2153–2220

    2021

  18. [26]

    Fowdar,S 1-invariant Laplacian flow, J

    U. Fowdar,S 1-invariant Laplacian flow, J. Geom. Anal. 32 (2022), article 17

    2022

  19. [27]

    Haskins, J

    M. Haskins, J. Nordstr¨ om, Cohomogeneity-one solitons in Laplacian flow: local, smoothly-closing and steady solitons, arXiv:2112.09095, 2021

    2021

  20. [28]

    Haskins, R, Juneman, J, Nordstr¨ om,Sp(2)-invariant expanders and shrinkers in Laplacian flow, arXiv:2501.05437, 2025

    M. Haskins, R, Juneman, J, Nordstr¨ om,Sp(2)-invariant expanders and shrinkers in Laplacian flow, arXiv:2501.05437, 2025

    2025

  21. [29]

    Huang, Y

    H. Huang, Y. Wang, C. Yao, Cohomogeneity-oneG 2-Laplacian flow on the 7-torus, J. Lond. Math. Soc. 98 (2018) 349–368. 27

    2018

  22. [30]

    Hudecek,G 2-Poisson equation on homogeneous spheres, submitted, arXiv:2510.04638 [math.DG], 2025

    S. Hudecek,G 2-Poisson equation on homogeneous spheres, submitted, arXiv:2510.04638 [math.DG], 2025

    2025

  23. [31]

    Lauret, C.E

    J. Lauret, C.E. Will, Harmonic 3-forms on compact homogeneous spaces, J. Geom. Anal. 33 (2023), article 175

    2023

  24. [32]

    Lotay, Geometric flows ofG 2 structures, in: S

    J.D. Lotay, Geometric flows ofG 2 structures, in: S. Karigiannis et al. (eds), Lectures and surveys onG 2-manifolds and related topics, Springer, New York, 2020, pages 113–140

    2020

  25. [33]

    Marini, Dirichlet and Neumann boundary value problems for Yang–Mills connections, Comm

    A. Marini, Dirichlet and Neumann boundary value problems for Yang–Mills connections, Comm. Pure Appl. Math. 45 (1992) 1015–1050

    1992

  26. [34]

    Mart´ ın Cabrera,SU(3)-structures on hypersurfaces of manifolds withG 2-structure, Monatshefte Math

    F. Mart´ ın Cabrera,SU(3)-structures on hypersurfaces of manifolds withG 2-structure, Monatshefte Math. 148 (2006) 29–50

    2006

  27. [35]

    Mart´ ın Cabrera, Remarks on some integral formulas forG 2-structures, arXiv:2204.12838 [math.DG], 2022

    F. Mart´ ın Cabrera, Remarks on some integral formulas forG 2-structures, arXiv:2204.12838 [math.DG], 2022

    2022

  28. [36]

    Pulemotov, The Li-Yau-Hamilton estimate and the Yang-Mills heat equation on manifolds with boundary, J

    A. Pulemotov, The Li-Yau-Hamilton estimate and the Yang-Mills heat equation on manifolds with boundary, J. Funct. Anal. 255 (2008) 2933–2965

    2008

  29. [37]

    Pulemotov, Metrics with prescribed Ricci curvature near the boundary of a manifold, Math

    A. Pulemotov, Metrics with prescribed Ricci curvature near the boundary of a manifold, Math. Ann. 357 (2013) 969–986

    2013

  30. [38]

    Pulemotov, The Dirichlet problem for the prescribed Ricci curvature equation on cohomogeneity one manifolds, Ann

    A. Pulemotov, The Dirichlet problem for the prescribed Ricci curvature equation on cohomogeneity one manifolds, Ann. Mat. Pura Appl. 195 (2016) 1269–1286

    2016

  31. [39]

    Pulemotov, Y.A

    A. Pulemotov, Y.A. Rubinstein, Ricci iteration on homogeneous spaces, Trans. AMS 371 (2019) 6257–6287

    2019

  32. [40]

    Rubinstein, The Ricci iteration and its applications, C

    Y.A. Rubinstein, The Ricci iteration and its applications, C. R. Acad. Sci. Paris 345 (2007) 445–448

    2007

  33. [41]

    Singhal, Nearly half-flatSU(3) structures onS 3 ×S 3, Diff

    R. Singhal, Nearly half-flatSU(3) structures onS 3 ×S 3, Diff. Geom. Appl. 97 (2024), article 102187. 28

    2024

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.