1: \begin{abstract}
2: The cohomology of the classifying space $BU(n)$ of the unitary group
3: can be identified with the
4: the ring of symmetric polynomials on $n$ variables by restricting
5: to the cohomology of $BT$, where $T\subset U(n)$ is a maximal torus.
6: In this paper we explore the situation where
7: $BT = (\mathbb CP^{\infty})^n$ is replaced by a
8: product of finite dimensional
9: projective spaces $(\mathbb CP^d)^n$, fitting into
10: an associated bundle
11: $$U(n)\times_T (\mathbb S^{2d+1})^n\to (\mathbb CP^d)^n\to BU(n).$$
12: We establish a purely algebraic version of this problem by exhibiting
13: an explicit system of generators for the ideal of truncated
14: symmetric polynomials. We use this algebraic result to give
15: a precise descriptions of the kernel of the homomorphism
16: in cohomology induced by the natural map $(\mathbb CP^d)^n\to BU(n)$.
17: We also calculate the
18: cohomology of the
19: homotopy fiber of the natural map $E \Sym_n\times_{\Sym_n}(\mathbb
20: CP^d)^n\to BU(n)$.
21: \end{abstract}
22: