It is well known that the formal group law $F_U$ of complex cobordism, expressing the Euler class of a tensor product of complex line bundles, is universal.

Also, the formal group law $F_O$ of unoriented cobordism, expressing the Euler class of a tensor product of real line bundles, is universal among formal group laws in characteristic 2 with the property that $F(X,X)=0$.

There is a nice description of $F_U$ in terms of manifold generators, due to Buchstaber:
$$
F_U(X,Y) = \frac{\sum_{i,j\geq 0} [H_{ij}]\;X^iY^j}{\left(\sum_{r\geq 0}[\mathbb{C}P^r] X^r\right) \left(\sum_{s\geq 0}[\mathbb{C}P^s] Y^s\right)}
$$
where the $H_{ij}$ are Milnor hypersurfaces. Here I am quoting this page.

1 Answer
1

I'm fairly sure you just get the same formula, with $\mathbb{C}P^k$ replaced by $\mathbb{R}P^k$, and $H_{ij}$ replaced by the corresponding real hypersurface in $\mathbb{R}P^i\times\mathbb{R}P^j$. The proof of the equivalent formula
$$ \left(\sum [\mathbb{R}P^r]\;X^r\right)
\left(\sum [\mathbb{R}P^s]\;Y^s\right)
F_O(X,Y) =
\sum H_{ij} X^i Y^j
$$
is quite direct and geometric. (I might come back and write more tomorrow.)