Let $G$ be a (topological) group whose identity element $e\_G$ is
a nondegenerated basepoint (e.g. if $G$ is a Lie group). Then that's a
known fact that there is for every 'nice' enough topological space $X$
(eg paracompact sp, or more elementary a CW complex)
a natural bijection


$$ [X, BG] \cong \mathcal{P}\_G(X) $$


between homotopy classes of cont maps $X \to BG$ and
isomorphism classes of of principal $G$-bundles over base $X$. Explicitely
this is given by associating to a homotopy class of a map
$f: X \to BG$ the pullback bundle $f^\*EG$ of the *universal*
principal $G$-bundle $u:EG \to BG$.


Now like the trivial bundle the universal bundle $EG$ is the second
'canonical' (up to isomorphism) $G$-bundle and besides it's universal
property I'm trying to understand if it's possible to deduce it's
universal property *only* from study of it's *$1$-cocycle* represenation. Let's recall
that we can over every nice enough base space $X$ encode the complete information
about a $G$-bundle $E \to X$ with fiber $F$ (therefore $G \subset Aut(F)$;
in our case later it will be $G$ itself since we are interested on
principal bundles) in terms of a *$1$-cocycle*. Let $\mathcal{U}= \{U\_i \}\_i$ covering of $X$ over which $E$ trivializes, then


(1) a colection of homeomorphisms $\psi\_i: U\_i \times F \to p^{-1}(U\_i)$ compatible
with projection $p$


(2) the *$1$-cycle* (ie the set of *transition functions*) $g\_{ij}: U\_j \cap U\_i \to G$
such that for every $(x, f) \in (U\_j \cap U\_i) \times F$ we have


$$ \psi\_j^{-1} \circ \psi\_i (x,f) = (x, (g\_{ji}(x))(f))$$


(3) the transition functions satisfy $g\_{ii} = e\_G$ (constant function),
$g\_{ji}= g\_{ij}^{-1}$ and $g\_{kj} \cdot g\_{ji}= g\_{ki}$


Moreover two $G$-bundles $E\_1, E\_2$ over same base $X$ are isomorphic
if there exist fine enough covering $\{U\_i \}\_i$ of $X$ such that
there eist a family $g\_i: U\_i \to G$ with


$$ g^2\_{ij} = g\_i \cdot g^1\_{ij} \cdot g\_j^{-1} $$


where $\{g^1\_{ij}\}$ and $\{g^2\_{ij}\}$ are $1$-cycles of $E\_1$ and $E\_2$.


***Question***: Is it known which $1$-cocycle $\{g^{EG}\_{ij}\}$ is naturally associated
to the universal bundle $u:EG \to BG$? Is there any canonical choice
of the covering $\{U\_i \}\_i$ of $BG$ known over which this
$1$-cocycle can be in most transparent way be declared? Is it known at least if we work with a
*finite group*? The model of $EG$ and $BG$ I have here in mind is that one
by Milnor explaned in detail for example [here](https://math.stackexchange.com/questions/3523959/classifying-space-bg-and-contractable-space-eg).


If we work with this model for $EG \to BG$ can it's $1$-cocycle be
writen down? It must be something canonical but I don't know how
to determine it. My motivation is to understand if it's possible
to understand only by study the structure of it's $1$-cocycle that
this $G$-bundle is in certain way the most 'flexible' one in the sense
such that every other can be derived up to iso by the pullback of it,
as the universal property says. So speaking informally every 'twist' of $G$-bundle should be already 'known' in some way already to the universal bundle, such it 'knows' all possible twists can happen only by taking pullbacks. (Ok, I admit, that the last formulation is a bit vague, but that's the core of my motivation: I understand 'formally' the universal property of the universal bundle, but have no intuition on it's intrinsical geometry why and why exacly this geometry is the most 'flexible' to allow to recover all over $G$-bundles by taking pullbacks of it.



$1$-cocycle associated to universal $G$-bundle $EG \to BG$
For any $x \in (0,1)$, I will define an open set $U\_x$ of $BG$.


The way we can define it is by defining an open set $\tilde{U}\_x$ of $EG$, stable under the action of $G$, with $|G|$ connected components that are permuted by the action of $G$. Then any one of these components will project to an open subset of $BG$.


The set $\tilde{U}\_x$ in each simplex of $E\_G$ by the condition that there exists some $i$ such that $\sum\_{j< i} t\_j < x$ and $\sum\_{j \leq i } t\_j > x$. Because these are strict inequalities, this is an open subset of each simplex. Because they are unaffected by inserting a new $i$ with $t\_i=0$, this remains open in $EG$. Because the tuple $g\_1,\dots, g\_n$ is not used in the definition, it is certainly stable under the action of $G$.


The connected components associated to $g\in G$ consists of those points where $g\_i=g$ for the unique $i$ satisfying $\sum\_{j< i} t\_j < x$ and $\sum\_{j \leq i } t\_j > x$. This is a component because the function $g\_i$ is locally constant, because, on each simplex, the unique value of $i$ satisfying these inequalities is locally constant - it only changes at the points where $\sum\_{j < i} t\_i =x$ or $\sum\_{j\leq i} t\_i = x$, which are not in the set.


The open sets $U\_x$ cover $BG$ (it suffices to take any infinite set of $x$) since at each point, such an $i$ exists for all but finitely many $x$.


The cocycle is defined as follows: Given a point in $BG$, expressed as a tuple $t\_1,\dots, t\_n$ of nonnegative reals summing to one and a tuple $g\_1,\dots, g\_n \in G$ modulo the left action of $G$, that lies in $U\_x \cap U\_y$, let $i\_x$ be the unique $i$ such that $\sum\_{j < i} t\_i <x$ and $\sum\_{j\leq i} t\_i > x$, and define $i\_y$ similarly, and then set $$\psi\_{xy} ( ((t\_1,\dots, t\_n), (g\_1,\dots, g\_n)) = g\_{i\_x}^{-1} g\_{i\_y} .$$




---


This cocycle is flexible in the sense that for *any* distinct tuple $x\_1,\dots, x\_n$ of open sets $U\_{x\_1},\dots, U\_{x\_n}$, for any tuple of $\psi\_{ij} \in G$ for $1\leq i,j\leq n$ such that $\psi\_{ik} = \psi\_{ij} \psi\_{jk}$ for all $i,j,k$, there is a *unique* component of $U\_{x\_1} \cap \dots \cap U\_{x\_n}$ such that $\psi\_{x\_i x\_j} $ restricted to this component is $\psi\_{ij}$.


Indeed, such a tuple must have the form $\psi\_{ij} = c\_i^{-1} c\_j$ for some tuple $c\_i \in G$ for $i$ from $1$ to $n$, and then the component where $g\_{i\_{x\_j}} = c\_j$ for all $j$ does the trick.




---


But possibly this is not actually what you want to do. Probably you want to use a different cocycle presentation of $G$-bundles, the one where you fix a simplicial complex structure on the base, and present a cocycle as a tuple consisting of one element of $G$ for each edge satisfying one relation for each triangle.


For this one, the key point is that given a simplicial complex with such a cocycle, you can map it to BG by mapping each edge to the corresponding edge of $BG$, and then there will be a unique way of extending to triangles and then to higher simplices.


