Pith. sign in

REVIEW 3 major objections 5 minor 39 references

Polynomial degeneration and the Poisson geometry of truncated polynomials

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Pith's one-line read A Poisson structure that degenerates along a hypersurface gets its symplectic variation from the obstruction to lifting a truncated-polynomial representation of the fundamental group to the next degree.

desk verdict New symplectic-variation formula and a deformation machine from character varieties, but the map Φ has a real well-definedness gap and the even-k case is only conditional. read the letter →

arxiv 2602.14341 v2 pith:RUM2KNR7 submitted 2026-02-15 math.DG math.SG

classification math.DGmath.SG MSC 53D1753D0553C12
keywords hypersurfacealgebroidssingularPoissonstructuresb^k-symplecticsymplecticfoliationvariationtruncatedpolynomialgroupsextensionclasscharactervariety
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 develops a formalism for geometric structures that become singular to polynomial order along a hypersurface, and applies it to Poisson geometry. Its central claim is that a generically symplectic Poisson structure which drops rank along a hypersurface W can carry genuinely non-zero 'symplectic variation' of its leaf symplectic forms, and that this variation is exactly the obstruction to lifting a representation of the fundamental group of W from the group of degree-k truncated polynomials to degree k+1. Earlier b^k-symplectic structures always had vanishing variation; the paper shows that vanishing is not forced, and it constructs families of Poisson structures on compact manifolds where the variation is non-zero and computable. A sympathetic reader should care because this connects an invariant of singular foliations to a Lie-algebroid and group-cohomology invariant, and it turns the G_k-character variety of W into a source of new Poisson structures whose non-triviality can be detected through the variation.

What carries the argument

The central object is a hypersurface (HS) algebroid, a Lie algebroid whose anchor map is an isomorphism away from W and drops to corank 1 along W, with order equal to the vanishing order of the anchor determinant. Such an algebroid is equivalent to a splitting σ of the k-th order jet algebroid of the normal bundle, encoded by a flat connection plus twisted 1-forms satisfying a Maurer-Cartan equation; the classification data is a representation φ: π_1(W) → G_k, where G_k is the group of degree-k truncated polynomials under composition. The argument is carried by the extension class e(φ) ∈ H^2_W(ν_W^{-k}), the obstruction to lifting φ to G_{k+1}. Proposition 5.4 identifies minus the restrictio

What would settle it

In the explicit order-5 example on the compact nilmanifold (with η1=a, η2=b, η3=-c), the extension class is -2 a∧c; Proposition 5.4 predicts var(ω_F)=2a∧c. Directly computing the foliated symplectic forms on the level sets of γ and computing their variation would settle whether the formula holds; if the variation vanishes or differs from the predicted class, the central claim fails.

Watch

Extended reading notes

Core claim

On the paper's own terms: let A be an order k+1 hypersurface algebroid for a hypersurface W, classified by a representation φ: π_1(W) → G_k, and let ω be an algebroid symplectic form with associated Poisson structure Q = ρ(ω^{-1}). Then Q induces a corank-1 symplectic foliation (F, ω_F) on W, and Proposition 5.4 states var(ω_F) = -e(φ)|_F, where e(φ) ∈ H^2_W(ν_W^{-k}) is the extension class obstructing the lift of φ through the extension 0 → R → G_{k+1} → G_k → 0. Because e(φ) can be non-zero, the variation of the symplectic leaves is generally non-trivial, in contrast to b^k-symplectic structures. The paper also proves a cohomology decomposition H^•(A) ≅ H^•(M) ⊕ H^{•-1}(W, S_k(ν_W)) and co

Load-bearing premise

The paper's main construction (Theorem 7.3) assumes that the local singular symplectic form extends globally to a hypersurface algebroid on M with trivializable normal bundle, and that the induced flat connection on the normal bundle has monodromy not contained in {±1}; the paper proves such global extensions only for odd k, so if these fail, the character-variety map is only local or may not exist.

Editorial extensions

If this is right

  • If the central formula is right, the symplectic variation of the foliation on W is a group-cohomology invariant: var(ω_F) = -e(φ)|_F, so it vanishes exactly when the G_k-representation lifts to G_{k+1}.
  • Because the extension class can be non-zero, HS Poisson structures form a distinct class from b^k-symplectic structures, whose symplectic variation always vanishes; the paper constructs explicit examples exhibiting this difference.
  • The cohomology decomposition H^•(A) ≅ H^•(M) ⊕ H^{•-1}(W, S_k(ν_W)) gives a practical tool for computing Lie algebroid cohomology, generalizing the known decompositions for logarithmic and b^k-tangent bundles.
  • The character-variety map produces many new compact examples: in the order-4 mapping-torus case, the resulting families are parameterized by a sphere of dimension dim H^1(N)_{e^λ} + dim H^1(N)_{e^{2λ}} - 1.
  • The universal algebroids and their quotients yield Poisson structures whose symplectic leaves include the compact symplectic forms previously used to build non-formal simply connected symplectic manifolds; those forms now appear as leaves of a global Poisson structure.

Reading between the lines

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

  • Editorial inference: the variation formula gives a practical invariant for distinguishing singular Poisson structures up to isotopy: if two HS Poisson structures on the same foliation have different symplectic variations, no isotopy preserving W and F can relate them, even if their underlying algebroids are isotopic. This could serve as a coarse Torelli-type invariant for the class.
  • Editorial inference: the deformation machinery is quite general and suggests that the same 'drag along a deformation path' procedure works whenever the principal part of a closed form can be kept closed in a fixed cochain complex. One testable extension is to construct HS symplectic forms on hypersurfaces that are not mapping tori (the paper's Question 1.2) by solving the twisted Maurer-Cartan equ
  • Editorial inference: the restriction to odd k in the global-extension step points to a double-cover mechanism for even k; a natural prediction is that every even-order HS symplectic structure produced by this method is the quotient of an odd-order one on a Z/2 cover, with the symplectic variation anti-invariant under the deck transformation.
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

3 major / 5 minor

Summary. The paper develops the symplectic geometry of hypersurface (HS) algebroids, a class of Lie algebroids generalizing b^k-tangent bundles. Its main results are: (i) a cohomology decomposition for HS algebroids (Theorem 4.19), with a universal cdga S_k governing the singular parts; (ii) a normal form and structure theory for HS symplectic forms, culminating in Proposition 5.4, which identifies the symplectic variation of the induced foliation with the restriction of the algebroid's extension class; (iii) deformation theorems (Theorems 6.6 and 6.7) that allow symplectic forms to be deformed along deformations of the algebroid; (iv) a construction, in Theorem 7.3, of maps from a G_k-character variety into the moduli space of Poisson structures, with the variation detecting non-triviality of the family. Explicit examples include genus-g surfaces, the Heisenberg group, Arnold's cat map, and the universal algebroids E_{2n+1}, connecting to the Babenko--Taimanov symplectic forms.

Significance. If the main claims hold, the paper gives a genuinely new invariant: the symplectic variation of an HS Poisson structure is controlled by the obstruction to lifting a G_k-representation of π_1(W) to G_{k+1}. This distinguishes HS Poisson structures from b^k-symplectic structures and provides a computable way to detect non-triviality of deformations. The explicit computations of cohomology, the universal algebroids, and the detailed examples (particularly the mapping-torus families of Corollary 7.6) are substantial contributions. The paper also ships a large amount of concrete, reproducible algebraic data, including the explicit formulas for the universal cdga and the cohomology computations, which is a strength. However, the central construction of the map Φ in Theorem 7.3 is conditional on a global extension assumption whose independence is not established, and the even-order case is not supported by any construction or example. These issues need to be resolved before the main theorem can be accepted as stated.

major comments (3)
  1. [§7.1.4, Theorem 7.3] The construction of Φ begins with the local algebroid symplectic form ω = B - k a ∧ dt/t^{k+1} on a tubular neighbourhood of W and assumes this form extends to a global algebroid symplectic form on M. The proof never shows that the resulting class in Pois(M,W,F) is independent of the chosen extension, nor of the choice of interpolating function f_k in Lemma 7.4. Different smooth closed extensions on M\W can lead to non-isotopic Poisson structures, so the map from M_k(M,W,a) alone is not well-defined unless the extension is declared to be part of the input data and the target is adjusted accordingly. This is load-bearing for the paper's central claim that there is a map from a character variety to a moduli space of Poisson structures.
  2. [Lemma 7.4 and Remark 7.5] Lemma 7.4 supplies the required global extension only for odd positive integers k. For even k, no construction or example is given; the monotonicity argument for f_k fails on a two-sided neighbourhood, and Remark 7.5 only mentions a doubling construction without details. Since Theorem 7.3 and the abstract claim maps from G_k-character varieties for general k, the even-k case remains unsupported. The statement should either be restricted to odd k or an even-k extension construction must be provided.
  3. [§6, Theorems 6.6 and 6.7] The deformation theorems depend essentially on the 'nice' condition (Definition 6.5), used in Lemma 6.11 and Corollary 6.13 to ensure H^0(W,S_k(L)) = R and smooth primitives. This excludes the monodromy-contained-in-{±1} case, which includes the classical b^k-symplectic setting. The condition is stated explicitly, but the paper's presentation in the introduction and abstract suggests a fully general deformation method; the limitation should be made prominent, and the consequences for the b^k comparison should be spelled out.
minor comments (5)
  1. [Proposition 6.3] Proposition 6.3 is stated without proof. If it is not needed for the main results, it should be deleted or explicitly marked as a remark; if it is intended to justify Assumption 6.4, a proof or reference is required.
  2. [Abstract and Introduction] The abstract states that the paper constructs maps from a G_k-character variety into the moduli space of Poisson structures without mentioning the global extension assumption. This should be qualified, since Theorem 7.3's hypothesis 'Assume that ω extends' is essential and is not satisfied by any known construction for even k.
  3. [Section 4.5, Eq. (4.6)–(4.7)] The splitting S defined in Equation (4.6) depends on the tubular neighbourhood, bump function, metric, and splitting data. The proof of Theorem 4.19 and Lemma 6.9 use this dependence; it would help the reader if the smooth dependence on σ were stated explicitly, since it is used in the deformation arguments.
  4. [Example 5.9] In the displayed formula for ω after the definition of the canonical form, the term 'γe∧(3at+ 2bt^2 − ct^3)' appears to contain a typographical error; the factor '3at' should likely be '3a' or '3a t' with clearer notation.
  5. [Theorem 6.6, uniqueness statement] The uniqueness statement compares cohomology classes [ω_1(t)] = [ω_2(t)] ∈ H^2(A(t)) for different t, but no canonical identification of these cohomology groups across t is specified. This should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found.

full rationale

I walked the principal derivation chain. Proposition 5.4, the paper's most load-bearing new computation, is not circular: the extension class e(σ) is defined in Section 2.4 independently of symplectic geometry (as the obstruction class of the transitive Lie algebroid sequence, with an explicit de Rham representative 1/2Σ(j−i)η_i∧η_j). The proof of Prop 5.4 computes dγ = −e(σ)∧α_k from the Maurer-Cartan closure equations and the restriction map, and then identifies the foliated variation with the connecting homomorphism. The equality is a proved calculation, not an assumption or a renaming. Theorem 7.3's construction is conditional on explicit hypotheses (global extension of ω; trivializable ν_W; niceness; odd k in Lemma 7.4). Those are stated limitations and correctness risks, not circular dependencies: the map Φ is defined from the isotopy class of the constructed family after scaling/gauge-invariance lemmas, and the variation formula is imported from Prop 5.4. The extensive citations to the authors' own [BdPW25, BdPW23] supply the classification of HS algebroids by G_k-representations and the extension-class correspondence. These are prior parameter-free theorems with their own proofs, not restatements of the present results, so under the provided rules they are legitimate external support rather than circularity. I found no fitted parameter renamed as a prediction and no equation that reduces a target result to its own input.

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

No fitted numerical parameters are required; the geometric inputs are flat connections, twisted 1-forms satisfying Maurer-Cartan-type systems, compactness, and the nice-monodromy condition. The paper's main new objects (universal algebroids U_k, E_k) are mathematical constructions derived from definitions, not independently falsifiable entities.

assumptions (8)
  • standard math Splitting theorem for Lie algebroids
    Used to obtain the local normal form of HS algebroids (Proposition 2.3) and the deformation stability statement (Proposition 6.3).
  • domain assumption Classification of HS algebroids by G_k-representations [BdPW25, Corollary 8.42]
    Central link between hypersurface algebroids and G_k-character varieties; imported from the authors' previous paper rather than proved here.
  • standard math Van Est / Morita correspondence between H^2(π_1(W), R) and H^2(W, ν^{-k}_W)
    Used in Section 2.4(c) to identify the extension class e(F) with the pullback of the group-extension class of G_k → G_{k+1}.
  • ad hoc to paper Nice condition: monodromy of the induced flat connection on ν_W is not contained in {±1}
    Definition 6.5. Needed in Lemma 6.11 and Corollary 6.13 to control H^0(W, S_k(L)) and to produce smooth primitives for exact families of twisted forms.
  • domain assumption Compactness of M and/or W
    Used in the Moser arguments in Theorems 6.6 and 6.7 to ensure nondegeneracy persists and flows are complete.
  • standard math Tischler's theorem: a compact manifold with a nowhere vanishing closed 1-form is a mapping torus
    Used in Section 7 to reduce compact cosymplectic hypersurfaces to mapping tori and to compute the relevant character varieties.
  • standard math Klaasse normal form theorem for Lie algebroid symplectic forms
    Used in Theorem 5.6 to obtain the normal form of an HS symplectic form around the hypersurface.
  • standard math Moser lemma for Lie algebroids
    Used in the uniqueness statements of Theorems 6.6, 6.7, and 7.3 to isotope two cohomologous symplectic forms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Polynomial degeneration and the Poisson geometry of truncated polynomials." pith.science (2026). https://pith.science/paper/RUM2KNR7

@misc{pith2026260214341,
  author       = {Pith},
  title        = {Pith review of: Polynomial degeneration and the Poisson geometry of truncated polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RUM2KNR7}},
  note         = {Machine review of arXiv:2602.14341}
}
abstract

We develop a formalism for studying geometric structures that degenerate to polynomial order along a hypersurface $W \subset M$. We then demonstrate it in the study of Poisson geometry, where it leads to methods for constructing generically symplectic Poisson structures with non-trivial symplectic variation along their degeneracy locus. This is in contrast to $b/\log$-symplectic and $b^k$-symplectic structures, where this variation always vanishes. Our main insight is that the higher residue data along the hypersurface is controlled by a group of transverse diffeomorphisms, which in our case is the group $G_k$ of degree-$k$ truncated polynomials. We show that the symplectic variation of our Poisson structures is determined by the obstruction to lifting a $G_k$-representation of the fundamental group $\pi_1(W)$ to $G_{k+1}$, and we construct maps from a $G_k$-character variety into the moduli space of Poisson structures, with the variation detecting the non-triviality of the resulting families.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 5 linked inside Pith

  1. [1]

    I. K. Babenko. Algebra, geometry, and topology of the substitution group of formal power series. Russian Mathematical Surveys , 68(1):1, 2013

  2. [2]

    Jets of foliations and bk-algebroids

    Francis Bischoff, Alvaro del Pino, and Aldo Witte. Jets of foliations and bk-algebroids. arXiv preprint arXiv:2311.17045 , 2023

  3. [3]

    b^k -algebroids and the variety of foliation jets

    Francis Bischoff, Alvaro del Pino, and Aldo Witte. b^k -algebroids and the variety of foliation jets. arXiv preprint arXiv:2508.20241 , 2025

  4. [4]

    Splitting theorems for P oisson and related structures

    Henrique Bursztyn, Hudson Lima, and Eckhard Meinrenken. Splitting theorems for P oisson and related structures. J. Reine Angew. Math. , 754:281--312, 2019

  5. [5]

    Massey products in symplectic manifolds

    Ivan K Babenko and Iskander A Taimanov. Massey products in symplectic manifolds. Sbornik: Mathematics , 191(8):1107, 2000

  6. [6]

    On nonformal simply-connected symplectic manifolds

    Ivan K Babenko and Iskander A Taimanov. On nonformal simply-connected symplectic manifolds. Siberian Mathematical Journal , 41(2):204--217, 2000

  7. [7]

    Cavalcanti and Marco Gualtieri

    Gil R. Cavalcanti and Marco Gualtieri. Stable generalized complex structures. Proc. Lond. Math. Soc. (3) , 116(5):1075--1111, 2018

  8. [8]

    Integrable systems on singular symplectic manifolds: from local to global

    Robert Cardona and Eva Miranda. Integrable systems on singular symplectic manifolds: from local to global. Int. Math. Res. Not. IMRN , 2022(24):19565--19616, 2022

Show all 39 references
  1. [9]

    \' E quations diff\' e rentielles \`a points singuliers r\' e guliers , volume Vol

    Pierre Deligne. \' E quations diff\' e rentielles \`a points singuliers r\' e guliers , volume Vol. 163 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1970

  2. [10]

    Hodge theory

    Pierre Deligne. Hodge theory. ii. Publication Mathematique IHES , 40:5--58, 1971

  3. [11]

    Lagrangian submanifolds and dynamics on lie algebroids

    Manuel de Le \'o n, Juan C Marrero, and Eduardo Mart \' nez. Lagrangian submanifolds and dynamics on lie algebroids. Journal of Physics A: Mathematical and General , 38(24):R241, 2005

  4. [12]

    Normal forms for L ie algebroids

    Jean-Paul Dufour. Normal forms for L ie algebroids. In Lie algebroids and related topics in differential geometry ( W arsaw, 2000) , volume 54 of Banach Center Publ. , pages 35--41. Polish Acad. Sci. Inst. Math., Warsaw, 2001

  5. [13]

    Lie algebroids, holonomy and characteristic classes

    Rui Loja Fernandes. Lie algebroids, holonomy and characteristic classes. Adv. Math. , 170(1):119--179, 2002

  6. [14]

    A classification of neighborhoods around leaves of a singular foliation

    Simon-Raphael Fischer and Camille Laurent-Gengoux. A classification of neighborhoods around leaves of a singular foliation. arXiv preprint arXiv:2401.05966 , 2024

  7. [15]

    A primer on mapping class groups , volume 49

    Benson Farb and Dan Margalit. A primer on mapping class groups , volume 49. Princeton university press, 2011

  8. [16]

    On singular foliations tangent to a given hypersurface

    Michael D Francis. On singular foliations tangent to a given hypersurface. Journal of Noncommutative Geometry , 2024

  9. [17]

    Gualtieri and S

    M. Gualtieri and S. Li. Symplectic groupoids of log symplectic manifolds. International Mathematics Research Notices , 2014(11):3022--3074, 2014

  10. [18]

    Marco Gualtieri, Songhao Li, \'A lvaro Pelayo, and Tudor S. Ratiu. The tropical momentum map: a classification of toric log symplectic manifolds. Mathematische Annalen , 367(3):1217--1258, 2017

  11. [19]

    Closed forms on symplectic fibre bundles

    Mark J Gotay, Richard Lashof, Jedrzej \'S niatycki, and Alan Weinstein. Closed forms on symplectic fibre bundles. Commentarii Mathematici Helvetici , 58(1):617--621, 1983

  12. [20]

    Symplectic and poisson geometry on b-manifolds

    Victor Guillemin, Eva Miranda, and Ana Rita Pires. Symplectic and poisson geometry on b-manifolds. Advances in Mathematics , 264:864--896, 2014

  13. [21]

    Desingularizing b^m -symplectic structures

    Victor Guillemin, Eva Miranda, and Jonathan Weitsman. Desingularizing b^m -symplectic structures. Int. Math. Res. Not. IMRN , 2019(10):2981--2998, 2019

  14. [22]

    Guillemin, Eva Miranda, and Jonathan Weitsman

    Victor W. Guillemin, Eva Miranda, and Jonathan Weitsman. On geometric quantization of b^m -symplectic manifolds. Math. Z. , 298(1-2):281--288, 2021

  15. [23]

    Poisson structures of divisor-type

    Ralph L Klaasse. Poisson structures of divisor-type. arXiv preprint arXiv:1811.04226 , 2018

  16. [24]

    Symplectic, P oisson, and contact geometry on scattering manifolds

    Melinda Lanius. Symplectic, P oisson, and contact geometry on scattering manifolds. Pacific J. Math. , 310(1):213--256, 2021

  17. [25]

    Richard B. Melrose. The A tiyah- P atodi- S inger index theorem , volume 4 of Research Notes in Mathematics . A K Peters, Ltd., Wellesley, MA, 1993

  18. [26]

    Contact structures with singularities: From local to global

    Eva Miranda and C\' e dric Oms. Contact structures with singularities: From local to global. Journal of Geometry and Physics , 192:104957, 2023

  19. [27]

    Deformations of log-symplectic structures

    Ioan M a rcu t and Boris Osorno Torres. Deformations of log-symplectic structures. J. Lond. Math. Soc. (2) , 90(1):197--212, 2014

  20. [28]

    A local torelli theorem for log symplectic manifolds

    Mykola Matviichuk, Brent Pym, and Travis Schedler. A local torelli theorem for log symplectic manifolds. arXiv preprint arXiv:2010.08692 , 2020

  21. [29]

    The geometry of E -manifolds

    Eva Miranda and Geoffrey Scott. The geometry of E -manifolds. Rev. Mat. Iberoam. , 37(3):1207--1224, 2021

  22. [30]

    The serre spectral sequence of a lie subalgebroid

    Ioan M a rcu t and Andreas Sch \"u ler. The serre spectral sequence of a lie subalgebroid. arXiv preprint arXiv:2405.00419 , 2024

  23. [31]

    On the cohomology of compact homogeneous spaces of nilpotent lie groups

    Katsumi Nomizu. On the cohomology of compact homogeneous spaces of nilpotent lie groups. Annals of Mathematics , 59(3):531--538, 1954

  24. [32]

    Deformations of symplectic L ie algebroids, deformations of holomorphic symplectic structures, and index theorems

    Ryszard Nest and Boris Tsygan. Deformations of symplectic L ie algebroids, deformations of holomorphic symplectic structures, and index theorems. Asian Journal of Mathematics , 5(4):599--635, 2001

  25. [33]

    A classification of topologically stable poisson structures on a compact oriented structure

    Olga Radko. A classification of topologically stable poisson structures on a compact oriented structure. Journal of Symplectic Geometry , 1:523--542, 2001

  26. [34]

    Theory of logarithmic differential forms and logarithmic vector fields

    Kyoji Saito. Theory of logarithmic differential forms and logarithmic vector fields. J. Fac. Sci. Univ. Tokyo Sect. IA Math , 27(2):265--291, 1980

  27. [35]

    The geometry of b^k manifolds

    Geoffrey Scott. The geometry of b^k manifolds. J. Symplectic Geom. , 14(1):71--95, 2016

  28. [36]

    Linearization of poisson groupoids

    Wilmer Smilde. Linearization of poisson groupoids. Indagationes Mathematicae , 33(3):682--717, 2022

  29. [37]

    Tischler

    D. Tischler. On fibering certain foliated manifolds over S^ 1 . Topology , 9:153--154, 1970

  30. [38]

    Charles A. Weibel. An introduction to homological algebra , volume 38 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1994

  31. [39]

    Almost invariant submanifolds for compact group actions

    Alan Weinstein. Almost invariant submanifolds for compact group actions. J. Eur. Math. Soc. (JEMS) , 2(1):53--86, 2000

Pith tools

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