On the structure of homogeneous local Poisson brackets

Guido Carlet; Matteo Casati

REVIEW 2 major objections 3 minor 30 references

On the structure of homogeneous local Poisson brackets

T0 review · 2 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves that any homogeneous local Poisson bracket of degree $k$ yields $k$ explicitly built flat connections, generalizing the hydrodynamic case.

desk verdict Strong and likely important theorem, but the proof has a sign issue for even k that needs referee scrutiny before the k≥4 statements can be trusted. read the letter →

arxiv 2505.01138 v2 pith:SP2CCV2R submitted 2025-05-02 math.DG math-phmath.MPnlin.SI

Guido Carlet , Matteo Casati This is my paper · ORCID

classification math.DGmath-phmath.MPnlin.SI MSC 53D1737K1058A12

keywords Dubrovin-NovikovbrackethomogeneouslocalPoissonflatconnectionspectralsequencecohomologydifferentialpolynomialHamiltonianoperatorloopspace

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

Any Dubrovin–Novikov bracket of degree $k$ — a homogeneous local Poisson bracket on the loop space of a manifold — is a tangle of differential equations imposed by the Jacobi identity. This paper shows that out of the $k$ standard connections determined by the bracket's coefficients one can build $k$ new connections $\nabla^{[0]},\ldots,\nabla^{[k-1]}$ with constant binomial coefficients, and these are all flat. Before this result, flatness was known only for the first of these connections and for small degrees. Since flatness is the geometric content of the Jacobi identity, the theorem gives coordinate-free structural constraints that can anchor the classification and deformation theory of such brackets for arbitrary degree.

What carries the argument

The load-bearing object is the family of connections $\nabla^{[s]} = \sum_{t=0}^s (-1)^t\binom{k+s-t}{k}\binom{k}{t}\,\nabla^{(t)}$, formed by linearly combining the standard Christoffel-symbol connections of the bracket with constant coefficients. The proof mechanism is the spectral sequence of the differential complex $(\hat A, D_P)$ from [20,21]: the Jacobi identity is re-expressed as $D_P\circ D_P = 0$, and on the first page the degree-one part of the induced operator becomes the de Rham differential plus connection terms, so $d_1^2 = 0$ forces the curvature of each $\nabla^{[s]}$ to vanish.

What would settle it

Take any homogeneous local Poisson bracket of degree $k$ that satisfies the Jacobi identity, for instance the explicit $k=3$, $n=2$ example presented in the paper's Remark 18, and compute the Riemann curvature tensor of $\nabla^{[s]}$ for $s\ge 1$. The theorem predicts every component vanishes; if any component is nonzero, the claim is false. For $k\ge 4$, no explicit bracket is written down in the paper, so the first direct curvature computation on a concrete degree-4 example would also settle it.

Watch

Extended reading notes

Core claim

The paper's central claim is that for any homogeneous local Poisson bracket of degree $k$ with nondegenerate leading tensor $g^{ij}$, the $k$ connections $\nabla^{[s]} = \sum_{t=0}^s c^t_s \nabla^{(t)}$ on $TM$, with $c^t_s = (-1)^t\binom{k+s-t}{k}\binom{k}{t}$, have zero curvature. The proof encodes the Jacobi identity as the square-zero condition on a differential operator $D_P$ in the differential complex $(\hat A, D_P)$ of local multivector fields, then runs a spectral sequence. On the first page the relevant component of $D_P$, after the identification $\theta^k_i = g_{ij}du^j$, acts as the exterior derivative plus connection one-forms $\Gamma^l_{[s]ij} du^i\, \theta^s_j\, \partial/\partial\theta^s_l$. Because the operator squares to zero, each connection $\nabla^{[s]}$ is flat.

Load-bearing premise

The leading tensor $g^{ij}$ of the bracket must be invertible: the proof defines the standard connections through Christoffel symbols and identifies $\theta^k_i$ with $g_{ij}du^j$, both of which require this inverse. If $g$ is degenerate — which forces even dimension when $k$ is even — the statement and proof do not apply.

Editorial extensions

If this is right

For degree $k=2$, the new flat connection is $\nabla^{[1]} = 3\nabla^{(0)} - 2\nabla^{(1)}$, a fact already implicit in the known complete equations for degree 2 but not noticed there.
For degree $k=3$, both $\nabla^{[1]}$ and $\nabla^{[2]}$ are flat; one of them was already known, the other appears to be new.
For degree $k=4$, the theorem produces three previously unknown flat connections among the four standard ones.
Because the flat connections are defined in arbitrary coordinates for every $k$, the result supplies coordinate-free constraints from the Jacobi identity, the starting point for a systematic classification programme.

Reading between the lines

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

The coefficients $c^t_s$ form a lower-triangular matrix, so in the generic case the flat connections span a $(k-1)$-dimensional affine space; this pencil of flat connections may be the right geometric object for studying deformations and bihamiltonian structures.
The same spectral-sequence strategy may extend to degenerate $g$, where Christoffel symbols are undefined but flatness might survive as a limit on symplectic leaves of the bracket; this is a natural testable extension.
For multidimensional brackets or nonlocal Hamiltonian operators, an analogue of the flat connections could be extracted from the same cohomological setup, but the paper does not address those cases.
The proof identifies the first-page operator with the exterior derivative plus connection terms, suggesting the Poisson cohomology of these brackets decomposes into pieces governed by the flat connections, which would tie deformation theory to the geometry of $\nabla^{[s]}$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Quick take: this is a real structural result, and the spectral-sequence method is a genuine step forward. But the proof as written has a sign problem in Lemma 11 that affects even k, and until that's resolved the k=4 statements (and the general even-k case) should not be taken as established.

What's new: for every homogeneous local Poisson bracket of degree k with nondegenerate g, the authors construct k explicit linear combinations of the standard connections and claim all are flat. For k=1 this recovers Dubrovin–Novikov; for k=2 it recovers Ferguson; for k=3 it recovers Balandin–Potëmin and adds the flatness of ∇[2]. The uniform construction is new, and the low-degree survey is excellent. The coefficients c^t_s are explicit, and the theorem is not fitted to the data.

Where the soft spot is: the proof reduces to Lemma 11, which identifies the degree-one part of d1 with d + Σ Γ_{[s]}. When you substitute the defining relation (2.7) into (3.25), the connection term picks up a factor −(−1)^k. For odd k this matches d + Γ; for even k it gives d − Γ. The paper's Main Theorem claims flatness of ∇[s] (with +Γ). For k=2 the issue is masked because Corollary 13 independently proves +Γ flat, but for k=4 and all even k≥4 the argument as written proves flatness of −∇[s], not ∇[s]. Unless there is an extra sign in the identification θ^k_i = g_{ij}du^j that I'm missing, this is a genuine gap. The stress-test note makes this precise, and my own index check agrees with it. I would not desk-reject on this; the method is sound and the odd-k case is probably correct, but a referee needs to sort out the sign before the even-k statements can be trusted.

Bottom line: send to a serious referee, with a request to check Lemma 11 closely. This is a paper worth engaging, but not in its current form for even k.

Referee Report

2 major / 3 minor

Summary. The paper studies homogeneous local Poisson brackets of degree k on the loop space of a smooth manifold M, assuming that the leading coefficient g^{ij} is nondegenerate. The authors define k connections ∇[0],...,∇[k-1] as explicit constant-coefficient linear combinations of the standard connections ∇(s) associated to the bracket, and claim that all these connections are flat. The proof is based on the Liu-Zhang differential complex, a compatible filtration by deg u + deg θ, a spectral sequence computation of the first differential d1, and an identification θ^k_i = g_{ij}du^j that interprets the degree-one part of d1 as an exterior derivative plus connection terms. Low-degree cases k=1,2,3 and the case k=4 are discussed and compared with known results from the literature.

Significance. If correct, the main theorem is a clean, explicit structural statement for arbitrary degree, generalizing Doyle's flatness of ∇(0) and previously known low-degree results. The spectral sequence method and the concrete binomial coefficients are likely to be useful for the deformation theory and classification of homogeneous Poisson brackets. The paper is transparent about its nondegeneracy assumption and includes informative low-degree checks, including the apparently new k=4 flat connections. However, the central claim for even k rests on a sign-sensitive computation that is not correct as written, so the significance can only be assessed after that obstacle is resolved.

major comments (2)

[3, Lemma 11 (Eqs. (3.25) and (3.39))] There is a sign error in the identification of the connection term for even k. In (3.25), the third term has coefficient (-1)^k (k choose t)^{-1} c^t_s h^{ij}_{(t)l} θ^k_i θ^s_j ∂/∂θ^s_l. Substituting (2.7), Γ^j_(t)il = - (k choose t)^{-1} g_{ii'} h^{i'j}_{(t)l}, and du^i = g^{ia} θ^k_a, shows that the connection term in (3.39) has coefficient - c^t_s (k choose t)^{-1} h^{aj}_{(t)l} θ^k_a θ^s_j ∂/∂θ^s_l. Equality of the two requires (-1)^k = -1, i.e., k odd. For even k, the operator obtained from (3.25) is d - Σ_{s} Γ^j_[s]_il du^i θ^s_j ∂/∂θ^s_l, so the vanishing of its square proves flatness of -∇[s], not of ∇[s]. This affects precisely the case where g^{ij} is skew-symmetric and n must be even; the k=2 case is independently rescued by Corollary 13, but the general even-k statement is not proved by the argument as written. The authors should correct the sign either in (3.25), in the definition of c^t_s, or in the statement of the Main Theorem, and re-verify the derivation from (3.29) to (3.25).
[3, Lemma 11 (proof, Eqs. (3.25)-(3.39))] The proof of Lemma 11 is too terse for a step that is load-bearing. The assertion 'the first two terms in (3.25) are simply given by the exterior derivative d' is not justified: after the identification θ^k_i = g_{ij}du^j, the variable θ^k is no longer independent, and the term in (3.25) containing ∂/∂θ^k_l cannot literally be a term of the de Rham differential on Ω(U)[{θ^s_i, s<k}]. A direct calculation showing how this term is absorbed or vanishes under the identification, and that the remainder is exactly d + Σ Γ_[s] with the correct sign, is necessary. Without it, the central reduction from (3.25) to (3.39) is incomplete even after the sign issue is fixed.

minor comments (3)

[4.2, Theorem 12(c)] The notation ∇(0)_i g^{jl} in condition (c) is ambiguous: it should specify that g^{jl} is being treated as a (2,0)-tensor and that ∇(0) is extended to tensor fields in the standard way.
[4.2, Remark 16] The phrase 'differ by a factor −1/2' would be clearer as 'differ by the scalar factor −1/2', to avoid confusion with matrix-valued Christoffel symbols.
[3, Eq. (3.32)] The binomial identity (3.32) reuses the letter s both as a fixed parameter and as a summation index; renaming one of them would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: flatness of the connections is derived from the Jacobi identity via a spectral sequence, not assumed or fitted.

full rationale

The derivation chain is self-contained with respect to the claimed result. The connections \nabla[s] are defined as explicit constant-coefficient combinations (2.9)-(2.10) of the standard connections \nabla(t) from (2.7); their flatness is not imposed by construction. The Jacobi identity enters through the external Liu-Zhang result D_P^2=0 (Lemma 4, cited to [20,21]), which is standard and independent of the present authors. The spectral sequence computation produces the operator d1, and Lemma 10 derives the constants c^t_s from binomial identities rather than selecting them to make the theorem true. Lemma 11 then identifies d1^(1) with an exterior derivative plus a connection term, and the already established identity (d1^(1))^2=0 gives flatness of \nabla[s]. The coefficients c^t_s arise naturally in the expansion (3.25) and are not fit parameters, and no load-bearing step is justified only by a self-citation. The skeptic's reported sign issue in Lemma 11 for even k is a potential algebraic correctness concern, not a circularity: even if the sign were wrong, the argument would still be deriving a statement from the Jacobi identity rather than presupposing it. Accordingly, the appropriate circularity score is 0.

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

The central claim rests on the standard definition of a Dubrovin-Novikov bracket, the nondegeneracy of g, the Liu-Zhang cochain complex encoding the Jacobi identity, and standard spectral sequence machinery. No free parameters or new entities are introduced.

assumptions (5)

domain assumption The Poisson bracket is local and homogeneous of degree k (Dubrovin-Novikov bracket).
The theorem concerns this class; the proof uses the normal form (2.5) and the standard degree.
domain assumption The bivector g is nondegenerate.
Needed to define Christoffel symbols (2.7) and the identification in Lemma 11.
domain assumption The chart U is homeomorphic to a ball in R^n.
Used in the formal Poincaré lemma (Lemma 7) for the cohomology of D_{-1}; the result is local.
domain assumption Lemma 4 (Liu-Zhang): D_P squares to zero encodes the Jacobi identity.
This is the bridge from the Jacobi identity to the differential complex; it is a cited theorem, not proven in the paper.
domain assumption The coefficients Γ^l_(s)ij defined by (2.7) transform as Christoffel symbols.
Asserted in Section 2 so the standard connections are globally defined.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the structure of homogeneous local Poisson brackets." pith.science (2026). https://pith.science/paper/SP2CCV2R

@misc{pith2026250501138,
  author       = {Pith},
  title        = {Pith review of: On the structure of homogeneous local Poisson brackets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SP2CCV2R}},
  note         = {Machine review of arXiv:2505.01138}
}

abstract

We consider an arbitrary Dubrovin-Novikov bracket of degree $k$, namely a homogeneous degree $k$ local Poisson bracket on the loop space of a smooth manifold $M$ of dimension $n$, and show that $k$ connections, defined by explicit linear combinations with constant coefficients of the standard connections associated with the Poisson bracket, are flat.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

[2]

Poisson cohomology o f scalar multidimensional Dubrovin–Novikov brackets

Carlet, G.; Casati, M.; Shadrin, S. Poisson cohomology o f scalar multidimensional Dubrovin–Novikov brackets. Journal of Geometry and Physic s. 114 (2017) 404–419

work page 2017
[1]

V.; Pot¨ emin, G

Balandin, A. V.; Pot¨ emin, G. V. On nondegenerate diﬀere ntial-geometric Poisson brackets of third order. Russian Math. Surveys 56 (2001), no . 5, 976-977

work page 2001
[3]

Bihamiltonian coh omology of KdV brackets

Carlet, G.; Posthuma, H.; Shadrin, S. Bihamiltonian coh omology of KdV brackets. Commun. Math. Phys. 341 (2016), no. 3, 805–819

work page 2016
[4]

Deformations of se misimple Poisson pencils of hydrodynamic type are unobstructed

Carlet, G.; Posthuma, H.; Shadrin, S. Deformations of se misimple Poisson pencils of hydrodynamic type are unobstructed. J. Diﬀerential Geom. 1 08 (2018) 63–89

work page 2018
[5]

On deformations of multidimensional Poisson brackets of hydrodynamic type

Casati, M. On deformations of multidimensional Poisson brackets of hydrodynamic type. Commun. Math. Phys. 335 (2015), no. 2, 851–894

work page 2015
[6]

V.; Pavlov, M

Casati, M.; Ferapontov, E. V.; Pavlov, M. V.; Vitolo, R. F . On a class of third-order nonlocal Hamiltonian operators. J. Geom. Phys. 138 (2019) 2 85-296. ON THE STRUCTURE OF HOMOGENEOUS LOCAL POISSON BRACKETS 17

work page 2019
[7]

On deformation of Poisson manifolds of hydro- dynamic type

Degiovanni, L.; Magri, F.; Sciacca, V. On deformation of Poisson manifolds of hydro- dynamic type. Commun. Math. Phys 253 (2005), no. 1, 1–24

work page 2005
[8]

Diﬀerential geometric Poisson bivecto rs in one space variable

Doyle, Philip W. Diﬀerential geometric Poisson bivecto rs in one space variable. J. Math. Phys. 34 (1993), no. 4, 1314-1338

work page 1993

Show all 30 references

[9]

A.; Novikov, S

Dubrovin, B. A.; Novikov, S. P. Hamiltonian formalism of one-dimensional systems of the hydrodynamic type and the Bogolyubov-Whitham averagin g method. (Russian) Dokl. Akad. Nauk SSSR 270 (1983), no. 4, 781–785; translatio n in Soviet Math. Dokl., 27 (1983), 665–669

1983
[10]

A.; Novikov, S

Dubrovin, B. A.; Novikov, S. P. Poisson brackets of hydr odynamic type. (Russian) Dokl. Akad. Nauk SSSR 279 (1984), no. 2, 294–297; translatio n in Soviet Math. Dokl., 30 (1984), 651-654

1984
[11]

Normal forms of hierar chies of integrable PDEs, Frobenius manifolds and Gromov - Witten invariants

Dubrovin, Boris; Zhang, Youjin. Normal forms of hierar chies of integrable PDEs, Frobenius manifolds and Gromov - Witten invariants. arXiv: math/0108160

arXiv
[12]

Functional Analysis and Its Applications

Ferapontov, E.V.: Diﬀerential geometry of nonlocal Ha miltonian operators of hydro- dynamic type. Functional Analysis and Its Applications. 25 , 195–204 (1991)

1991
[13]

V.; Pavlov, M

Ferapontov, E. V.; Pavlov, M. V.; Vitolo, R. F. Projecti ve-geometric aspects of ho- mogeneous third-order Hamiltonian operators. J. Geom. Phy s. 85 (2014) 16-28

2014
[14]

V.; Pavlov, M

Ferapontov, E. V.; Pavlov, M. V.; Vitolo, R. F. Towards t he Classiﬁcation of Homo- geneous Third-Order Hamiltonian Operators. Int. Math. Res . Not. IMRN 2016 (2016) 6829-6855

2016
[15]

Ferguson, J. T. Flat pencils of symplectic connections and Hamiltonian operators of degree 2. J. Geom. Phys. 58 (2008) 468-486

2008
[16]

Second-order deformations of hydro dynamic-type Poisson brack- ets

Ferguson, James T. Second-order deformations of hydro dynamic-type Poisson brack- ets. Glasg. Math. J. 51 (2009), no. A, 75-82

2009
[17]

A Darboux theorem for Hamiltonian opera tors in the formal calculus of variations

Getzler, Ezra. A Darboux theorem for Hamiltonian opera tors in the formal calculus of variations. Duke Math. J. 111 (2002), no. 3, 535–560

2002
[18]

Concrete mathe matics: a foundation for computer science

Graham, R.L.; Knuth D.E.; Patashnik, O. Concrete mathe matics: a foundation for computer science. Addison-Wesley, 1989

1989
[19]

On Poisson brackets of hydrodynamic typ e with a degenerate metric

Grinberg, N.I. On Poisson brackets of hydrodynamic typ e with a degenerate metric. Russ. Math. Surv. 40, 231–232 (1985)

1985
[20]

Jacobi structures of evolut ionary partial diﬀerential equa- tions

Liu, Si-Qi; Zhang, Youjin. Jacobi structures of evolut ionary partial diﬀerential equa- tions. Adv. Math. 227 (2011), no. 1, 73–130

2011
[21]

Bihamiltonian cohomologie s and integrable hierarchies I: A special case

Liu, Si-Qi; Zhang, Youjin. Bihamiltonian cohomologie s and integrable hierarchies I: A special case. Commun. Math. Phys. 324 (2013), no. 3, 897–93 5

2013
[22]

A user’s guide to spectral sequences

McCleary, J. A user’s guide to spectral sequences. Seco nd edition. Cambridge Stud- ies in Advanced Mathematics, 58. Cambridge University Pres s, Cambridge, 2001. xvi+561 pp

2001
[23]

Mokhov, O. I. Poisson brackets of Dubrovin-Novikov typ e (DN-brackets). (Russian) Funktsional. Anal. i Prilozhen. 22 (1988), no. 4, 92–93; tra nslation in Funct. Anal. Appl. 22 (1988), no. 4, 336–338 (1989)

1988
[24]

Mokhov, O. I. Symplectic and Poisson structures on loop spaces of smooth manifolds, and integrable systems. Russian Math. Surveys 53 (1998), no . 3, 515-622

1998
[25]

Nonlocal Hamiltonian o perators of hydrodynamic type that are connected with metrics of constant curvature

Mokhov, O.I., Ferapontov, E.V. Nonlocal Hamiltonian o perators of hydrodynamic type that are connected with metrics of constant curvature. Uspekhi Matematich- eskikh Nauk. 45, 191–192 (1990)

1990
[26]

Novikov, S. P. The geometry of conservative systems of h ydrodynamic type. The method of averaging for ﬁeld-theoretical systems. Russian Mathematical Surveys, 40(4) (1985), 85-98

1985
[27]

Pot¨ emin, G. V. Poisson brackets of diﬀerential-geome tric type. Dokl. Akad. Nauk SSSR 286 (1986) 39-42

1986
[28]

Pot¨ emin, G. V. Some aspects of diﬀerential geometry an d algebraic geometry in the theory of solitons. Ph.d. thesis, Moscow, Moscow state Univ ersity (1991)

1991
[29]

Pot¨ emin, G. V. On third-order Poisson brackets of diﬀe rential geometry. Russian Mathematical Surveys 52 (1997) 617-618

1997
[30]

On deformations of one-dimensional Poisso n structures of hydrodynamic type with degenerate metric

Savoldi, A. On deformations of one-dimensional Poisso n structures of hydrodynamic type with degenerate metric. Journal of Geometry and Physic s. 104, 246–276 (2016). 18 GUIDO CARLET AND MATTEO CASATI Universit´e Bourgogne Europe, CNRS, IMB UMR 5584, 21000 Dijon, France Email ...

2016

Pith tools

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

[1] [2]

Poisson cohomology o f scalar multidimensional Dubrovin–Novikov brackets

Carlet, G.; Casati, M.; Shadrin, S. Poisson cohomology o f scalar multidimensional Dubrovin–Novikov brackets. Journal of Geometry and Physic s. 114 (2017) 404–419

work page 2017

[2] [1]

V.; Pot¨ emin, G

Balandin, A. V.; Pot¨ emin, G. V. On nondegenerate diﬀere ntial-geometric Poisson brackets of third order. Russian Math. Surveys 56 (2001), no . 5, 976-977

work page 2001

[3] [3]

Bihamiltonian coh omology of KdV brackets

Carlet, G.; Posthuma, H.; Shadrin, S. Bihamiltonian coh omology of KdV brackets. Commun. Math. Phys. 341 (2016), no. 3, 805–819

work page 2016

[4] [4]

Deformations of se misimple Poisson pencils of hydrodynamic type are unobstructed

Carlet, G.; Posthuma, H.; Shadrin, S. Deformations of se misimple Poisson pencils of hydrodynamic type are unobstructed. J. Diﬀerential Geom. 1 08 (2018) 63–89

work page 2018

[5] [5]

On deformations of multidimensional Poisson brackets of hydrodynamic type

Casati, M. On deformations of multidimensional Poisson brackets of hydrodynamic type. Commun. Math. Phys. 335 (2015), no. 2, 851–894

work page 2015

[6] [6]

V.; Pavlov, M

Casati, M.; Ferapontov, E. V.; Pavlov, M. V.; Vitolo, R. F . On a class of third-order nonlocal Hamiltonian operators. J. Geom. Phys. 138 (2019) 2 85-296. ON THE STRUCTURE OF HOMOGENEOUS LOCAL POISSON BRACKETS 17

work page 2019

[7] [7]

On deformation of Poisson manifolds of hydro- dynamic type

Degiovanni, L.; Magri, F.; Sciacca, V. On deformation of Poisson manifolds of hydro- dynamic type. Commun. Math. Phys 253 (2005), no. 1, 1–24

work page 2005

[8] [8]

Diﬀerential geometric Poisson bivecto rs in one space variable

Doyle, Philip W. Diﬀerential geometric Poisson bivecto rs in one space variable. J. Math. Phys. 34 (1993), no. 4, 1314-1338

work page 1993