The Jacobian of a smooth projective curve is undoubtedly one of the most remarkable and beautiful objects in algebraic geometry. This work is an attempt to develop an analogous theory for smooth projective surfaces - a theory of the nonabelian Jacobian of smooth projective surfaces. Just like its classical counterpart, our nonabelian Jacobian relates to vector bundles (of rank 2) on a surface as well as its Hilbert scheme of points. But it also comes equipped with the variation of Hodge-like structures, which produces a sheaf of reductive Lie algebras naturally attached to our Jacobian. This...