Subject: for toplist
From: "Claude Schochet"
Date: Thu, 2 Nov 2006 14:20:36 -0500
I am told that the following result is "well-known". Does anybody know a
reference?
Prop: Let $G$ be a topological group. Then there is a natural equivalence
\[
EG \times _G G^{ad} \simeq F(S^1, BG)
\]
where $F(S^1, BG)$ is the free loop space on $BG$ and $G^{ad}$ indicates
$G$ acting on itself via the adjoint action.
Thanks!
Claude Schochet
Math Dept, Wayne State Univ.
Detroit, MI 48202
claude@math.wayne.edu