The single-centre Euclidean Taub–NUT geometry is a gravitational instanton with a circle fibre over three-dimensional space. Its fibre shrinks smoothly at the centre when its period is chosen appropriately. Adding flat worldvolume directions gives the local geometry of a Kaluza-Klein monopole.
// Target: algebra.bigb
