A condition for a dga to be minimal

58 Views Asked by At

I'm reading a book "Complex Geometry" by Daniel Huybrechts. In this book he says that a simply connected dga satisfying some conditions must be minimal. (p.147, Remark 3.A.13) I tried to prove this statement but eventually failed. It seems that there is a counter example.

The statement in the book is as follows:

If $ (M=\bigoplus _{i\ge0} M^i ,d) $ is a simply connected dga over a field $ k $ satisfying

1) $ M^0 =k $

2) $ M^+ := \bigoplus _{i>0} M^i $ is free, i.e. there exist homogeneous elements $ x_1 , x_2 , ... $ of positive degree $d_1 , d_2 , ...$, such that $M^+ =S^+ <x_1 , x_2 , ...>$ (the positive part of the (super)symmetric algebra of the vector space generated by $x_1 , x_2 , ...$.

and such that $d(M)\subset M^+ \cdot M^+$, then $M$ is minimal. In fact, 1) and 2) suffice to deduce $M^1 =0$ as in the proof of the previous lemma.

And the counterexample I found is as follows:

Let $M=S^*<x,y,z>$ with $x, y$ and $z$ homogeneous elements of degree $1$.

Set $dx=yz, dy=zx$ and $dz=xy$.

Using Leibniz rule and $x^2 = y^2 =z^2 = 0$ by graded commutativity, we can show that $d$ satisfies $d^2 = 0$.

e.g. $d(dx)=d(yz)=(dy)z-ydz=zxz-yxy=-xzz+xyy=0$

Moreover, since $d(ax+by+cz)=ayz+bzx+cxy=0$ implies $a=b=c=0$, we also know that $H^1(M,d)=0$, i.e. $(M,d)$ is simply connected.

Therefore, $(M,d)$ satisfies all assumptions in the statement but fails to have $M^1 =0$.

Moreover, $(M,d)$ is not minimal as $dx, dy, dz \ne0$

Question : Is this indeed a counterexample and the statement is wrong? Or is there something I am confused or missing?

And then what is the importance of this remark? It seems that this is not used in the rest of the book.