REVIEW 2 major objections 4 minor 8 references
On generalized plastic structures
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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$.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (2)
- [4.1, Prop. 4.3] 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.
- [4.1, Remark 4.4] 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.
minor comments (4)
- [2.1, Cor. 2.3] 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.
- [4.2, Prop. 4.5] 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.
- [3.1] 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.
- [References] Reference [8] is listed as "Vanzura, J."; the correct spelling is Vanžura.
Circularity Check
No circularity: the paper's constructions and integrability criteria are obtained by direct algebraic computation from explicitly stated assumptions; self-citations are background pointers only.
full rationale
The central derivation is Prop 3.5: from two g-symmetric commuting tensors J1,J2 satisfying (J1+J2)^3-(J1+J2)+I=0, the paper defines the block operator Ĵ in (6) and verifies Ĵ^3-Ĵ-I=0. The verification uses only the stated assumptions and the block algebra; the conclusion is not fed into the assumptions. No parameter is fitted to a target output, and no 'prediction' is statistically forced. The integrability characterization in Prop 4.3 is obtained by expanding N^∇(Ĵ) in terms of N(J1) and a derivative condition on J2; even if the final simplification in the last displayed identity is computationally suspect (the second identity appears to reverse the order of J2 and ∇_XJ2), a computational slip is not an instance of circular reasoning. Prop 4.5 supplies a sufficient condition for ∇-integrability, again by explicit expansion and cancellation using the quasi-statistical condition. Self-citations to [1,2,3] appear only in the sentence 'For generalized quasi-statistical structures, see [1,2,3]' and are not used to justify any load-bearing step; the classical quasi-statistical definition is recalled from [5,7]. No uniqueness theorem is imported, and no ansatz is smuggled in via citation. The lack of non-trivial examples of the compatibility conditions is an existence concern, not circularity. The paper is therefore self-contained with respect to its claimed derivations.
Assumptions & free parameters
assumptions (4)
- domain assumption Smooth manifold M with pseudo-Riemannian metric g and affine connection ∇
- standard math Nijenhuis tensor N(J)=0 defines integrability of polynomial structures
- ad hoc to paper Compatibility conditions (i)-(iv) in Prop 3.5: J1,J2 commute, J1+J2 solves x^3-x+1=0, and both are g-symmetric
- ad hoc to paper For Prop 4.5, J is a polynomial structure with J^3-J+I=0, ∇J=0, and (M,g,∇) is quasi-statistical
invented entities (1)
-
generalized almost plastic structure
Cite this review
Pith. "Pith review of On generalized plastic structures." pith.science (2026). https://pith.science/paper/GCJN6PEP
@misc{pith2026241113074,
author = {Pith},
title = {Pith review of: On generalized plastic structures},
year = {2026},
howpublished = {\url{https://pith.science/paper/GCJN6PEP}},
note = {Machine review of arXiv:2411.13074}
}
abstract
We introduce the concept of generalized almost plastic structure, and, on a pseudo-Riemannian manifold endowed with two $(1,1)$-tensor fields satisfying some compatibility conditions, we construct a family of generalized almost plastic structures and characterize their integrability with respect to a given affine connection on the manifold.
Reference graph
Works this paper leans on
-
[1]
A.M. Blaga, A. Nannicini, Statistical structures, α-connections and generalized ge- ometry, Rivista di Matematica della Universita di Parma, 13(2), (20 22); Proceedings of the meeting Cohomology of Complex Manifolds and Special Structu res II, Levico Terme (Trento), July 5-9, 2021. On generalized plastic structures 13
work page 2021
-
[2]
A.M. Blaga, A. Nannicini, α-connections in generalized geometry, J. Geom. Phys., 165, 104225 (2021). https://doi.org/10.1016/j.geomphys.2021.1 04225
-
[3]
A.M. Blaga, A. Nannicini, Generalized quasi-statistical structure s, Bulletin of the Belgian Mathematical Society – Simon Stevin, 27(5), 731–754 (2 020). https://doi.org/10.36045/j.bbms.191023
-
[4]
C.E. Hretcanu, M. Crasmareanu, Metallic structures on Riemann ian manifolds, Rev. Un. Mat. Argentina 54(2), 15–27 (2013)
work page 2013
-
[5]
T. Kurose, Statistical Manifolds Admitting Torsion, Geometry an d Something; Fukuoka Univ.: Fukuoka-shi (In Japanese) (2007)
work page 2007
-
[6]
L. Marohni´ c, T. Strmeˇ cki, Plastic number: construction andapplications, Advanced research in scientific areas, international virtual conference, D ecember, 3-7: 1523– 1528 (2012)
work page 2012
-
[7]
H. 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. Joeri Van der Veken, Ignace Van de Woestyn e, Leopold Ver- straelen, Luc Vrancken, Shaker Verlag (2013)
work page 2013
-
[8]
Integrability conditions for polynomial structures
Vanzura, J. Integrability conditions for polynomial structures . Kodai Math. Sem. Rep. 27 (1-2), 42-50 (1976) Adara M. BLAGA, Department of Mathematics, Faculty of Mathematics and Computer Science, West University of Timi¸ soara, Bld. V. Pˆ arvan 4, 300223, Timi¸ soara, Romania, Email: adarablaga@yahoo.com Antonella NANNICINI, Department of Mathematics an...
work page 1976
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.