Abstract:In the first part of the paper, we define the concept of a $G$-table of a $G$-(co)algebra and we compute the $G$-table of some $G$-(co)algebras (here a $G$-algebra is an algebra on which $G$ acts, semisimply, by algebra automorphisms). The $G$-table of a $G$-(co)algebra $A$ is a set of scalars that provides very precise and concise information about both the algebra structure and the $G$-module structure of $A$. In particular, the ordinary multiplication table of $A$ can be derived from the $G$-table of $A$. From the $G$-table of a $G$-algebra $A$ we define a plain algebra $P(A)$ associated to it and we present some basic functoriality results about $P$. Obtaining the $G$-table of a given $G$-algebra $A$ requires a considerable amount of work but, the result, is a very powerful tool as shown in the second part of the paper. Here we compute the $SL(2)$-tables of the Poisson algebra structure of the even-degree part of the cohomology associated to the cotangent bundle of the 3-dimensional Heisenberg Lie group with Lie algebra $h$, that is $H_E(h)=H_E^{\bullet}(h,\bigwedge^{\bullet}h)$. This Poisson $SL(2)$-algebra has dimension 18. From these $SL(2)$-tables we deduce that the underlying Lie algebra of $H_E(h)$ is isomorphic to $gl(3)\ltimes gl(3)_{ab}$ with the first factor acting on the second (abelian) one by the adjoint representation. We find it remarkable that the Lie algebra structure on $H_{E}(h)$ contains a semisimple Lie subalgebra (in this case $sl(3)$) strictly larger than the Levi factor of $\text{Der}(h)$, which in this case is $sl(2)\subset H^{1}(h,h)$. This means that the Levi factor of the Lie algebra $H_{E}(h)$ has nontrivial elements outside $H^{1}(h,h)$. Finally, this leads us to find a family of commutative Poisson algebras whose underlying Lie structure is $gl(n)\ltimes gl(n)_{ab}$ (arbitrary $n$) such that, for $n=3$, is isomorphic to $H_E(h)$.

$G$-tables and the Poisson structure of the even cohomology of cotangent bundle of the Heisenberg Lie group

On the Eisenstein Cohomology of Arithmetic Groups

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Extensions of Lie-Rinehart Algebras and Cotangent Bundle Reduction

Structure algebras, Hopf algebroids and oriented cohomology of a group

Strong Homotopy Lie Algebras, Homotopy Poisson Manifolds and Courant Algebroids

Cohomology of perfect Lie algebras

Twisted unipotent groups

The Algebra $a_{\hbar,\eta}(\hat{g})$ and Hopf Family of Algebras

Cohomology Structure for a Poisson Algebra: I

Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$

Lattices in the cohomology of $U(3)$ arithmetic manifolds

The Restricted Grassmannian, Banach Lie-Poisson Spaces, and Coadjoint Orbits

Poisson Geometry and Lie $\Bm{n}$-Algebras

Higher Koszul brackets on the cotangent complex

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

Transposed Poisson structures on Schrodinger algebra in (n+1)-dimensional space-time

Differential Galois Theory and Hopf Algebras for Lie Pseudogroups

Algebraic Aspects of Compatible Poisson Structures