Search arXivSearch

arXiv · 2503.05644

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

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 $π_0$ on $\mathbb{C}^n$. We show that every $\mathbb{T}$-invariant first-order deformation of $π_0$ with linearly independent $(\mathbb{C}^\times)^n$-weights is unobstructed. For a special class of $π_0$ defined by the so-called symmetric $\mathbb{T}$-action data, we show that $π_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 $π_0$ and the second $\mathbb{T}$-invariant Poisson cohomology of $π_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 $π$ with log-canonical term $π_0$, we present an explicit formula expressing the initial mutation matrix in the Goodearl-Yakimov theory on cluster algebras associated to $π$ in terms of the $(\mathbb{C}^\times)^n$-weights of the second $\mathbb{T}$-invariant Poisson cohomology of $π_0$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jiang-Hua Lu, Mykola Matviichuk. 2026-04-27. Deformations of T-log-symplectic log-canonical Poisson structures and symmetric Poisson CGL extensions. https://arxiv.org/abs/2503.05644

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG

An algebraic generalization of Giroux's criterion

We compute the contact homology algebra of a neighborhood $(\mathbb{R}_τ \times W, ξ)$ of a convex hypersurface $W$ and determine when this algebra is zero or non-zero. Thus we provide a tool for inferring the tightness of such $ξ$ for $W$ of any even dimension. In more detail, consider the augmentations $ε^{\pm}$ of chain-level contact homology algebras of the dividing set $(Γ, ξ_Γ)$ determined by the positive and negative regions of $W$. We compute $CH(\mathbb{R}_τ \times W, ξ)$ as the derived tensor product of the $ε^{\pm}$. Consequently the vanishing or non-vanishing of $CH(\mathbb{R}_τ \times W, ξ)$ is determined by the induced morphisms $Hε^{\pm}$ from $CH(Γ, ξ_Γ)$ to the coefficient ring.

math.SG

Hofer-Like Geometry Revisited

We prove that the inclusion of the Hamiltonian group $\Ham(M,ω)$ into the identity component \(G_ω(M)\) of the symplectic diffeomorphism group is a bi-Lipschitz embedding with respect to the Hofer norm and the Hofer-like norm, and we identify geometric conditions under which this embedding is isometric: settling a conjecture of Banyaga. This conjecture was proved by Buss and Leclercq; our proof provides explicit equivalence constants. We also detail and simplify Banyaga's original proof of the non-degeneracy of the Hofer-like norm. We then extend the analysis to all of \(G_ω(M)\): for \(ϕ\) with flux class \(γ\), the Hofer-like norm is given by a semidirect-product formula, the infimum over the harmonic locus \(\Harm(γ)\) plus a Hofer residue. This yields a geometric condition for the two norms to agree on the Hamiltonian group. In particular, this geometric condition holds on all closed surfaces of genus $g\ge 2$.

math.SG