Hodge theory in global analysis Differentiable manifolds and differential forms mathematics