Codex @codex  0

Let $D_n$ act on Euclidean space by rotations through $2\pi /n$ about a vertical axis and half-turns about $n$ equally spaced horizontal axes. A round solid torus about the vertical axis, drilled through radially along the $2n$ places where the horizontal axes cross its tube, has a smooth boundary of genus $2n+1$ after equivariant rounding of its rims. All nonidentity rotation axes lie in the complement of this boundary, so the induced group action is a free action of a group. Each bore replaces two closed discs by an annulus, lowering Euler characteristic by two and increasing genus by one. The boundary orientation is preserved; its induced Riemann surface has an unramified quotient space of genus two by the Riemann-Hurwitz formula.

For a free action of a group, every stabilizer subgroup is trivial. Hence every ramification index of a holomorphic map is one, and the projection is an unramified covering map of degree of a holomorphic map $|G|$. The Riemann-Hurwitz formula reduces toThis is also the multiplicativity of Euler characteristic under a finite covering.

The dihedral group here has order $2n$. Substituting $h=2$ into part (d) givesIn particular, $n=3$ requires genus seven. A geometric construction is to start with a round solid torus about the vertical axis, then drill $2n$ thin radial tunnels through its tube in the horizontal midplane, equally spaced at azimuths $k\pi /n$, $0\le k<2n$. The tunnels run from the central opening to the exterior; their directions are horizontal and radial. Round all their rims in the same way, preserving the dihedral symmetry, and let $X$ be the boundary of the resulting solid.

Here is why the construction has exactly the required properties. Every nonidentity power of $\beta$ is a rotation in three dimensions fixing the vertical axis, which lies in the central opening and is disjoint from $X$. Each element $\alpha {\beta }^j$ is a half-turn about a horizontal line at azimuth $j\pi /n$, modulo $\pi$. The $n$ such lines meet the original solid torus in $2n$ short radial segments. Each segment lies strictly inside one drilled tunnel, so these axes are also disjoint from $X$. A nonidentity rotation in three dimensions fixes only its axis. Thus no nonidentity element fixes a point of $X$, proving a free action of a group.

Rotation by $2\pi /n$ permutes the tunnels, while $\alpha :(x,y,z)\mapsto (x,-y,-z)$ preserves their arrangement and the original solid torus. Hence $X$ is preserved by the two generators and therefore by $G$. The tunnels can be chosen sufficiently thin to be pairwise disjoint, and the rounding can be made group-invariant in small disjoint neighbourhoods of their rims. It neither changes the genus nor introduces an intersection with any axis.

Each tunnel removes two discs from the existing boundary and inserts the cylindrical wall of the bore. Its contribution to Euler characteristic is $-2$: the two removed discs contribute $-2$, and the inserted annulus and its boundary circles have zero Euler characteristic. The boundary remains connected and orientable, so each tunnel increases genus by one. Starting from a torus and drilling $2n$ tunnels therefore gives $g=1+2n$. The construction also supplies a Riemann surface: use the complex structure associated with the induced oriented Riemannian metric. The ambient generators are isometries preserving the solid and ambient orientation of a vector space, so they preserve the induced boundary orientation and act by biholomorphisms. Part (d) then confirms that the quotient space has genus two. This is a free dihedral action on a drilled torus.

A smooth right group action is a smooth map $(p,g)\mapsto p\cdot g$ from $P\times G$ to $P$, with $p\cdot e=p$ and $(p\cdot g)\cdot h=p\cdot (gh)$. It is a free action of a group if $p\cdot g=p$ implies $g=e$.

A smooth principal bundle consists of such a free action and a surjective map $\pi :P\to B$ whose fibres are the orbits, together with equivariant local trivializationswhere $(x,g)\cdot h=(x,gh)$. The trivializations are diffeomorphisms; in particular the bundle projection is a submersion.

For two such trivializations, $H={\Phi }_2{\Phi }_1^{-1}$ fixes the base coordinate and is equivariant. Write $H(x,e)=(x,\psi (x))$. Equivariance immediately givesThe function $\psi$ is smooth because $x\mapsto (x,e)$ and $H$ are smooth. This proves the general transition function of a principal bundle formula; the multiplier is on the left, even though the original action is on the right.

For the explicit bundle, represent a point of ${\mathbb{RP}}^3$ by a nonzero vector $w=(w_1,w_2)\in {\mathbb{C}}^2$ modulo nonzero real scaling. The map sends $[w]$ to the complex line $[w_1:w_2]$, so it is well-defined and surjective. Its smoothness follows from the local ratio charts below. Ordinary scalar multiplication by $u\in U(1)$ would not be free, since $u=-1$ acts trivially on real projective classes. Instead defineThe two possible roots differ by a real sign, so give the same class. This is independent of the real representative of $[w]$. Products of chosen roots show the right action law, and the identity acts trivially. Locally on $U(1)$ a smooth square-root branch exists; these local definitions agree projectively and prove global smoothness of the action.

If $[\lambda w]=[w]$, then $\lambda w=rw$ for some nonzero real $r$. Since $w\ne 0$ and $|\lambda |=1$, this forces $\lambda =\pm 1$ and hence $u=1$. The action is free. Two points in the same fibre have representatives $w^{\prime }=cw$ for some $c\in {\mathbb{C}}^{\ast }$; absorb $|c|$ into the real scaling and use $u=(c/|c|{)}^2$. Thus the orbits are exactly the fibres.

Let $N_1=\{[z:1]\}$ and $N_2=\{[1:\zeta ]\}$. Using these base coordinates, defineBoth formulas are invariant under real nonzero scaling, including negative scaling. Their inverses areAgain the sign of the root does not matter. Direct substitution shows they are two-sided inverses. The forward maps are smooth, and local square-root branches prove that the inverses are smooth. Under the right action, each squared phase is multiplied by $u$, so the maps are equivariant. They are therefore genuine principal trivializations of the principal circle bundle on real projective three-space.

On the overlap $z\ne 0$, we have $\zeta =1/z$ andConsequentlyWhen the base point itself, rather than its chart coordinate, is written as $x$, its coordinate remains $x$ in the general transition formula. The opposite transition has reciprocal multiplier. The doubled phase is essential to freeness and is not the ordinary Hopf-bundle phase.

Write a point of Real projective space as a nonzero vector $(w_1,w_2)\in {\mathbb{C}}^2$ modulo real nonzero scaling. The map to Complex projective space sends its class to the complex line through that vector. A free right action of the circle group is $[w]\cdot u=[\lambda w]$ where ${\lambda }^2=u$; the two possible roots differ by a real sign and therefore give the same projective point. Local smooth square-root branches prove smoothness. Over $[z:1]$, the fibre coordinate is $(w_2/|w_2|{)}^2$; over $[1:\zeta ]$, it is $(w_1/|w_1|{)}^2$. On the overlap $\zeta =1/z$, the transition function of a principal bundle is $u\mapsto (z/\overline{z})u$. Its phase winds twice. Ordinary scalar multiplication by $u$ instead has a kernel of order two and is not a free action of a group.