{"id":"90dcfdce-7c9e-4fa4-aca5-b6df3e6d6c88","arxiv_id":"2411.13074","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines generalized almost plastic structures on TM⊕T*M, constructs a family from two compatible tensor fields, and gives integrability conditions.","lead":"Mathematicians define a new 'generalized plastic structure' on the bundle of vectors and covectors over a manifold, built from two tensor fields that satisfy a cubic equation related to the plastic number, and give conditions for integrability. The paper is a structural contribution to generalized geometry, offering a template for future examples and applications.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop 4.3 mis-evaluates the covector term; integrability condition (7) should be ∇_{J1X}J2=(∇_XJ2)∘J2, not J2∘(∇_XJ2), so the stated characterization is false as written.","rationale":"The reader's weakest assumption was that no non-trivial pairs (J1,J2) satisfying Prop 3.5's conditions may exist. This does not land: scalar pairs aI, bI with a+b=α (α the real root of x^3-x+1) satisfy (i)-(iv), and non-scalar examples exist by taking any g-symmetric T and setting J1=T+cI, J2=αI-T. Thus the constructed family is non-empty and the existence premise is secure. The genuinely load-bearing concern lies in Prop 4.3: the equivalence between ∇-integrability of diag(J1,J2^*) and condition (7) rests on an incorrect evaluation of J2^*(∇_XJ2^*). Recomputing with the standard dual connection gives η((∇_XJ2)(J2Y)), not η(J2(∇_XJ2)Y). Hence the correct covector condition is ∇_{J1X}J2=(∇_XJ2)∘J2; (7) is neither necessary nor sufficient. Since Prop 4.3 is one of the two central results highlighted by the reader, this is a real mathematical error, not a mere gap. However, the algebraic construction in Prop 3.5 is correct and the integrability criterion appears fixable by replacing (7) with the corrected condition, so the appropriate action remains conditional acceptance after revision, matching the reader's verdict level. The grounds change from 'missing examples' to 'incorrect theorem statement', but the final recommendation is unchanged.","tokens_in":8038,"tokens_out":24943,"duration_ms":216789,"concrete_test":"Independently evaluate ((J2^*(∇_XJ2^*))η)(Y) using (∇_Xη)(Z)=∇_X(η(Z))-η(∇_XZ); if it equals η((∇_XJ2)(J2Y)), then the second identity in Prop 4.3's proof is wrong. Then set M=R^2 with flat ∇, J1=ρI, and J2(x,y) the plastic family from Prop 2.2(2) with a11=x, a22=α-x, a21=1 (α the real root of x^3-x+1). Compute the T*M component of N^∇(Ĵ) at a point where ∂_xJ2 does not commute with J2; the expression vanishes only under the corrected condition, not under (7).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main integrability criterion for the diagonal generalized structure is incorrect. In the proof of Prop 4.3, the second identity ((J2^*(∇_XJ2^*))(η))(Y)=η(J2(∇_XJ2)Y) is false. With the standard dual connection (∇_Xη)(Z)=∇_X(η(Z))-η(∇_XZ), one obtains ((J2^*(∇_XJ2^*))η)(Y)=η((∇_XJ2)(J2Y)). Therefore the covector part of N^∇(Ĵ) vanishes iff ∇_{J1X}J2=(∇_XJ2)∘J2 for all X, not the condition (7) stated. Since plastic matrices with non-real spectrum (Prop 2.2(2)) have derivatives that need not commute with them, the two conditions differ; a direct 2x2 example shows the stated (7) is neither necessary nor sufficient. Remark 4.4 also introduces torsion terms that are absent from the bracket [·,·]∇ defined in §3.1, further indicating a systematic error in this section.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces generalized almost plastic structures on the generalized tangent bundle T M ⊕ T*M, constructs several block-type examples from pairs of (1,1)-tensor fields, and claims to characterize their integrability with respect to a given affine connection. The central algebraic construction in Prop. 3.5 builds a generalized structure Ĵ from two commuting g-symmetric tensors J1, J2 whose sum satisfies the dual cubic equation, and the paper also states a duality between the equations x^3-x-1=0 and x^3-x+1=0. A separate construction in Prop. 4.5 uses a polynomial structure J with J^3-J+I=0 and quasi-statistical data to produce a ∇-integrable generalized plastic structure.","tokens_in":8340,"tokens_out":45789,"duration_ms":382328,"significance":"If the main results were correct, the paper would give a genuinely new family of polynomial structures on generalized tangent bundles with an explicit cubic equation, together with a duality between two plastic-type equations. The construction in Prop. 3.5 is parameter-free and is verified by explicit expansion; moreover, the compatibility conditions are not vacuous, since for any g-symmetric K one may take J1 = aI + K and J2 = (α-a)I - K with α^3-α+1=0. However, the advertised integrability characterization for the diagonal structure, Prop. 4.3, is incorrect as stated, so the central claim of the paper is not presently established.","major_comments":[{"comment":"The second displayed identity in the proof is false. With the standard dual connection one has ((J2^*(∇_XJ2^*))(η))(Y) = η((∇_XJ2)(J2Y)), not η(J2(∇_XJ2)Y). Consequently the covector part of N^∇(Ĵ) vanishes iff ∇_{J1X}J2 = (∇_XJ2)∘J2 for all X, whereas Eq. (7) states ∇_{J1X}J2 = J2(∇_XJ2). For a plastic matrix with non-real spectrum its derivative need not commute with the matrix, so the two conditions are not equivalent; a direct 2×2 example shows that (7) is neither necessary nor sufficient. Since this proposition is the paper's advertised integrability characterization, it must be corrected.","section":"4.1, Prop. 4.3"},{"comment":"The first displayed condition in this remark is not a consequence of (7). In (7), N(J1) is the ordinary Nijenhuis tensor defined with the Lie bracket, not the torsion expression displayed here; a relation of the displayed type would also contain terms involving ∇J, which are absent. In addition, the second condition inherits the erroneous order from Prop. 4.3 and should be ∇_{JX}J = (∇_XJ)∘J under the corrected statement. The remark should be rewritten after the fix.","section":"4.1, Remark 4.4"}],"minor_comments":[{"comment":"The explicit matrix C in Corollary 2.3 is not correct in general. For example, if A is already the companion matrix B, the proposed C = [[1,α],[0,1]] does not satisfy C^{-1}AC = B. A correct choice is C = [[1,a11-α],[0,a21]] in the notation of the proof. This does not affect the later generalized-geometry constructions, but the statement should be repaired.","section":"2.1, Cor. 2.3"},{"comment":"The proof is a very long direct computation with several unmatched parentheses, for instance `-g^{-1}((∇_{JX}g)(I-J^2)Z))`, and with expressions such as `(∇_Xg)Y` whose arguments are not always clear. I did not find a fatal error in the stated result, but the presentation should be cleaned up and the cancellations using the quasi-statistical condition should be indicated.","section":"4.2, Prop. 4.5"},{"comment":"The symbol g is used both for the metric and for the musical isomorphism ♭_g, which makes formulas such as `g(∇_X(g^{-1}(β)))` confusing. It would be clearer to write ♭_g or g^♭ explicitly.","section":"3.1"},{"comment":"Reference [8] is listed as \"Vanzura, J.\"; the correct spelling is Vanžura.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The error in Prop. 4.3 is localized and fixable; it is the kind of mistake that can be corrected without changing the overall scope of the paper. I recommend major revision rather than rejection. The authors should also correct Corollary 2.3 and rewrite Remark 4.4 after fixing Prop. 4.3. The construction in Prop. 3.5 appears sound, and the paper is within the scope of the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the block-operator construction in Prop 3.5: under commutativity, g-symmetry, and the cubic condition on J1+J2, the matrix (6) does satisfy Ĵ^3−Ĵ−I=0. That is a real, checkable extension of polynomial structures to TM⊕T*M, and the duality remark connecting x^3−x−1=0 and x^3−x+1=0 is a nice observation. The algebra in Prop 3.5 checks out.\n\nThe soft spot is in Section 4. The proof of Prop 4.3 contains a wrong identity: ((J2*(∇_X J2*))(η))(Y) equals η((∇_X J2)(J2 Y)), not η(J2(∇_X J2)Y). The covector part of N^∇ thus vanishes iff ∇_{J1X}J2 = (∇_X J2)∘J2, not the condition (7) written. For non-scalar J2 these differ, so the stated characterization is false. The same section brings in torsion terms (Remark 4.4 and Prop 4.5) that are absent from the bracket [·,·]_∇ defined in §3.1, leaving the reader guessing what bracket is actually being used. Prop 4.5 is an unexpanded direct computation and, given the preceding error, not something I trust without a full independent check.\n\nA secondary, lesser issue: the paper gives no non-trivial example of a pair (J1,J2) satisfying the conditions of Prop 3.5. Such pairs exist (any scalar decomposition of αI with α the real root of x^3−x+1=0 works, and there may be non-scalar examples in the indefinite case), but the lack of even one explicit example weakens the presentation.\n\nWho is this for? Specialists in polynomial structures and generalized geometry. The construction is novel and likely salvageable, but the central integrability result is wrong as stated, so the paper is not acceptable in current form. It deserves a serious referee—the error is concrete and fixable, and the construction is worth engaging with—but the referee should require a corrected Prop 4.3, a consistent bracket/torsion setup, and at least one example before publication.","headline":"New block construction in Prop 3.5 is real and checkable, but the paper's main integrability theorem (Prop 4.3) is false because it miscomputes the dual connection, and the section also smuggles in torsion terms never defined for the bracket.","tokens_in":8779,"tokens_out":6638,"would_cite":false,"duration_ms":55951,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C15","53B05","53C50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs generalized almost plastic structures on the tangent-plus-cotangent bundle of a pseudo-Riemannian manifold from two compatible tensor fields, and gives explicit Nijenhuis-type integrability criteria.","keywords":["generalized almost plastic structure","plastic number","generalized tangent bundle","Nijenhuis tensor","integrability","quasi-statistical structure","polynomial structure","plastic matrix"],"falsifier":"Take any pseudo-Riemannian manifold with such a pair and compute $N^\\nabla(\\hat J)$ for the diagonal structure; if it vanishes in a case where $N(J_1)\\neq 0$ or $\\nabla_{J_1X}J_2\\neq J_2(\\nabla_X J_2)$, then Proposition 4.3's 'if and only if' fails. Alternatively, search for a pair $J_1,J_2$ satisfying the Proposition 3.5 compatibility conditions that do not force $\\hat J^3-\\hat J-I=0$; finding one would falsify the construction.","tokens_in":7815,"feed_emoji":"📐","tokens_out":6365,"duration_ms":54343,"temperature":0.7,"pith_summary":"This paper introduces generalized almost plastic structures: operators on the generalized tangent bundle $TM\\oplus T^*M$ satisfying the cubic equation $\\hat{J}^3-\\hat{J}-I=0$. It constructs a family of them from a pseudo-Riemannian metric $g$ and two $(1,1)$-tensor fields $J_1,J_2$ that commute, are $g$-symmetric, and whose sum obeys the companion equation $(J_1+J_2)^3-(J_1+J_2)+I=0$. The block operator $\\hat J$ built from these data is shown to be generalized almost plastic, and diagonal versions are proven $\\nabla$-integrable exactly when $N(J_1)=0$ and $\\nabla_{J_1X}J_2=J_2(\\nabla_X J_2)$ hold. This matters because it generates new examples of polynomial structures in generalized geometry and exposes a duality between the two plastic equations $x^3-x-1=0$ and $x^3-x+1=0$.","feed_headline":"Two compatible tensors build new plastic structures","feed_subtitle":"A block operator on the tangent-plus-cotangent bundle satisfies J^3-J-I=0, and integrability reduces to two explicit equations.","key_machinery":"The load-bearing object is the block operator $\\hat J$ of equation (6), built from $g$ and two commuting $g$-symmetric endomorphisms. An almost plastic structure is a $(1,1)$-tensor $J$ satisfying $J^3-J-I=0$, and the plastic number $\\rho$ is its positive root. The algebraic identity $\\hat J^3-\\hat J-I=0$ follows from the compatibility condition $(J_1+J_2)^3-(J_1+J_2)+I=0$; the off-diagonal entry $(I-J_1J_2-J_1^2-J_2^2)g^{-1}$ is chosen to make the cubic identity collapse. The second machine is the Nijenhuis tensor $N^\\nabla(\\hat J)$ relative to an affine connection, whose vanishing defines $\\nabla$-integrability; the paper computes it in components for the diagonal and off-diagonal cases to extract the two explicit conditions in Proposition 4.3 and the sufficient condition in Proposition 4.5 via quasi-statistical structures.","core_discovery":"The central claim is that the compatibility conditions on $J_1,J_2$ force the block matrix $\\hat J = \\begin{pmatrix} J_1 & (I-J_1J_2-J_1^2-J_2^2)g^{-1} \\\\ g & J_2^* \\end{pmatrix}$ to satisfy $\\hat J^3-\\hat J-I=0$, making it a generalized almost plastic structure on $TM\\oplus T^*M$. When the off-diagonal blocks are zero, $\\hat J=\\mathrm{diag}(J_1,J_2^*)$ is $\\nabla$-integrable precisely when $N(J_1)=0$ and $\\nabla_{J_1X}J_2=J_2(\\nabla_X J_2)$ hold. For the simplified structure $\\hat J = \\begin{pmatrix} J & (I-J^2)g^{-1} \\\\ g & 0 \\end{pmatrix}$ with $J^3-J+I=0$, the paper proves $\\nabla$-integrability under the hypotheses that $J$ is integrable, $\\nabla J=0$, and $(g,\\nabla)$ is a quasi-statistical structure. A secondary claim is the duality between the two cubic equations, in that the construction with $J_1+J_2$ plastic yields $\\hat J^3-\\hat J+I=0$ when $(J_1+J_2)^3-(J_1+J_2)+I=0$.","pith_inferences":["My inference: the same block construction should adapt to other polynomial structures, such as nylon structures $J^3-pJ-qI=0$, by replacing the off-diagonal block with the appropriate remainder polynomial, yielding generalized nylon structures with analogous integrability criteria.","My inference: the explicitness of the integrability conditions makes them testable on Lie groups or homogeneous spaces where left-invariant $J_1,J_2$ reduce the problem to linear algebra; a nontrivial example of such a pair would settle the existence question the paper leaves open.","My inference: the duality between $x^3-x-1$ and $x^3-x+1$ might reflect a more general sign-reversal symmetry at the level of generalized structures, under which $\\hat J$ and $-\\hat J$ or a related transform interchanges the two equations; the paper does not develop this."],"forward_implications":["If the compatibility conditions hold, the block operator (6) is a genuine generalized almost plastic structure, giving new examples on any pseudo-Riemannian manifold carrying such a pair.","For the diagonal generalized structure, $\\nabla$-integrability is exactly the vanishing of the Nijenhuis tensor $N(J_1)$ plus the mixed condition $\\nabla_{J_1X}J_2=J_2(\\nabla_X J_2)$, a concrete test that can be checked coordinatewise.","When $J_1=J_2=J$, the mixed condition reduces to $\\nabla_{JX}J=J(\\nabla_X J)$ for torsion-free connections, so a parallel $J$ suffices.","For the dual structure (8), integrability follows from integrable $J$, $\\nabla J=0$, and quasi-statistical $(g,\\nabla)$, bridging generalized plastic structures and statistical geometry.","The duality between the two cubic equations means a plastic sum $J_1+J_2$ produces an operator satisfying the dual equation, so the construction is symmetric under replacing the polynomial."],"supporting_citations":[{"why":"Supplies the plastic number and the architectural motivation behind the name plastic.","marker":"[6]"},{"why":"Defines integrability of polynomial structures via the vanishing Nijenhuis tensor, which the paper adopts.","marker":"[8]"},{"why":"Provides the metallic structures framework that the paper connects to almost plastic structures in Remark 2.9.","marker":"[4]"},{"why":"Introduces torsion-carrying statistical manifolds, one source of the quasi-statistical condition used in Proposition 4.5.","marker":"[5]"},{"why":"Defines quasi-statistical manifolds, used as hypotheses for the integrability of the simplified dual structure.","marker":"[7]"}],"fun_headline_variants":["Generalized plastic structures from two compatible tensors","Block operator satisfies cubic identity on bundle sum","Integrability of plastic structures pinned by two equations","Tensor pair creates plastic structures with J^3-J-I=0","Dual cubic equations link two plastic constructions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction needs a pair of commuting, $g$-symmetric tensor fields $J_1,J_2$ whose sum satisfies $(J_1+J_2)^3-(J_1+J_2)+I=0$, and the paper provides no non-trivial example; if no such pairs exist besides scalar multiples of the plastic number, the family is empty.","fun_headline_variants_meta":{"raw":{"variants":["Generalized plastic structures from two compatible tensors","Block operator satisfies cubic identity on bundle sum","Integrability of plastic structures pinned by two equations","Tensor pair creates plastic structures with J^3-J-I=0","Dual cubic equations link two plastic constructions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000309,"raw_usage":{"total_tokens":1729,"prompt_tokens":875,"completion_tokens":854,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":491,"completion_tokens_details":{"reasoning_tokens":781}},"tokens_in":491,"tokens_out":854,"duration_ms":9186,"temperature":1.0,"reasoning_tokens":781,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:52:37.094203+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any pseudo-Riemannian manifold with such a pair and compute $N^\\nabla(\\hat J)$ for the diagonal structure; if it vanishes in a case where $N(J_1)\\neq 0$ or $\\nabla_{J_1X}J_2\\neq J_2(\\nabla_X J_2)$, then Proposition 4.3's 'if and only if' fails. Alternatively, search for a pair $J_1,J_2$ satisfying the Proposition 3.5 compatibility conditions that do not force $\\hat J^3-\\hat J-I=0$; finding one would falsify the construction.","supporting_citations":[{"cited_title":"Marohni´ c, T","cited_arxiv_id":null,"evidence_quote":"Supplies the plastic number and the architectural motivation behind the name plastic."},{"cited_title":"Integrability conditions for polynomial structures","cited_arxiv_id":null,"evidence_quote":"Defines integrability of polynomial structures via the vanishing Nijenhuis tensor, which the paper adopts."},{"cited_title":"Hretcanu, M","cited_arxiv_id":null,"evidence_quote":"Provides the metallic structures framework that the paper connects to almost plastic structures in Remark 2.9."},{"cited_title":"Kurose, Statistical Manifolds Admitting Torsion, Geometry an d Something; Fukuoka Univ.: Fukuoka-shi (In Japanese) (2007)","cited_arxiv_id":null,"evidence_quote":"Introduces torsion-carrying statistical manifolds, one source of the quasi-statistical condition used in Proposition 4.5."},{"cited_title":"Matsuzoe, Quasi-statistical manifolds and geometry of affine distributions, Pure and Applied Differential Geometry 2012: In Memory of Franki Dillen, B erichte aus der Mathematik, ed","cited_arxiv_id":null,"evidence_quote":"Defines quasi-statistical manifolds, used as hypotheses for the integrability of the simplified dual structure."}],"review_version":1}