{"id":"e47172ae-8ee6-41e6-9d44-ceafb5be137a","arxiv_id":"2412.19525","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors derive explicit SO(4)-invariant nearly-parallel G2 3-forms on S^7 and Berger's space, and show a hypersurface consistency condition determines their constants.","lead":"This paper writes out explicit formulas for nearly-parallel G2 3-forms on two seven-dimensional spaces, the sphere and the Berger space, when a large symmetry group acts. The formulas reveal a shared algebraic pattern and a consistency condition that fixes the constants in them.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.2(i) rests on an omitted proof and an ansatz whose completeness is unproven; the claimed uniqueness of the B7 constants is not established, though the explicit canonical forms in Theorems 3.5 and 4.4 stand.","rationale":"The reader's weakest assumption identifies precisely the finite ansatz in Section 5 and the omitted proof of Theorem 5.2(i); my reading agrees. The explicit canonical forms for the squashed NP2 structures on S7 and B7 are grounded in the quaternionic bundle construction of Section 2, the Cartan computations of Lemma 3.2, and the explicit γ-basis calculation of Proposition 4.3. Those results have independent internal support and are not affected by the Section 5 gap. However, the paper's advertised conclusion that the NHF condition determines the constants rests on an unproven uniqueness statement. The authors' acknowledgement that 'one could insert less trivial Fourier series in each slot' makes the incompleteness of the ansatz an acknowledged limitation, not a hidden error. Since the reader already returned a conditional verdict, my assessment does not move the verdict; it reinforces the need for the missing proof or a clarifying completeness statement.","tokens_in":17576,"tokens_out":5548,"duration_ms":51873,"concrete_test":"Independently re-derive Theorem 5.2(i) by computing both equations (5.45) and (5.46) symbolically for the stated 3-parameter ansatz, and make the Maple worksheet available. Then extend the ansatz by allowing each entry of the 2x2 matrices to be a finite Fourier series in t containing sin(2t), cos(2t), and higher harmonics, impose (5.45)-(5.46), and check whether any solution with a nonzero extra Fourier coefficient exists and extends smoothly to the singular orbits. If the Maple computation reproduces (±2/√5, 1/2, 0) and no extended-ansatz solution survives, the concern is settled; if a new solution appears or the computation differs, the uniqueness assertion is false as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central explicit formulas for the squashed NP2 structures on S7 and B7 are derived independently in Sections 3 and 4 and are well supported. The load-bearing gap is in Section 5: Theorem 5.2(i) asserts that, within the ansatz (Y_{2k-1}, Y_{2k}) = (2λ, 2λ a c_k; b, 2s_k)(p_k, n_k), the full NP2 equations (5.45)-(5.46) hold if and only if (λ,a,b) = (±2/√5, 1/2, 0). But the proof of part (i) is explicitly omitted ('We omit the proof of (i)'), and the Maple checks are not shipped. More importantly, the ansatz itself is an uncontrolled truncation: only constant coefficients λ, a, b multiplying c_k and s_k are allowed, while invariant 1-forms on the SO(4) orbits may carry more general Fourier series in t, as the authors themselves note. Without a completeness argument, the 'iff' in Theorem 5.2(i) is conditional on the ansatz, and the claimed uniqueness of the constants is not a proven theorem. This does not invalidate the canonical descriptions in Corollary 3.4, Theorem 3.5, or Corollary 4.4, but it does weaken the paper's stronger claim that the NHF condition determines the homogeneous structures.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper revisits the geometry of regular 3-Sasakian 7-manifolds and their nearly-parallel G2 (NP2) structures, with a focus on cohomogeneity-one actions of SO(4). It derives explicit orthonormal coframings for the squashed NP2 structure on S7 (Corollary 3.4 and Theorem 3.5) and for the Berger space B7 = SO(5)/SO(3) (Corollary 4.4 and Proposition 4.3), showing in each case that the 3-form takes the canonical form φ = dt∧(X12+X34+X56)+X135−X146−X236−X245. Sections 2–4 develop the quaternionic-form machinery of Bryant–Salamon and Galicki–Salamon, and Section 5 studies the induced nearly-half-flat SU(3) structures on the six-dimensional principal orbits, claiming that the NHF condition, together with the full NP2 equations, determines the constants in the ansatz. The paper's central explicit formulas are well supported, but the uniqueness claims in Section 5 are not fully proven.","tokens_in":17902,"tokens_out":4867,"duration_ms":45045,"significance":"If the explicit formulas in Sections 3 and 4 are correct, the paper provides a useful unified presentation of two known homogeneous NP2 structures in cohomogeneity-one coordinates, clarifying the contrast between S7 and B7 through upper-triangular 2×2 matrices. The derivation of the squashed S7 structure from the Bryant–Salamon and Galicki–Salamon formalisms is a valuable contribution, and the comparison with Ziller's round-metric expression is helpful. The paper does not ship machine-checked proofs or reproducible code; the verifications are hand calculations with some Maple checks that are not included. The main gap is that Theorem 5.2(i), which is the basis for the claimed uniqueness of the B7 constants, is explicitly unproved and rests on an uncontrolled finite ansatz. This tempers the significance of the Section 5 conclusions, although it does not invalidate the canonical descriptions in Sections 3 and 4.","major_comments":[{"comment":"Theorem 5.2(i) asserts that the full NP2 equations (5.45) and (5.46) hold for the B7 ansatz if and only if (λ, a, b) = (±2/√5, 1/2, 0). The proof of part (i) is explicitly omitted: the text states \"We omit the proof of (i)\", and the Maple verification is not shipped. Because this statement is the basis for the claimed uniqueness of the constants and for the concluding remark that the NHF condition determines the homogeneous structures, the claimed 'iff' is currently unsubstantiated. The authors should either supply a complete proof or explicitly reformulate the statement as a conditional result within the ansatz.","section":"Section 5, Theorem 5.2(i)"},{"comment":"The proof of Theorem 5.2 restricts invariant 3-forms to the finite upper-triangular ansatz (Y_{2k−1}, Y_{2k}) = ((2λ, 2λ a c_k), (b, 2s_k)) (p_k, n_k). The authors themselves acknowledge at the end of the section that \"one could insert less trivial Fourier series in each slot\". Without a completeness argument for this finite trigonometric family, the 'iff' in Theorem 5.2(i) and the phrase \"essentially unique within a 3-parameter family\" prove uniqueness only inside the ansatz, not among all SO(4)-invariant structures. This should be stated explicitly, since the paper's stronger claim that the NHF condition determines the homogeneous structures depends on it.","section":"Section 5, ansatz before Theorem 5.2"},{"comment":"Proposition 5.1's conclusion that (5.46) holds if and only if (a,b) ∈ {(0,−1), (0,0), (±2,1)} is likewise derived within the same upper-triangular ansatz with constant coefficients λ, a, b. The proof is explicit, so this is a scope issue rather than an internal inconsistency. Nevertheless, the phrase \"reverse engineer the constants occurring in Corollary 3.4\" should be qualified as \"within this ansatz\" to avoid overgeneralizing the conclusion.","section":"Section 5, Proposition 5.1"}],"minor_comments":[{"comment":"There are several typos and OCR artifacts: \"conditin\" in the proof of Proposition 2.1, \"stuctures\" in Remark 3.1, \"annhilator\" in Section 4, and \"greaterorequalslant\" in the Introduction. These should be corrected.","section":"Throughout"},{"comment":"The sentence \"any positive definite linear combination of g7 and h7 on S7 is associated to an NHF structure\" is stated without proof or derivation; please add a brief justification or label it as an observation.","section":"Section 5, after Proposition 5.1"},{"comment":"Reference [25] (Kawai) appears in the bibliography but I did not find it cited in the text; please check the citation map.","section":"References"},{"comment":"The displayed 5×5 matrix has a stray comma in the lower-right entry; please fix the formatting.","section":"Equation (4.40)"},{"comment":"The sentence \"Both parts were checked by hand and using Maple, but in different orders\" is vague; specifying which equations were checked and how would help reproducibility.","section":"Section 5, Theorem 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper's main contribution is the explicit derivation in Sections 2–4, which appears sound and will be useful to the special-holonomy community. The Section 5 uniqueness claims are currently over-stated: Theorem 5.2(i) is explicitly unproved and the ansatz completeness is not addressed. The editor may wish to ask the authors to either prove Theorem 5.2(i), or recast it as a conditional statement and remove the language of uniqueness for the constants. The paper fits the scope of the journal and the references to prior work are appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a solid, mostly-expository paper that earns its keep through two clean coordinate presentations of known nearly-parallel G2 structures and a neat reverse-engineering trick. The advertised uniqueness in Theorem 5.2(i) is not fully proved, and the authors say so themselves, so don't lean on that part.\n\nWhat's new: the upper triangular 2x2 matrix forms in Corollaries 3.4 and 4.4, which make the S7 and B7 structures look like close cousins, and the observation that the nearly-half-flat condition (5.46) alone fixes the constants in the ansatz, up to the listed options. Sections 2–4 are carefully done. I checked the key formulas in the S7 case against Ziller's paper [35] and the quaternionic setup of Bryant–Salamon [12]; the reconciliation is convincing. The B7 calculation lines up with the known 3-form computed in [21] and [6]. The paper is honest about what is borrowed and what is new.\n\nThe soft spots are localized. Theorem 5.2(i) is the load-bearing claim that the full NP2 equations force (λ,a,b)=(±2/√5,1/2,0), and the proof is omitted (\"We omit the proof of (i)...\"). The authors say it was checked by hand and Maple, but no worksheet is shipped. More importantly, the ansatz itself is a finite truncation. As they admit, you could insert less trivial Fourier series in each slot, so the 'iff' in Theorem 5.2(i) is conditional on that ansatz being complete for the actual homogeneous structure. I don't think this undermines the canonical forms in Theorem 3.5 and Corollary 4.4, which are derived independently of Section 5. But the uniqueness statement in 5.2(i) is not a theorem as it stands; it's a conditional computation.\n\nThe citation pattern looks fair. The self-citations to [12], [20], [32], [33] are building blocks, not attempts to obscure the source. No circularity burden: the constants are solved from consistency, not assumed.\n\nWho gets value from this? People working on cohomogeneity-one G2 and Spin(7) metrics, and anyone who wants a readable coordinate treatment of the two model NP2 spaces. It also gives a nice toy example for the NHF condition. It's not a breakthrough, but it's useful.\n\nMy recommendation: send it to a serious referee. The referee should ask the authors to either supply the proof of Theorem 5.2(i) or explicitly downgrade it to a conjecture. The Maple verification would also be nice to see, but that's a minor request.","headline":"Useful, honest survey with clean coordinate formulas for the squashed G2 structures on S7 and B7; the reverse-engineered uniqueness in Theorem 5.2(i) is conditional on an unproved ansatz, so take that claim with a grain of salt.","tokens_in":18416,"tokens_out":2711,"would_cite":true,"duration_ms":24014,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C29","53C30","53C10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The nearly-parallel G2 3-forms on the 7-sphere and Berger's space are shown to share one explicit SO(4)-invariant normal form, and the nearly-half-flat equations on their orbits fix the structure constants.","keywords":["3-Sasakian manifolds","nearly-parallel G2 structures","cohomogeneity-one actions","7-sphere","Berger space","nearly-half-flat SU(3) structures","Spin(7) holonomy","exceptional holonomy"],"falsifier":"Compute the nearly-half-flat condition (5.46) and the second hypersurface equation (5.45) for the same 2x2 upper-triangular ansatz but with each entry allowed to be a general Fourier series in $c_k$ and $s_k$, requiring smooth extension over the singular orbits at $t=0$ and $t=\\pi/3$. If any solution other than $(\\lambda,a,b) = (2/\\sqrt{5}, 1/2, 0)$ up to sign survives, Theorem 5.2(i)'s uniqueness claim is false; if none does, the finite ansatz was complete.","tokens_in":17380,"feed_emoji":"📐","tokens_out":12500,"duration_ms":105374,"temperature":0.7,"pith_summary":"This paper tries to show that the two classic 7-dimensional model spaces for exceptional holonomy — the squashed 7-sphere and Berger's space SO(5)/SO(3) — carry nearly-parallel G2 (NP2) 3-forms that can be written in one explicit canonical shape under their cohomogeneity-one SO(4) actions. In each case the adapted basis of invariant 1-forms turns the 3-form into $\\phi = dt \\wedge (X_{12}+X_{34}+X_{56}) + X_{135}-X_{146}-X_{236}-X_{245}$, a normal form dictated by the 2x2 upper-triangular matrices in Corollaries 3.4 and 4.4. The paper then shows that the nearly-half-flat condition on the 6-dimensional SO(4) orbits, a 6-dimensional shadow of the full G2 equation, is strong enough to single out the constants that define the homogeneous structures; on Berger's space the full NP2 equations fix $(\\lambda, a, b) = (2/\\sqrt{5}, 1/2, 0)$ up to sign. Making these 3-forms explicit matters because they are the local models against which cohomogeneity-one constructions, associative submanifolds, and deformations of G2 geometry are tested.","feed_headline":"Nearly-parallel G2 forms on 7-sphere and Berger space made explicit","feed_subtitle":"Both spaces share one canonical G2 3-form, and the half-flat equations fix its constants exactly.","key_machinery":"The machinery is the cohomogeneity-one SO(4) description of the two 7-manifolds, combined with the nearly-half-flat condition on the 6-dimensional principal orbits. The adapted 1-forms are generated by 2x2 upper-triangular matrices applied to the vertical-horizontal pairs $(f_k, e_k)$ for $S^{7}$ and $(p_k, n_k) = \\tfrac12(f_k+e_k,\\,-f_k+e_k)$ for $B^{7}$, with trigonometric coefficients $c_k = \\cos(t+\\vartheta_k)$, $s_k = \\sin(t+\\vartheta_k)$. The target normal form is $\\phi = dt \\wedge \\xi + \\mathrm{Re}\\,\\Xi$, where $\\xi = X_{12}+X_{34}+X_{56}$ is a symplectic form on the orbits and $\\Xi$ is a complex volume form; a 3-form of this shape is an NP2 structure precisely when the hypersurface equations (5.45) hold. The key identity used as a reverse-engineering tool is the nearly-half-flat equation $d(\\mathrm{Re}\\,\\Xi) = (\\mu/2)\\,\\xi^2$, which turns the geometric condition into algebraic equations for the constants $(\\lambda, a, b)$ of the ansatz.","core_discovery":"The central discovery is that the squashed NP2 structure on $S^{7}$ and the homogeneous NP2 structure on Berger's space $B^{7}$ can both be presented, in adapted SO(4)-invariant bases, by the same canonical 3-form $\\phi = dt \\wedge \\xi + \\mathrm{Re}\\,\\Xi$, with $\\xi = X_{12}+X_{34}+X_{56}$ and $\\Xi = (X_1+iX_2)\\wedge(X_3+iX_4)\\wedge(X_5+iX_6)$. For $S^{7}$ this is Theorem 3.5, with the basis of Corollary 3.4 built from a 2x2 upper-triangular matrix whose entries involve $c_k = \\cos(t+\\vartheta_k)$ and $s_k = \\sin(t+\\vartheta_k)$. For $B^{7}$ the analogous statement is Corollary 4.4, with the basis $(Y_i)$ built from $(p_k, n_k)$ and a matrix of the same type. Section 5 turns the tables: rather than deriving the structures from known metrics, it runs the upper-triangular ansatz in reverse and asks which constants solve the nearly-half-flat equation on the 6-dimensional orbits. For $S^{7}$ the NHF condition alone gives a short list of possibilities (Proposition 5.1); for $B^{7}$, imposing the full NP2 equations leaves exactly $(\\lambda, a, b) = (2/\\sqrt{5}, 1/2, 0)$ up to sign, the value $b = 0$ being the condition for smooth extension over the singular orbits (Theorem 5.2).","pith_inferences":["A natural extension is to allow each slot of the 2x2 matrices in Theorem 5.2 to carry a genuine Fourier series; the authors leave this open, and solving the resulting ODE system would either produce new cohomogeneity-one NP2 structures or prove rigidity of the homogeneous ones.","Because the canonical form is shared verbatim by S^7 and B^7, one can carry out a single interval-times-SO(4) computation of, say, the infinitesimal deformation space or the associator equation and then instantiate it on both spaces, which would give a direct PDE check of results obtained by twistor methods.","The same upper-triangular ansatz, with $b = 0$ ensuring smooth extension, could be tried on the principal S^3 bundles over Hitchin's orbifolds $O_k$ for $k > 5$; the paper poses the existence of SO(4)-invariant NP2 structures there as an open question.","The NHF solutions of Proposition 5.1 not containing the homogeneous S^7 structure are natural candidates for SO(4)-invariant nearly-half-flat SU(3) structures on the orbits; whether any of them can be extended off the hypersurfaces to an NP2 manifold is left open by the paper."],"forward_implications":["The two homogeneous NP2 structures on S^7 and B^7 are now available in an explicit interval-times-SO(4) chart, so local computations of their G2 invariants can be done directly from the 3-form and the matrices in Corollaries 3.4 and 4.4.","Because the same canonical 3-form $\\phi = dt \\wedge \\xi + \\mathrm{Re}\\,\\Xi$ appears on both spaces, the algebraic part of the G2 structure — calibrations, associative submanifold equations, the form of $\\ast\\phi$ — is identical for the two, with only the underlying basis and structural equations differing.","The nearly-half-flat condition on 6-dimensional hypersurfaces is strong enough to pin down the constants of the homogeneous NP2 structures up to a short list, so the NHF system can be used as a practical selection rule in cohomogeneity-one constructions.","For B^7, the value $b = 0$ forced by the full NP2 equations is exactly what permits smooth extension over the singular orbits SO(4)/O(2), showing that the homogeneous NP2 structure is the boundary of the ansatz that survives the singularity.","The explicit upper-triangular forms connect these NP2 structures to the 3-Sasakian description of S^7 and to the principal-subalgebra description of B^7, making transparent the different roles of the SO(4) factors at the singular orbits."],"supporting_citations":[{"why":"supplies the Spin(7) holonomy construction and the squashed NP2 3-form (2.13) from which the S^7 normal form is derived.","marker":"[12]"},{"why":"gives the 3-Sasakian description with the 1-forms $\\eta_i$ and the alternative expression $\\phi'$ used to connect vector-bundle and principal-bundle viewpoints.","marker":"[20]"},{"why":"provides the cohomogeneity-one SO(4) parametrization of S^7 with the trigonometric functions $c_k, s_k$ and the group diagram reconciling the metric.","marker":"[35]"},{"why":"establishes the cohomogeneity-one action of SO(4) on B^7 with principal orbits SO(4)/$\\mathbb{Z}_2^2$ used in Section 4.","marker":"[31]"},{"why":"identifies B^7 with the bundle $\\tilde P^+ O_5$ and gives the group diagram with weights (3,1) and (1,3) underlying the Y-basis and singular-orbit analysis.","marker":"[23]"},{"why":"computes the explicit 3-form and diffeomorphism type of B^7 that Proposition 4.3 re-derives.","marker":"[21]"},{"why":"defines the nearly-half-flat condition (5.46) used in Section 5 to fix the constants in the ansatz.","marker":"[15]"},{"why":"introduces B^7 as a positively curved homogeneous space and supplies the normalization relating $d\\phi$ and $*\\phi$ to scalar curvature.","marker":"[9]"}],"fun_headline_variants":["Same canonical 3-form yields G2 structures on S^7 and Berger space","Half-flat equations fix exactly one G2 structure on Berger space","Unified G2 3-form from SO(4)-invariant ansatz on two 7-manifolds","Explicit G2 forms: S^7 and Berger space share one construction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness results in Theorem 5.2 hold only for the finite ansatz of upper-triangular 2x2 matrices with the specific trigonometric functions, and the paper does not prove that the true NP2 structures must lie inside that ansatz rather than in a more general Fourier series.","fun_headline_variants_meta":{"raw":{"variants":["Same canonical 3-form yields G2 structures on S^7 and Berger space","Half-flat equations fix exactly one G2 structure on Berger space","Unified G2 3-form from SO(4)-invariant ansatz on two 7-manifolds","Explicit G2 forms: S^7 and Berger space share one construction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000839,"raw_usage":{"total_tokens":3658,"prompt_tokens":948,"completion_tokens":2710,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":2632}},"tokens_in":564,"tokens_out":2710,"duration_ms":19201,"temperature":1.0,"reasoning_tokens":2632,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:15:00.536453+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the nearly-half-flat condition (5.46) and the second hypersurface equation (5.45) for the same 2x2 upper-triangular ansatz but with each entry allowed to be a general Fourier series in $c_k$ and $s_k$, requiring smooth extension over the singular orbits at $t=0$ and $t=\\pi/3$. If any solution other than $(\\lambda,a,b) = (2/\\sqrt{5}, 1/2, 0)$ up to sign survives, Theorem 5.2(i)'s uniqueness claim is false; if none does, the finite ansatz was complete.","supporting_citations":[{"cited_title":"Bryant, S.M","cited_arxiv_id":null,"evidence_quote":"supplies the Spin(7) holonomy construction and the squashed NP2 3-form (2.13) from which the S^7 normal form is derived."},{"cited_title":"Galicki, S","cited_arxiv_id":null,"evidence_quote":"gives the 3-Sasakian description with the 1-forms $\\eta_i$ and the alternative expression $\\phi'$ used to connect vector-bundle and principal-bundle viewpoints."},{"cited_title":"Ziller: On the geometry of cohomogeneity one manifol ds with positive curvature","cited_arxiv_id":null,"evidence_quote":"provides the cohomogeneity-one SO(4) parametrization of S^7 with the trigonometric functions $c_k, s_k$ and the group diagram reconciling the metric."},{"cited_title":"Podestà, L","cited_arxiv_id":null,"evidence_quote":"establishes the cohomogeneity-one action of SO(4) on B^7 with principal orbits SO(4)/$\\mathbb{Z}_2^2$ used in Section 4."},{"cited_title":"Grove, B","cited_arxiv_id":null,"evidence_quote":"identifies B^7 with the bundle $\\tilde P^+ O_5$ and gives the group diagram with weights (3,1) and (1,3) underlying the Y-basis and singular-orbit analysis."},{"cited_title":"Goette, N","cited_arxiv_id":null,"evidence_quote":"computes the explicit 3-form and diffeomorphism type of B^7 that Proposition 4.3 re-derives."},{"cited_title":"Fernández, S","cited_arxiv_id":null,"evidence_quote":"defines the nearly-half-flat condition (5.46) used in Section 5 to fix the constants in the ansatz."},{"cited_title":"Berger: Les variétés riemanniennes homogènes normal es simplement connexes à courbure stricte- ment positive","cited_arxiv_id":null,"evidence_quote":"introduces B^7 as a positively curved homogeneous space and supplies the normalization relating $d\\phi$ and $*\\phi$ to scalar curvature."}],"review_version":1}