Holonomy around circular fibres ($\mathcal{P}=\mathrm{Rot}(-2\pi f^{\prime }(r_0))$)

For the Riemannian metric $d{r}^2+f(r{)}^{2}d{\varphi }^2$, where $f>0$ and $\varphi$ has period $2\pi$, parallel transport around $r=r_0$ acts on the orthonormal basis components of a tangent vector by a rotation through $-2\pi f^{\prime }(r_0)$. Indeed, those components obey $u^{\prime }=f^{\prime }(r_0)v$ and $v^{\prime }=-f^{\prime }(r_0)u$ as functions of $\varphi$. Thus all tangent vectors return to themselves exactly when $f^{\prime }(r_0)\in \mathbb{Z}$. The integer criterion concerns holonomy and is stronger than local flatness.

On a connected regular radial interval, trivial holonomy around circular fibres forces the continuous function $f^{\prime }$ to be integer-valued, hence constant. The resulting Riemannian metrics have $f(r)=nr+b$, with $n\in \mathbb{Z}$ and $f>0$ on the interval. Their Gaussian curvature is $-f^{\prime \prime }/f=0$. For $n\ne 0$, $\rho =f/|n|$ and $\theta =|n|\varphi$ give a local isometry to the Euclidean plane; for $n=0$, $r,b\varphi$ give a flat cylindrical chart. The polar developing map is injective on the regular domain when $|n|=1$, and is a multiple covering when $|n|>1$. Trivial holonomy therefore does not imply a global Euclidean chart. The slope is a discrete parameter, not an unrestricted real one.