1: \begin{abstract}

2: The nilCoxeter algebra $\NSn$ of the symmetric group $S_n$ is the

3: algebra over $\bZ$ with generators $Y_i$ ($1\le i\le n-1$),

4: satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$,

5: $Y_iY_j=Y_jY_i$ ($|j-i|\ge 2$), together with the relations $Y_i^2=0$.

6: We describe an explicit presentation for the cohomology ring 

7: $Z=\Ext^*_{\NSn}(\bZ,\bZ)$, with $n-i$ new generators in degree $i$

8: for $0< i<n$, and all relations are quadratic. We show that this $\Ext$ ring is $\bZ$-free, 

9: and that it is a semiprime Noetherian affine polynomial identity (PI)

10: ring with Poincar\'e series $1/(1-t)^{n-1}$ and PI degree

11: $2^{n-2}$. For any field of coefficients $\kk$, we show that

12: $\Ext^*_{\kNSn}(\kk,\kk)$ is $\kk\otimes_\bZ Z$. Similar results hold

13: for other finite Coxeter types.

14: \end{abstract}

15: