For $k \geq 2, n \geq 1$ let $$M^{n,k} = \{(x\_1,\dots,x\_k) \in S^n \times \dots \times S^n \ | \ x\_1 + \dots + x\_k = 0\}$$ This is a compact CW-complex and almost, but not quite, a manifold. I generally want to understand this space better. More concretely, I am interested in the following questions:


(1) What is the dimension of $M^{n,k}$ in a reasonable sense?


(2) For which $n,k$ is $M^{n,k}$ simply connected?


(3) For $k = p$ prime, the space admits a free $\mathbb Z/p$ action by cyclically permuting the coordinates. What can be said about the cohomology of $(\mathbb Z/p)\backslash M^{n.k}$?


For small $k$ and $n$, it is possible to give a "hands on" description of $M^{n,k}$: $M^{n,2}$ is obviously homeomorphic to $S^n$. It is easy to see that $M^{n,3}$ is homeomorphic to the unit sphere bundle of the tangent bundle of $S^n$. The space $M^{1,4}$ is homeomorphic to $S^1 \times X$ where $X$ is the 1-dimensional CW-complex with three 0-cells and six 1-cells, such that for any pair of two different 0-cells there are two 1-cells joining them. $M^{2,4}$ is already pretty hard to describe, but it is definitely of dimension 5.



Configuration space like subspace of sphere product
Your space $M^{n,k}$ is a moduli space of closed $k$-gons in $\mathbb{R}^{n+1}$ with sides of length 1, viewed up to translation. As such it is a fairly well-studied object in the literature, see for example


Farber, Michael; Fromm, Viktor
*The topology of spaces of polygons,* 
Trans. Amer. Math. Soc. 365 (2013), no. 6, 3097–3114. 


In particular, it is a closed smooth manifold of dimension $n(k-1)-1$ when $k$ is odd, and has singularities when $k$ is even. 


