# Compactification and the metric tensor

If we have a manifold $M$ with a metric tensor $g_{\mu\nu}$ and want to compactify it, let's say by the circle $S^1$, how can we find the metric tensor for the compactified space?
Note: I am no expert in this topic, in fact I am just getting started.

## migrated from physics.stackexchange.comOct 18 '17 at 0:35

This question came from our site for active researchers, academics and students of physics.

• Might Mathematics be better suited for this question? – Kyle Kanos Oct 15 '17 at 20:09
• Have a look at Kaluza Klein theory for a toy model on how compactification works. – JamalS Oct 16 '17 at 20:43

Typically one already has an ansatz for the compactified space metric, or one leaves it in the form $g_{\mu \nu}$. There are some restrictions though, such as requiring the Ricci cuvature of the metric to vanish if you started with a higher dimensional space of vanishing curvature and reduced on $S^1$. This reference should help out: https://arxiv.org/abs/1310.6353