Algebraic geometry and group theory in geometric constraint satisfaction