Algebroid Desingularizable Poisson Structures
Pith reviewed 2026-05-22 02:09 UTC · model grok-4.3
The pith
Duals of non-abelian reductive Lie algebras never admit algebroid desingularizable Poisson structures.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Algebroid desingularizable Poisson manifolds arise precisely from symplectic Lie algebroids with almost-injective anchors. Duals of real finite-dimensional non-abelian reductive Lie algebras never arise in this way. Two infinite families of two-step nilpotent Lie algebras exist, one family admits such structures while the other does not.
What carries the argument
Symplectic Lie algebroid with almost-injective anchor, which induces the Poisson structure and serves as the desingularization device for the manifold.
If this is right
- The non-existence result separates reductive Lie algebra duals from other Poisson manifolds that permit desingularization.
- The two nilpotent families provide concrete test cases that distinguish which Lie algebras allow the structures.
- Generalized classes such as log-symplectic and b^m-symplectic manifolds inherit the same non-existence restriction on reductive duals.
- The distinction between the two nilpotent families shows that the property depends on specific algebraic features of the Lie algebra.
Where Pith is reading between the lines
- The result may restrict which Poisson singularities on Lie algebra duals can be resolved via algebroid methods.
- It suggests a possible algebraic obstruction, tied to reductivity and non-abelian character, that prevents almost-injective anchors.
- Similar non-existence statements might hold for other families of Lie algebras once the anchor condition is examined.
Load-bearing premise
The intended desingularizable Poisson structures are exactly those coming from symplectic Lie algebroids whose anchors are almost injective.
What would settle it
Exhibit a symplectic Lie algebroid with almost-injective anchor on the dual of a real finite-dimensional non-abelian reductive Lie algebra, or prove that one of the constructed nilpotent families fails to satisfy the almost-injective anchor condition.
read the original abstract
We introduce algebroid desingularizable Poisson manifolds, a class of Poisson manifolds induced by symplectic Lie algebroids with almost-injective anchors, generalizing structures including log-symplectic, $b^m$-symplectic, $E$-symplectic manifolds, and hypersurface algebroids. We show that the dual of real, finite-dimensional, non-abelian, reductive Lie algebras never admit such algebroids. We finish by giving two infinite families of $2$-step nilpotent Lie algebras, one of which is desingularizable, and one of which is not.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces algebroid desingularizable Poisson manifolds as Poisson structures induced by symplectic Lie algebroids whose anchors are almost injective. This class is presented as a common generalization of log-symplectic, b^m-symplectic, E-symplectic manifolds and hypersurface algebroids. The central results are a non-existence theorem asserting that the dual of any real finite-dimensional non-abelian reductive Lie algebra admits no such structure, together with two infinite families of 2-step nilpotent Lie algebras, one of which is desingularizable and one of which is not.
Significance. If the almost-injective-anchor modeling choice correctly captures the geometric features responsible for desingularization in the motivating examples, the non-existence result cleanly separates reductive from certain nilpotent cases and supplies concrete positive and negative instances. The work would then furnish a useful organizing framework for Poisson desingularization questions and a source of falsifiable predictions for further examples.
major comments (2)
- [Abstract, §1] Abstract and §1: the non-existence statement for reductive duals is proved only inside the subclass of Poisson structures induced by symplectic Lie algebroids with almost-injective anchors. It is not shown that every conceivable algebroid resolution of the motivating Poisson structures (log-symplectic, b^m, etc.) necessarily satisfies the almost-injective condition; if counter-examples exist outside this subclass, the non-existence claim does not apply to the original geometric objects.
- [§4 (nilpotent families)] The two nilpotent families are offered as positive and negative instances inside the same definition. Any mismatch between the almost-injective-anchor class and the intended desingularization phenomena would therefore affect both the existence and non-existence statements symmetrically; a direct comparison of the anchor maps in the two families with the anchors arising in the classical log-symplectic and b^m cases is needed to confirm consistency.
minor comments (1)
- [Introduction] Notation for the anchor map and the almost-injective condition should be introduced once and used uniformly; several paragraphs in the introduction repeat the same definition with slightly varying wording.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable comments on our manuscript. The points raised concern the precise scope of our definition and the need for explicit verification against classical examples. We respond to each major comment below, indicating planned revisions where appropriate.
read point-by-point responses
-
Referee: [Abstract, §1] Abstract and §1: the non-existence statement for reductive duals is proved only inside the subclass of Poisson structures induced by symplectic Lie algebroids with almost-injective anchors. It is not shown that every conceivable algebroid resolution of the motivating Poisson structures (log-symplectic, b^m, etc.) necessarily satisfies the almost-injective condition; if counter-examples exist outside this subclass, the non-existence claim does not apply to the original geometric objects.
Authors: We acknowledge the distinction. The manuscript defines algebroid desingularizable Poisson manifolds precisely as Poisson structures induced by symplectic Lie algebroids whose anchors are almost injective; this condition is chosen because it holds in the motivating examples (log-symplectic, b^m-symplectic, E-symplectic, and hypersurface algebroids). The non-existence theorem is proved strictly inside this class. We do not claim that every possible Lie algebroid resolution of the underlying singularities must have an almost-injective anchor; resolutions outside the class would constitute different desingularization mechanisms and lie beyond the paper's scope. To clarify this, we will add a short paragraph in §1 stating the intended scope of the definition and noting that the almost-injective condition is verified directly for the classical cases that motivate the work. revision: partial
-
Referee: [§4 (nilpotent families)] The two nilpotent families are offered as positive and negative instances inside the same definition. Any mismatch between the almost-injective-anchor class and the intended desingularization phenomena would therefore affect both the existence and non-existence statements symmetrically; a direct comparison of the anchor maps in the two families with the anchors arising in the classical log-symplectic and b^m cases is needed to confirm consistency.
Authors: We agree that an explicit comparison strengthens the presentation. Both families in §4 are constructed via symplectic Lie algebroids on the duals; the first family has anchors that are almost injective (corank 1 along a hypersurface), while the second does not. This mirrors the anchor behavior in the standard log-symplectic Lie algebroid (anchor drops rank by 1 on the degeneracy locus) and b^m-symplectic structures. We will revise §4 to include a direct computation of the anchor maps for representative members of each family, together with a side-by-side rank comparison to the classical log-symplectic and b^m cases, confirming that the positive family satisfies the almost-injective condition while the negative family provides a controlled counter-example within the same framework. revision: yes
Circularity Check
No significant circularity; derivation relies on standard definitions and external Lie algebra facts
full rationale
The paper introduces algebroid desingularizable Poisson manifolds via the definition of structures induced by symplectic Lie algebroids with almost-injective anchors, then proves non-existence results for duals of non-abelian reductive Lie algebras using properties of Lie algebras and algebroid anchors. These steps draw on standard mathematical definitions and theorems external to the paper rather than reducing any claim to a self-definition, fitted input renamed as prediction, or self-citation chain. The two nilpotent families serve as illustrative examples within the same framework without forcing the central non-existence result by construction. The derivation remains self-contained against external benchmarks in differential geometry and Lie theory.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of symplectic Lie algebroids and their anchors
invented entities (1)
-
algebroid desingularizable Poisson manifold
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Francis Bischoff and Aldo Witte,Poisson geometry of truncated polynomials and hypersurface algebroids, 2026
work page 2026
-
[2]
Bourbaki,éléments de mathématique
N. Bourbaki,éléments de mathématique. Algèbre. Chapitres 1 à 3, Hermann, Paris, 1970. MR274237
work page 1970
-
[3]
Marius Crainic and Rui Loja Fernandes,Integrability of Lie brackets, Ann. of Math. (2)157(2003), no. 2, 575–620. MR1973056
work page 2003
-
[4]
Clément Cren, Jean-Marie Lescure, and Omar Mohsen,Symplectic algebroids, groupoid toeplitz operators and deformation quantization, 2026
work page 2026
-
[5]
Alfonso Garmendia and Eva Miranda,E-structures and almost regular poisson manifolds, 2025
work page 2025
-
[6]
Victor Guillemin, Eva Miranda, and Ana Rita Pires,Symplectic and poisson geometry on b-manifolds, Advances in Mathematics264(October 2014), 864–896
work page 2014
- [7]
-
[8]
Boris Khesin and Serge Tabachnikov,Pseudo-Riemannian geodesics and billiards, Adv. Math.221(2009), no. 4, 1364–1396. MR2518642
work page 2009
-
[9]
Klaasse,Geometric structures and lie algebroids, 2017
Ralph L. Klaasse,Geometric structures and lie algebroids, 2017
work page 2017
-
[10]
Methods Appl.16 (2020), Paper No
,Obstructions for symplectic Lie algebroids, SIGMA Symmetry Integrability Geom. Methods Appl.16 (2020), Paper No. 121, 13. MR4178876
work page 2020
-
[11]
Bertram Kostant,Lie group representations on polynomial rings, Bull. Amer. Math. Soc.69(1963), 518–526. MR150240
work page 1963
-
[12]
S. L. Lyakhovich and A. A. Sharapov,Brst quantization of quasisymplectic manifolds and beyond, Journal of Mathematical Physics47(April 2006), no. 4
work page 2006
-
[13]
Richard McGehee,Double collisions for a classical particle system with nongravitational interactions, Comment. Math. Helv.56(1981), no. 4, 524–557. MR656211
work page 1981
-
[14]
Ioan Mărcuţ and Boris Osorno Torres,Deformations of log-symplectic structures, Journal of the London Mathe- matical Society90(June 2014), no. 1, 197–212
work page 2014
-
[15]
Ryszard Nest and Boris Tsygan,Deformations of symplectic lie algebroids, deformations of holomorphic symplectic structures, and index theorems, 1999
work page 1999
-
[16]
Shane Rankin,Symplectic hodge theory on lie algebroids, Differential Geometry and its Applications102(2026), 102324
work page 2026
-
[17]
Wilmer Smilde,Linearization of Poisson groupoids, Indag. Math. (N.S.)33(2022), no. 3, 682–717. MR4421028 Department of Mathematics, University of California, Riverside, CA 92521, USA Email address:srank007@ucr.edu 13
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.