Deformations of T-log-symplectic log-canonical Poisson structures and symmetric Poisson CGL extensions

Jiang-Hua Lu; Mykola Matviichuk

arxiv: 2503.05644 · v2 · submitted 2025-03-07 · 🧮 math.SG · math.RA· math.RT

Deformations of T-log-symplectic log-canonical Poisson structures and symmetric Poisson CGL extensions

Jiang-Hua Lu , Mykola Matviichuk This is my paper

Pith reviewed 2026-05-23 00:46 UTC · model grok-4.3

classification 🧮 math.SG math.RAmath.RT

keywords Poisson deformationslog-symplectic structuresCGL extensionstorus actionsPoisson cohomologyBott-Samelson cellscluster algebraslog-canonical Poisson structures

0 comments

The pith

T-invariant first-order deformations of T-log-symplectic log-canonical Poisson structures on C^n with linearly independent weights are unobstructed and extend canonically to symmetric T-Poisson CGL extensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that every T-invariant first-order deformation of a T-log-symplectic log-canonical Poisson structure π0 on C^n is unobstructed provided the (C×)^n-weights are linearly independent. For symmetric T-action data it shows that π0 admits a canonical deformation to a symmetric T-Poisson CGL extension. This yields a classification of all such extensions in terms of the log-canonical term and the second T-invariant Poisson cohomology, together with an explicit formula for the initial mutation matrix. A sympathetic reader would care because the result identifies the standard Poisson structures on Bott-Samelson and generalized Schubert cells as the unique maximal normalized admissible deformations of their log-canonical terms.

Core claim

Every T-invariant first-order deformation of π0 with linearly independent (C×)^n-weights is unobstructed. For symmetric T-action data, π0 can be canonically deformed to symmetric T-Poisson CGL extensions, and the standard Poisson structures on Bott-Samelson cells and generalized Schubert cells for semi-simple complex Lie groups are the uniquely determined maximal normalized admissible deformations of their log-canonical terms.

What carries the argument

The T-log-symplectic log-canonical Poisson structure π0 equipped with symmetric T-action data, whose second T-invariant Poisson cohomology controls the unobstructed deformations and supplies the initial mutation matrix.

If this is right

All symmetric T-Poisson CGL extensions are classified by their log-canonical terms π0 and the second T-invariant Poisson cohomology of π0.
Symmetric Poisson CGL extensions of Cartan type are characterized by sequences of simple roots in symmetrizable generalized Cartan matrices.
The initial mutation matrix in the Goodearl-Yakimov cluster algebra theory is given explicitly by the (C×)^n-weights of the second T-invariant Poisson cohomology of π0.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The weight-independence condition may be relaxed if one allows controlled obstructions in higher cohomology groups.
The uniqueness result for maximal deformations on Schubert cells suggests a rigidity statement for Poisson structures on partial flag varieties that could be checked by direct computation in low-rank cases.
The explicit mutation-matrix formula might allow direct comparison between the Poisson CGL construction and other cluster structures arising from Lie theory.

Load-bearing premise

The Poisson structure π0 must be T-log-symplectic and log-canonical with the specified symmetric T-action data.

What would settle it

An explicit T-invariant first-order deformation with linearly independent weights that fails to extend to a second-order deformation, or a symmetric Poisson CGL extension whose initial mutation matrix cannot be expressed via the weights of the second T-invariant Poisson cohomology of its log-canonical term.

read the original abstract

For a complex algebraic torus $\mathbb{T}$, we study $\mathbb{T}$-invariant Poisson deformations of a $\mathbb{T}$-log-symplectic log-canonical Poisson structure $\pi_0$ on $\mathbb{C}^n$. We show that every $\mathbb{T}$-invariant first-order deformation of $\pi_0$ with linearly independent $(\mathbb{C}^\times)^n$-weights is unobstructed. For a special class of $\pi_0$ defined by the so-called symmetric $\mathbb{T}$-action data, we show that $\pi_0$ can be canonically deformed to symmetric $\mathbb{T}$-Poisson CGL extensions (of $\mathbb{C}$) as defined by K. Goodearl and M. Yakimov. As a consequence, we classify all symmetric $\mathbb{T}$-Poisson CGL extensions in terms of their log-canonical terms $\pi_0$ and the second $\mathbb{T}$-invariant Poisson cohomology of $\pi_0$. We further characterize, among all symmetric Poisson CGL extensions, those of Cartan type, i.e., those associated to sequences of simple roots in the root systems of symmetrizable generalized Cartan matrices. In particular, we prove that the standard Poisson structures on Bott-Samelson cells and generalized Schubert cells for semi-simple complex Lie groups are the (uniquely determined) maximal normalized admissible deformations of their log-canonical terms. Finally, for any symmetric $\mathbb{T}$-Poisson CGL extension $\pi$ with log-canonical term $\pi_0$, we present an explicit formula expressing the initial mutation matrix in the Goodearl-Yakimov theory on cluster algebras associated to $\pi$ in terms of the $(\mathbb{C}^\times)^n$-weights of the second $\mathbb{T}$-invariant Poisson cohomology of $\pi_0$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper classifies symmetric T-Poisson CGL extensions via their log-canonical terms and second T-invariant Poisson cohomology, with an explicit mutation matrix formula and a proof that standard structures on Bott-Samelson and Schubert cells are maximal deformations.

read the letter

The punchline is that this paper delivers a classification of symmetric T-Poisson CGL extensions together with an explicit formula for their mutation matrices in terms of cohomology weights, and it proves that certain standard Poisson structures on Lie group cells are maximal deformations of their log-canonical parts. What is new is the unobstructedness of T-invariant first-order deformations when the (C×)^n-weights are linearly independent, the canonical deformation construction for symmetric T-action data that produces CGL extensions, the full classification in terms of π0 and its cohomology, the Cartan type characterization, and the mutation matrix formula. These build on Goodearl-Yakimov but add the deformation and classification layers that are not in the prior work. The paper does well in making the connection to Bott-Samelson cells and generalized Schubert cells explicit, showing uniqueness of the maximal normalized admissible deformations. The arguments appear to use standard techniques in Poisson cohomology without circularity. The soft spots are minor and mostly about scope: everything is restricted to symmetric T-action data, so the classification does not cover non-symmetric cases. The weight independence condition is necessary for the unobstructedness, which is stated clearly. Since the full manuscript details the cocycle computations, a referee would want to verify those, but the stress-test indicates internal consistency. This paper is for researchers in Poisson geometry who work with torus actions and cluster algebra connections. Someone studying deformations of Poisson structures or CGL extensions would find the explicit results valuable. It deserves a serious referee because the results are specific, the claims are verifiable in principle, and there is no load-bearing flaw apparent from the available information. Recommendation: send it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript studies T-invariant Poisson deformations of a T-log-symplectic log-canonical Poisson structure π0 on C^n. It proves that every T-invariant first-order deformation with linearly independent (C×)^n-weights is unobstructed. For symmetric T-action data, it constructs a canonical deformation of π0 to a symmetric T-Poisson CGL extension and classifies all such extensions in terms of their log-canonical terms and the second T-invariant Poisson cohomology of π0. It characterizes the Cartan-type extensions among them and shows that the standard Poisson structures on Bott-Samelson cells and generalized Schubert cells are the uniquely determined maximal normalized admissible deformations of their log-canonical terms. An explicit formula is provided for the initial mutation matrix of the associated cluster algebra in terms of the weights of the second T-invariant Poisson cohomology.

Significance. If the results hold, the paper supplies a deformation-theoretic classification of symmetric Poisson CGL extensions and links them directly to the Poisson geometry of cells in semi-simple Lie groups. The unobstructedness theorem under the linear-independence hypothesis, the canonical construction, the uniqueness statement for maximal deformations, and the explicit mutation-matrix formula are concrete contributions that could be used in computations involving cluster algebras on flag varieties and Schubert cells.

minor comments (3)

[Abstract] The abstract refers to 'the second T-invariant Poisson cohomology of π0' without a preliminary definition or reference to the relevant cohomology complex; a short paragraph in §2 or §3 defining the T-invariant cochain complex would improve readability.
Notation for the symmetric T-action data (e.g., the precise meaning of 'normalized admissible') is introduced in the statements of the main theorems but is not collected in a single preliminary subsection; a dedicated notation table or subsection would reduce cross-referencing.
The final formula for the initial mutation matrix is stated in the last paragraph of the abstract and presumably proved in the final section; a brief remark on how the weights enter the matrix entries would help readers trace the dependence without reading the full proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed summary of our manuscript and for the positive assessment of its significance. The recommendation of minor revision is noted. No major comments are listed in the report, so we have no specific points requiring point-by-point rebuttal or revision at this stage. We will incorporate any minor editorial or typographical corrections in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via cohomology computations

full rationale

The central claims rest on explicit computations of T-invariant Poisson cohomology groups (vanishing of obstructions for linearly independent weights) and a canonical deformation construction for symmetric T-action data that produces CGL extensions. These steps are derived from the given hypotheses on π0 and standard definitions from Goodearl-Yakimov (external), without reducing any result to a fitted parameter, self-definition, or load-bearing self-citation chain. The uniqueness statements for Bott-Samelson cells follow directly from the classification in terms of log-canonical terms and cohomology, with no renaming or ansatz smuggling. The paper is internally consistent against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from Poisson geometry, torus actions on varieties, and the Goodearl-Yakimov framework for CGL extensions and cluster algebras; no free parameters or invented entities are introduced.

axioms (2)

standard math Standard properties of Poisson bivectors, log-symplectic structures, and T-invariant cohomology on algebraic tori and C^n
Invoked throughout for definitions of π0, deformations, and cohomology groups.
domain assumption Existence of symmetric T-action data allowing canonical deformation to CGL extensions
Central to the classification and Cartan type results.

pith-pipeline@v0.9.0 · 5875 in / 1385 out tokens · 68766 ms · 2026-05-23T00:46:22.882145+00:00 · methodology

Deformations of T-log-symplectic log-canonical Poisson structures and symmetric Poisson CGL extensions

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)