  We will develop a formal non-commutative (NC) deformation theory of smooth
algebraic varieties $X$ defined over a field $k$, and describe a semi-universal
deformation where the tangent space $T^1$ and the obstruction space $T^2$ are
given as subspaces of Hochschild cohomology groups.
