Pith. sign in

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 →

arxiv 2411.13074 v1 pith:GCJN6PEP submitted 2024-11-20 math.DG

classification math.DG MSC 53C1553B0553C50
keywords generalizedalmostplasticstructurenumbertangentbundleNijenhuistensorintegrabilityquasi-statisticalpolynomialmatrix
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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$.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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. [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.
  4. [References] Reference [8] is listed as "Vanzura, J."; the correct spelling is Vanžura.

Circularity Check

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 1 invented entities

No free parameters are fitted; the paper is purely structural. The axioms are standard objects plus the paper-specific compatibility conditions. The only invented entity is the new mathematical definition itself, which has no external empirical evidence.

assumptions (4)
  • domain assumption Smooth manifold M with pseudo-Riemannian metric g and affine connection ∇
    Standard objects used throughout; introduced in §2.2 and §3.1.
  • standard math Nijenhuis tensor N(J)=0 defines integrability of polynomial structures
    Used in Def 2.5 and Def 4.1, following Vanzura [8].
  • 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
    These are exactly the conditions needed to force Ĵ^3-Ĵ-I=0; no geometric interpretation or existence proof for non-trivial pairs is given.
  • 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
    Sufficient conditions stated before the integrability theorem; they are restrictive and no examples are supplied.
invented entities (1)
  • generalized almost plastic structure
    purpose: A polynomial structure on TM⊕T*M satisfying Ĵ^3-Ĵ-I=0.
    This is a definition introduced in Def 3.1; its value depends on whether useful examples and integrability theorems follow, and the paper provides mostly algebraic support.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 7 canonical work pages

  1. [1]

    Blaga, A

    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

  2. [2]

    Blaga, A

    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. [3]

    Blaga, A

    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. [4]

    Hretcanu, M

    C.E. Hretcanu, M. Crasmareanu, Metallic structures on Riemann ian manifolds, Rev. Un. Mat. Argentina 54(2), 15–27 (2013)

  5. [5]

    Kurose, Statistical Manifolds Admitting Torsion, Geometry an d Something; Fukuoka Univ.: Fukuoka-shi (In Japanese) (2007)

    T. Kurose, Statistical Manifolds Admitting Torsion, Geometry an d Something; Fukuoka Univ.: Fukuoka-shi (In Japanese) (2007)

  6. [6]

    Marohni´ c, T

    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)

  7. [7]

    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

    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)

  8. [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...

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.