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)$.

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

On the Eisenstein Cohomology of Arithmetic Groups

Equivariant cohomology of even-dimensional complex quadrics from a combinatorial point of view

Equivariant cohomology of odd-dimensional complex quadrics from a combinatorial point of view

A geometric computation of cohomotopy groups in co-degree one

Weight two compactly supported cohomology of moduli spaces of curves

Motivic cohomology of the Nisnevich classifying space of even Clifford groups

Homology of configuration spaces of surfaces modulo an odd prime

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

Quantum cohomology determined with negative structure constants present

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

Stability of Homomorphisms, Coverings and Cocycles II: Examples, Applications and Open problems

Polydifferential Lie bialgebras and graph complexes

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

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

On the cohomology of SL$_n(\mathbb{Z})$

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Geometric cohomology frames on Hausmann-Holm-Puppe conjugation spaces

Weight 11 Compactly Supported Cohomology of Moduli Spaces of Curves in excess four

Batalin-Vilkovisky structures on moduli spaces of flat connections

On the cohomology of moment-angle complexes associated to Gorenstein* complexes