Pith. sign in

REVIEW 1 major objections 4 minor 9 references

Poisson derivations and cohomology of Poisson nilpotent algebras

T0 review · 1 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Poisson derivations of uniparameter nilpotent algebras split uniquely into Hamiltonian plus homogeneous central parts, so the first Poisson cohomology is free of rank equal to the algebra rank.

desk verdict Clean computation of PDer and free PH^{1} for uniparameter PNAs under N_P=Z_P; solid Poisson analogue of their QNA paper, with the restriction openly declared. read the letter →

arxiv 2607.10782 v1 pith:EVH6NIK2 submitted 2026-07-12 math.RA math.ACmath.QA

Stéphane Launois , Samuel Lopes , Isaac Oppong This is my paper · ORCID
classification math.RAmath.ACmath.QA MSC 16T2017B3716W25
keywords PoissonderivationscohomologynilpotentalgebraCGLextensionBott–SamelsonvarietiesaffinespaceHamiltonianderivation
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 computes all Poisson derivations of a uniparameter Poisson nilpotent algebra (an iterated Poisson-Ore extension with a torus action) under the standing hypothesis that every Poisson-normal element is already Poisson-central. Using the initial Poisson cluster of Goodearl–Yakimov, the authors embed the algebra between a Poisson affine space and its torus, then pass to an intermediate localization whose Poisson center coincides with that of the original algebra. On that localization every derivation decomposes into a Hamiltonian piece plus a derivation that multiplies each non-central generator by a central element; the Hamiltonian element is shown to lie back in the original algebra, and the remaining piece is completely determined by an abelian-group homomorphism from the weight lattice to the Poisson center. Consequently the first Poisson cohomology is free of rank equal to the rank of the algebra over its Poisson center. The result covers coordinate rings of certain Bott–Samelson varieties and matches, for the corresponding semiclassical limits, the earlier computation of Hochschild cohomology for quantum nilpotent algebras.

What carries the argument

The intermediate localization bR = R[E^{-1}] at the multiplicative set generated by the non-normal cluster variables y_i. This localization equals a polynomial ring over a simple Poisson torus of even rank, so its derivations split by the known torus result; the common Poisson center of all intermediate rings then forces the Hamiltonian element back into R itself.

What would settle it

Exhibit a concrete uniparameter PNA of rank n satisfying the remaining hypotheses but possessing a Poisson-normal non-central element, then compute its first Poisson cohomology and check whether the free rank is still n.

Watch

Extended reading notes

Core claim

For a uniparameter Poisson nilpotent algebra R of rank n in which no generator is Poisson-central and every Poisson-normal element is Poisson-central, every Poisson derivation D of R may be written uniquely as D = Ham_x + θ_η with x in R and θ_η the homogeneous derivation that multiplies each homogeneous element a by η(wt(a)), where η is an abelian-group homomorphism from the character lattice of the acting torus to the Poisson center of R. In particular the first Poisson cohomology PH^{1}(R) is a free module of rank n over that center.

Load-bearing premise

The global hypothesis that every Poisson-normal element is already Poisson-central; if this fails, the centers of the intermediate localizations no longer coincide with the center of R and the freeness claim needs re-work.

Editorial extensions

If this is right

  • For the listed Bott–Samelson coordinate rings the Poisson automorphism group is the semi-direct product of an n-torus by a finite group, recovering known rigidity statements.
  • The first Poisson cohomology of the semiclassical limit coincides with the first Hochschild cohomology of the corresponding quantum nilpotent algebra.
  • The same localization-and-cluster technique supplies a template for computing Poisson derivations of Poisson cluster algebras that arise from CGL extensions.
  • Higher Poisson cohomology groups of these algebras become accessible once the degree-one case is settled.

Reading between the lines

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

  • The same freeness should hold for the remaining finite types once the more technical weight-lattice filtrations of the earlier quantum paper are transplanted.
  • If the normal=central hypothesis can be relaxed to a controlled chain of intermediate centers, the method would cover Poisson matrix varieties and other excluded CGL examples.
  • The even-rank condition forced on the non-central torus suggests a topological obstruction that may appear in the second Poisson cohomology governing deformations.
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.

Referee Report

1 major / 4 minor

Summary. The paper computes Poisson derivations and the first Poisson cohomology of uniparameter Poisson nilpotent algebras (PNAs / Poisson CGL extensions) under the standing hypothesis that every Poisson-normal element is Poisson-central. Using the Goodearl–Yakimov initial Poisson cluster (y_i), the authors sandwich R between a Poisson affine space A and its torus T, introduce the intermediate localization bR = R E^{-1} (E generated by the non-normal y_i), and show that every Poisson derivation of bR decomposes as Ham_x + heta with heta acting by central multipliers on the non-central generators. A Vandermonde argument (Lemma 6.2) forces the Hamiltonian element back into R; the residual derivation is then shown to be weight-homogeneous (Proposition 6.4). The main result (Theorem 6.6 / Corollary 6.7) states that every Poisson derivation of R is uniquely Ham_x + heta_ heta with x ∈ R and heta_ heta(a) = heta(wt(a)) a for homogeneous a, so that PH^{1}(R) is free of rank n = rk(R) over Z_P(R). The results apply to certain Bott–Samelson coordinate rings.

Significance. The computation supplies the first systematic description of PDer and PH^{1} for a substantial class of Poisson CGL extensions, including semiclassical limits of many U^{+}_q(g) and selected Bott–Samelson charts. Combined with the authors’ earlier work on quantum nilpotent algebras, it yields the comparison HH^{1}(R) ≅ HP^{1}(R) for the corresponding pairs. The freeness of PH^{1} over the Poisson centre, of rank equal to the torus rank, is a clean structural statement that interacts usefully with the Poisson Rigidity Theorem of Levitt–Yakimov and with the deformation theory of log-canonical structures developed by Lu–Matviichuk. The argument is self-contained once the Goodearl–Yakimov cluster and the torus-derivation results of [4] are granted, and the hypotheses are stated openly.

major comments (1)
  1. Proposition 6.4 is stated without proof, the authors merely asserting that the argument is identical (after adaptation) to that of [3, Prop. 5.6]. While the Poisson setting is simpler and the needed technical ingredient (Proposition 3.5) is proved in full, a short self-contained sketch of the weight-homogeneity argument would make the paper independent of the quantum companion and would allow a reader to verify the precise places where the hypothesis N_P(R)=Z_P(R) is used. This is the only load-bearing step whose verification currently requires external material.
minor comments (4)
  1. The global hypothesis N_P(R)=Z_P(R) is introduced only in Section 5; a forward reference in the introduction or at the beginning of Section 3 would help the reader know from the outset which class of PNAs is being treated.
  2. In the statement of Theorem 6.6 the two running assumptions (no generator Poisson-central, and N_P=Z_P) are repeated; they could be collected once as “standing hypotheses” to avoid redundancy.
  3. Typographical inconsistencies appear in several places (e.g., “a the PNA”, “deriv ations”, missing spaces around math mode). A careful copy-edit would improve readability.
  4. The comparison with higher Poisson cohomology groups is mentioned only as future work; a one-sentence remark on what is already known for Poisson affine spaces or tori would orient the reader.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: central freeness and unique decomposition of PDer(R) are proved by direct localization + Vandermonde arguments under openly stated hypotheses; self-citations supply independent black-box inputs on tori/QNAs.

full rationale

The derivation chain (extend D to bR = RE^{-1}, decompose via Corollary 4.2 as Ham_x + heta with heta central on the simple torus bT, force x back into R by the Vandermonde matrix of iterated brackets in Lemma 6.2, then read residual action on generators via the weight homomorphism heta_ heta of Proposition 6.4) is internal algebraic reasoning from the Goodearl–Yakimov initial cluster and the definition of uniparameter PNA. The hypothesis N_P(R)=Z_P(R) is declared from Section 5 and used exactly to equate centers of intermediate localizations; it is not smuggled. Citations to the authors’ [3] (QNA derivations) and [4] (Poisson-torus derivations) supply prior independent computations whose conclusions are applied as black boxes; uniqueness of the torus decomposition is imported but concerns a strictly simpler algebra and does not presuppose the PNA claim. No fitted parameters, no self-definitional identities, and no renaming of known empirical patterns appear. Score 1 reflects only the presence of non-load-bearing self-citations that do not reduce the target statement to its inputs.

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

The paper is pure algebra. It rests on standard Poisson-algebra definitions, the Goodearl–Yakimov theory of PNAs and initial clusters, the authors’ earlier torus-derivation theorem, and the standing hypothesis that Poisson-normal elements are Poisson-central. No free parameters are fitted; the only ‘invented’ objects are the intermediate localizations B_k and bR used as technical scaffolding.

assumptions (5)
  • domain assumption Definition of Poisson nilpotent algebra (iterated Poisson-Ore extension with rational torus action, locally nilpotent δ_k, nonzero eigenvalues λ_k) as in Goodearl–Yakimov [2, Def. 5.1].
    The entire class of objects under study is taken from [2]; the paper does not re-prove existence of the colouring map or the y_i construction.
  • domain assumption Uniparameter hypothesis: all eigenvalues λ_k, λ_kj lie in Q.
    Used in Proposition 5.3 to force Z_P(bT)=K and even rank of bT; without it the center arguments fail.
  • ad hoc to paper N_P(R)=Z_P(R): every Poisson-normal element is Poisson-central.
    Imposed from Section 5; the authors explicitly choose this stronger hypothesis for a smoother exposition and note that a more technical version covering all Bott–Samelson cases is possible by adapting [3, §4].
  • domain assumption Poisson derivations of a simple Poisson torus split uniquely as Hamiltonian plus scalar central derivations ([4, Cor. 2.7]).
    Black-box input to Corollary 4.2 and the decomposition (6.1).
  • standard math Standard facts on Poisson centers, Hamiltonian derivations, and localizations of Poisson algebras (characteristic 0).
    Background used throughout Sections 2–4.
invented entities (1)
  • Intermediate localizations B_k = R F_k^{-1} and bR = R E^{-1}
    purpose: Scaffolding that lets the authors control centers and force the Hamiltonian element of a derivation of bR to lie back in R via a Vandermonde argument.
    Technical constructions internal to the proof; not claimed as new geometric objects.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Poisson derivations and cohomology of Poisson nilpotent algebras." pith.science (2026). https://pith.science/paper/EVH6NIK2

@misc{pith2026260710782,
  author       = {Pith},
  title        = {Pith review of: Poisson derivations and cohomology of Poisson nilpotent algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EVH6NIK2}},
  note         = {Machine review of arXiv:2607.10782}
}
read the original abstract

We compute the Poisson derivations and the first Poisson cohomology group of uniparameter Poisson Nilpotent Algebras (PNA for short) under the hypothesis that Poisson-normal elements are Poisson-central. This applies in particular to certain Poisson algebras associated to Bott--Samelson varieties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 3 linked inside Pith

  1. [3]

    Launois, S.A

    S. Launois, S.A. Lopes, and I. Oppong. Derivations and hochschild cohomology of quantum nilpotent algebras. arXiv:2505.06205, 2025

    arXiv 2025

  2. [4]

    Launois and I

    S. Launois and I. Oppong. Poisson derivations of a semiclassical limit of a family of quantum second Weyl algebras.J. Geom. Phys., 196:Paper No. 105077, 33, 2024

    2024

  3. [1]

    Elek and J.-H

    B. Elek and J.-H. Lu. Bott-Samelson varieties and Poisson Ore extensions.Int. Math. Res. Not., 14:10745–10797, 2021

    2021

  4. [2]

    Goodearl and M.T

    K.R. Goodearl and M.T. Yakimov. Cluster algebra structures on Poisson nilpotent algebras. Mem. Amer. Math. Soc., 290(1445), 2023

    2023

  5. [5]

    Levitt and M

    J. Levitt and M. Yakimov. Rigidity of quadratic Poisson tori.Bull. Inst. Math. Sinica, 13:99– 142, 2018

    2018

  6. [6]

    Liu, J.-H

    Z. Liu, J.-H. Lu and Y. Mi. Mutation matrices from Poisson CGL extensions. arXiv:2607.07028

    arXiv

  7. [7]

    Lu and M

    J.-H. Lu and M. Matviichuk. Deformations ofT-log-symplectic log-canonical Poisson struc- tures and symmetric Poisson CGL extensions. arXiv:2503.05644, 2026

    arXiv 2026

  8. [8]

    S.-Q. Oh. Poisson polynomial rings.Comm. Algebra, 34(4):1265–1277, 2006

    2006

Show all 9 references
  1. [9]

    Shestakov

    I.P. Shestakov. Quantization of Poisson superalgebras and the specialty of Jordan superalge- bras of Poisson type.Algebra i Logika, 32(5):571–584, 1993. Universit´e de Caen Normandie, CNRS UMR 6139 LMNO, 14032 Caen, France Email address:stephane.launois@unicaen.fr CMUP, Depart...

    1993

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.