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 →
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 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.
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 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [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.
- [§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)
- [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.
- [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.
- [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.
- [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.
- [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
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
assumptions (8)
- standard math Splitting theorem for Lie algebroids
- domain assumption Classification of HS algebroids by G_k-representations [BdPW25, Corollary 8.42]
- standard math Van Est / Morita correspondence between H^2(π_1(W), R) and H^2(W, ν^{-k}_W)
- ad hoc to paper Nice condition: monodromy of the induced flat connection on ν_W is not contained in {±1}
- domain assumption Compactness of M and/or W
- standard math Tischler's theorem: a compact manifold with a nowhere vanishing closed 1-form is a mapping torus
- standard math Klaasse normal form theorem for Lie algebroid symplectic forms
- standard math Moser lemma for Lie algebroids
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.
Reference graph
Works this paper leans on
-
[1]
I. K. Babenko. Algebra, geometry, and topology of the substitution group of formal power series. Russian Mathematical Surveys , 68(1):1, 2013
2013
-
[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
arXiv 2023
-
[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
arXiv 2025
-
[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
2019
-
[5]
Massey products in symplectic manifolds
Ivan K Babenko and Iskander A Taimanov. Massey products in symplectic manifolds. Sbornik: Mathematics , 191(8):1107, 2000
2000
-
[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
2000
-
[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
2018
-
[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
2022
Show all 39 references
-
[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
1970
-
[10]
Hodge theory
Pierre Deligne. Hodge theory. ii. Publication Mathematique IHES , 40:5--58, 1971
1971
-
[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
2005
-
[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
2000
-
[13]
Lie algebroids, holonomy and characteristic classes
Rui Loja Fernandes. Lie algebroids, holonomy and characteristic classes. Adv. Math. , 170(1):119--179, 2002
2002
-
[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
2024
-
[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
2011
-
[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
2024
-
[17]
Gualtieri and S
M. Gualtieri and S. Li. Symplectic groupoids of log symplectic manifolds. International Mathematics Research Notices , 2014(11):3022--3074, 2014
2014
-
[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
2017
-
[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
1983
-
[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
2014
-
[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
2019
-
[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
2021
-
[23]
Poisson structures of divisor-type
Ralph L Klaasse. Poisson structures of divisor-type. arXiv preprint arXiv:1811.04226 , 2018
2018 arXiv
-
[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
2021
-
[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
1993
-
[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
2023
-
[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
2014
-
[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
2010 arXiv
-
[29]
The geometry of E -manifolds
Eva Miranda and Geoffrey Scott. The geometry of E -manifolds. Rev. Mat. Iberoam. , 37(3):1207--1224, 2021
2021
-
[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
2024 arXiv
-
[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
1954
-
[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
2001
-
[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
2001
-
[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
1980
-
[35]
The geometry of b^k manifolds
Geoffrey Scott. The geometry of b^k manifolds. J. Symplectic Geom. , 14(1):71--95, 2016
2016
-
[36]
Linearization of poisson groupoids
Wilmer Smilde. Linearization of poisson groupoids. Indagationes Mathematicae , 33(3):682--717, 2022
2022
-
[37]
Tischler
D. Tischler. On fibering certain foliated manifolds over S^ 1 . Topology , 9:153--154, 1970
1970
-
[38]
Charles A. Weibel. An introduction to homological algebra , volume 38 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1994
1994
-
[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
2000
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.