Skip to main content
1 of 4
Tom Goodwillie
  • 55.9k
  • 7
  • 151
  • 240

I think that this works.

Notation: For a point $x\in EG$ we may symbolically write $x=\sum_{j=0}^nt_jg_j$, where $g_0,\dots ,g_n$ is an ordered tuple of distinct elements of $G$ and $t_j\ge 0$ and $\sum_jt_j=1$. Here the face relations are accounted for by agreeing that if $t_j=0$ for some $j$ then $g_j$ can be omitted from the tuple and the term $t_jg_j$ can be omitted from the expression, without changing the point $x$.

Invariant open cover of $EG$: For $p>0$ let $U_p\subset EG$ consist of the points $x=\sum_{j=0}^nt_jg_j$ such that there is a (necessarily unique) subset $S(x)\subset \{0,n\}$ of cardinality $p$ such that

(1) $t_j>t_k$ whenever $j\in S(x)$ and $k\notin S(x)$, and

(2) $t_j>0$ whenever $j\in S(x)$.

This is well-defined (compatible with the face relations), and open. The union of the sets $U_p$ is all of $EG$. For each $p$ the set $U_p$ is invariant under the action of $G$.

Local trivializations: Now let's show that the bundle is trivial over the image of $U_p$, by describing a cross-section. Let $V_p\subset U_p$ consist of those points $x=\sum_jt_jg_j\in U_p$ such that when $j_0$ is the smallest element of the set $S(x)$ then $g_j=e$. This is open in $U_p$, and every point in $U_p$ is uniquely expressible as $gx$ for some $g\in G$ and $x\in V_p$.I think

Tom Goodwillie
  • 55.9k
  • 7
  • 151
  • 240