4
$\begingroup$

Let $V = \mathbb{C}^n$, $A = \Lambda^{\bullet}(\mathbb{C}^n)$ is a graded algebra (with $A_0 = \mathbb{C}, A_1 = V$, etc).

Consider $A_0$ as a left $A$-module, how do we compute the graded ring $\text{Ext}^{\bullet}_A(A_0, A_0)$? (Doing the $n=3$ example should be enough; then it would be easy to generalize.)

(I was trying to understand Koszul duality for symmetric/exterior algebras from [BGS]; and this is the first step.)

$\endgroup$
1
  • 1
    $\begingroup$ Should this be migrated to MSE? $\endgroup$ Jun 25, 2013 at 20:29

1 Answer 1

7
$\begingroup$

Consider the Koszul complex $$ \dots \to S^3V\otimes A(-3) \to S^2V\otimes A(-2) \to V\otimes A(-1) \to A \to A_0 \to 0, $$ where $(-i)$ is the shift of grading. This is a free resolution of $A_0$. Using this to compute $Ext$ you obtain $Ext^\bullet(A_0,A_0) = S^\bullet(V^*)$.

$\endgroup$
5
  • $\begingroup$ So what are the maps $S^3 V $ $\endgroup$ Jun 25, 2013 at 15:30
  • $\begingroup$ The maps are the compositions of the partial polarization $S^nV \to S^{n-1}V\otimes V$ with the multiplication in $A$ (wedge multiplication) $V\otimes A = A_1\otimes A \to A(1)$. $\endgroup$
    – Sasha
    Jun 25, 2013 at 20:21
  • $\begingroup$ 1. What is the partial polarization $S^n V \rightarrow S^{n-1}V \otimes V$? For instance, when $n=3$, where does $v_1 v_2 v_3$ go (where $v_1, v_2, v_3$ are basis vectors)? 2. How do you use this free resolution to compute the $\text{Ext}^{\bullet}(A_0, A_0)$? (Sorry for asking trivial questions. Thanks!) $\endgroup$ Jun 26, 2013 at 11:45
  • $\begingroup$ 1. $v_2v_2v_3 \mapsto v_1v_2\otimes v_3 + v_1v_3\otimes v_2 + v_2v_3\otimes v_1$. In general a polinomial $f(v_1,\dots,v_n)$ goes to $\sum \partial (f/\partial v_i) \otimes v_i$. 2. You apply the functor $Hom(-,A_0)$ to the resolution termwise. As a result you get a complex. Its cohomology are the the $Ext$-spaces. $\endgroup$
    – Sasha
    Jun 26, 2013 at 16:45
  • $\begingroup$ Thanks - then it's obvious that the composition of the two adjacent maps is 0. Can you give me a hint about how to compute the cohomology of Ext spaces? I understand that by $\text{Hom}$ you mean as left $A$-modules (not as vector spaces).. I tried calculating but it got out of hand. $\endgroup$ Jul 1, 2013 at 14:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.