 Irrotational vector field

A continuously differentiable vector field on an open subset of three-dimensional Euclidean space is irrotational when its curl is zero. Under the Euclidean identification $\alpha =X_{i}d{x}^i$, this says that the differential one-form $\alpha$ is a closed differential form. The Poincare lemma gives a potential of a conservative vector field locally. A global potential additionally requires zero line integrals around every closed curve; simply connected domains ensures this. On the punctured plane extended in the third direction, $X=(-y,x,0)/(x^2+y^2)$ has zero curl but integral $2\pi$ around a circle, so it is locally conservative and has no single-valued global potential.