Elements of algebraic geometry and the positive theory of partially commutative groups