All-Field Morse--Bott Stability at Critical Homogeneous Orbits: Half-Grassmann No-Spinodal Rigidity and Exact Jacobi Metastability

Strengths

• Lemma 2.1 and Proposition 2.2, p.3: averaging the addition theorem over both source-orbit variables produces squared harmonic means. A proper compact orbit cannot carry ambient uniform measure, so a nonconstant mode is present; positive exponential coefficients make the spherical Laplacian strictly negative for every t>0.
• Lemma 3.1 and Theorem 3.2, pp.3-4: the gradient lies in the normal isotropy fixed space. At a critical orbit differentiating invariance annihilates tangent and mixed Hessian terms; self-adjoint equivariance and the stated block symmetry then turn the negative trace into strict normal definiteness. The torus example correctly shows why orbit constancy alone is insufficient.
• Theorem 4.1, pp.4-5: the real dimensions, two traceless diagonal normal modules and off-diagonal tangent directions are consistent. Block-swap composed with sign reversal fixes the balanced point and exchanges modules, while the stabilizer has no fixed traceless vector. This supplies the missing hypotheses over R,C,H for r>=2.
• Lemma 5.2 and Theorem 6.1, pp.6-7: direct symbolic differentiation of the stated Jacobi generator at k=1..4 confirmed LY=-2rY and LS=k(2r-k)/2+2Y^2-4rS. The posterior covariance and spherical multiplier combine with the displayed denominators to give the two scalar Hessian operators; k=1 is correctly excluded from positive-block splitting.
• Theorem 7.1 and Appendix A, pp.7-10: exact replay confirms both quadratic coefficients and the sixth-moment boundary. Independent integration of x(1-x)y(1-y)(x-y)^2 at r=3,k=2 gives mu2=2/35, mu4=1/105, mu6=4/1617, [u^2]Hminus=0 and [u^4]Hminus=-1/16170. The boundary instability therefore survives a check independent of the Schur expansion.
• Proposition 8.1 and Section 9, pp.8-9: the pointwise S<=k/4-Y^2/k inequality yields the moment-ratio tail bound. The paper does not promote the finite remaining gate into an all-rank theorem and does not infer global optimality from the absence of a balanced spinodal.

Weaknesses

• Theorem 3.2 is structurally persuasive but the applications compress several representation-theory facts into one paragraph. Explicit stabilizer groups and normal-module dimensions, especially for quaternionic r=2, would make the real irreducibility and zero-fixed-vector checks easier to audit without changing the proof mechanism.
• Section 8 proves eventual negativity of coefficients, not negativity of Hminus at every field for every multiplicity. For 2r/3<k<r the positive low-degree term is real, consistent with metastability. Any later global sign or phase claim still requires the stated low-degree/value-comparison work.
• Section 10: the Bessel replay checks positivity of isolated formula terms on 60 cases; it does not compute orbital coefficients q_l or a full Grassmann Hessian. The ambient-dimension dictionary restates expressions rather than independently counting modules. These are limited diagnostics despite a successful run.
• The replay depends on SymPy and mpmath, while the supplied README says only Python 3 and contains no pinned dependency file. The first execution stopped at missing mpmath; installing local dependencies resolved it. The supplied Lean README explicitly contains no formalization.
• Selected source inspection confirms the Jacobi-density antecedent in Dumitriu-Edelman, Eq. (5), and the trace-transform framework in Forrester-Kumar (https://arxiv.org/pdf/2011.00787). The claimed distinction from self-cited refs. [5]-[6] and all citation-specific priority assertions remain unverified; no comprehensive novelty finding is warranted.

Potential errors

• Section 8, Eq. (8.1), p.8: literal strict coefficientwise negativity cannot include j=0. From mu2=km/[4(n^2-1)] and A=n(nm-1)/k, (1+A)mu2=m^2/4, so Hminus(0)=0 and the displayed strict ratio becomes equality at j=0. Restrict the strict discussion to nonconstant even coefficients. The tail proposition and main stability results are unaffected.
• Theorem 7.1(ii), pp.7-8: order u^4 is the order of Hminus, or equivalently of Hess(F_s)/s^2 up to its analytic positive factor. The actual Hessian of F_s includes s^2 and first becomes nonzero at order s^6 on the degenerate boundary. Specify this normalization to avoid an incorrect reading of the claimed onset order.

Strong novelty candidates

• Theorem 4.1: all-positive-field constrained local maximality of the balanced half-Grassmann field over all three division algebras, obtained through harmonic positivity and a critical normal-isotropy criterion.
• Theorem 7.1: exact weak-field stable unbalanced multiplicities 2r/3<k<r, together with the negative sixth-moment boundary coefficient, offer a concrete obstruction to saddle-only global proofs. These local results are stronger novelty candidates than the classical matrix-beta or Jacobi identities themselves.

Unresolved material objections

None reported.

Strengths

• Lemma 2.1 turns the orbit coefficient into a sum of squared harmonic means; Proposition 2.2 then gives a genuinely sign-definite spherical-Laplacian identity for strictly positive kernel coefficients.
• Theorem 3.2 includes the necessary criticality hypothesis, and Remark 3.3 supplies a concrete antipodal torus orbit showing that irreducible normal isotropy alone does not force criticality.
• The Jacobi generator identities reduce both block-splitting Hessians to scalar differential operators, and the moment signs consistently yield the k=2r/3 weak-field boundary and its quartic degeneracy.

Weaknesses

• The half-Grassmann proof compresses the normal-space decomposition, real irreducibility for R, C, and H, and the block-exchange action into one paragraph; these facts carry the all-field application and merit explicit lemmas or precise references.
• Equations (6.1)-(6.3) invoke an invariant covariance formula without deriving its normalization fully, making the exact Hessian eigenvalues harder to audit than the surrounding algebra.
• The coefficient-tail theorem proves only eventual coefficientwise sign for each fixed (r,k); it does not close the remaining finite gate or establish an all-field sign for unbalanced branches, a limitation the paper does acknowledge.

Potential errors

• The bundled replay was not executable from the supplied instructions because sympy and mpmath were undeclared and absent. Its stored JSON output was therefore not counted as an execution result.
• The continuity argument in Corollary 3.4 is plausible, but a precise uniform bound on third derivatives over the chosen tube and compact field interval would make the claimed common tubular neighborhood fully explicit.

Strong novelty candidates

• The criticality-guarded all-field Morse-Bott criterion for antipodal homogeneous source orbits is a concise candidate contribution built from classical harmonic ingredients.
• The exact complex half-Grassmann weak-field metastability threshold k=2r/3, including the sixth-moment boundary, is a strong specific candidate if priority survives a specialist search.

Unresolved material objections

None reported.