Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Have been polishing and expanding the first part of invariant polynomial.
spelled out in hopefully pedagogical detail at invariant polynomial in the section On Lie algebras the proof that the definition given there (closed elements in shifted generators inthe Weil algebra) is equivalent to the traditional one
At invariant polynomial had been missing a definition of the notion of equivalence of invariant polynomials on $L_\infty$-algebras that are not Lie algebras (where the notion does not play much of a role). I have added that into the Definition-section and then started adding to the Examples- and Properties-section a discusison on how this produces the expected behaviour that for
$b^{n-1} \mathbb{R} \to \mathfrak{g}_\mu \to \mathfrak{g}$a shifted central extension of $L_\infty$-algebras induced from a transgressive cocycle $\mu : \mathfrak{g} \to b^n \mathbb{R}$ transgressing to $\langle-\rangle_\mu$, the invariant polynomials of $\mathfrak{g}_\mu$ are generated from the generators of those of $\mathfrak{g}$ except $\langle - \rangle_\mu$.
added in a new subsection on reductive Lie algebras the statement that the invariant polynomials there form a free graded algebra on the indecomposables
added pointer to the original references by Weil, Cartan and Chern (same original references that are now at Chern-Weil homomorphism)
1 to 5 of 5