{"id":"b8284efc-35e9-4ae1-96ce-ea7babc8cb87","arxiv_id":"2607.14204","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On the open locus where the self-dual curvature is a frame, the SO(3) Yang-Mills equation is equivalent to a determined, elliptic, index-zero equation Φ_g(h)=0 for a positive symmetric matrix field h.","lead":"On a four-dimensional curved space, this paper rewrites the SO(3) Yang-Mills equations using the self-dual part of the curvature as a positive 'frame' matrix, removing gauge freedom algebraically and yielding a determined second-order elliptic equation. It also claims a scalar branch connects this equation to anti-self-dual metrics and the Yamabe problem, giving global solutions on every anti-self-dual conformal class of positive Yamabe type.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.2 is false for scalar h; A(h) is undefined on the conformal subcone, so Theorem 2.22 collapses.","rationale":"The reader's weakest assumption focuses on the conformal-factor absorption in Proposition 2.21. My concern is more fundamental: the scalar subcone h=e^{2ω}g consists of positive scalar multiples of the identity endomorphism, and for these the map ad_h is identically zero, so A(h) is not even defined by the paper's formula. This invalidates Proposition 2.21 and Theorem 2.22 directly, without needing to track e^{-2ω} factors. The main equivalence Theorem 2.11 may still hold for generic (non-scalar) self-dual frames where ad_h is invertible, but the paper's headline existence result for all positive-Yamabe anti-self-dual conformal classes rests on the scalar branch, which is not covered by the construction. The reader's instinct that the scalar reduction is the weak spot is correct, though the actual blocker is more basic than a possibly surviving conformal factor. I recommend rejection as stated, while acknowledging the gauge-reduction idea may be salvageable for non-scalar h with a corrected definition of A(h).","tokens_in":9920,"tokens_out":19883,"duration_ms":184357,"concrete_test":"At a point p, fix an oriented orthonormal basis of Λ+_p and set h = g = Id. Let a = θ ⊗ e_1, where θ is any nonzero 1-form and e_1 is a basis element of so(3). Then [a,h] = a·h − h·a = 0, so the kernel of ad_h is nonzero, contradicting Lemma 2.2. Alternatively, rerun the proof of Lemma 2.2 with λ_1=λ_2=λ_3=1: the system gives 2a_1=2a_2=2a_3=0, but direct commutator with the identity is zero for all a, localizing the algebraic error in the lemma.","verdict_should_be":"REJECT","load_bearing_attack":"Lemma 2.2 is false. For h = λg (the scalar subcone of Proposition 2.21), h is the identity endomorphism of Λ+, so [a, h] = 0 for every so(3)-valued 1-form a; ad_h is the zero map, not an isomorphism. The proof diagonalizes h but then treats h as an element of so(3) rather than as a symmetric endomorphism (Sym²Λ+ has rank 6, while Λ+ has rank 3); the derived linear system for λ_1=λ_2=λ_3 incorrectly forces a_i=0 even though [a,Id]=0 directly. Consequently A(h) in Definition 2.3 is undefined on the whole scalar subcone h=e^{2ω}g, Lemma 2.8 (unique compatible connection) fails there, and Proposition 2.21's identification of A(h) with the Levi-Civita connection of h is vacuous. Theorem 2.22's claimed global solutions on anti-self-dual conformal classes therefore do not follow from the construction; the paper would need a different definition of A(h) on this branch.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a gauge-invariant parametrization of SO(3) Yang–Mills connections on the self-dual bundle Λ⁺ of a closed oriented Riemannian 4-manifold, on the open locus where the self-dual curvature F⁺_A is an orientation-preserving frame. Pointwise polar decomposition is used to replace the connection by a positive symmetric field h, and a 'compatible connection' A(h) is defined through the invertibility of ad_h. The central statement, Theorem 2.11, asserts that Φ_g(h) := F⁺_{A(h)}h^{-1} - g = 0 is equivalent to A(h) being Yang–Mills with F⁺_{A(h)} = h. The paper further claims a variational formulation, automatic irreducibility, ellipticity and index zero, and a conformal subcone reduction: for h = e^{2ω}g, the equation is equivalent to anti-self-duality with constant scalar curvature 6√2, yielding global solutions from the Yamabe problem on anti-self-dual positive-Yamabe manifolds.","tokens_in":10167,"tokens_out":8492,"duration_ms":86092,"significance":"If the construction were valid, it would provide an attractive determined elliptic formulation of an open sector of the full Yang–Mills equation, with an algebraic gauge fixing and a transparent scalar conformal branch. The paper is explicit and self-contained, and the high-level strategy of Theorem 2.11 is natural. The derivation is not circular: it relies on standard curvature decompositions and the Yamabe theorem. However, the key algebraic lemma is false exactly on the scalar subcone used for the main existence theorem, so the stated results do not follow from the given proofs.","major_comments":[{"comment":"Lemma 2.2 is false: for h = λg, i.e. on the scalar subcone used in §2.4, ad_h is the zero map, not an isomorphism. The proof diagonalizes h, but then treats h as an element of so(3); when λ_1=λ_2=λ_3 the displayed linear system is 0=0 and does not force a_i=0. Consequently Definition 2.3, Lemma 2.8, and every later use of ad_h^{-1} are invalid on this branch. This includes the special case h=g in Proposition 2.15 and the path h(t)=(1-t)g+th in Theorem 2.16, as well as Proposition 2.21 and Theorem 2.22. This is not a minor gap: A(h) is undefined on the exact branch where the paper claims global solutions.","section":"§2.1, Lemma 2.2"},{"comment":"Even setting aside the failure of Lemma 2.2, the reduction Φ_g(e^{2ω}g)=√2(W^+ + R/12 g) is asserted without the required conformal-transformation computation. The factor h^{-1}=e^{-2ω}g^{-1} must be tracked against the curvature decomposition of the conformally related metric. If the e^{-2ω} factor is not fully absorbed, the equation becomes a coupled scalar-curvature PDE, and a Yamabe metric is not automatically a solution. Since Proposition 2.21 is the only bridge between the frame equation and the Yamabe existence theorem, Theorem 2.22 does not follow as stated.","section":"§2.4, Proposition 2.21"},{"comment":"The proof of irreducibility uses the implication [h,f]=0 ⇒ f=0. For h=λg this is false: every f∈Ω^0(Λ⁺) centralizes a scalar h. Thus automatic irreducibility and triviality of the stabilizer are not established for the scalar branch. Moreover, the sentence 'the components of h span Λ⁺' is not true when h is pure trace. A different argument, or a restriction to frames with distinct eigenvalues, is needed.","section":"§2.2, Corollary 2.12"},{"comment":"The statement 'Since h is self-dual, [F⁻_A,h]=0' is not justified. Here h is a positive symmetric section, not an element of Λ⁺, while F⁻_A takes values in Λ⁻⊗Λ⁺. The claimed commutation is used in the proof of self-adjointness of Φ and in the variational equivalence (Proposition 2.6), so it is load-bearing. A derivation from the definitions is required.","section":"§2.1, Lemma 2.4"}],"minor_comments":[{"comment":"The notation P(Λ⁺) is overloaded: Definition 2.1 uses P(E) for smooth positive sections, while Definition 2.5 uses the same symbol for an open subset of a Sobolev space. Please distinguish the two.","section":"§2.1–2.5"},{"comment":"The line 'Each component of ξ∧a is decomposable, while a non-zero anti-self-dual 2-form has non-zero square' is unclear and should be expanded. The logic connecting a self-dual component to ξ∧a=0 is not immediate.","section":"§2.3, Proposition 2.15"},{"comment":"The identity d_A^* h = 0 is asserted in the integration-by-parts step without explanation. Since d_A h=0 and h is self-dual may imply this, the details should be supplied.","section":"§2.1, Proposition 2.6"},{"comment":"The claim that every linearized operator is Fredholm 'by the index theorem' is standard, but the path h(t)=(1-t)g+th used to compute the index crosses h=g, where the preceding construction is not defined. This is a symptom of the issue in Lemma 2.2 and should be addressed explicitly.","section":"§2.3, Theorem 2.16"}],"recommendation":"reject","confidential_remarks":"The manuscript has a promising high-level idea, but the central algebraic lemma is false on the scalar subcone, and the advertised global existence theorem depends exactly on that branch. I do not see a route short of redefining the domain of A(h) and reworking the conformal reduction; the present version is not salvageable by local corrections. A future version restricted to frames with distinct eigenvalues could be a different, narrower paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a real idea: on the locus where F_A^+ is an orientation-preserving frame, polar decomposition removes gauge freedom and replaces the connection by a positive symmetric matrix field h, with a determined index-zero system Φ_g(h)=0. The equivalence in Theorem 2.11 is argued cleanly and is likely correct. The variational, ellipticity, and index-zero parts are standard but competently done. As far as I can tell, the global polar slice plus unique compatible connection for the full Yang–Mills equation is new; the author is honest that the ingredients are classical and explicitly flags the compactness/frame-wall issues that remain.\n\nNow the soft spots. The stress-test worry about Lemma 2.2 does not, on my reading, land. The bracket is the wedge bracket on Λ+-valued forms, not the commutator with h as an endomorphism; under that definition, the proof's linear system is injective even when h is proportional to the identity, and the irreducibility argument in Corollary 2.12 also works. The notation is genuinely confusing—calling h∈P(Λ+) and then viewing it as a self-dual 2-form needs explicit clarification—but I do not see a false lemma there.\n\nThe real problem is Proposition 2.21. For h=e^{2ω}g, we have h^{-1}=e^{-2ω} Id. So F^+_{A(h)} h^{-1} equals e^{-2ω}(W^+ + R_h/12 Id) up to constants, and Φ=0 forces W^+=0 together with R_h=12e^{2ω}, not R_h=6√2. The paper's displayed formula omits the e^{-2ω} factor. This is not cosmetic; it is exactly what turns the scalar reduction into a Yamabe statement. With the factor kept, the scalar equation is a conformally coupled PDE, and there is no reason the Yamabe metric solves it. So Theorem 2.22, the headline existence result, does not follow as written.\n\nBottom line: this deserves a serious referee. The core idea is novel and the central equivalence may survive a rewrite, but the conformal subcone needs substantial repair—either carry the conformal factor and treat the resulting PDE, or restrict the Yamabe construction to the case where the conformal factor is constant. As it stands, the abstract overclaims. For readers in gauge theory or four-manifold geometry, the paper is worth a look as a promising but incomplete piece. I would not cite it yet, but I would bring it to a reading group.","headline":"A new polar-slice reformulation of Yang–Mills with a plausible central equivalence, but the conformal/Yamabe reduction drops the e^{−2ω} factor, so the advertised global existence theorem does not follow as written.","tokens_in":10641,"tokens_out":20621,"would_cite":false,"duration_ms":179268,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C07","53C21","58E15"],"pacs":[],"model":"deepseek-v4-flash","headline":"An SO(3) Yang–Mills connection is equivalent to a single equation Φ_g(h)=0 on a positive matrix field h, and every anti-self-dual positive-Yamabe conformal class solves it.","keywords":["Yang–Mills field","self-dual frame","anti-self-duality","Yamabe problem","four-manifold","elliptic operator","positive cone","gauge theory"],"falsifier":"Compute F^+_{A(h)}h^{-1} explicitly for h=e^{2ω}g in a concrete local example, isolating whether the pure-trace term is (R/12)g or (e^{-2ω}R/12)g; an extra conformal factor would invalidate Proposition 2.21 and the existence theorem built on it.","tokens_in":9792,"feed_emoji":"📐","tokens_out":5150,"duration_ms":48901,"temperature":0.7,"pith_summary":"The paper establishes a new coordinate system for an open sector of the SO(3) Yang–Mills equations on a closed oriented Riemannian four-manifold. Wherever the self-dual part of the field strength is an orientation-preserving frame, pointwise polar decomposition removes the gauge freedom and replaces the connection by a positive symmetric matrix field h. The paper proves that h determines a unique compatible connection A(h), and that the Yang–Mills equation is exactly the determined second-order system Φ_g(h)=F^+_{A(h)}h^{-1}-g=0. This reformulation has analytic payoff: the operator is elliptic, its linearization is Fredholm of index zero, all solutions are smooth and irreducible, and the functional whose Euler–Lagrange equation is Φ=0 is known explicitly. On the scalar subcone h=e^{2ω}g the equation reduces to anti-self-duality plus constant scalar curvature 6√2, so the Yamabe theorem supplies global solutions on every anti-self-dual positive-Yamabe conformal class.","feed_headline":"One elliptic equation now replaces the SO(3) Yang–Mills system","feed_subtitle":"On the curvature-frame locus, gauge freedom disappears and the equation is determined, elliptic, and index zero.","key_machinery":"The central object is the positive self-dual frame h, a section of the positive cone of symmetric endomorphisms of the self-dual-bundle Λ^+. The load-bearing algebraic fact is that ad_h: Ω^1(Λ^+)→Ω^3(Λ^+) is an isomorphism for positive h (Lemma 2.2), which lets the paper define A(h) as the unique connection satisfying d_{A(h)}h=0. The nonlinear operator Φ_g(h)=F^+_{A(h)}h^{-1}-g maps the positive cone into the same rank-six bundle, and its linearization has an invertible principal symbol, yielding a determined elliptic system of index zero. On the scalar subcone h=e^{2ω}g, the curvature decomposition F^+_{A(h)}h^{-1}=√2(W^+ + R/12 g) splits the equation into a trace-free part (self-dual Weyl","core_discovery":"The paper works with SO(3) connections on the bundle of self-dual 2-forms and restricts to the open locus where the self-dual curvature F^+_A is an orientation-preserving frame. Pointwise polar decomposition then encodes the gauge-equivalence class of the connection by a positive symmetric matrix field h. The central claim is that h determines a unique compatible connection A(h), and that the second-order system Φ_g(h)=F^+_{A(h)}h^{-1}-g=0 is exactly equivalent to A(h) being Yang–Mills with F^+_{A(h)}=h (Theorem 2.11). The paper further establishes a variational principle, automatic irreducibility of every solution, elliptic regularity, and a Fredholm index theorem. Restricting to h=e^{2ω}g,","pith_inferences":["If the linearized operator at an anti-self-dual Yamabe solution is nondegenerate, the conformal branch should persist under small perturbations of the background conformal structure — a testable corollary not proved in the paper.","The boundary of the positive cone, where the smallest eigenvalue of h degenerates, likely creates a frame wall that must be controlled alongside ordinary Yang–Mills bubbling before any index-based degree theory yields existence; the paper leaves this open.","The same algebraic reduction may apply to other gauge groups, since the only input is positivity of the self-dual curvature frame; this extension is not explored here.","The stress-energy tensor defines a map from the frame moduli space to trace-free symmetric tensors; asking which tensors arise recovers a classical metric-reconstruction question, but the frame equation itself does not require an answer."],"forward_implications":["Every Yang–Mills connection whose self-dual curvature is a frame corresponds, up to a unique gauge transformation, to a solution of Φ_g(h)=0; the zero set of Φ is exactly this open part of the Yang–Mills moduli space.","Every solution is smooth and the connection A(h) is automatically irreducible, with trivial gauge stabilizer.","The linearized operator is Fredholm of index zero with invertible principal symbol, so nondegenerate solutions are isolated and a local degree theory is possible in principle.","Each ray in the positive cone contains at most one solution, and solutions satisfy the energy identity E[h]=½∫|h|².","Every closed oriented anti-self-dual four-manifold with positive Yamabe constant admits a global solution of the frame equation, realized by any Yamabe metric of scalar curvature 6√2."],"fun_headline_variants":["SO(3) Yang–Mills reduced to a determined elliptic system","Gauge-free SO(3) Yang–Mills: one elliptic system, index zero","Self-dual frames simplify SO(3) Yang–Mills to an elliptic system","Yang–Mills for SO(3) connections collapses to Φ_g(h)=0","One matrix field h encodes SO(3) Yang–Mills as an elliptic system"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The scalar reduction assumes the e^{-2ω} conformal factor is fully absorbed in F^+_{A(h)}h^{-1}, so that Φ=0 on h=e^{2ω}g becomes W^+=0 and R=6√2; if the factor survives, the Yamabe metric would not automatically solve the equation.","fun_headline_variants_meta":{"raw":{"variants":["SO(3) Yang–Mills reduced to a determined elliptic system","Gauge-free SO(3) Yang–Mills: one elliptic system, index zero","Self-dual frames simplify SO(3) Yang–Mills to an elliptic system","Yang–Mills for SO(3) connections collapses to Φ_g(h)=0","One matrix field h encodes SO(3) Yang–Mills as an elliptic system"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001555,"raw_usage":{"total_tokens":6056,"prompt_tokens":757,"completion_tokens":5299,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":5190}},"tokens_in":501,"tokens_out":5299,"duration_ms":30335,"temperature":1.0,"reasoning_tokens":5190,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T02:52:15.386040+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute F^+_{A(h)}h^{-1} explicitly for h=e^{2ω}g in a concrete local example, isolating whether the pure-trace term is (R/12)g or (e^{-2ω}R/12)g; an extra conformal factor would invalidate Proposition 2.21 and the existence theorem built on it.","supporting_citations":[],"review_version":1}