I found this question in several places (even on mathoverflow and mathstackexchange), but I never found a satisfying answer.
Let $k$ be a field and $V$ a finite dimensional $k$-vectorspace. I would like to compute $\mathrm{Ext}_{\bigwedge V}(k,k)$.
By looking online it seems that it should be the dual of the symmetric algebra. The first step it's computing a free resolution of $k$ over $\bigwedge V$. Always by looking online it seems that this resolution should look like
$$K_.:\cdots\rightarrow S^{k+1}V\otimes_k\bigwedge V\xrightarrow{d^{k+1}}S^kV\otimes_k\bigwedge V\rightarrow\cdots,$$
where by $SV$ I'm denoting the symmetric algebra. I think the differential should be
$$d^{k+1}(v_1\cdots v_{k+1}\otimes w)=\sum_i (-1)^{i+1}v_1\cdots\hat{v}_i\cdots v_{k+1}\otimes v_i\wedge w,$$
but I'm not entirely sure. In fact, it is not obvious to me that this complex is acyclic. Could you tell me how to prove it?
And once we know that this is a resolution how do we compute the Ext's? It seems that the differentials of $\mathrm{Hom}_{\bigwedge V}(K_.,k)$ are zero but I can't understand why. Any help, please?
(I'm also using commutative-algebra and modules as tags since this question is related to the Koszul complex.)