Nash conditional independence curve

We study the Spohn conditional independence (CI) variety $C_X$ of an n-player game X for undirected graphical models on n binary random variables consisting of one edge. For a generic game, we show that $C_X$ is a smooth irreducible complete intersection curve (Nash conditional independence curve) in the Segre variety ${\left(P^1\right)}^{n-2}\times P^3$ and we give an explicit formula for its degree and genus. We prove two universality theorems for $C_X$: The product of any affine real algebraic variety with the real line or any affine real algebraic variety in $R^m$ defined by at most $m-1$ polynomials is isomorphic to an affine open subset of $C_X$ for some game X.