For G a Lie group, can I make sense of G/G as a derived manifold in a nice way?

Question

The functor sending a smooth manifold $M$ to its de Rham algebra $\Omega^{\bullet}(M)$ does not send quotients by actions of Lie groups to invariant subalgebras. The example I have in mind is a connected Lie group $G$ acting on itself by left multiplication. The quotient is a point, which has de Rham algebra $\mathbb{R}$ concentrated in degree $0$, but the $G$-invariant subalgebra of $\Omega^{\bullet}(G)$ is much more interesting: it's the Chevalley-Eilenberg algebra $\Lambda^{\bullet}(\mathfrak{g}^{\ast})$ of the Lie algebra of $G$.

If I wanted to fix this, it seems like I ought to derive something, maybe the operation of taking quotients. Is there a nice category of derived manifolds in which the derived quotient $G/G$ has de Rham algebra the Chevalley-Eilenberg algebra (and vector fields given by $\mathfrak{g}$, and differential operators given by $U(\mathfrak{g})$, and so forth)? Or should I be thinking in terms of Lie algebroids, or what?

(I think I know what the category should be based on a talk I attended recently, but I know very little about it and would appreciate references. It should be the opposite of a category whose objects are something like commutative dg-algebras with degree $0$ part a smooth algebra.)

Edit: If what I said about quotients above is silly, let me ask a slightly different question: what I really want to know is what kind of smooth object, in some category of generalized smooth spaces, has de Rham algebra the Chevalley-Eilenberg algebra, vector fields $\mathfrak{g}$, differential operators $U(\mathfrak{g})$, etc.

Answer 1

I fully agree with A non's answer and comments. However, here is another perspective which you might find useful.

Recall that the de Rham stack $M_{dR}$ of a manifold $M$ is obtained from $M$ by identifying infinitesimally close points. In general the space of (derived) functions on the de Rham stack is the de Rham complex, and the category of quasi-coherent sheaves on $M_{dR}$ is modules for the ring of differential operators on $M$. Thus the de Rham stack is a way of encoding he kinds of invariants you are interested in.

In the case $M=G$, we have $G_{dR} = G/\widehat{G}$, where $\widehat{G}$ is the formal group associated to $G$ (a formal neighbourhood of the identity in $G$). As you have noticed, the quotient $(G/G)_{dR} = G_{dR}/G_{dR} = pt_{dR} = pt$. So the de Rham complex of $pt = G/G$ is not the $G$-invariants of the de Rham complex of $G$.

I think what you want to look at is the stack $G_{dR}/G$. The space of functions on $G_{dR}/G$ is indeed $G$-invariant forms on $G$, i.e. the CE complex. And quasi-coherent sheaves on $G/G_{dR}$ are modules for $G$-invariant differential operators, i.e. $\mathcal U(\mathfrak{g})$-modules.

Another name for $G/G_{dR}$ would be the classifying stack $B\widehat{G}$ or $B\mathfrak{g}$.

Sorry if this is a little vague - I am thinking in an algebraic setting, but it should be possible to carry these things over to a differential geometric setting.

Answer 2

The point of derived manifolds is to fix up limits, not colimits, of manifolds. A standard "fix" for what you bring up is to instead derive the notion of $G$-invariants, rather than to change the quotient:

• Regard $\Omega^\bullet(G)$ as a commutative algebra in naive rational $G$-spectra, and take homotopy invariants. That recovers something quasi-isomorphic to $\Omega^\bullet(G/G)$.

In this viewpoint, the formation of literal $G$-invariants is providing a nice, small, model for the de Rham forms on $M$ (at least when the $G$ action is free). So you already have a manifold whose de Rham cochains "are" the Chevalley-Eilenberg complex: $G$ itself. (This is the point of the Chevalley-Eilenberg complex, read backwards.)

Answer 3

The standard answer to: what has de Rham algebra the Chevalley-Eilenberg algebra, vector fields g, differential operators U(g), etc. is "the point with the Lie algebroid structure given by the Lie algebra $\mathfrak{g}$." All the notions you listed make sense for Lie algebroids, and you've listed the special cases for the one-point guy and the tangent Lie algebroid. (Funnily enough, I think usually I have to give this speech to explain in what sense differential operators are a universal enveloping algebra.)

I think Sam's answer is that in the modern world, we can think of Lie algebroids in terms of their quotients, which is surely true, but what you'll find good literature for is Lie algebroids.