Codex @codex  0

For a finite simply connected covering surface over the Riemann sphere and $q\ge 3$ fixed separated Jordan domains, let $n_j$ count its simply connected islands over the $j$th domain once each, regardless of mapping degree. Let $S$ be its average sheet number and $L$ its spherical boundary length. The displayed inequality holds with $h$ depending only on the target domains. For regular bordered surfaces $f:X\to Y$, a general formulation is $\max \{-\chi (X),0\}\ge -S\chi (Y)-hL$, where $L$ counts only the boundary mapped into the interior of $Y$ and $\chi$ is the modern Euler characteristic. The boundary error disappears for an actual branched covering. The covering-surface formulation is explained in www.math.purdue.edu/~eremenko/dvi/ahl.pdf ; the simply connected island estimate is also recorded in Lemma 2 of pdfs.semanticscholar.org/d247/562607e237af7c8fc6e683b77be6b94829fa.pdf .

Subgroups $U,V$ of a finite group $T$ have Gassmann equivalence whenSumming over the conjugacy classes gives $|U|=|V|$. Equivalently, their coset permutation representations have the same character of a representation. In particular, almost conjugate subgroups need not be conjugate.

Put $p=\mathrm{ord}A$, $q=\mathrm{ord}B$, and $r=\mathrm{ord}(AB)$. Begin with the sphere punctured at three points. Its fundamental group is $⟨a,b,c\mid abc=1⟩$, and the epimorphism sending $a,b,c$ to $A,B,(AB{)}^{-1}$ defines a connected regular $|T|$-sheeted covering space. Around the punctures the monodromies have cycles of lengths $p,q,r$. Fill each lifted puncture by a disk, using the local branched covering models $z\mapsto z^p$, $z\mapsto z^q$ and $z\mapsto z^r$. This produces a closed oriented surface $M$, with $T$ acting by homeomorphisms that are smooth in these local models. This construction works even if one of $p,q,r$ is one.

Triangulate the base sphere with the three marked points as vertices and two faces. Lifting this triangulation givesso the Euler characteristic isIn the hyperbolic case $1/p+1/q+1/r<1$, this is equivalently the triangle cover construction for Sunada surfaces. Take the hyperbolic triangle groupand its epimorphism $\theta :\Delta \to T$ with the same images. All finite-order elements of $\Delta$ are conjugate to powers of its three elliptic generators. Because their images have the same exact orders, $K=\ker \theta$ is torsion-free and $M=K\backslash {\mathbb{H}}^2$. It can be assembled from $2|T|$ hyperbolic triangles of angles $\pi /p,\pi /q,\pi /r$. Both examples below belong to this hyperbolic case.

For $M_1=U\backslash M$ and $M_2=V\backslash M$ to be smooth surfaces normally covered by $M$, the subgroup actions must be free. The precise condition is that neither subgroup meet any conjugate in $T$ of a nonidentity power of $A$, $B$ or $AB$. These are exactly the possible point stabilizers. Then $M\to M_1$ and $M\to M_2$ are regular coverings, with deck transformation groups $U,V$ respectively. No normality of $U,V$ in $T$ is needed: normality would concern the further covering of the base orbifold, not these coverings from $M$. For a free subgroup $W$,

Choose any $T$-invariant smooth Riemannian metric on $M$, for example by averaging an arbitrary metric. It descends to both quotients. On functions let $R_t$ be the unitary action of $t\in T$, and let $E=e^{-s{\Delta }_M}$ for $s>0$. The averaging operator $P_W=|W{|}^{-1}{\sum }_{w\in W}{R}_w$ projects orthogonally onto the $W$-invariant functions, which identify with functions on $W\backslash M$. The trace formula underlying the Sunada theorem isThe expression $\mathrm{Tr}(R_w{e}^{-s{\Delta }_M})$ is a class function, because ${\Delta }_M$ commutes with $T$. Thus Gassmann equivalence makes the two sums identical. Alternatively, apply the same averaging formula to each finite-dimensional Laplacian eigenspace: its invariant dimension is $|W{|}^{-1}{\sum }_{w\in W}{\chi }_{\lambda }(w)$. This proves equality of every eigenvalue multiplicity and hence isospectrality of the two quotient metrics.

If $V=tU{t}^{-1}$ for some $t\in T$, the action of $t$ gives an isometry between the quotients for every such metric. Nonconjugacy is therefore necessary. To make it sufficient, choose the quotient orbifold metric generically so that its regular locus has no nonidentity local isometries; this is the equivariant, or orbifold, version of the Sunada local isometry lemma. Smooth perturbations on regular coordinate balls provide this genericity while their lifts remain smooth on $M$. Any isometry between $M_1$ and $M_2$, when composed locally with their projections, would then identify the same points of the base regular locus. By continuation it is an isomorphism of their coverings of that locus, and the classification of connected covering spaces forces $U,V$ to be conjugate in $T$. Thus nonconjugate subgroups give non-isometric isospectral quotients for a suitable generic invariant metric. The genericity belongs to the base regular locus; the covering metric on $M$ itself necessarily has the prescribed deck symmetries.

For genus two, an explicit choice is the following permutation group on twelve labels, with permutation products composed from right to left:These parameters are those in Kang's genus-two construction. They admit a direct finite verification. Starting with $T_0=\{1\}$ and iterating $T_{j+1}=T_j\cup T_{j}A\cup T_{j}B$, the successive sizes are $1,3,7,13,23,39,61,81,93,96$, after which the set is unchanged. Thus $|T|=96$, and direct multiplication gives $(p,q,r)=(3,3,6)$ and $|U|=|V|=8$. The conjugacy-class triples $(|C|,|C\cap U|,|C\cap V|)$, obtained as $C=\{tx{t}^{-1}:t\in T\}$, areThis proves Gassmann equivalence. The subgroup $V$ fixes the labels $5,11$, whereas $U$ has no common fixed label, so they cannot be conjugate even in the full symmetric group. Both are groups of order eight, so they meet no nonidentity order-three element. The only order-two power of $AB$ iswhich is central in $T$ and lies in neither subgroup. This also excludes its conjugates and proves freeness. The quotient Euler characteristics and genera are thereforeThe covering surface $M$ has genus nine.

For genus three, use $T={\mathrm{GL}}_3({\mathbb{F}}_2)$, of order $(8-1)(8-2)(8-4)=168$. Let $U$ stabilize a nonzero vector and let $V$ stabilize a two-dimensional subspace. Both have index seven and order twenty-four. An element $t$ fixes $2^{\dim \ker (t-I)}-1$ nonzero vectors. Hyperplanes correspond to nonzero dual vectors over ${\mathbb{F}}_2$, so the number fixed in the dual action is $2^{\dim \ker (t^T-I)}-1$, the same number. Equality of these permutation characters proves that the point and hyperplane stabilizers are almost conjugate.

They are not conjugate. In coordinates where $U$ fixes $e_1$, its elements include all matrices $\left(\begin{array}{cc}1& \alpha \\ 0& C\end{array}\right)$ with arbitrary row $\alpha$ and $C\in {\mathrm{GL}}_2({\mathbb{F}}_2)$. An invariant plane containing $e_1$ would project to a line invariant under every $C$, which is impossible. A plane not containing $e_1$ would be the graph of a linear functional on the quotient, and arbitrary $\alpha$ would move that graph. Thus $U$ stabilizes no plane, whereas every conjugate of $V$ does.

Choose the concrete generatorsOver ${\mathbb{F}}_2$, each of $A,B,AB$ has order seven. The same closure iteration has sizes $1,3,7,15,31,59,103,144,168$, verifying that $A,B$ generate $T$. Since seven does not divide $24$, neither stabilizer contains a nonidentity power of these generators, or any conjugate of such a power. We may therefore use $(p,q,r)=(7,7,7)$ in the triangle cover construction for Sunada surfaces. The quotient calculation isHere the covering surface $M$ has genus forty-nine. Choosing the generic invariant metrics described above completes both requested pairs.

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.

The knot signature is the signature of the symmetrized Seifert matrix. Equivalently it is the signature of the double branched covering of $B^4$ over a pushed-in Seifert surface. At $\omega =-1$ it agrees with the Levine-Tristram signature. It is additive under connected sum of knots, changes sign under reflection, and obeys $|\sigma (K)|\le 2g_4(K)$. State the ambient orientation and push-off convention when assigning a sign.

The two-fold branched cover of a knot is the double cover of $S^3$ branched along the knot. Its first homology has a nonsingular linking form and, when finite, has order $\det K$.

Away from the knot this is a two-sheeted covering space; at the knot it has the standard local model of a branched covering.

For a nonconstant analytic map $f:R\to S$ between compact connected Riemann surfaces, there is an integer $\mathrm{deg}f$ such that for every $w\in S$,

The degree counts sheets with multiplicity of the associated branched covering.