arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0708.2773

Strongly r-matrix induced tensors, Koszul cohomology, and arbitrary-dimensional quadratic Poisson cohomology

Mourad Ammar·Guy Kass·Mohsen Masmoudi·Norbert Poncin
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the concept of strongly $r$-matrix induced ({\small SRMI}) Poisson structure, report on the relation of this property with the stabilizer dimension of the considered quadratic Poisson tensor, and classify the Poisson structures of the Dufour-Haraki classification (DHC) according to their membership of the family of {\small SRMI} tensors. One of the main results of our work is a generic cohomological procedure for {\small SRMI} Poisson structures in arbitrary dimension. This approach allows decomposing Poisson cohomology into, basically, a Koszul cohomology and a relative cohomology. Moreover, we investigate this associated Koszul cohomology, highlight its tight connections with Spectral Theory, and reduce the computation of this main building block of Poisson cohomology to a problem of linear algebra. We apply these upshots to two structures of the DHC and provide an exhaustive description of their cohomology. We thus complete our list of data obtained in previous works, see \cite{MP} and \cite{AMPN}, and gain fairly good insight into the structure of Poisson cohomology.

Explore related subjects

math.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mourad Ammar, Guy Kass, Mohsen Masmoudi, Norbert Poncin. 2007-08-21. Strongly r-matrix induced tensors, Koszul cohomology, and arbitrary-dimensional quadratic Poisson cohomology. https://arxiv.org/abs/0708.2773

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

KEEP EXPLORING

Related papers

arXiv2026

New systems of log-canonical coordinates on $SL(2, \mathbb{C})$ character varieties of compact Riemann surfaces

We construct new sets of log-canonical coordinates on the $SL(2, \mathbb{C})$ character variety of compact Riemann surfaces. These are labelled by families of $1\leq m\leq 3g-3$ non-intersecting simple loops on the Riemann surface and are obtained by combining complexified shear-type with length/twist-type coordinates. In the case $m=3g-3$ the loops define a trinion decomposition of the Riemann surface, and our coordinates are closely related to the (complexified) Fenchel-Nielsen ones.

math.SG↗
arXiv2026

Moment Lagrangians, unobstructedness and symplectic groupoids

Moment Lagrangian $L_μ$ is a Lagrangian in $T^*G^- \times Y^- \times Y$ associated to a Hamiltonian $G$-space $Y$ with a moment map $μ$. In this paper, we prove that $L_μ$ is tautologically unobstructed under mild assumptions on $Y$. As a key ingredient in the proof, we constructed a new symplectic groupoid structure on $T^*G^- \times Y^- \times Y$ over $G\times Y$ for which $L_μ$ is simultaneously the unit and the fixed locus of the inversion, which might be of independent interest.

math.SG↗
arXiv2026

Stratifications associated to generic closed two-forms and stratified $L_\infty$ spaces

Jae-Suk Park and the second-named author introduce the deformation problem of coisotropic submanifolds of a symplectic manifold as the study of Mauer-Cartan moduli problem of an $L_\infty$ algebra attached to the foliation de-Rham complex associated to the null foliation of the corresponding presymplectic structure. The main purpose of the present paper is to extend this study of $L_\infty$ structures to the case of generic closed two-forms on arbitrary smooth manifolds as a stratified $L_\infty$ space. We first prove that there exists a residual subset of closed 2-forms, which we denote by $Z^2_{reg}(M) \subset Z^2(M)$, such that any element $ω$ therefrom admits a Whitney stratification each of whose strata is a presymplectic manifold. We then associate an $L_\infty$ space to each stratum (and to its tubular neighborhood) and glue the collection of $L_\infty$ spaces to a global stratified $L_\infty$ space by the coordinate atlas consisting of $L_\infty$ morphisms, which is a collection of $L_\infty$ morphisms, not necessarily of quasi-isomorphisms.

math.SG↗