{"id":"e7472042-0208-4801-92ba-b74b42abf818","arxiv_id":"1908.05060","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Riemann-Poisson Lie algebras are characterized by a Kähler Lie subalgebra plus two compatibility conditions, and classified up to dimension five.","lead":"The paper classifies Riemann-Poisson Lie groups, which are Lie groups equipped with a compatible left-invariant metric and Poisson structure. It gives a structural decomposition of their Lie algebras and an explicit list of all such objects up to dimension five.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1 condition (14) is false as printed: the second term repeats s1, forcing φ_{S⊥}=0 instead of the required symplectic skew-adjointness; the correct second argument is s2.","rationale":"The reader's weakest assumption concerned completeness of the low-dimensional classification and the undocumented Maple computation. That is a legitimate concern, but the more load-bearing issue lies in the central theorem itself: condition (14) of Theorem 3.1 is not just misprinted in an innocuous way; as written it eliminates all nonzero cross-actions, contradicting the paper's own examples and Problem 1. The proof of Theorem 3.1 supplies the correct condition, so the intended characterization is likely sound once the typo is fixed. Because the theorem is the paper's main structural claim, the manuscript should not be accepted without this correction and without making the classification verification reproducible. This supports the reader's CONDITIONAL verdict, though for a more central reason than the one emphasized in the reader's weakest assumption.","tokens_in":25460,"tokens_out":22291,"duration_ms":218323,"concrete_test":"Substitute u = #α ∈ S⊥, s1 = r#β, s2 = r#γ into formula (17). The surviving terms are ωr(s2, φ_{S⊥}(u)(s1)) − ωr(s1, φ_{S⊥}(u)(s2)) = 0, not the printed sum; hence the second argument must be s2. Then test a listed solution with nonzero φp, e.g. Proposition 4.7(i) with μ1 ≠ 0, by computing φ_{S⊥}(u) explicitly: it satisfies the corrected identity and fails the printed equation unless φ_{S⊥}(u) = 0. If the derivation of (17) is reproduced, condition (14) must be amended before the theorem can be used as stated.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central characterization is stated as: (g,r,ρ) is Riemann-Poisson iff S is a Kähler Lie subalgebra and conditions (13), (14) hold. Condition (14) as printed is ωr(φ_{S⊥}(u)(s1), s2) + ωr(s1, φ_{S⊥}(u)(s1)) = 0. Because ωr is alternating, ωr(s1, φ_{S⊥}(u)(s1)) = 0 identically, so (14) reduces to ωr(φ_{S⊥}(u)(s1), s2) = 0 for all s1,s2, i.e. φ_{S⊥}(u) = 0. This would force every Riemann-Poisson Lie algebra to have trivial cross-action of S⊥ on S, contradicting the paper's own construction: Problem 1 allows nonzero φp : p → sp(h,ω), and Propositions 4.2-4.7 and Tables 4-9 contain many examples with nonzero φp. The proof, however, derives the correct skew-adjointness condition ωr(s2, φ_{S⊥}(u)(s1)) = ωr(s1, φ_{S⊥}(u)(s2)), equivalently ωr(φ_{S⊥}(u)(s1), s2) + ωr(s1, φ_{S⊥}(u)(s2)) = 0. Thus the theorem as stated is internally inconsistent with the classification it is meant to support. A similar repeated-index typo appears in equation (10). The intended statement is recoverable from the proof, but the printed central claim needs correction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines Riemann-Poisson Lie groups as Lie groups equipped with a left-invariant Riemannian metric and a left-invariant Poisson tensor satisfying the compatibility condition Dπ=0. It gives an infinitesimal characterization (Proposition 2.1) in terms of a Lie algebra g, an element r∈∧²g satisfying the classical Yang-Baxter equation, and a Euclidean product ρ. The main structural result (Theorem 3.1) states that (g,r,ρ) is Riemann-Poisson exactly when S=Im r# is a Kähler Lie subalgebra for the induced metric and symplectic form, and two compatibility conditions on the cross-actions hold. From this it formulates a construction problem (Problem 1) and solves it in low dimensions, presenting tables of Riemann-Poisson Lie algebras in dimensions 3, 4, and 5. It also proves that every even-dimensional flat Riemannian Lie group admits a left-invariant Kähler form.","tokens_in":25725,"tokens_out":5672,"duration_ms":50232,"significance":"If the corrected version of Theorem 3.1 holds, the paper gives a clean reduction of a combined metric-Poisson condition to a Kähler Lie subalgebra plus controlled orthogonal cross-terms, which is a useful structural tool. The construction method in Section 4 is systematic, and the extensive tables of low-dimensional examples are valuable for testing conjectures and for constructing further examples via discrete quotients. The direct proofs of Propositions 2.2, 3.1, and the derivation of Theorem 3.1 are checkable and do not rely on hidden assumptions. The paper is a solid contribution to the geometry of Riemann-Poisson manifolds, provided the displayed conditions (10) and (14) are corrected and the completeness of the classification is documented.","major_comments":[{"comment":"Condition (14) is printed with a repeated index: the second term is ωr(s1, φ_{S⊥}(u)(s1)), which vanishes identically because ωr is alternating, so the condition as printed reduces to ωr(φ_{S⊥}(u)(s1), s2)=0 for all s1,s2, forcing φ_{S⊥}(u)=0. This contradicts the nonzero φp maps in Propositions 4.2–4.7 and Tables 4–9, so the theorem as stated is internally inconsistent with the classification it supports. The proof around Eq. (17) derives the correct skew-adjointness condition ωr(φ_{S⊥}(u)(s1), s2)+ωr(s1, φ_{S⊥}(u)(s2))=0, so the statement is recoverable but must be corrected. The same repeated-index error occurs in Eq. (10), where the Kähler condition should read ω(Auv, w)+ω(v, Auw)=0. Please fix both and re-check that no subsequent formula relies on the printed versions.","section":"Theorem 3.1, Eq. (14), and Section 2, Eq. (10)"},{"comment":"The paper claims to give all Riemann-Poisson Lie algebras up to dimension 5, but the completeness of Tables 5–9 rests on a Maple computation that is not documented and on the classification of 3-dimensional Euclidean Lie algebras from [10]. Table 7's final row explicitly defers to [10] with 'There are many cases', so it is unclear how the listed families exhaust the solutions of Problem 1 in that case. Please provide the Maple code or a human-readable proof of exhaustiveness, and explain how the deferred cases are accounted for. Without this, the completeness claim in the abstract is not fully supported.","section":"Section 4, cases (c53)–(c55), Tables 5–9"}],"minor_comments":[{"comment":"The claim 'we must have ξ = 0 in order to have the Jacobi identity' is stated without proof; please justify it or spell out the Jacobi identity check.","section":"Proposition 4.6, proof of case 3"},{"comment":"The sentence 'This theorem unknown to our knowledge can be used to build examples of Riemann-Poisson Lie algebras' appears garbled; please rewrite it, for example as 'The following theorem, apparently not previously known, can be used to build examples...'.","section":"Before Theorem 4.1"},{"comment":"There are numerous typos and OCR artifacts (e.g., 'let invariant' for 'left invariant', 'differential', 'sekw-symmetric', 'h /nelementg'), and the paper would benefit from a careful proofreading pass.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The repeated-index typos in Eqs. (10) and (14) are almost certainly transcription errors, since the proof of Theorem 3.1 uses the correct conditions; nevertheless they affect the printed statement of the main theorem and must be fixed. The classification completeness issue could be addressed by making the Maple computation available as supplementary material. Overall the paper is a solid contribution to the subject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: the paper delivers a genuinely useful structural characterization of Riemann-Poisson Lie algebras together with a low-dimensional catalog, but the central theorem has a typo that as printed makes it false. The fix is small and recoverable from the proof, so the paper is worth refereeing rather than dismissing.\n\nThe setup is clean. Problem 1 reduces the construction to a Kähler Lie subalgebra h and a Euclidean complement p with actions φh, φp and a cocycle μ, satisfying Jacobi-like equations. Theorem 3.1's intended statement—S is a Kähler Lie subalgebra and the two cross-actions are skew-adjoint in the appropriate senses—is the right reduction. The proof goes directly through Propositions 2.1 and 2.2, and the classification tables in Section 4 are the first complete-looking list up to dimension 5. Spot checks of the bracket equations are internally consistent.\n\nThe soft spots are real but proportionate. Condition (14) as printed is ωr(φ_{S⊥}(u)(s1), s2) + ωr(s1, φ_{S⊥}(u)(s1)) = 0. Since ωr is alternating, the second term is identically zero, so (14) forces φ_{S⊥}(u) = 0. That contradicts the paper's own examples in Propositions 4.2–4.7 and Tables 4–9, where φp is nonzero. The proof, however, derives the correct skew-adjointness with s2 in the second slot, so it is a typo, not a conceptual error. The same repeated-index slip appears in equation (10), where the second Auv should be Avw. These are the kind of typos a careful referee will catch and the authors can fix in a day.\n\nTwo smaller issues. The completeness of Tables 5–9 rests on a Maple computation that is not documented; the authors should post the code or state exactly which cases were verified symbolically. And one row of Table 7 just says \"There are many cases, see [10]\", which is a hole in the claimed catalog unless the authors delimit it. The paper also does not explicitly state what is new relative to Boucetta's earlier [5]; the tables and Theorem 3.1 go further, but the boundary should be drawn.\n\nOverall: the structural theorem is sound after the typo fix, the classification is a useful resource, and the construction method is a good tool for building examples. I would send this to peer review with instructions to correct (14) and (10), document the Maple computation, and close or clearly mark the Table 7 gap.","headline":"Useful structural theorem and low-dimensional catalog, but Theorem 3.1 as printed has a repeated-index typo that makes condition (14) force the cross-action to zero, contradicting the paper's own examples.","tokens_in":26324,"tokens_out":2688,"would_cite":false,"duration_ms":25666,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D17","53C30","53C55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Riemann-Poisson Lie algebras are precisely Kähler Lie subalgebras with two skew-symmetric cross-actions, and this characterization yields the complete list through dimension 5.","keywords":["Riemann-Poisson Lie groups","Riemann-Poisson Lie algebras","Kähler Lie algebras","classical Yang-Baxter equation","symplectic Lie subalgebras","left-invariant metrics","low-dimensional classification","Euclidean Lie algebras"],"falsifier":"Independently enumerate all solutions of Problem 1 in dimension 5 with $h$ a two-dimensional abelian Kähler subalgebra and $\\varphi_h=0$ (the cases covered by Tables 7–8), and compare the resulting brackets with the listed families; a single bracket satisfying (19) that does not appear in the tables would disprove the claimed completeness. A second check would verify that every family listed in Tables 5–9 does satisfy the original equations (i) and (ii) of Proposition 2.1.","tokens_in":25209,"feed_emoji":"📐","tokens_out":14539,"duration_ms":133107,"temperature":0.7,"pith_summary":"This paper studies Riemann-Poisson Lie groups: Lie groups carrying a left-invariant Riemannian metric and a left-invariant Poisson tensor that are compatible in the sense introduced in [2], a condition weaker than requiring the Levi-Civita connection to kill the Poisson tensor. The authors aim to describe the infinitesimal counterparts, Riemann-Poisson Lie algebras, in structural terms. The main theorem says that such an algebra is exactly a Kähler Lie subalgebra $S$ (a Lie subalgebra with Euclidean metric and a nondegenerate 2-form parallel for its Levi-Civita product), together with an orthogonal complement $S^\\perp$ whose mutual actions satisfy two explicit skew-symmetry equations. This structural description is then turned into a construction recipe, and the recipe is used to list all Riemann-Poisson Lie algebras up to dimension $5$.","feed_headline":"Kähler cores classify Riemann-Poisson Lie algebras","feed_subtitle":"A single theorem splits the compatibility condition into two skew-symmetry equations, yielding all examples through dimension 5.","key_machinery":"The load-bearing object is the splitting $\\mathfrak{g}=S\\oplus S^\\perp$ determined by $r$, where $S=\\operatorname{Im}r^\\#$ carries the nondegenerate form $\\omega_r$ and the induced metric. The proof transports the contravariant Levi-Civita connection on $(\\mathfrak{g}^*,\\rho^*)$ through the isomorphisms $r^\\#$ and the metric duality $\\#$ to obtain the Levi-Civita connection of $(S,\\rho|_S)$; under this transport the compatibility condition $D\\pi=0$ becomes exactly the Kähler condition on $S$ together with equations (13) and (14). The maps $\\varphi_S$ and $\\varphi_{S^\\perp}$ are what the theorem uses to package the cross-action of each factor on the other.","core_discovery":"The central discovery is Theorem 3.1. Let $\\mathfrak{g}$ be a real Lie algebra, $r\\in\\wedge^2\\mathfrak{g}$, and $\\rho$ a Euclidean metric on $\\mathfrak{g}$. Put $S=\\operatorname{Im}r^\\#$ and let $\\omega_r$ be the nondegenerate 2-form on $S$ induced by $r$. The theorem states that $(\\mathfrak{g},r,\\rho)$ is a Riemann-Poisson Lie algebra if and only if $(S,\\rho|_S,\\omega_r)$ is a Kähler Lie subalgebra and, with $\\varphi_S(s)=\\operatorname{pr}_{S^\\perp}\\circ\\operatorname{ad}_s$ and $\\varphi_{S^\\perp}(u)=\\operatorname{pr}_S\\circ\\operatorname{ad}_u$, the identities $\\rho(\\varphi_S(s)(u),v)+\\rho(u,\\varphi_S(s)(v))=0$ for $s\\in S$, $u,v\\in S^\\perp$ and $\\omega_r(\\varphi_{S^\\perp}(u)(s_1),s_2)+\\omega_r(s_1,\\varphi_{S^\\perp}(u)(s_2))=0$ for $u\\in S^\\perp$, $s_1,s_2\\in S$ hold. In words, the complement acts on $S$ preserving the Kähler form, while $S$ acts on the complement skew-symmetrically. The paper repackages this as a construction scheme and applies it, using the classification of three-dimensional Euclidean Lie algebras and of four-dimensional Kähler Lie algebras, to give the complete list of Riemann-Poisson Lie algebras up to dimension 5.","pith_inferences":["A natural extension not pursued in the paper is to read Theorem 3.1 as an extension theory: fix a Kähler Lie algebra $h$ and a Euclidean space $p$, and classify the pairs of actions satisfying (13)–(14) with the Jacobi equations; the low-dimensional tables suggest this obstruction is governed by the cocycle condition (20).","The same algebraic splitting should make sense for pseudo-Riemannian Poisson Lie algebras with an indefinite metric; the expected statement would replace 'Kähler' by 'pseudo-Kähler' and keep equations (13)–(14) verbatim, which is a testable extension.","Since the theorem is infinitesimal, it suggests a local normal-form picture for constant-rank Riemann-Poisson manifolds: neighbourhoods should look like a Kähler leaf factor with a transverse action obeying the same skew-symmetry identities, refining the foliation result quoted as Theorem 1.1 at the level of germs."],"forward_implications":["Every Riemann-Poisson Lie algebra can be written as $\\mathfrak{g}=h\\oplus p$ with $h$ a Kähler Lie algebra, $p$ a Euclidean vector space, and data $\\varphi_h,\\varphi_p,\\mu,[\\ ,\\ ]_p$ satisfying the Jacobi identities (19); the theorem reduces all examples to this algebraic problem.","The rank of a left-invariant Poisson tensor on a Riemann-Poisson Lie group is always even, because $S=\\operatorname{Im}r^\\#$ is symplectic.","The classification tables give all Riemann-Poisson Lie algebras in dimensions 3, 4, and 5; in dimension 3 there are exactly the two families displayed in Table 1.","Any Lie group integrating such an algebra becomes a Riemann-Poisson Lie group, and passing to a quotient by any discrete subgroup produces a Riemann-Poisson manifold.","Every even-dimensional flat Riemannian Lie group carries a left-invariant Kähler form, so flat Lie groups provide a large source of examples."],"supporting_citations":[{"why":"Introduces the compatibility condition $D\\pi=0$ that defines Riemann-Poisson manifolds and supplies the infinitesimal equations used in Proposition 2.1.","marker":"[2]"},{"why":"Provides the classification of three-dimensional Euclidean Lie algebras used to enumerate the five-dimensional examples in Tables 5–8.","marker":"[10]"},{"why":"Supplies the four-dimensional Kähler Lie algebras and their symplectic derivations used in Table 3 and in case (c43).","marker":"[11]"},{"why":"Supplies the structure theorem for flat left-invariant metrics used in Theorem 4.1.","marker":"[12]"},{"why":"Provides the refined flatness criterion for left-invariant metrics invoked in the proof of Theorem 4.1.","marker":"[1]"}],"fun_headline_variants":["Riemann-Poisson algebras split via Kähler cores","Kähler subalgebra criterion for Riemann-Poisson Lie algebras","Theorem splits Riemann-Poisson condition into Kähler piece","All Riemann-Poisson Lie algebras up to dimension 5 listed","Kähler cores give complete classification through dimension 5"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The completeness of the dimension-5 list rests on the completeness of the quoted classification of three-dimensional Euclidean Lie algebras [10] and on the computer-algebra solution of the cocycle condition (20); if either missed a case, the tables would omit some Riemann-Poisson Lie algebras.","fun_headline_variants_meta":{"raw":{"variants":["Riemann-Poisson algebras split via Kähler cores","Kähler subalgebra criterion for Riemann-Poisson Lie algebras","Theorem splits Riemann-Poisson condition into Kähler piece","All Riemann-Poisson Lie algebras up to dimension 5 listed","Kähler cores give complete classification through dimension 5"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00101,"raw_usage":{"total_tokens":4270,"prompt_tokens":951,"completion_tokens":3319,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":3232}},"tokens_in":567,"tokens_out":3319,"duration_ms":20720,"temperature":1.0,"reasoning_tokens":3232,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:24:37.392404+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently enumerate all solutions of Problem 1 in dimension 5 with $h$ a two-dimensional abelian Kähler subalgebra and $\\varphi_h=0$ (the cases covered by Tables 7–8), and compare the resulting brackets with the listed families; a single bracket satisfying (19) that does not appear in the tables would disprove the claimed completeness. A second check would verify that every family listed in Tables 5–9 does satisfy the original equations (i) and (ii) of Proposition 2.1.","supporting_citations":[{"cited_title":"Boucetta, Compatibilit´ e des structures pseudo-rie manniennes et des structures de Poisson, C.R","cited_arxiv_id":null,"evidence_quote":"Introduces the compatibility condition $D\\pi=0$ that defines Riemann-Poisson manifolds and supplies the infinitesimal equations used in Proposition 2.1."},{"cited_title":"Y ., Lee, J","cited_arxiv_id":null,"evidence_quote":"Provides the classification of three-dimensional Euclidean Lie algebras used to enumerate the five-dimensional examples in Tables 5–8."},{"cited_title":"Ovando, Invariant pseudo-k¨ ahler metrics in dimension four, Journal of Lie Theory V olume 16 (2006) 371-391","cited_arxiv_id":null,"evidence_quote":"Supplies the four-dimensional Kähler Lie algebras and their symplectic derivations used in Table 3 and in case (c43)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the structure theorem for flat left-invariant metrics used in Theorem 4.1."},{"cited_title":"Ait Haddou, M","cited_arxiv_id":null,"evidence_quote":"Provides the refined flatness criterion for left-invariant metrics invoked in the proof of Theorem 4.1."}],"review_version":1}