Compact $n$-folds Compact analytic spaces mathematics