{"id":"0543a188-385a-480c-a70b-88b93cbf1345","arxiv_id":"2505.21766","paper_version":3,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"SU(2)^m carries no left-invariant hypercomplex structure for any m≥1, proved by direct Nijenhuis-tensor computations.","lead":"This paper proves, using only elementary algebra, that no product of copies of SU(2) admits a left-invariant hypercomplex structure. The result gives a simple counterexample to the claim that every compact Lie group of dimension divisible by 4 admits such a structure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof is sound, but two load-bearing steps are asserted without proof: the intersections U_j∩V_j are one-dimensional, and [K E_j,E_k] lies in U_k∩V_k. Both are true and should be stated explicitly.","rationale":"I read the full proof and checked the algebraic developments in Sections 3.1 and 3.2, including the expansion leading to Proposition 3.7. The system in Lemma 3.6 genuinely has no real solution: after Lemma 3.5 one may write b1=a2=α, c2=b3=β, a3=c1=γ; if α=0 then β=γ=0 and the equations force a1^2=-1; if α≠0 then β and γ are nonzero and the contradiction reduces to α^2−α^2=0 versus −1. The binary equalities in Proposition 3.3 also check out, including the sign convention for [e3,e2]=−e1. The two steps the reader flagged are genuine gaps in presentation, and they are load-bearing in the sense that the final contradiction cannot be obtained without them. However, both are mathematically true: the intersection dimension argument uses the impossibility of two anti-commuting complex structures on a 2-plane, and the Lemma 3.9 membership argument follows from the vanishing of cross-factor brackets plus the characterization of U_k as the maximal I-invariant subspace of su(2)_k. Thus I do not see a correctness risk in the central theorem; the appropriate outcome is the reader's CONDITIONAL verdict, unchanged pending the requested justifications. No deeper objection, such as a hidden assumption about the Jacobi identity or a missing case in Proposition 3.7, survives scrutiny.","tokens_in":10013,"tokens_out":20068,"duration_ms":193315,"concrete_test":"Write out the two missing arguments as explicit lemmas. For Lemma 3.9, re-derive the identities I[K E_j,E_k]=[K E_j,I E_k] and J[K E_j,E_k]=[K E_j,J E_k] from N_I(J E_j,E_k)=0 and N_J(I E_j,E_k)=0, recording every term that vanishes because [su(2)_j,su(2)_k]=0. Then verify that the set {X∈su(2)_k : IX∈su(2)_k} is exactly U_k, using the fact that I cannot preserve the full 3-dimensional su(2)_k. If these derivations close without invoking Theorem 1.1, the final Jacobi contradiction is fully justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem depends on two terse steps that are load-bearing. First, after Corollary 3.8, the paper says 'For dimensional reasons, dim U_j∩V_j = 1.' Since U_j and V_j are 2-dimensional subspaces of the 3-dimensional space su(2)_j, their intersection has dimension at least 1. It could be 2 if U_j=V_j. This case is impossible because then I and J would restrict to two anti-commuting complex structures on a real 2-plane: on R^2 any complex structure is a rotation-like map with no real eigenvalues, and two such maps cannot anti-commute. Thus the intersection is exactly a line, and fixing nonzero E_j is justified. Second, Lemma 3.9 claims that [K E_j,E_k] belongs to U_k∩V_k, hence is a multiple of E_k. The paper says 'Expanding N_I(J E_j,E_k)=0 and N_J(I E_j,E_k)=0 respectively' gives the needed relations, but the intermediate argument is omitted. The relations are: I[K E_j,E_k]=[K E_j,I E_k] and J[K E_j,E_k]=[K E_j,J E_k]. They follow because for j≠k the bracket of an element of su(2)_j with an element of su(2)_k vanishes, so the extra terms in the Nijenhuis expansions disappear. Then, since the right-hand sides lie in su(2)_k, the vector w=[K E_j,E_k] has Iw and Jw in su(2)_k. The subspace {X∈su(2)_k : IX∈su(2)_k} is exactly U_k: it contains U_k and cannot be all of su(2)_k because I would then preserve an odd-dimensional real vector space. Similarly for J, so w∈U_k∩V_k=span{E_k}. If either of these justifications failed, the Jacobi contradiction in the final proof would not follow. Both are true under the stated assumptions, so the mathematical claim survives; the deficiency is in exposition, not correctness.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies left-invariant hypercomplex structures on the direct-product Lie group SU(2)^m. It proves Theorem 1.1: no such structure exists for any m ≥ 1, in particular for m = 4n, thereby giving a negative answer to the question whether every compact Lie group of dimension 4n admits a left-invariant hypercomplex structure. The proof works on the Lie algebra m·su(2) with the standard Nijenhuis integrability criterion. For an arbitrary left-invariant complex structure I, the author expands the three Nijenhuis equations for each factor su(2)_j, proves that the off-diagonal vectors X_j,Y_j,Z_j in the images of e_1(j),e_2(j),e_3(j) must be linearly dependent, and obtains a unique two-dimensional I-invariant subspace U_j of each su(2)_j. For a hypercomplex structure (I,J,K), the corresponding subspaces U_j,V_j,W_j are then used to define vectors E_j in U_j∩V_j. The paper derives that ad_{KE_j} acts as a scalar on su(2)_k for j≠k, and concludes with a Jacobi-identity contradiction. The argument is elementary and self-contained; the cited heavy machinery of [2] is not used.","tokens_in":10407,"tokens_out":11296,"duration_ms":114636,"significance":"If the proof is completed as indicated below, Theorem 1.1 is a significant result: it disproves a natural hypercomplex analogue of the Samelson–Wang theorem and identifies an explicit infinite family of compact Lie groups of dimension divisible by four with no left-invariant hypercomplex structure. The paper also corrects a misstatement in the recent literature, which is useful. The strengths of the manuscript are its elementary character, the absence of fitted or assumed parameters, and the transparency of the main algebraic contradiction. The derivation is self-contained; the only gaps are two omitted justifications that are true and easily supplied. The result itself may already be accessible through the more advanced methods of [2], but the present elementary proof and the clarification of the literature are genuine contributions.","major_comments":[{"comment":"The assertion 'For dimensional reasons, dim U_j ∩ V_j = 1' is load-bearing because it is used to choose a nonzero E_j in the intersection and to identify U_k∩V_k with the span of E_k in Lemma 3.9. As written, dimensional reasons only give dim(U_j∩V_j) ≥ 1, since U_j and V_j are 2-planes in the 3-dimensional space su(2)_j. The case U_j = V_j must be excluded. This exclusion is true: on a real 2-plane two anti-commuting complex structures cannot coexist, since after identifying I with the standard rotation, any J anti-commuting with I has the form [[p,q],[q,-p]] and its square is (p^2+q^2)·id, which cannot equal −id. Please insert this argument, because the subsequent choice of E_j depends on it.","section":"§3, after Corollary 3.8"},{"comment":"The displayed relations I[K E_j,E_k] = [K E_j,I E_k] and J[K E_j,E_k] = [K E_j,J E_k] are not immediate from 'expanding N_I(J E_j,E_k)=0 and N_J(I E_j,E_k)=0'; the intermediate steps are omitted. One must use j≠k to discard the brackets [J E_j,E_k], [J E_j,I E_k], [I E_j,E_k], and [I E_j,J E_k], all of which vanish because the two arguments lie in distinct direct-summands su(2)_j and su(2)_k. Then, setting w=[K E_j,E_k], the right-hand sides are elements of su(2)_k, so w and I w (respectively w and J w) lie in su(2)_k; Proposition 3.3(i) then gives w∈U_k (respectively w∈V_k), hence w∈U_k∩V_k=span{E_k}. Without this explanation, the conclusion [K E_j,E_k]=λ_jk E_k, on which the Jacobi contradiction rests, is not justified.","section":"§3, Lemma 3.9"}],"minor_comments":[{"comment":"There are numerous typographical errors ('beneift', 'familiarty', 'perpsective', 'generalitiy', '4-dimensonal'); a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The running text cites 'Spin-del, Servin, and Troost' while the reference list gives P. Spindel, A. Servin, W. Troost and A. Van Proeyen; the name should be standardized and the fourth author acknowledged in the text.","section":"Introduction and References"},{"comment":"The equivalences (i)⇐(vi) and (i)⇐(vii) are dismissed as 'entirely similar'; a brief indication of the analogous Nijenhuis equations would help the reader verify the sign conventions.","section":"§3, Proposition 3.3"},{"comment":"The phrase 'm>1 is necessarily an even number' is true under the hypercomplex dimension constraint, but it may be clearer to state explicitly that m=4n is the relevant case.","section":"§3, before Proposition 3.3"}],"recommendation":"major_revision","confidential_remarks":"The paper's assertion that reference [1] contains an incorrect statement about Joyce's result is a strong literature claim that the referee has not independently verified; the mathematical proof does not depend on it, but the editor may wish to confirm the accuracy of that attribution before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this paper gives an elementary proof that SU(2)^m admits no left-invariant hypercomplex structure for any m≥1, which settles the natural conjecture in the negative with an explicit family of counterexamples. The author is upfront that the result already follows from Dimitrov-Tsanov's machinery; the value is a self-contained derivation and a clear correction of a misattribution in the recent literature (Andrada-Barberis attributes a stronger statement to Joyce). I checked the Nijenhuis expansions and the algebraic contradictions; they are sound. The paper is honest about provenance and does not oversell novelty.\n\nThe main proof shows that any left-invariant complex structure on SU(2)^m forces, for each j, a unique 2-dimensional I-invariant subspace U_j of su(2)_j, and similarly for J and K. The hypercomplex structure then yields, for each j, a line E_j = U_j∩V_j, and Lemma 3.9 shows the adjoint action of KE_j on su(2)_k is a scalar. Plugging into the Jacobi identity gives the contradiction. All of that works.\n\nTwo places are terse enough that a referee should ask for expansion. First, 'for dimensional reasons' for dim U_j∩V_j=1: the intersection is at least a line, and if it were 2-dimensional then U_j=V_j, forcing two anti-commuting complex structures on a real 2-plane, which is impossible. Second, in Lemma 3.9, the identities I[KE_j,E_k]=[KE_j,IE_k] and J[KE_j,E_k]=[KE_j,JE_k] follow from N_I(JE_j,E_k)=0 and N_J(IE_j,E_k)=0 only after noting that J E_j and I E_j lie in su(2)_j, so the cross terms vanish. Both fixes are one or two sentences. There is also a minor notational overload (X_j versus X(j)), which is confusing but not wrong.\n\nThe result is not a brand-new theorem; the novelty is the accessible proof and the explicit counterexample. That is enough to make it a useful paper, especially for non-experts or people who want a concrete demonstration that the Joyce-type construction does not cover all compact Lie groups. I would send it to review; with the missing justifications added, it should be accepted. The referee should ask for those two clarifications and then the decision is straightforward.","headline":"A correct, elementary proof of a known non-existence result; two terse steps need filling, but the math holds up.","tokens_in":10984,"tokens_out":9980,"would_cite":true,"duration_ms":94708,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C15","53C26","32Q60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every positive integer $m$, $SU(2)^m$ admits no left-invariant hypercomplex structure, disproving the conjecture that every compact Lie group of dimension $4n$ carries one.","keywords":["left-invariant hypercomplex structures","compact Lie groups","SU(2)^m","Nijenhuis tensor","complex structures","hypercomplex geometry","non-existence"],"falsifier":"Exhibit an explicit left-invariant hypercomplex structure on $SU(2)^4$: three $12\\times 12$ real matrices $I,J,K$ satisfying $I^2=J^2=K^2=-1$, $IJ=-JI=K$, and vanishing Nijenhuis tensors on the basis of $4\\cdot\\mathfrak{su}(2)$; a single such example would refute Theorem 1.1, and the explicit polynomial equations in the paper make this a concrete computer-algebra check.","tokens_in":9774,"feed_emoji":"🚫","tokens_out":8659,"duration_ms":83899,"temperature":0.7,"pith_summary":"The paper proves that for every positive integer $m$, the product group $SU(2)^m = SU(2)\\times\\cdots\\times SU(2)$ admits no left-invariant hypercomplex structure: no triple $(I,J,K)$ of integrable almost complex structures on its Lie algebra that anti-commute and satisfy $IJ=K$ can exist. When $m=4n$ the group has dimension $12n$, a multiple of four, so the obstruction is not dimensional but algebraic. This gives an explicit negative answer to the question of whether every compact Lie group of dimension $4n$ carries a left-invariant hypercomplex structure, and it clears up confusion in the literature caused by an erroneous attribution to Joyce. The proof is elementary, using only the Nijenhuis integrability equations and the Jacobi identity.","feed_headline":"No left-invariant hypercomplex structure exists on any SU(2)^m","feed_subtitle":"The conjecture that every compact Lie group of dimension 4n admits one is false: SU(2)^4n is a counterexample.","key_machinery":"The engine is the decomposition of each value $Ie_i^{(j)}$ into a component $A_j,B_j,C_j$ inside the factor $\\mathfrak{su}(2)_j$ and a component $X_j,Y_j,Z_j$ in the complementary sum, together with the nine scalar and vector equations obtained by writing $N_I=0$ on the basis $e_1^{(j)},e_2^{(j)},e_3^{(j)}$ for each $j$. These equations come from the Nijenhuis tensor $N_I(X,Y)=I[IX,Y]+I[X,IY]+[X,Y]-[IX,IY]$, whose vanishing is the integrability condition for a complex structure. They force the existence of the unique invariant plane $U_j$, and then the same integrability equations for the anti-commuting pair $(I,J)$ give the scalar-adjoint identity of Lemma 3.9, which collides with the Jacobi identity.","core_discovery":"On the paper's own terms, the central discovery is a structural rigidity of left-invariant complex structures on $SU(2)^m$: for each factor $j$, any left-invariant integrable complex structure $I$ must leave a unique 2-dimensional subspace $U_j$ of the Lie algebra factor $\\mathfrak{su}(2)_j$ invariant. Given a hypercomplex triple $(I,J,K)$, the corresponding planes for $I$ and $J$ meet in a line spanned by $E_j$, and the third structure $K$ maps $E_j$ outside $\\mathfrak{su}(2)_j$. The bracket relations forced by integrability then make the adjoint action of $KE_j$ on every other factor a scalar multiple of the identity, which contradicts the Jacobi identity. Hence no such triple can exist, for any $m\\ge1$.","pith_inferences":["The proof's contradiction is local: it refers to a single factor $j$ and a second factor $k$ on which $KE_j$ has nonzero component. One might therefore expect the same non-existence to hold for any compact Lie group whose Lie algebra has an $\\mathfrak{su}(2)$ summand, although the paper only states the pure product case.","Because the integrability equations are explicit polynomial conditions, the $m=4$ case can be checked by direct computer algebra: the theorem predicts the system has no real solution, and verifying that would be a concrete test of the argument.","The elementary nature of the proof suggests the obstruction is not a global geometric phenomenon but a purely algebraic one about anti-commuting complex structures on a sum of 3-dimensional simple ideals; the same equations may be useful for classifying hypercomplex structures on other compact semisimple groups."],"forward_implications":["The conjecture that every compact Lie group of dimension $4n$ admits a left-invariant hypercomplex structure is false; the family $SU(2)^{4n}$ is an explicit counterexample.","The non-existence holds at the Lie-algebra level: the direct sum Lie algebra $m\\cdot\\mathfrak{su}(2)$ carries no hypercomplex structure, so no left-invariant hypercomplex manifold structure on the corresponding group can exist.","Any construction that produces left-invariant hypercomplex structures on products like $G\\times T$ with a sufficiently large torus cannot be extended to the case of $SU(2)^m$ with $m$ a multiple of four.","The result corrects the record: Joyce's compact hypercomplex manifolds should not be read as asserting that every compact Lie group of dimension $4n$ has such a structure."],"supporting_citations":[{"why":"Contains the incorrect assertion that every compact Lie group of dimension 4n admits a left-invariant hypercomplex structure; the present paper addresses and corrects that confusion.","marker":"[1]"},{"why":"Provides the prior, heavy machinery that already resolves the conjecture negatively; the present proof gives an elementary alternative for the SU(2)^m family.","marker":"[2]"},{"why":"Constructs compact hypercomplex manifolds and shows G×T admits left-invariant hypercomplex structures for large tori, lending plausibility to the conjecture being disproved.","marker":"[3]"},{"why":"Shows every compact Lie group of even dimension admits a left-invariant complex structure, the complex analogue that motivates the hypercomplex conjecture.","marker":"[4]"},{"why":"From the physics perspective, shows extended supersymmetric sigma models on group manifolds admit such structures for G×T with sufficiently large torus.","marker":"[5]"},{"why":"Independent proof that compact Lie groups of even dimension carry homogeneous complex structures, part of the background analogy for the conjecture.","marker":"[6]"}],"fun_headline_variants":["No left-invariant hypercomplex structure on SU(2)^m","Hypercomplex structures impossible on SU(2)^m","SU(2)^m lacks all left-invariant hypercomplex structures","Left-invariant hypercomplex structures absent on SU(2)^m","No hypercomplex triple on any SU(2)^m"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The final contradiction depends on the unstated fact that the unique 2-dimensional invariant subspaces $U_j$ and $V_j$ for the anti-commuting structures $I$ and $J$ meet in a line rather than coinciding (true because a 2-dimensional real space cannot carry two anti-commuting complex structures), and on the equally unstated fact that $[KE_j,E_k]$ has no component inside $\\mathfrak{su}(2)_k$; both are true, but the paper only sketches them.","fun_headline_variants_meta":{"raw":{"variants":["No left-invariant hypercomplex structure on SU(2)^m","Hypercomplex structures impossible on SU(2)^m","SU(2)^m lacks all left-invariant hypercomplex structures","Left-invariant hypercomplex structures absent on SU(2)^m","No hypercomplex triple on any SU(2)^m"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000965,"raw_usage":{"total_tokens":4040,"prompt_tokens":808,"completion_tokens":3232,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":424,"completion_tokens_details":{"reasoning_tokens":3146}},"tokens_in":424,"tokens_out":3232,"duration_ms":25814,"temperature":1.0,"reasoning_tokens":3146,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:26:08.637654+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit an explicit left-invariant hypercomplex structure on $SU(2)^4$: three $12\\times 12$ real matrices $I,J,K$ satisfying $I^2=J^2=K^2=-1$, $IJ=-JI=K$, and vanishing Nijenhuis tensors on the basis of $4\\cdot\\mathfrak{su}(2)$; a single such example would refute Theorem 1.1, and the explicit polynomial equations in the paper make this a concrete computer-algebra check.","supporting_citations":[{"cited_title":"Dimitrov, V","cited_arxiv_id":null,"evidence_quote":"Provides the prior, heavy machinery that already resolves the conjecture negatively; the present proof gives an elementary alternative for the SU(2)^m family."},{"cited_title":"Joyce, Compact hypercomplex and quaternionic manifolds , J","cited_arxiv_id":null,"evidence_quote":"Constructs compact hypercomplex manifolds and shows G×T admits left-invariant hypercomplex structures for large tori, lending plausibility to the conjecture being disproved."},{"cited_title":"Samelson, A class of complex-analytic manifolds , Portugal","cited_arxiv_id":null,"evidence_quote":"Shows every compact Lie group of even dimension admits a left-invariant complex structure, the complex analogue that motivates the hypercomplex conjecture."},{"cited_title":"Spindel, A","cited_arxiv_id":null,"evidence_quote":"From the physics perspective, shows extended supersymmetric sigma models on group manifolds admit such structures for G×T with sufficiently large torus."},{"cited_title":"Wang, Closed manifolds with homogeneous complex structure , Amer","cited_arxiv_id":null,"evidence_quote":"Independent proof that compact Lie groups of even dimension carry homogeneous complex structures, part of the background analogy for the conjecture."}],"review_version":1}