Pith. sign in

REVIEW 4 minor 26 references

Haantjes torsion and integrability: a proof of Bolsinov-Konyaev-Matveev's conjecture

T0 review · 0 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Integrability of a gl-regular hydrodynamic system forces the Haantjes tensor of the operator and all its symmetries to vanish locally.

desk verdict A genuine proof of the BKM conjecture, with the main argument sound; the only real risk is the borrowed natural-connection theorem from the authors' unpublished preprint. read the letter →

arxiv 2607.29373 v1 pith:JWKLN2V6 submitted 2026-07-31 math-ph math.DGmath.MP

Alessandro Arsie , Paolo Lorenzoni This is my paper · ORCID
classification math-phmath.DGmath.MP MSC 37K1035L6053B05
keywords Haantjestensortorsionintegrablesystemsofhydrodynamictypegl-regularoperatorcyclicpairnaturalconnectionNijenhuisF-manifolds
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

The paper proves a conjecture about quasilinear first-order systems of PDEs, u_t = A(u) u_x, where A is a (1,1)-tensor field. The conjecture says that if such a system has n mutually commuting symmetries K_1, ..., K_n that are linearly independent at every point, and if some constant-coefficient linear combination A = Σ c_i K_i is gl-regular at a point p (meaning the pair (A,v) admits a cyclic vector near p), then the Haantjes tensor of A — and of every K_i — vanishes in a neighbourhood of p. The proof builds a canonical torsionless connection associated with the cyclic pair (A,v), converts flow commutativity into the covariant-linear condition d∇K_j = 0, and then shows that the remaining algebraic part of the Nijenhuis tensor at any point is of a form that is annihilated by the operation producing the Haantjes tensor. As a corollary, at an algebraically generic point every integrable gl-regular system is locally a regular F-system, i.e., of the form u_t = X(u) ◦ u_x with a commutative associative product satisfying the Hertling-Manin conditions.

What carries the argument

The natural torsionless connection ∇^{(A,v)} of a cyclic pair (A,v), characterized by ∇v = 0 and d_∇A = 0, together with the algebraic cancellation lemma stating that any tensor N(Y,Z) = Σ_k (α_k(Y) A^k Z − α_k(Z) A^k Y) has zero Haantjes-ization. The connection converts the flow-commutativity condition into the pointwise equation d_∇B = 0, and the cancellation lemma removes the coefficient part of d_∇K̃, leaving the Nijenhuis tensor at a point to be of a form that cannot contribute to the Haantjes tensor.

What would settle it

Generate, with a computer algebra system, a 3×3 operator field A that is gl-regular at a point p and a commuting operator field B with B_p = A^2_p such that the flows of A and B satisfy the commutativity criterion of Theorem 3.3 (e.g., by imposing [A,B]=0 and d_∇B=0 for the natural connection). Compute the Haantjes tensor H_A at p. The paper's Corollary 4.11 predicts H_A|_p = 0; a single nonzero component would refute the proof.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 4.3: let K_1,...,K_n be mutual symmetries on an n-manifold, linearly independent at each point, and let A = Σ c_i K_i be a constant-coefficient linear combination that is gl-regular at p. Then H_A, the Haantjes tensor of A, vanishes on an open neighbourhood of p. Since each K_j is shown to be a polynomial in A with functional coefficients, the vanishing of H_A implies the vanishing of H_{K_j} (Proposition 4.2), proving the conjecture. The proof relies on the existence, for any cyclic pair (A,v), of a unique torsionless connection ∇ with ∇v = 0 and d_∇ A = 0. For such a connection, commutativity of the flows of A and B is equivalent to [A,B]=0 and d_∇ B=0. The

Load-bearing premise

The proof leans on Theorem 3.1 and Theorem 3.3 — the existence and uniqueness of the natural torsionless connection for a cyclic pair and the equivalence between commuting flows and [A,B]=0 with d_∇B=0 — which are taken from the authors' earlier paper and only summarized; if those theorems fail outside the F-manifold setting, the argument collapses.

Editorial extensions

If this is right

  • The gl-regular integrability conjecture is proven: for integrable gl-regular hydrodynamic systems, H_A = 0 and H_{K_i} = 0 on the region of gl-regularity.
  • In a neighbourhood of an algebraically generic point, integrable gl-regular systems of hydrodynamic type coincide with regular F-systems satisfying integrability condition (1.7).
  • The local statement is strong: gl-regularity of A at a single point p implies vanishing of H_A on a whole neighbourhood of p; if the gl-regular locus is dense, vanishing holds on all of M.
  • In dimension 2 the conjecture is vacuous because every operator field is Haantjes; the proof handles n ≥ 3 and does not require algebraic genericity or diagonalizability.

Reading between the lines

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

  • The natural connection of a cyclic pair may be useful beyond this proof: it gives a canonical way to test integrability of a single operator field by checking d_∇B = 0 for candidate symmetries.
  • The algebraic cancellation Lemma 4.9 suggests a broader principle: any operator field whose Nijenhuis tensor at a point is spanned by polynomial-commutator terms automatically has zero Haantjes tensor there; this might provide a route to classify non-gl-regular cases by approximation.
  • Corollary 4.11 isolates a surprisingly minimal test: if a symmetry B of A satisfies B_p = A^2_p at a gl-regular point p, then H_A vanishes at p; running this check on random pairs might reveal whether the phenomenon is specific to mutual-symmetry systems or holds more generally.
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

0 major / 4 minor

Summary. The paper proves the Bolsinov-Konyaev-Matveev conjecture: if K_1,...,K_n are mutual symmetries of hydrodynamic-type systems, linearly independent at every point, and A = Σ c_i K_i is gl-regular at a point p, then the Haantjes tensor of A vanishes on a neighbourhood of p, and consequently the Haantjes tensor of every K_i vanishes there. The proof is built around a natural torsionless connection ∇ for a cyclic pair (A,v) (Theorem 3.1), a flow-commutation criterion (Theorem 3.3), and a sequence of algebraic lemmas: Lemma 4.1 upgrades commutativity of the K_i to d∇K_j=0, Lemma 4.10 selects at each point a constant-coefficient combination K̃ with K̃_p=A_p^2, and Lemma 4.9 shows that the resulting expression for (N_A)_p has vanishing Haantjes-ization. The n=2 case is handled separately. With the companion paper [8], this yields the structural conclusion that integrable gl-regular systems are regular F-systems near algebraically generic points.

Significance. If correct, the paper settles a conjecture that had previously been verified only in semisimple and special Jordan-block cases. The proof is clear and largely self-contained: the cyclic-vector mechanism (Lemma 2.5) and the algebraic cancellation lemma (Lemma 4.9) are elegant and presented in full detail. I specifically examined the stress-test concern about Theorem 3.1, which is imported from the authors' unpublished preprint [3]. In the present paper, the proof of Theorem 3.1 is summarized but is actually complete: it reduces the problem to the linear map M_A, proves injectivity by the same argument as Lemma 2.5, and uses the dimension count to conclude surjectivity. Thus the dependence on [3] is not a load-bearing gap in the argument. The flow-commutation criterion of Theorem 3.3 is likewise supported by the published reference [19] and by a proof sketch. The result is significant for the theory of integrable hydrodynamic-type systems.

minor comments (4)
  1. [Section 3, Theorem 3.1] The proof is introduced as 'the proof given in [3]' and 'summarized'. Although the summary is mathematically complete, the journal version should either present it as a full proof in this paper or give a published/DOI reference for [3]; otherwise a reader without access to the preprint may not recognize that the 'algebraic fact' is fully established here.
  2. [Concluding comments and Section 2] There are several typos: 'existance' and 'existnce' in the concluding comments; 'complemnent' in the paragraph after Theorem 3.3 (should be 'complement'); 'complement' is used elsewhere where 'complement' is meant. These should be corrected.
  3. [Section 4, Observation 4.4] The proof is dense; a short sentence explaining that N_A, as a vector-valued 2-form on a 2-manifold, is necessarily of the form ω⊗N, would improve readability. The pointwise identities for ω(AY,AZ) and ω(AY,Z)+ω(Y,AZ) are correct but could be stated as such.
  4. [References] References [3] and [7] appear as arXiv preprints / journal articles dated 2026. Please update their publication status (accepted, DOI, or arXiv version) at the proof stage, since the text relies on [3] for two structural theorems.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 4.3 is an algebraic pointwise proof; imported self-results are independent and reproduced in the paper.

full rationale

The derivation chain is transparent and non-circular. Lemma 4.1 uses the natural connection's defining property d∇A=0 (Theorem 3.1) and the flow-commutation criterion (3.2) from [19] to obtain d∇K_j=0 for each symmetry. Theorem 4.3 then fixes q, chooses constants a_j with Ktilde_q=A_q^2, and since d∇Ktilde=0, formula (4.5) forces N_A|_q to equal the sum over k of (dc_k(q)(Y) A^k Z - dc_k(q)(Z) A^k Y). Lemma 4.9, a direct algebraic cancellation identity, shows the Haantjes-ization of any such N vanishes, so H_A|_q=0. No step assumes H_A=0 or the conjecture. The existence/uniqueness of the natural connection (Theorem 3.1) and the flow versus d∇B equivalence (Theorem 3.3) are cited to the authors' earlier preprint [3], but the paper reproduces the core arguments; the assumptions in [3] (cyclic F-manifolds) do not include the target Haantjes conclusion, and no parameter is fitted to data. The remaining imported criterion from [19] is an external published result. Concerns about the completeness of the [3] proof are correctness or reproducibility risks, not circularity. Accordingly, the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof is a pure mathematical derivation with no fitted constants and no new postulated entities. It relies on standard linear algebra plus several external theorems, some from the authors' own earlier work, used as black boxes. The counts above reflect those dependencies.

assumptions (5)
  • domain assumption Flows of u_t = P u_x and u_τ = Q u_x commute iff [P,Q]=0 and (d∇P)(Y,QZ)+(d∇P)(Z,QY)=(d∇Q)(Y,PZ)+(d∇Q)(Z,PY).
    Imported from [19, Lemma 3.3 / Proposition 3.4]; used in Lemma 4.1 and Theorem 3.3; not proved in this paper.
  • domain assumption For a cyclic pair (A,v) there exists a unique torsionless connection ∇ with ∇v=0 and d∇A=0.
    Theorem 3.1 imported from the authors' prior paper [3]; proof sketched here but full details deferred.
  • domain assumption For a cyclic pair (A,v), [A,B]=0 and d∇B=0 iff the flows of A and B commute; and then B is a polynomial in A.
    Theorem 3.3 imported from [3]; crucial for representing symmetries as polynomials in A.
  • domain assumption If H_A=0, then every functional polynomial in A has vanishing Haantjes torsion.
    Used in Proposition 4.2 to pass from H_A=0 to H_Kj=0; cited to [5] and [8, Prop 2.3], not proved in this paper.
  • standard math Structure theorem for finitely generated modules over a PID and rational canonical form of matrices.
    Used in Lemma 2.2 to prove equivalence of gl-regularity, minimal polynomial degree n, and existence of a cyclic vector.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Haantjes torsion and integrability: a proof of Bolsinov-Konyaev-Matveev's conjecture." pith.science (2026). https://pith.science/paper/JWKLN2V6

@misc{pith2026260729373,
  author       = {Pith},
  title        = {Pith review of: Haantjes torsion and integrability: a proof of Bolsinov-Konyaev-Matveev's conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JWKLN2V6}},
  note         = {Machine review of arXiv:2607.29373}
}
abstract

We prove a conjecture formulated by Bolsinov, Konyaev and Matveev in [7] stating that, integrability of a system of hydrodynamic type ${\bf u}_t=A({\bf u}) {\bf u}_x$ with $\mathfrak{gl}$-regular $A$ at a point $p$ implies the vanishing of the Haantjes tensor of $A$ and of all its symmetries in a neighborhood of $p$. As a consequence, leveraging on the result of [8], in a neighbourhood of an algebraically generic point, any integrable system of hydrodynamic type defined by a $\mathfrak{gl}$-regular operator field can be written as ${\bf u}_t=X({\bf u})\circ {\bf u}_x$ where $X$ is a vector field and $\circ$ is a commutative associative product satisfying Hertling-Manin conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 3 linked inside Pith

  1. [7]

    Bolsinov, A.Y

    A.V. Bolsinov, A.Y. Konyaev and V.S. Matveev,Existence of Riemann invariants for integrable systems of hydrodynamic type, Physica D, Vol495, article: 13504 (2026)

    2026

  2. [3]

    Arsie and P

    A. Arsie and P. Lorenzoni,Cyclic F-manifolds, distinguished connections and inte- grability, arXiv:2605.25277

    arXiv

  3. [5]

    O. I. Bogoyavlenskiˇ ı,General algebraic identities for the Nijenhuis and Haantjes ten- sors, Izv. Ross. Akad. Nauk Ser. Mat.68(2004), no. 6, 71–84; English transl. in Izv. Math.68(2004), no. 6, 1129–1141. 18 ALESSANDRO ARSIE AND PAOLO LORENZONI

    2004

  4. [8]

    Bolsinov, A.Y

    A.V. Bolsinov, A.Y. Konyaev and V.S. Matveev,Local description of gl-regular Haan- tjes operators, arXiv:2606.04985

    arXiv

  5. [19]

    Lorenzoni, S

    P. Lorenzoni, S. Perletti, and K. van Gemst,Integrable Hierarchies and F-Manifolds with Compatible Connection, Comm. Math. Phys. Volume 406, article number 91, (2025)

    2025

  6. [1]

    Aluffi,Algebra: Chapter 0, Graduate Studies in Mathematics104, AMS, 2016 (second printing)

    P. Aluffi,Algebra: Chapter 0, Graduate Studies in Mathematics104, AMS, 2016 (second printing)

    2016

  7. [2]

    Arsie and P

    A. Arsie and P. Lorenzoni,F-manifolds with eventual identities, bidifferential calculus and twisted Lenard-Magri chains, International Mathematics Research Notices, Vol. 2013, No. 17, 3931–3976

    2013

  8. [4]

    Lorenzoni, S

    A.Arsie, P. Lorenzoni, S. Perletti, and K. van Gemst,Gibbons-Tsarev type systems and Eventual identities, arXiv:2605.13505

    arXiv

Show all 26 references
  1. [6]

    Bolsinov, A.Y

    A.V. Bolsinov, A.Y. Konyaev and V.S. Matveev,Stäckel problem for non-diagonal Killing tensors: Yano-Patterson lifts, algebra of strong symmetries and quadratic in momenta integrals, arXiv:2512.17609

  2. [9]

    David and C

    L. David and C. Hertling,Regular F-manifolds: initial conditions and Frobenius met- rics, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVII (2017), 1121–1152

    2017

  3. [10]

    Ferapontov and D.G

    E.V. Ferapontov and D.G. MarshallDifferential-geometric approach to the integra- bility of hydrodynamic chains: the Haantjes tensor, Mathematische Annalen, 339(1), 61-99 (2007)

    2007

  4. [11]

    Ferapontov and M.V

    E. Ferapontov and M.V. Pavlov,Kinetic equation for soliton gas: integrable reduc- tions, Journal of Nonlinear Science, 32(2), 26 (2022)

    2022

  5. [12]

    Frölicher, A

    A. Frölicher, A. Nijenhuis,Theory of vector-valued differential forms, Proc. Ned. Acad. Wetensch. Ser. A 59 (1956), 338–359

    1956

  6. [13]

    Haantjes,OnX n−1-forming sets of eigenvectors, Indagationes Mathematicae 17 (1955), no

    A. Haantjes,OnX n−1-forming sets of eigenvectors, Indagationes Mathematicae 17 (1955), no. 2, 158–162

    1955

  7. [14]

    Hertling and Yu

    C. Hertling and Yu. Manin,Weak Frobenius Manifolds, International Mathematics Research Notices, Vol. 1999, No. 6

    1999

  8. [15]

    Kodama and B

    Y. Kodama and B. Konopelchenko,Confluence of hypergeometric functions and in- tegrable hydrodynamic type systems, TMF 188, No. 3, 429–455 (2016)

    2016

  9. [16]

    Konopelchenko and G

    B.G. Konopelchenko and G. Ortenzi,Parabolic regularization of the gradient catas- trophes for the Burgers–Hopf equation and Jordan chain, J. Phys. A: Math. Theor. 51 (2019)

    2019

  10. [17]

    Lorenzoni and F

    P. Lorenzoni and F. Magri,A cohomological construction of integrable hierarchies of hydrodynamic type, International Mathematics Research Notices, Volume 2005, No. 34, 2005, 2087–2100

    2005

  11. [18]

    Lorenzoni, M

    P. Lorenzoni, M. Pedroni, A. Raimondo,F-manifolds and integrable systems of hy- drodynamic type, Archivum Mathematicum 47 (2011), 163–180

    2011

  12. [20]

    Lorenzoni, S

    P. Lorenzoni, S. Perletti, and K. van Gemst,The generalised hodograph method for non-diagonalisable integrable systems of hydrodynamic type, Nonlinearity 36 (2026)

    2026

  13. [21]

    Lorenzoni, S

    P. Lorenzoni, S. Perletti, and K. van Gemst,Semi-Hamiltonian Properties of a Class of Non-diagonalisable Systems of Hydrodynamic Type, Comm. Math. Phys. Volume 407, article number 46, (2026)

    2026

  14. [22]

    RomanAdvanced Linear Algebra, Third Edition, Graduate Texts in Mathematics, Springer (2008)

    S. RomanAdvanced Linear Algebra, Third Edition, Graduate Texts in Mathematics, Springer (2008)

    2008

  15. [23]

    Sévennec,Géométrie des systèmes hyperboliques de lois de conservation, Mémoires de la Société Mathématique de France, 2e série, tome 56 (1994)

    B. Sévennec,Géométrie des systèmes hyperboliques de lois de conservation, Mémoires de la Société Mathématique de France, 2e série, tome 56 (1994)

    1994

  16. [24]

    S. P. Tsarev,The geometry of Hamiltonian systems of hydrodynamic type. The gen- eralized hodograph method, Math. USSR Izvestiya37(1991), 397–419

    1991

  17. [25]

    Vergallo and E

    P. Vergallo and E. Ferapontov,Hamiltonian systems of Jordan block type: delta- functional reductions of the kinetic equation for soliton gas, Journal of Mathematical Physics, 64(10) (2023)

    2023

  18. [26]

    Xue and E

    L. Xue and E. Ferapontov,Quasilinear systems of Jordan block type and the mKP hierarchy, Journal of Physics A: Mathematical and Theoretical, 53(20) (2020). HAANTJES TORSION AND INTEGRABILITY: A PROOF OF BKM CONJECTURE 19 Department of Mathematics and Statistics, The University...

    2020

Pith tools

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