{"id":"b314ca5c-b719-4448-b3cb-3e0380ea54d0","arxiv_id":"1908.05963","paper_version":3,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper attempts to prove Pirashvili's conjecture by showing a nonsemisimple Lie algebra with vanishing Leibniz homology must have nonzero first adjoint cohomology, but the proof relies on a lemma the authors themselves flag as incorrect.","lead":"This mathematics paper claims to prove Pirashvili's conjecture, which says a finite-dimensional complex Lie algebra is semisimple exactly when its Leibniz homology with trivial coefficients vanishes. The paper itself contains a dated note saying a key step in that proof is not valid, so the main theorem is not actually established in this version.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1 depends on Proposition 3.3, whose proof the authors explicitly declare invalid because its key input Proposition 3.1 'seems to be incorrect'; the contradiction in §4 therefore has no foundation.","rationale":"The reader's weakest assumption is exactly the right one. The paper's own dated note admits that Proposition 3.1 seems incorrect and that Proposition 3.3 is therefore not valid. Since Theorem 4.1 is obtained by contradicting Proposition 3.3, the main theorem is not proved. I retain the reader's REJECT verdict: the central claim is unsupported by the argument in the manuscript, even though some auxiliary statements may be salvageable. The recommended check would be an independent derivation of Proposition 3.3 or a direct counterexample to Proposition 3.1; either would settle the concern. The authors' transparency about the flaw is good scholarly practice, but it does not repair the proof.","tokens_in":7470,"tokens_out":10607,"duration_ms":95576,"concrete_test":"Perform the following computation using the definitions in [9]: take g = aff(C), the non-abelian 2-dimensional Lie algebra with solvable radical r = C, and compute directly from the Leibniz cochain complex the groups HL_2(g) and HL_1(g,r*). If HL_2(g) ≇ HL_1(g,r*), Proposition 3.1 is false exactly as the authors' note suspects, and the only route to Proposition 3.3 and hence to Theorem 4.1 is removed. If the isomorphism happens to hold for this example, repeat the check on a perfect nonsemisimple sympathetic algebra from [2]–[5]; the decisive point is that Proposition 3.1 has not been established, so Proposition 3.3 remains unproven.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 4.1: Pirashvili conditions imply semisimplicity. In the proof, the only engine that eliminates nonsemisimple algebras is Proposition 3.3, which asserts H^p(g,r)=0 for all p≥0 under the Pirashvili conditions. Its proof runs: HL_p(g)=0 gives, via Proposition 3.1, HL_{p-1}(g,r*)=0; duality and Proposition 3.2 then yield the desired vanishing. Directly under Proposition 3.1 the authors place the note: 'This result seems to be incorrect. Therefore the proof of Proposition 3.3 is not valid (04.09.2019).' Since Proposition 3.1 is the only bridge from the Pirashvili vanishing conditions to H^p(g,r)=0, that bridge is admitted broken. In Theorem 4.1 the final contradiction is H^1(g,r)≠0 versus Proposition 3.3; without a valid Proposition 3.3 there is no contradiction and the theorem is unsupported. The surrounding results on sympathetic algebras (Lemmas 3.5, 3.6, Proposition 3.8) do not by themselves rule out a nonsemisimple algebra satisfying the Pirashvili conditions, so they cannot substitute for the missing step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies sympathetic Lie algebras (perfect and complete) and their relation to the vanishing of adjoint Lie algebra cohomology and Leibniz (co)homology. Its central result, Theorem 4.1, claims to prove Pirashvili's weak conjecture: a non-trivial finite-dimensional complex Lie algebra is semisimple if and only if its Leibniz homology with trivial coefficients vanishes. The proof strategy is to derive, from the Pirashvili conditions, the vanishing of H^p(g,r) for the solvable radical r using a result from the authors' companion paper [9], then use structural results on the radical plus a Hochschild-Serre spectral sequence argument to obtain a contradiction for a non-semisimple algebra. The paper also contains several auxiliary results on perfect/complete Lie algebras and on H^1(g,g) for abelian radicals.","tokens_in":7782,"tokens_out":4533,"duration_ms":42377,"significance":"If Theorem 4.1 were valid, it would settle a long-standing conjecture of Pirashvili and would be a significant contribution to the cohomological characterization of semisimple Lie algebras. The auxiliary structural results, especially Lemmas 3.5 and 3.6 and Proposition 3.8, are clean and of independent interest, and the paper is careful in its use of Hochschild-Serre spectral sequences. However, the main theorem is not established in the submitted version: the authors themselves state that the key bridge result, Proposition 3.1 from [9], appears incorrect and that the proof of Proposition 3.3 is therefore invalid. Since Proposition 3.3 is the only place where the Pirashvili conditions are converted into the vanishing H^p(g,r)=0 that drives the final contradiction, the central claim is unsupported.","major_comments":[{"comment":"The proof of Proposition 3.3 relies on Proposition 3.1 to pass from HL_p(g)=0 (the Pirashvili conditions) to HL_{p-1}(g,r*)=0, and then via duality and Proposition 3.2 to H^{p-1}(g,r)=0. Immediately after Proposition 3.1, the authors insert the note: 'This result seems to be incorrect. Therefore the proof of Proposition 3.3 is not valid (04.09.2019).' This is an explicit, in-manuscript admission that the proof of Proposition 3.3 is invalid. Since Proposition 3.3 is the only step that yields H^p(g,r)=0 for all p under the Pirashvili conditions, the rest of the paper cannot rely on it.","section":"Section 3, Proposition 3.3"},{"comment":"In the proof of Theorem 4.1, after showing that H^1(g,r) is nonzero for a non-semisimple algebra satisfying the Pirashvili conditions, the final contradiction is obtained by invoking Proposition 3.3. Because Proposition 3.3 is not established (see the previous comment and the authors' own note), the contradiction has no foundation. The structural results used earlier, such as Proposition 3.7 and the non-vanishing argument for H^1(g,g), only constrain the radical to be nilpotent and non-abelian; they do not alone rule out the existence of a non-semisimple Lie algebra satisfying the Pirashvili conditions. Thus Theorem 4.1 is not proven in this manuscript.","section":"Section 4, Theorem 4.1"},{"comment":"In the proof of the converse direction of Proposition 3.4, the authors write 'For all ℓ ≥ 3 we obtain H^3(s) ⊗ H^{ℓ-3}(r,r)^s = 0. Since s is semisimple, we have H^3(s) ≠ 0', and from this conclude H^{ℓ-3}(r,r)^s = 0. This step fails when the Levi factor s is zero, i.e. when g is solvable, because H^3(0) = 0. The statement of the proposition may still hold in that case by a simpler argument, but the proof as written has a gap. This issue is secondary to the failure of Proposition 3.3, but it is a concrete defect in the exposition.","section":"Section 3, Proposition 3.4"}],"minor_comments":[{"comment":"The note 'This result seems to be incorrect...' is a self-correction marker that should not appear in a submitted version; it must be resolved either by proving a corrected version, removing the dependence on Proposition 3.1, or withdrawing the claim.","section":"Section 3, after Proposition 3.1"},{"comment":"There are several typographical issues: 'Poicar´e' should be 'Poincaré', 'Propo sition' has an extra space, and 'Pirashivili' appears in the arXiv title while 'Pirashvili' is used elsewhere. These should be fixed in revision.","section":"Throughout"},{"comment":"The statement of Proposition 3.2 is fine, but the proof says the homology part is 'analogous' without details; given that the paper's main argument later uses the homology version implicitly, a short indication of the proof would improve clarity.","section":"Section 3, Proposition 3.2"}],"recommendation":"reject","confidential_remarks":"The manuscript is an early version that includes an explicit dated note acknowledging that a key result used in the main proof is incorrect and that the proof of Proposition 3.3 is invalid. Since the main theorem depends entirely on that step, the paper cannot be accepted in its current form. The auxiliary results might form the basis of a future paper, but the central claim is unsupported. I would not invite a revision unless the authors can supply a valid proof of Proposition 3.1 or an alternative route to Proposition 3.3."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is simple: the paper announces a proof of Pirashvili's weak conjecture, and the proof is not there. The authors attach a dated note to Proposition 3.1 saying the result 'seems to be incorrect' and that the proof of Proposition 3.3 is therefore not valid. Proposition 3.3 is the engine of Theorem 4.1: it is what produces the vanishing H^p(g,r)=0 that the final contradiction relies on. Without it, the argument in Section 4 does not go through. So the central claim should be withdrawn or explicitly re-labeled as conditional.\n\nThat said, the paper is not without value. Lemmas 3.5 and 3.6 — perfect Lie algebras have nilpotent radical, and sympathetic Lie algebras with abelian radical are semisimple — are clean and believable, and Proposition 3.8 (a nonzero abelian radical forces H^1(g,g)≠0) is a useful contribution to the study of complete and sympathetic algebras. The Hochschild-Serre computations are standard but handled carefully. Section 2's translation of the Pirashvili conditions into adjoint cohomology vanishing is a helpful survey.\n\nThe soft spots, in order of severity: the main theorem is unsupported; the abstract overstates what is proved, since it does not mention the invalidation; and the paper's own internal note leaves the reader with no clue which parts of Section 3 and 4 survive if Proposition 3.1 is false. The authors should either repair the bridge or reframe the paper around the sympathetic-algebra results, which may be the lasting part. Incidentally, the self-citation to [9] is not a problem by itself; the problem is that the cited result is now suspect.\n\nThis is a paper that a serious referee should see, not because the main theorem is in any state to be accepted, but because the auxiliary results are worth checking and the conjecture is important enough to keep working on. Send it to a referee who knows Leibniz cohomology and let them sort out what is salvageable. But as written, it should be rejected.","headline":"The advertised proof of Pirashvili's conjecture collapses on a step the authors themselves mark invalid; the auxiliary sympathetic-algebra results are solid enough to warrant a referee, but this version should not be accepted.","tokens_in":8240,"tokens_out":2518,"would_cite":false,"duration_ms":24268,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17A32","17B56"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims to settle Pirashhvili's weak conjecture: a nontrivial complex Lie algebra is semisimple exactly when its Leibniz homology vanishes.","keywords":["Lie algebra cohomology","Leibniz homology","Pirashhvili conjecture","semisimple Lie algebra","sympathetic Lie algebra","perfect Lie algebra","complete Lie algebra","adjoint cohomology"],"falsifier":"For a concrete low-dimensional perfect Lie algebra with a non-abelian nilpotent radical, compute both sides of the isomorphism $\\mathrm{HL}_p(\\mathfrak{g})\\cong \\mathrm{HL}_{p-1}(\\mathfrak{g},\\mathfrak{r}^*)$ for small $p$; if they differ, Proposition 3.1 is false and the printed proof cannot be repaired by this route.","tokens_in":7291,"feed_emoji":"📐","tokens_out":6730,"duration_ms":57496,"temperature":0.7,"pith_summary":"The paper claims to prove Pirashhvili's weak conjecture: a nontrivial finite-dimensional complex Lie algebra is semisimple if and only if all its Leibniz homology groups with trivial coefficients vanish. One direction was already known; the paper's contribution is the converse. Assuming a non-semisimple algebra satisfied the vanishing conditions, the authors show its solvable radical would have to be nilpotent and non-abelian, then construct a nonzero first cohomology class with coefficients in the radical, contradicting an earlier vanishing result. If the proof stands, the equivalence gives a clean homological characterization of semisimplicity. The printed route depends on a cited isomorphism that the authors themselves annotate as seemingly incorrect.","feed_headline":"Leibniz homology zero means the Lie algebra is semisimple","feed_subtitle":"The paper proves Pirashhvili's weak conjecture for finite-dimensional complex Lie algebras.","key_machinery":"The central machinery is the Hochschild–Serre spectral sequence, applied to the Levi decomposition $\\mathfrak{g}=\\mathfrak{s}\\ltimes\\mathfrak{r}$ and then to the abelian ideal $Z(\\mathfrak{n})$. The key identity identifies an invariant-cohomology piece with $\\mathrm{Hom}_{\\mathfrak{s}}(Z(\\mathfrak{n}),Z(\\mathfrak{n}))$, which contains the identity map, guaranteeing a nonzero $H^1(\\mathfrak{g},\\mathfrak{r})$. A cited isomorphism from [9], $\\mathrm{HL}_p(\\mathfrak{g})\\cong \\mathrm{HL}_{p-1}(\\mathfrak{g},\\mathfrak{r}^*)$, translates vanishing Leibniz homology into vanishing Lie algebra cohomology with coefficients in the radical, and that translation is the load-bearing bridge of the proof.","core_discovery":"On its own terms, the paper establishes Theorem 4.1: every nontrivial finite-dimensional complex Lie algebra satisfying the Pirashhvili conditions—vanishing of all Leibniz homology groups $\\mathrm{HL}_p(\\mathfrak{g})=0$ for $p\\ge 1$, equivalently vanishing adjoint cohomology $H^p(\\mathfrak{g},\\mathfrak{g})=0$ with $\\mathfrak{g}$ perfect—is semisimple. The argument starts from the Levi decomposition $\\mathfrak{g}=\\mathfrak{s}\\ltimes\\mathfrak{r}$ and shows the radical $\\mathfrak{r}$ must be nilpotent and non-abelian; then the center $Z(\\mathfrak{n})$ of the nilradical is a nonzero abelian ideal, and the identity map on $Z(\\mathfrak{n})$ yields a nonzero $\\mathfrak{s}$-invariant element in $H^1(Z(\\mathfrak{n}),\\mathfrak{n})$, which by the Hochschild–Serre spectral sequence survives as a nonzero class in $H^1(\\mathfrak{g},\\mathfrak{r})$, contradicting $H^p(\\mathfrak{g},\\mathfrak{r})=0$ for all $p$. The paper notes that the isomorphism $\\mathrm{HL}_p(\\mathfrak{g})\\cong \\mathrm{HL}_{p-1}(\\mathfrak{g},\\mathfrak{r}^*)$ used to obtain $H^p(\\mathfrak{g},\\mathfrak{r})=0$ comes from [9] and 'seems to be incorrect,' which would invalidate the proof of Proposition 3.3.","pith_inferences":["If the flagged isomorphism in Proposition 3.1 is genuinely false, the theorem may still be true but needs a different route to $H^p(\\mathfrak{g},\\mathfrak{r})=0$; checking that isomorphism on a low-dimensional perfect Lie algebra with nontrivial radical would settle the point.","The obstruction constructed from the identity map on $Z(\\mathfrak{n})$ suggests a general principle: any nonzero abelian characteristic ideal of the radical obstructs vanishing adjoint cohomology of a perfect Lie algebra.","The same spectral-sequence argument may yield an analogous characterization over any algebraically closed field of characteristic zero, not just the complex numbers."],"forward_implications":["Pirashhvili's weak conjecture holds: for finite-dimensional complex Lie algebras, vanishing Leibniz homology with trivial coefficients characterizes semisimplicity.","A perfect Lie algebra with all adjoint cohomology groups $H^p(\\mathfrak{g},\\mathfrak{g})=0$ must be semisimple.","Sympathetic Lie algebras—perfect and complete—with vanishing adjoint cohomology are exactly the semisimple ones.","Non-perfect algebras can have vanishing adjoint cohomology without being semisimple, as the affine example shows; perfectness is the needed extra condition."],"supporting_citations":[{"why":"Supplies Proposition 3.1 and Theorem 2.6, the isomorphism and vanishing equivalences that carry the translation from Leibniz to Lie algebra cohomology.","marker":"[9]"},{"why":"Formulates the conjecture and proves the equivalence of the vanishing conditions in Proposition 2.5.","marker":"[15]"},{"why":"Provides the Hochschild–Serre spectral sequence used throughout for the cohomology of the semidirect product.","marker":"[11]"},{"why":"Establishes that semisimple Lie algebras satisfy the Pirashhvili conditions, the known direction of the conjecture.","marker":"[14]"},{"why":"Supplies Carles's vanishing result for complete Lie algebras with abelian nilradical, used for background and the affine counterexample family.","marker":"[6]"}],"fun_headline_variants":["Perfect Lie algebras with zero adjoint cohomology are semisimple","Zero adjoint cohomology forces semisimplicity in perfect Lie algebras","Semisimple for perfect Lie algebras when adjoint cohomology vanishes","When adjoint cohomology vanishes, perfect Lie algebras are semisimple"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on a cited formula that turns vanishing Leibniz homology into vanishing cohomology with coefficients in the largest solvable ideal; the paper's own note says that formula 'seems to be incorrect,' which breaks the final step as written.","fun_headline_variants_meta":{"raw":{"variants":["Perfect Lie algebras with zero adjoint cohomology are semisimple","Zero adjoint cohomology forces semisimplicity in perfect Lie algebras","Semisimple for perfect Lie algebras when adjoint cohomology vanishes","When adjoint cohomology vanishes, perfect Lie algebras are semisimple"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001033,"raw_usage":{"total_tokens":4347,"prompt_tokens":939,"completion_tokens":3408,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":555,"completion_tokens_details":{"reasoning_tokens":3327}},"tokens_in":555,"tokens_out":3408,"duration_ms":23791,"temperature":1.0,"reasoning_tokens":3327,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:58:57.582793+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete low-dimensional perfect Lie algebra with a non-abelian nilpotent radical, compute both sides of the isomorphism $\\mathrm{HL}_p(\\mathfrak{g})\\cong \\mathrm{HL}_{p-1}(\\mathfrak{g},\\mathfrak{r}^*)$ for small $p$; if they differ, Proposition 3.1 is false and the printed proof cannot be repaired by this route.","supporting_citations":[{"cited_title":"Pirashvili: On Leibniz homology","cited_arxiv_id":null,"evidence_quote":"Establishes that semisimple Lie algebras satisfy the Pirashhvili conditions, the known direction of the conjecture."},{"cited_title":"Carles: Sur la structure des alg` ebres de Lie rigides","cited_arxiv_id":null,"evidence_quote":"Supplies Carles's vanishing result for complete Lie algebras with abelian nilradical, used for background and the affine counterexample family."}],"review_version":1}