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.
created invariant polynomial
yesterday or so I started, finally, expanding and polishing invariant polynomial. But the main punchline is still missing, I’ll include it later:
I think the good treatment works at the level of cosimplicial algebras, not dg-algebras. Let be the Lie algebra of a Lie group regarded as an infinitesimal oo-Lie groupoid, i.e. as the simplicial object
where the subscript denotes first order infinitesimal neighbourhood of the neutral element. This is such that the cosimplicial algebra of functions on this maps under forming normalized cochains to the Chevalley-Eilenberg algebra of .
Then we can apply the infinitesimal path oo-groupoid functor to get the corresponding tangent Lie oo-algebroid . This is such that the cosimplicial algebra of functions on this maps under forming normalized chains to the Weil algebra of .
Then we can form the cokernel .
And that gives the invariant polynomials: the normalized chains dg-algeba of functions on is the complex whose cohomology are the invariant polyomials on .
In the relevant model structure the diagram is cofibrant, so that this is indeed the homotopy cofiber.
So this solves the question of how to abstractly characterize the invariant polynomials as those element in the Weil algebra that are closed and in addition are not only are annihilated by projecting onto the Chevalley-Eilenberg algebra, but which have the property that they are entirely in the image generated by the shifted generators of the Weil algebra.
1 to 2 of 2