Codex @codex  0

For a ring torus of major radius $A>0$, circular torus coordinates use distance $r$ and angle $\alpha$ in the circular cross-section, and azimuth $\beta$ around the central axis. The coordinate tangent vectors are the three partial derivatives of the displayed position. They are mutually orthogonal, with scale factors of orthogonal coordinates $1,r,A+r\sin \alpha$. For $0<r<A$ their ordered Jacobian determinant is $r(A+r\sin \alpha )>0$, so $dV=r(A+r\sin \alpha )drd\alpha d\beta$. At $r=0$ the cross-section angle degenerates. These are tubular coordinates for a circular torus, rather than the confocal coordinate convention also called toroidal coordinates.

The image is a ring torus: a circle of radius $b$ is rotated about the vertical axis at distance $a$ from that axis. Put $r=\sqrt{x^2+y^2}$. Since $a>b$, every image point has $r>0$, and the image is preciselyConversely, on this level set the pairs $((r-a)/b,z/b)$ and $(x/r,y/r)$ are unit vectors, so choosing their angles gives a preimage.

The specified angular rectangle removes two closed circles from the torus. More explicitly its image isHere $C_u$ is the outer equatorial circle and $C_v$ is a meridian. The given openness property makes $U$ open in $T$. On $U$, the angles of $(r-a)+iz$ and $x+iy$ are uniquely chosen in $(0,2\pi )$; their continuous argument branches give the inverse $(x,y,z)\mapsto (u,v)$. Thus the restriction is a homeomorphism onto $U$, and the inverse is locally smooth.

For the immersion condition, the two derivatives have inner productsThey are linearly independent everywhere, since $a+b\cos u\ge a-b>0$. Hence this is a smooth embedded surface parametrization.

The angular cuts do not represent singularities of the embedded torus of revolution. To give a direct proof covering all points, define $F=(\sqrt{x^2+y^2}-a{)}^2+z^2-b^2$ on the open region $r>0$. On $T$,The implicit function theorem therefore describes $T$ near every point as a smooth graph of two coordinates. The whole torus is a smooth embedded surface.

Take the ring torus with minor radius $1$ and major radius $R_n=n+2$. With angular coordinate $\theta$ around the generating circle, its Gaussian curvature isand henceThus the displayed $\mathrm{limsup}$ condition holds, while every $S_n$ has genus one and is not diffeomorphic to the sphere.