{"id":"e02ab4b4-2103-4c92-99d7-8758a537ce6d","arxiv_id":"2606.29659","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives Gauss-Codazzi-type integral formula for G2-Laplacian on hypersurfaces and establishes necessary and sufficient conditions for Poisson equation solvability in symmetric G2-settings.","lead":"The paper derives a formula relating the geometry of a G2-structure and its Hodge Laplacian on a 7-manifold to the induced SU(3)-structure on an embedded hypersurface. It gives necessary conditions for solvability of the Poisson equation near the hypersurface and proves sufficiency under compact simple symmetry in the cohomogeneity-one case.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Sufficiency of necessary conditions for Poisson solvability proven only under cohomogeneity-one + compact simple group assumptions","rationale":"The reader's weakest_assumption correctly isolates the symmetry restriction as the point where necessity does not automatically become sufficiency. Because the central application is the if-and-only-if character of the conditions, this restriction is load-bearing for the strength of the claimed result. No deeper internal inconsistency is visible from the abstract-level description of the argument.","tokens_in":1651,"tokens_out":332,"duration_ms":21210,"concrete_test":"Extract the precise statement of the sufficiency theorem (likely in the final section) and check whether its proof invokes the compact simple group hypothesis only for the existence of invariant functions or also for the surjectivity of the linearized operator; if the latter, attempt a formal power-series solution in a non-symmetric tubular neighborhood to test whether the same integral obstructions remain sufficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The integral Gauss formula yields necessary conditions for local solvability of the Poisson equation Δ_φ f = g for a G_{2}-structure φ near a hypersurface. The paper then claims these conditions are also sufficient, but the sufficiency argument is restricted to the cohomogeneity-one case with compact simple symmetry group. Outside this symmetry class the reduction to an ODE system (or the use of representation-theoretic invariants) no longer applies, so it remains open whether the integral conditions continue to be sufficient; the necessity part does not automatically upgrade to an if-and-only-if statement without additional analytic or geometric input.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1765,"tokens_out":462,"duration_ms":40308,"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":[{"comment":"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.","section":"sufficiency argument (final section)"}],"minor_comments":[{"comment":"The abstract states the symmetry assumptions for sufficiency but could place them in the same sentence as the sufficiency claim for immediate readability.","section":"Abstract"},{"comment":"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.","section":"application to Poisson equation"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment and constructive suggestion regarding the scope of our results. We address the single major comment below.","responses":[{"response":"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_made":"yes","referee_comment":"[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."}],"tokens_in":1234,"tokens_out":267,"duration_ms":14448,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's core advance is an integral identity that connects the Hodge Laplacian of a G2-structure to the induced SU(3)-structure on an embedded hypersurface, in the style of a Gauss-Codazzi relation. From this they extract necessary conditions for local solvability of the Poisson equation Δ_φ f = g near the hypersurface, even when the G2-structure is not closed. That step looks direct and geometrically natural.\n\nThey then prove the conditions are also sufficient, but only when the manifold admits a cohomogeneity-one action by a compact simple group. Outside that symmetry class the reduction to an ODE or the representation-theoretic control no longer applies, so the necessity result does not automatically become an if-and-only-if statement. The abstract gives no indication that the authors claim generality beyond this setting.\n\nThe derivation appears to rest on standard G2 and SU(3) identities rather than fitted parameters or circular definitions. No machine-checked proofs or external data are mentioned, but the formal steps described are the usual ones in this subfield.\n\nSpecialists working on G2-structures, calibrated geometry, or Poisson-type equations on manifolds with special holonomy will find the formula and the necessary conditions useful. Readers outside that niche will see mostly technical progress. The work is coherent on its own terms and deserves referee time; the symmetry restriction is a clear but proportionate limitation rather than a fatal gap.","headline":"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.","tokens_in":2253,"tokens_out":368,"would_cite":false,"duration_ms":17630,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"An integral Gauss-type formula relates the G₂-Laplacian on a manifold to the induced SU(3)-structure on any embedded hypersurface.","keywords":["G2-structures","Gauss-Codazzi formula","Poisson equation","hypersurface","cohomogeneity one","SU(3)-structure","Hodge Laplacian","special holonomy"],"falsifier":"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.","tokens_in":2559,"feed_emoji":"","tokens_out":670,"duration_ms":27472,"temperature":0.7,"pith_summary":"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.","feed_headline":"Integral Gauss formula links G2-Laplacian to hypersurface geometry","feed_subtitle":"Necessary conditions for local Poisson solvability follow, and become sufficient under compact simple symmetry.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Gauss formula ties G2-Laplacian to SU(3) hypersurface geometry","G2 Gauss formula derives Poisson equation conditions on hypersurface","SU(3) structure constrains G2 Poisson solvability locally","G2 Poisson conditions hold under compact simple symmetry","Integral formula links G2 Laplacian to embedded hypersurface"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Sufficiency of the derived conditions requires the manifold to admit a cohomogeneity-one action by a compact simple Lie group.","fun_headline_variants_meta":{"raw":{"variants":["Gauss formula ties G2-Laplacian to SU(3) hypersurface geometry","G2 Gauss formula derives Poisson equation conditions on hypersurface","SU(3) structure constrains G2 Poisson solvability locally","G2 Poisson conditions hold under compact simple symmetry","Integral formula links G2 Laplacian to embedded hypersurface"]},"model":"grok-4.3","cost_usd":0.003567,"raw_usage":{"total_tokens":1815,"prompt_tokens":561,"num_sources_used":0,"completion_tokens":82,"cost_in_usd_ticks":35674500,"prompt_tokens_details":{"text_tokens":561,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1172,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":561,"tokens_out":82,"duration_ms":10019,"temperature":1.0,"reasoning_tokens":1172,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T07:06:13.477238+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}