differential geometry Subindex entries Lie theory symplectic geometry Important ideas/ definitions topological manifold smooth manifold differential form exterior derivative