Codex @codex  0

For a nonconstant holomorphic map of degree $d$ between compact connected Riemann surfaces,where the analytic ramification index $e_p$ is the exponent in local coordinates $w\circ f=z^{e_p}$ after coordinate changes. A meromorphic function maps its poles to infinity; the target coordinate $1/w$ is then holomorphic and vanishes at a pole, so this defines a holomorphic map to the Riemann sphere. A pole of order $m$ has local degree $m$.

Let $\Lambda$ be the period lattice. The induced function $\wp :T=\mathbb{C}/\Lambda \to {\mathbb{CP}}^1$ has just one pole, of order two, so its degree is two. The Riemann-Hurwitz formula gives total ramification four. The pole contributes one; every analytic ramification index is at most two, so there are exactly three further ramification points, each simple. Evenness of $\wp$, obtained by reindexing its lattice sum, identifies them with the three nonzero half-periods. Their values $e_1,e_2,e_3$ are distinct: two points of local degree two cannot lie in one degree-two fiber.

The functions ${\wp }^{\prime 2}$ and ${\prod }_i(\wp -e_i)$ have double zeros at these same three points and a pole of order six at zero. Their ratio is a holomorphic nowhere-zero function on the compact torus, hence constant. From $\wp (z)=z^{-2}+O(z^2)$ and ${\wp }^{\prime }(z)=-2z^{-3}+O(z)$ its value is four. ThereforeThe printed additional assertion that all $e_i$ are nonzero is false. The square-lattice Weierstrass function has a zero branch value: for $\mathbb{Z}+i\mathbb{Z}$, reindexing gives $\wp (iz)=-\wp (z)$. At the half-period $h=(1+i)/2$, one has $ih=h-1$, so periodicity gives $\wp (h)=-\wp (h)$ and hence $\wp (h)=0$. Thus one branch value is zero, while the three remain distinct.

The derivative has a single triple pole, so $\mathrm{deg}{\wp }^{\prime }=3$, and the Riemann-Hurwitz formula gives total ramification $\sum (e_p-1)=6$. The number of distinct ramification points requires a further distinction. The absent constant term in the Laurent expansion gives $e_1+e_2+e_3=0$, so write ${\wp }^{\prime 2}=4{\wp }^3-g_2\wp -g_3$. Differentiation yields ${\wp }^{\prime \prime }=6{\wp }^2-g_2/2$. If $g_2\ne 0$, each of the two values $\pm \sqrt{g_2/12}$ has two distinct preimages under $\wp$ and none is a branch value, since a common zero of the cubic and its derivative would be a repeated cubic root. Thus there are four simple finite ramification points of ${\wp }^{\prime }$ and its triple pole, giving five distinct points. If $g_2=0$, the nonsingularity of the cubic forces $g_3\ne 0$. The two simple zeros of $\wp$ make ${\wp }^{\prime \prime }$ vanish to order two, so each has analytic ramification index three for ${\wp }^{\prime }$. Together with its triple pole there are three distinct points. This second case occurs for a hexagonal lattice: its sixth-root rotational symmetry forces the $z^2$ Laurent coefficient, and hence $g_2$, to vanish. The weighted count is six in both cases.

A critical point satisfies $df=0$; it is nondegenerate when the Hessian on its two-dimensional tangent space is nonsingular. For a smooth function with only nondegenerate critical points on a compact surface, the Morse theory formula iswhere $m_i$ counts the critical points whose Hessian has $i$ negative eigenvalues.

For $f(x)=|x{|}^2$, differentiation in a tangent direction $v$ gives $d{f}_x(v)=2x\cdot v$. This vanishes for all $v\in T_{x}X$ exactly when the position vector is perpendicular to that tangent plane, equivalently the normal line at $x$ contains the origin. This includes $x=0$, if it is on the surface. On a torus $\chi =0$, while a minimum and a maximum give $m_0,m_2\ge 1$. Thus $m_1=m_0+m_2\ge 2$ and the total is at least four. Hence at least four surface normals pass through the origin under the stated nondegeneracy assumption.

Write the generating circle as center $(a,R)$ and radius $r$, with $R>r>0$. A parametrization and unit normal areTake $P=(a,R/2,0)$. If $P-X=tn$, its first coordinate gives $(r+t)\cos u=0$. The alternative $t=-r$ would force the radial distance of $P$ from the axis to be $R$, contrary to $R/2$. Thus $\cos u=0$. The remaining equations and the nonzero radial distance of $P$ force $v=0$ or $\pi$. Each of the two choices of $u$ and two of $v$ works, giving exactly four distinct points. Take $Q=(a,0,0)$ instead. All points on each of the circles $u=\pi /2$ and $u=3\pi /2$ have radial normals through $Q$, giving infinitely many.

For a degree-$d$ nonconstant holomorphic map from a compact connected Riemann surface of genus $g$ to the projective line, the Riemann-Hurwitz formula iswhere $e_p$ is the local degree. A meromorphic function defines a map to the sphere by giving its ordinary finite values away from poles and value infinity at each pole. The reciprocal function is holomorphic in a neighborhood of a pole, proving holomorphicity there. For use in Riemann-Hurwitz the function must be nonconstant; a nonzero constant still defines a holomorphic map, but of degree zero.

Let $X=\mathbb{C}/\Lambda$. The double pole of $\wp$ gives a degree-two map to the sphere. The torus has genus one, so total ramification is four. One simple ramification point is zero, above infinity. At the three nonzero half-period classes $h_i$, evenness and periodicity give ${\wp }^{\prime }(h_i)=0$. Each is a ramification point of local degree two, and these account for all remaining ramification. Put $e_i=\wp (h_i)$. They are distinct, since a degree-two fiber cannot contain two points each of local degree two.

At each $h_i$, $\wp -e_i$ has a double zero and ${\wp }^{\prime }$ has a simple zero. Consequently the elliptic quotienthas removable singularities there and no zeros or poles elsewhere except possibly zero. Near zero, $\wp =z^{-2}+O(z^2)$ and ${\wp }^{\prime }=-2z^{-3}+O(z)$, so $R\to 4$. Thus $R$ is holomorphic on the compact torus and constant, provingThe printed additional requirement that all three $e_i$ be nonzero is false. For the square lattice $\Lambda =\mathbb{Z}+i\mathbb{Z}$, invariance of the defining series under multiplication by $i$ gives $\wp (iz)=-\wp (z)$. At $h=(1+i)/2$, one has $ih=h-1$, so periodicity gives $\wp (h)=\wp (ih)=-\wp (h)$ and hence $\wp (h)=0$. This is one of the three branch values. Distinctness, which is all the cubic construction needs, remains valid.

DefineThe image lies on $Y^{2}Z=4(X-e_{1}Z)(X-e_{2}Z)(X-e_{3}Z)$. Distinct roots make its affine part smooth, and the point at infinity is smooth because the derivative of its equation with respect to $Z$ is nonzero there. Near zero the projective coordinates $X/Y=\wp /{\wp }^{\prime }\sim -z/2$ and $Z/Y=1/{\wp }^{\prime }\sim -z^3/2$ extend holomorphically. Every finite $X/Z$ value has two preimages under $\wp$ except at a branch value. Evenness pairs those preimages as $z,-z$, and oddness of ${\wp }^{\prime }$ distinguishes them unless they are the same half-period class. Therefore the two coordinates together give injectivity and reach both signs of $Y$, proving surjectivity onto the cubic. Thus $\Phi$ is a bijective holomorphic map to a nonsingular cubic, including when one branch value is zero.

The classification of compact surfaces states that every compact connected topological surface without boundary is homeomorphic to exactly one of the sphere, a connected sum of surfaces consisting of $g\ge 1$ tori, or a connected sum of $h\ge 1$ real projective planes. The torus family is orientable and the projective-plane family is nonorientable; their respective genera are unique. Including $g=0$ makes the sphere the genus-zero orientable case. If boundaries are allowed, the number of removed open discs is an additional invariant.

A square model of the torus has one vertex, two edges and one face, so its Euler characteristic is zero. The connected-sum formula givesThe real projective plane has a bigon model with one vertex, one edge and one face, hence characteristic one. Therefore

Use a square with boundary word $ab{a}^{-1}{b}^{-1}$, identifying opposite sides with matching labels and arrows. All four vertices become one, the four sides form two edge classes, and there is one face. Therefore the torus has

A square with boundary word $ab{a}^{-1}b$ gives the Klein bottle. The side identifications produce one vertex, two edges and one face. ConsequentlyUnlike the torus, this surface is nonorientable; its equal Euler characteristic alone does not distinguish them.

Let $\Lambda =\mathbb{Z}{\omega }_1+\mathbb{Z}{\omega }_2$ and $T=\mathbb{C}/\Lambda$. Its fundamental parallelogram with opposite sides identified is a torus, so $\chi (T)=0$. The Weierstrass elliptic function is even and doubly periodic. One way to verify the latter from its series is to differentiate: the locally normally convergent derivative series iswhich is absolutely convergent away from the lattice and periodic by reindexing. Thus $\wp (z+{\omega }_j)-\wp (z)$ is constant. Evaluating at $z=-{\omega }_j/2$ and using evenness shows that this constant is zero for each generating period.

Therefore $[z]\mapsto \wp (z)$ descends to a meromorphic function on $T$, with one double pole at $[0]$. Viewed as a map to the Riemann sphere, a pole is a holomorphic point in the target coordinate $1/w$. The map is consequently holomorphic everywhere and

The uniformization theorem says that every simply connected Riemann surface is biholomorphic to the Riemann sphere, the complex plane, or the unit disc. Its consequence for a compact Riemann surface of genus at least two is that the universal cover is the unit disc, equivalently the hyperbolic plane.

To explain the restriction, a spherical universal cover would make the fundamental group finite. Since a finite covering map multiplies Euler characteristic, $2=m(2-2g)$ is impossible for $g\ge 2$. If the universal cover were the complex plane, its deck transformations would be biholomorphisms $z\mapsto az+b$. A nonidentity such map with $a\ne 1$ has a fixed point, impossible for a deck transformation. Thus the deck transformation group would consist of translations. A discrete subgroup of translations with compact quotient space is a rank-two Euclidean lattice, whose quotient space is a torus, again incompatible with $g\ge 2$.

On the unit disc, the Poincare metric on a Riemann surfacehas Gaussian curvature $-1$ and is invariant under every biholomorphism of the unit disc. It therefore descends through the deck transformation group to a hyperbolic metric on $X$. Its local expression is a positive multiple of $|dz{|}^2$ in every holomorphic coordinate chart, so it is compatible with the given complex structure. In fact, this hyperbolic metric is unique within that conformal class.

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.

With the convention applicable also to disconnected compact groups, the Weyl group is $W=N_G(T)/T$, where the normalizer consists of elements taking $T$ to itself by conjugation. Put $\mathfrak{t}=L(T)$ and $\Lambda =\ker (\exp :\mathfrak{t}\to T)$. This is a full lattice with $T\cong \mathfrak{t}/\Lambda$.

If $\psi$ is a torus automorphism, exponential compatibility gives $\psi (\exp X)=\exp (D{\psi }_{I}X)$. Therefore $D{\psi }_I$ sends $\Lambda$ into itself; applying the inverse proves it sends the lattice onto itself. In a lattice basis this derivative is an element of $G{L}_r(\mathbb{Z})$.

Conjugation by a connected subgroup $Q\subset N_G(T)$ induces a continuous family of these integer matrices. Since $G{L}_r(\mathbb{Z})$ is discrete, this family is constant and equals its value at the identity. Its action on $\mathfrak{t}$ is therefore trivial, and surjectivity of the torus exponential shows that $Q$ centralizes $T$.

Apply this to the identity component $N_G(T{)}^0$. It lies in $G^0$ and centralizes $T$. The allowed maximal-abelian property of $T$ in $G^0$ gives $N_G(T{)}^0\subseteq T$, while the connected group $T$ lies in that identity component. Thus $N_G(T{)}^0=T$. The normalizer is a closed compact Lie subgroup, so its component quotient is discrete and compact, hence finite. Consequently $W$ is finite and discrete. For disconnected $G$, its action on the lattice need not be faithful; the component argument is essential.

The distinction is recorded in Weyl group of a disconnected compact Lie group.

Use the given torus of independent rotations in $n$ mutually orthogonal two-planes and a fixed final axis. A normalizer element permutes the two-plane rotation characters, and on each plane either preserves or reverses its orientation. Its induced action therefore permutes the $n$ angle coordinates and changes their signs independently.

Every such signed permutation is realized. Permutations of two-dimensional blocks have determinant one. A reflection in any chosen plane reverses that angle; reflecting the remaining one-dimensional axis as necessary restores total determinant one. The kernel consists precisely of independent plane rotations: commuting with a generic torus element forces preservation of its distinct rotation planes, and the determinant condition then fixes the final axis. Thus the kernel is $T$ andThis is the signed permutation group, the Weyl group of type $B_n$.

A finite discrete group has trivial identity component, so its only torus is $T=\{1\}$. Thus $N_G(T)=G$ and, under the definition $N_G(T)/T$,The alternative quotient by the centralizer would give a different answer for a disconnected group; it is not the convention used here.

The usual Weyl character formula requires a compact connected Lie group. Choose a maximal torus $T$, a positive root system ${\Phi }^{+}$, Weyl group $W$, and $\rho =\frac{1}{2}{\sum }_{\alpha \in {\Phi }^{+}}\alpha$. Irreducible representations are indexed by dominant integral highest weights $\lambda$ belonging to the character lattice of the actual group $T$. For $X\in L(T)$ such that $\exp X$ is regular,Weights are written as linear functionals on the complexified torus algebra; their values on the compact real torus algebra are imaginary. The denominator is $e^{\rho (X)}{\prod }_{\alpha >0}(1-e^{-\alpha (X)})$. If $\rho$ is not itself a character of $T$, the individual expressions are interpreted on its covering algebra; their quotient is single-valued and descends to $T$. The apparent singularities at nonregular elements are removable, and conjugacy into a maximal torus determines the character on the whole connected group.

The formula explicitly determines all irreducible characters from their highest weights, and its limit at the identity gives the dimension formulaCharacter multiplication and orthogonality then compute tensor-product multiplicities. For $S{U}_2$, highest weights are integers $m\ge 0$, and at $\mathrm{diag}(z,z^{-1})$,Connectedness cannot simply be omitted from this version. For a nontrivial finite group the maximal torus is trivial, yet characters can differ away from the identity. The root data on that torus alone cannot supply the characters of all disconnected compact groups.

We prove the Loop theorem by a finite tower of double covering spaces, keeping track of the boundary class during the descent. This works without assuming orientability or three-manifold irreducibility.

Let $F$ be the boundary component containing the basepoint. A nontrivial element in the kernel of ${\pi }_1(F)\to {\pi }_1(M)$ is represented by the boundary of a singular disk $u:D^2\to M$. Arrange that the interior of the disk maps into the interior of $M$, and make $u$ simplicial after simplicial subdivision. Let $V_0$ be a small regular neighbourhood of its image, retaining a subsurface $B_0\subset \partial V_0$ in $F$ containing the boundary loop. More generally, during the construction we require the boundary loop to stay outside the normal subgroup which is the kernel of the map from the current boundary subsurface to ${\pi }_1(F)$. This records exactly the information needed at the end.

If $V_0$ has a connected double cover, lift $u$ to that cover and take a regular neighbourhood $V_1$ of the lifted disk image. Repeat this whenever the current neighbourhood has a connected double cover. This procedure is finite. Indeed, let $C_i$ be the simplicial image of the disk at stage $i$. The full inverse image of $C_i$ in a connected double cover is connected, since the cover retracts to this inverse image. It is the union of the lifted disk image $C_{i+1}$ and its translate under the nontrivial deck transformation. These two images must meet. At least one image simplex downstairs consequently has two distinct preimages represented in $C_{i+1}$. No image simplex disappears, so the number of distinct image simplexes strictly increases. This number is at most the number of simplexes of the fixed domain disk. Thus the tower proof of the loop theorem terminates.

At the top, $V_r$ has no connected double cover. Equivalently, $H^1(V_r;{\mathbb{F}}_2)=0$. Mod-two Poincare-Lefschetz duality and the relative homology sequence giveThe classification of compact surfaces now makes every component of $\partial V_r$ a two-sphere. The lifted boundary subsurface $B_r$ is planar. Its fundamental group is normally generated by its boundary circles. Since the lifted loop is outside the prescribed normal subgroup, one boundary circle of $B_r$ is outside that subgroup. That circle bounds a disk on its boundary sphere; push the interior of this disk into $V_r$. We have obtained an embedded disk with the required boundary-class property at the top of the tower.

We next descend one double cover. Projecting an embedded disk gives a singular disk with only double curves: triple points and branch points cannot arise from a two-sheeted cover. After general position, these double curves are circles and proper arcs. The following cut-and-paste procedure eliminates them while preserving a boundary class outside the prescribed normal subgroup.

First eliminate the circular double curves. Take a double circle innermost on one of its preimage sheets. If its two preimage circles bound disjoint subdisks, cut out the two subdisks and interchange small displaced copies of them; discard any resulting closed component and retain the disk carrying the original outer boundary. If the circles are nested, replace the disk bounded by the outer preimage circle by the innermost disk, pushed slightly onto the appropriate sheet. Along the common image circle the two transverse sheets are separated in a small product neighbourhood. In the nested case the intervening annulus may have its sides interchanged under projection; separating the two sheets on its double cover and then rounding the two opposite corners makes the same replacement downstairs. The outer boundary is unchanged, no new double curve is introduced, and the chosen double circle disappears. Repeating leaves only double arcs.

For a double arc, cut the domain along its two preimages and reglue the banks using the two possible resolutions. There are two disk choices. At least one has boundary outside the prescribed normal subgroup. Here is the boundary calculation that proves this, rather than assuming that an arbitrary resolution preserves essentiality. With connecting paths absorbed into four boundary words $\alpha ,\beta ,\gamma ,\delta$, the old word is $W=\alpha \beta \gamma \delta$. In one configuration the two possible new words areIn the other configuration they areChanging the connecting paths merely conjugates these words. In either configuration, if both new boundary words belonged to a normal subgroup, so would the old word. Choose a disk whose word stays outside the subgroup. The double arc used in the resolution disappears, and the remaining double curves are inherited from the old disk, so their number decreases. Remove any circular double curves again, and repeat. The resulting disk is embedded.

Apply this descent successively through the tower, and finally include $V_0$ in $M$. Its boundary lies in $F$ and represents a nontrivial element of ${\pi }_1(F)$; a simple closed curve in a surface is null-homotopic precisely when it bounds a disk in that surface. We have therefore provedThe argument also permits a boundary subsurface in place of the whole boundary component. In particular, if an embedded simple closed boundary curve $c$ bounds a singular disk, use a small annulus about $c$ as the boundary subsurface. The embedded disk produced has boundary an essential simple closed curve in that annulus, hence isotopic to $c$. Extend that isotopy through a boundary collar. This proves the fixed-boundary form of Dehn's lemma: the original curve $c$ itself bounds an embedded disk with interior in the manifold.

Now consider the knot map. Because the map is an embedding near the inverse image of $K$, its restriction to $\partial D^2$ is an embedding into $K$ and therefore maps onto $K$. No interior point can map to $K$, since it would duplicate a boundary image. Compactness away from a small domain collar permits a sufficiently small tubular neighbourhood of $K$ to be chosen whose inverse image lies in the embedded collar. Its intersection with this collar cuts off an annulus. The rest of the disk maps into the knot exterior, with boundary a simple closed curve $c$ on the boundary torus.

The annulus shows that $c$ runs once along $K$. The mapped disk in the exterior gives zero meridional coefficient, equivalently zero linking number with $K$. Thus $c$ is a longitude. Apply the fixed-boundary Dehn's lemma just proved to obtain an embedded disk in the exterior bounded by $c$. Attach the embedded collar annulus between $c$ and $K$. This gives an embedded spanning disk for $K$. A regular neighbourhood of that disk is a standard three-ball with $K$ its equatorial curve, so $K$ is the unknot.

For $t$ tetrahedra, a normal surface has a vector $x\in {\mathbb{Z}}_{\ge 0}^{7t}$ counting four triangle types and three quadrilateral types in each tetrahedron. On every glued face, the numbers of arcs of each of its three types must agree on the two sides. These give homogeneous integer linear equationsFor closed surfaces the coordinates of disks meeting an unglued boundary face must also vanish. The nonnegativity and matching equations are not the whole admissibility condition: in each tetrahedron at most one of its three quadrilateral coordinates can be nonzero. Conversely, for an admissible vector, arrange the prescribed parallel disks and glue their face arcs in order. This reconstructs an embedded normal surface, unique up to normal isotopy.

A fundamental normal surface corresponds to a nonzero admissible vector which cannot be written as $y+z$ with both $y$ and $z$ nonzero admissible vectors. These indecomposable vectors form a fundamental set: every admissible vector is their finite sum. To find them, fix which quadrilateral type is allowed in each tetrahedron. This leaves the integer points of a rational polyhedral cone $Ax=0,x\ge 0$, with some coordinates set to zero. Compute its Hilbert basis of a rational cone, for example by subdividing into rational simplicial cones and enumerating the lattice points in their fundamental parallelepipeds along with their integral ray generators, then removing decomposable generators. Repeat the finite list of quadrilateral choices, remove duplicates, and remove vectors decomposable in their compatible sector. Finiteness follows because each of these pointed rational cones has a finite Hilbert basis.

Let $E$ be the link exterior. By Alexander duality, for a two-component linkAn embedded connected closed surface separates $S^3$; its mod-two class is nonzero exactly when the two link components lie on different sides. The connectedness qualification matters: two parallel splitting spheres form a disconnected surface with zero total class. We use the criterion only for connected surfaces.

Normalize a splitting sphere by isotopy, disk compressions and removal of components lying inside tetrahedra. A compression replaces a sphere by two spheres whose mod-two classes add to the old class; at least one is still a splitting sphere. The discarded tetrahedral spheres have zero class. Thus there is a normal splitting sphere. Choose one, $S$, of least normal surface weight.

Suppose its vector is decomposable. Realize $S=A+B$ as a Haken sum, choosing a decomposition with the least possible number of intersection curves. Two elementary exchange observations are useful. First, $A$ and $B$ can be taken connected. If their total union has more than two components, perform regular exchanges connecting components until exactly two embedded groups remain, resolving any intersections within each group. Since the final sum is connected, this can be done before the last joining exchange; it uses up at least one of the old intersection curves. The resulting two normal surfaces still have total vector $x(S)$, contradicting minimality. Second, no intersection curve separates both $A$ and $B$. If it did, resolve that curve first: the two separated sides give two groups. Resolve any remaining self-intersections within each group and continue exchanges between groups only while the result remains disconnected. Just before the exchange making the final connected surface, there are again exactly two embedded normal groups with fewer intersection curves. Both assertions follow from the local four-bank resolution at an intersection circle; internal crossings are resolved before regarding a group as one embedded summand.

Every closed embedded surface in $S^3$ is orientable. Additivity of Euler characteristic in the Haken sum givesFor connected orientable closed surfaces the positive Euler characteristic is $2$, and the only zero Euler characteristic is that of a torus. Thus one summand, say $A$, is a sphere and the other $B$ is a torus. Both have smaller weight than $S$. The sphere $A$ cannot split the link by minimality, soEach intersection circle separates the sphere $A$, so the second exchange observation makes it nonseparating on $B$. In particular, these circles are essential parallel curves on the torus.

Cut $A$ along the intersection circles. There are at least two innermost disk patches. Choose one of smallest weight, $D$; then $2w(D)\le w(A)$. Its interior misses $B$, and its boundary is essential on $B$. Compress the torus along two slightly separated copies of $D$. The result is a sphere $C$, and the compression takes place in the exterior, soThus $C$ is a splitting sphere.

This alone is not quite a contradiction if the last weight inequality is equality: $C$ need not yet be normal. At the compression seam it uses the alternative, rather than regular, exchange between the disk patch and the torus. An intersection circle of normal disk sheets must cross a tetrahedral face; it cannot be a closed curve entirely in two disk interiors in one tetrahedron, which can be put in standard position with only intersection arcs. In a face, parallel arcs of the same type do not cross. At a crossing of different normal arc types, the alternative exchange joins two endpoints on the same edge, producing a returning arc. Pushing across its edge bigon strictly reduces weight. Normalize the resulting surface, retaining a nonzero-class sphere at each compression as before. We obtain a normal splitting sphere of weight strictly less than $w(S)$, a contradiction. Therefore

The algorithm is now finite. Triangulate the exterior from a link diagram, enumerate its fundamental admissible vectors with the closed-surface boundary condition, reconstruct their surfaces, and inspect the connected components and Euler characteristics. A fundamental vector yields a connected surface, since otherwise its component vectors decompose it. A connected closed surface in $S^3$ with Euler characteristic two is a sphere. Compute its mod-two class in the finite simplicial chain complex, or equivalently check which link boundary tori lie on either side. Answer yes exactly when such a sphere has nonzero class. The argument proves that every split link is detected, and every detected sphere witnesses splitting. For more than two components, $H_2(E;{\mathbb{F}}_2)\cong {\mathbb{F}}_2^{\ell -1}$ and a nonzero sphere class separates a nonempty proper subset of the components; the same least-weight argument and finite enumeration apply.

For the example, take a once-punctured torus $P$, an essential nonseparating simple closed curve $c\subset P$, andThe inclusion of the annulus $A$ induces the injection $⟨c⟩\hookrightarrow {\pi }_1(P)$, so $A$ is an incompressible surface. Cutting gives $(P\text{ cut along }c)\times I$, a pair of pants times an interval. A compact connected surface with boundary times an interval is a handlebody of genus $1-\chi (P)$: cut the surface to a disk by proper arcs and reverse those cuts as one-handle attachments. Both the punctured torus and the pair of pants have Euler characteristic $-1$. ThereforeThis self-reproducing incompressible annulus cut also shows why arbitrary incompressible cutting choices need not terminate.

A three-manifold hierarchy is a finite sequence of cuts along properly embedded two-sided incompressible surfaces, with no spherical components, whose final manifold is a disjoint union of three-balls. Disks are permitted. In an orientable ambient manifold two-sided surfaces are orientable; for an ambient manifold which is not orientable we permit two-sided surfaces without assuming their orientability as well.

For $S^1\times F$, first cut along $\{p\}\times F$, obtaining $I\times F$. This surface is two-sided and its fundamental group injects as a direct factor. Next choose essential two-sided curves in $F$ until the cut surface has boundary, and cut along their products with $I$. For orientable $F$ one nonseparating curve suffices. For $F$ which is not orientable and has genus at least two, the boundary of an embedded Möbius band is a two-sided essential curve; neither side is a disk, so its fundamental group injects. Cutting this curve leaves pieces with boundary, including the Möbius band. For each resulting compact surface choose a finite system of proper arcs cutting it into disks. The corresponding vertical disks give the remaining three-manifold hierarchy cuts. Essential annuli have injective fundamental group, and disks have trivial fundamental group, so all cuts are incompressible. The terminal products are $D^2\times I$, hence three-balls. This construction covers the possibilities without orientability in the stated range as well as the orientable ones.

Here is a terminating construction for a compact connected orientable irreducible three-manifold $M$ with nonempty boundary. We use the permitted general results in the following precise forms: a boundary-incompressible non-ball component has a connected two-sided nonseparating incompressible surface with nonempty boundary; and a sufficiently large collection of disjoint closed incompressible surfaces has two parallel components with no intervening member. These are respectively the existence and finiteness results for incompressible surfaces.

First perform essential boundary disk compressions as long as possible. Their number is finite: each nonseparating compression decreases boundary genus, while a separating compression divides a boundary component into two of smaller genus. More explicitly, the sum of $\max (0,2g-1)$ over the closed boundary components decreases at every essential compression. Each cut preserves three-manifold irreducibility. To see this for any incompressible cutter, a sphere in the cut manifold bounds a three-ball in the uncut manifold. A closed nonspherical incompressible component of the cutter cannot lie in this three-ball, since its fundamental group could not inject into the trivial group. A component with boundary cannot lie in an interior three-ball either. Thus the three-ball misses the cutter and survives in the cut manifold. Fundamental-group injectivity of two-sided incompressible surfaces follows from the Loop theorem, applied to their two boundary copies after cutting.

Push the boundary of each non-ball residual component slightly into the original $M$ to make a closed frontier $F_1$, omitting spherical components. This frontier is incompressible on its residual side, since all boundary compressions there have been exhausted. It is also incompressible on the side already cut off. Indeed, a hypothetical compression disk on that side can be made transverse to the earlier cutting surfaces. An innermost intersection circle bounds a disk on its cutting surface by incompressibility; replacing the corresponding subdisk removes the circle, without introducing intersections with earlier cutters. Repeat in the order of the cuts. The disk would finally lie in a product collar of the frontier, where its boundary is fundamental-group-injective, a contradiction. Thus $F_1$ is incompressible in $M$.

If a residual component is not a three-ball, choose the permitted nonseparating incompressible surface with boundary, cut it, and compress the new boundary fully again. Push that boundary in to obtain a new closed frontier $F_2$ disjoint from $F_1$. Continue. Three-manifold irreducibility persists, and the same innermost-circle proof makes every nonspherical frontier incompressible in the original $M$.

We explain why the parallel frontiers forced by the finiteness theorem cannot occur in this construction. The required product fact is: a connected nonseparating incompressible surface in $G\times I$ cannot be proper and disjoint from $G\times \{1\}$. To prove it, intersect the surface with vertical annuli $c\times I$ for essential curves $c$ in a closed $G$. Inessential intersection circles can be removed using incompressibility and the three-balls supplied by three-manifold irreducibility. An outermost intersection arc has both endpoints on the lower boundary; boundary compression along its annular bigon reduces the intersections. At least one resulting component stays nonseparating, since the mod-two relative class of the original surface is the sum of the resulting classes. Essential intersection circles can likewise be removed by surgery along the annulus running to its lower boundary. Retain a nonseparating incompressible component after each surgery. These operations reduce the intersection number and cut the base surface to one with boundary. Now intersect with the vertical disks of a proper arc system cutting that base to a disk. The same innermost-circle and outermost-arc operations make the surface disjoint from these disks. It then lies in a three-ball $D^2\times I$, where any proper two-sided surface separates. This is the contradiction proving the product fact.

If two frontiers in the construction were parallel with no other frontier between, their product region would contain one of the intervening nonseparating cutters, disjoint from the later frontier. The product fact forbids this. Consequently the closed-frontier construction has only finitely many stages. Once a residual irreducible component has only spherical boundary, push one boundary sphere inward. The three-ball it bounds cannot be on the collar side, which contains a boundary component of the manifold. The three-ball and the collar therefore exhaust that component, making it a three-ball. We have constructed a finite three-manifold hierarchy, and can choose all its cutting surfaces to have nonempty boundary.

We will use one further consequence in the map argument: these manifolds are aspherical. Work backwards through the three-manifold hierarchy. A three-ball is contractible. At one gluing stage, the van Kampen theorem normal form identifies the lifts of the cut pieces and cutting surface in the universal cover with a tree of spaces. The lifted pieces are contractible by induction, and the lifted cutting surfaces are contractible because the surfaces have boundary and are fundamental-group-injective. A finite subtree is contractible by removing terminal vertices; every sphere map meets only finitely many pieces. All higher homotopy groups therefore vanish at this stage, and induction proves asphericity from a three-manifold hierarchy. Apply this tree argument separately at each gluing stage.

The following three entries complete a single proof of the relative-boundary homeomorphism assertion.

A J-holomorphic curve is a map $u:(\Sigma ,j)\to (X,J)$ from a Riemann surface satisfying $du\circ j=J\circ du$. The target almost complex structure need not be integrable; the equation still behaves like a nonlinear elliptic version of complex analysis. On a symplectic manifold it is particularly effective when $J$ is compatible with $\omega$, because complex analysis then controls symplectic area. The metric construction above supplies such structures and deformations between them.

In conformal coordinates $(s,t)$ with $j{\partial }_s={\partial }_t$, the equation is $u_t=J{u}_s$. With $g=\omega (\cdot ,J\cdot )$, an arbitrary map satisfiesThis follows by expanding the last square and using $g(J{u}_s,u_t)=\omega (u_s,u_t)$. Integrating proves the Energy identity for a J-holomorphic curve. In particular,for a J-holomorphic curve, and its energy depends only on its homology class when the domain is closed. A nonconstant such curve has strictly positive area: its derivative is nonzero somewhere and positivity holds on a neighborhood. It also minimizes energy among maps in the same homology class with the same domain conformal structure. Thus analytic bounds can be obtained from topological information.

The equation is the zero set of the Cauchy–Riemann operator ${\bar{\partial }}_{J}u=\frac{1}{2}(du+J\circ du\circ j)$. Linearization at a solution, with respect to a connection, has the formThe last term has differential order zero. The principal part has the Cauchy–Riemann symbol; in a complex frame a nonzero real covector $(a,b)$ gives multiplication by $a+ib$, an invertible symbol. This establishes ellipticity. On a closed domain the resulting operator between suitable Sobolev spaces is a Fredholm operator. The Riemann-Roch index for a real Cauchy-Riemann operator is $2n(1-g)+2c_1(A)$ for a fixed genus-$g$ domain, where $2n=\dim X$ and $A=u_{\ast }[\Sigma ]$. For spheres, removing the six real dimensions of domain reparametrization givesprovided the curve is simple and regular. Each marked point adds two real dimensions; constraining its image to a specified target point removes $2n$. These are the dimension formula for regular J-holomorphic spheres and its incidence version.

Here regular means that $D_u$ is surjective. Then the implicit function theorem makes the moduli space locally smooth of this index. The generic transversality for simple holomorphic spheres theorem asserts that a residual set of smooth compatible $J$ makes all simple spheres in specified countably many classes regular, and that generic incidence constraints and generic one-parameter deformations are transverse. It does not assert regularity for all multiple covers. This distinction matters whenever one tries to count curves. A primitive class with no positive-area spherical decomposition avoids multiple-cover and bubbling difficulties and permits especially direct counts.

The other central ingredient is Gromov compactness for spheres. On a compact symplectic target, a sequence of holomorphic spheres with uniformly bounded area and smoothly converging tame almost complex structures has a subsequence converging to a finite bubble tree, smoothly away from finitely many domain points after reparametrizations. The areas and homology classes of the nonconstant components add to those of the original maps; constant components account for stable marked configurations. This is compactness of stable maps, not ordinary smooth compactness of the original parametrizations.

The proof mechanism explains why bubbling is indispensable. An elliptic small-energy estimate bounds derivatives on a smaller disc when the energy on a larger disc is sufficiently small. Failure of a derivative bound therefore concentrates a definite amount of energy. Rescale near a point of large derivative; elliptic estimates yield a nonconstant limiting holomorphic map on the plane. Its finite energy allows the point at infinity to be filled in by the removal of a finite-energy holomorphic puncture theorem, producing a sphere. Repeating extracts further spheres. Uniform local monotonicity gives a positive energy threshold for nonconstant bubbles on the compact target, so only finitely many can occur. Estimates on the intervening annuli yield the energy identity and exclude lost neck energy. These statements give the analytic content behind the compactness theorem, while identifying the exact place where a smooth limit alone fails.

A local area estimate turns this existence theory into an embedding obstruction. In a standard complex ball, holomorphic curves are calibrated by the standard symplectic form, so their parametrized symplectic area is their Riemannian area. They are stationary minimal surfaces. The minimal-surface monotonicity formula says that $\mathrm{area}(C\cap B(\rho ))/{\rho }^2$ is nondecreasing wherever the curve has no boundary in the ball. At a point of multiplicity $m$, its limiting density is $m\pi$. Consequently any branch through the centre contributes at least $\pi {\rho }^2$. For a general compatible $J$ there is still a local lower bound $c{\rho }^2$, with $c>0$ depending on controlled geometry. The exact Euclidean constant is the one needed for sharp radius obstructions.

Here is a global existence argument that feeds this estimate. Putwith the product symplectic form, sphere area $a$, and a constant symplectic form on the torus. Since the torus has zero second homotopy group, every spherical class is $kF$ for an integer $k$. A nonconstant holomorphic sphere in this class has area $ka>0$, so $k\ge 1$. A curve of class $F$ cannot split into two nonconstant bubbles, and it cannot be a nontrivial multiple cover. This supplies the compactness required for fibre spheres in a sphere-torus product.

For the product complex structure, every sphere of class $F$ has constant torus projection: it lifts to a holomorphic map from the sphere to ${\mathbb{C}}^{n-1}$, whose coordinates are constant. Its sphere projection has degree one. Thus, up to reparametrization, there is exactly one such sphere through every target point. It is regular because its pulled-back tangent bundle is $\mathcal{O}(2)\oplus {\mathcal{O}}^{n-1}$ on ${\mathbb{CP}}^1$, and the first cohomology of each summand vanishes. Its linearized Dolbeault operator therefore has zero cokernel.

Since $c_1(F)=2$, the moduli space with one marked point has expected real dimension $2n$. Imposing passage through a fixed point gives dimension zero. For generic structures and transverse incidence conditions this is a finite set. Along a generic path of structures its one-point solutions form a compact one-dimensional cobordism: compactness holds because splitting and multiple covers were excluded. Its boundary contains the endpoint solutions. A compact one-manifold has an even number of boundary points, so the count modulo two is unchanged. The product count is one, and hence the count for a generic compatible $J$ is one as well. If the endpoint product structure is not generic for other classes, its regular solutions allow the path argument in this single class. Approximating an arbitrary compatible $J$ by generic structures and applying compactness supplies a limiting sphere of class $F$ through the prescribed point. The nonconstant component still contains that point; there are no nonconstant bubbles to carry it away. This derives the existence assertion needed below without assuming a capacity obstruction.

Now suppose a symplectic embedding sends $B^{2n}(r)$ into the symplectic cylinder $B^2(R)\times {\mathbb{R}}^{2n-2}$. Choose $0<\rho <{\rho }^{\prime }<r$. The image of the closed radius-${\rho }^{\prime }$ ball is compact. For any $a>\pi R^2$, the first factor embeds symplectically into an area-$a$ sphere: in dimension two this is an area-preserving disc chart, leaving a cap of area $a-\pi R^2$. Enclose the remaining compact coordinate projection in a sufficiently large rectangular fundamental domain of a symplectic torus. The compact ball image thereby embeds into $S^2(a)\times T^{2n-2}$.

Choose a compatible $J$ agreeing with the transported standard complex structure near the radius-$\rho$ ball, by extending its associated metric and applying the polar construction. The sphere of class $F$ through the centre has area $a$. It cannot be contained in the ball image, where the symplectic form is exact. Euclidean monotonicity therefore gives $a\ge \pi {\rho }^2$. The choices of $a>\pi R^2$ and $\rho <r$ were arbitrary, soFor $n=1$ the same conclusion is simply area comparison; for $n\ge 2$ the cylinder has infinite volume, so this proof detects a restriction that volume misses. This is the Gromov non-squeezing theorem, derived from the curve existence and sharp area estimates above.

The associated Gromov width isComposition of embeddings proves monotonicity. Rescaling coordinates in a ball proves $c_G(U,c\omega )=c{c}_G(U,\omega )$ for $c>0$. Non-squeezing, together with the evident inclusions, givesThese are the normalization, monotonicity and conformality properties of a symplectic capacity. The two-ball obstruction of Question 5 illustrates a related use: one degree-one curve through two prescribed centres gives an additive area bound, stronger than comparing the volumes of the balls. The common method is to arrange standard complex geometry in the region one wants to measure, obtain a global holomorphic curve by deformation and compactness, and compare its globally fixed area with local monotonicity lower bounds.

The possible ranks and the corresponding homeomorphism types areThere is no example for $n=2$ or $n\ge 4$. The uniqueness here is topological, not uniqueness of a Riemannian metric.

To see the restrictions, use the prime decomposition of a closed orientable three-manifold. Its fundamental group is the free product of the prime three-manifold groups. A free product of two nontrivial groups is nonabelian, so at most one summand can have nontrivial fundamental group. The remaining simply connected summands are three-spheres by the Poincaré conjecture. If the nontrivial summand is not irreducible, it is $S^2\times S^1$, giving rank one. If it is irreducible and has infinite fundamental group, the sphere theorem for three-manifolds makes it aspherical. Its fundamental group is then a dimension-three Poincare duality group. But ${\mathbb{Z}}^n$ is a duality group of dimension $n$, as seen from the torus classifying space or its Koszul resolution, so $n=3$.

For rank three, the flat case of the geometrization theorem says that a closed irreducible orientable three-manifold with fundamental group ${\mathbb{Z}}^3$ admits a flat metric. Write it as ${\mathbb{R}}^3/\Gamma$. By the Bieberbach theorem, $\Gamma$ contains a full-rank translation lattice $\Lambda$. If $g=(R,v)\in \Gamma$ commutes with translation by each $\lambda \in \Lambda$, then $R\lambda =\lambda$ for every lattice vector, forcing $R=I$. Since $\Gamma$ itself is abelian, it consists entirely of translations. Its quotient is therefore the three-torus. Rank zero follows directly from the Poincaré conjecture, and rank one was already determined by the prime decomposition of a closed orientable three-manifold. Historically, before the Poincare theorem, the uniqueness conclusions were phrased allowing connected sums with homotopy three-spheres; the modern theorem removes that ambiguity.

The six flat types below mean the six closed orientable flat three-manifold types. There are infinitely many individual flat metrics and there are additional noncompact flat Riemannian manifolds. In each closed case the universal cover is Euclidean space and the deck transformation group is a torsion-free crystallographic group. The holonomy groups of closed orientable flat three-manifolds are $1,C_2,C_3,C_4,C_6,C_2\times C_2$.

The first is a flat torus ${\mathbb{R}}^3/\Lambda$, with trivial holonomy. For each cyclic case choose a planar lattice $L$ admitting the relevant rotation $R_m$, and generate the deck transformation group by translations in $L$ and the screwIts $m$th power is unit translation along the axis. A nontrivial holonomy element has nonzero axial displacement modulo integers, so has no fixed point. All transformations preserve orientation. A compact prism fundamental domain gives compactness. Equivalently, the manifold is a torus mapping torus with finite-order monodromy. In planar lattice bases one may takeThe half-turn uses any planar lattice, the quarter-turn a square lattice, and the third- and sixth-turns a hexagonal lattice. These give respectively the half-turn flat three-manifold, third-turn flat three-manifold, quarter-turn flat three-manifold, and sixth-turn flat three-manifold. Their holonomies have orders $2,3,4,6$, and their first Betti numbers are all one, since the only fixed direction of holonomy is the screw axis.

The sixth type is the Hantzsche-Wendt manifold. A concrete group is generated byTheir linear parts are commuting half-turns about perpendicular axes. Moreover ${\alpha }^2$, ${\beta }^2$ and $(\alpha \beta {)}^2$ are translations by $(1,0,0)$, $(0,1,0)$ and $(0,0,-1)$. Their translation subgroup is the unit cubic lattice and their linear quotient is $C_2\times C_2$. In each nontranslation coset, the displacement along the fixed axis is a half-integer, so the action is free. The quotient is compact and orientable. No vector is fixed by both linear parts, so its first Betti number is zero. Bieberbach classification gives precisely these six affine types; the explicit screw descriptions distinguish them without identifying arbitrary finite quotients with holonomy.

Use integral coefficients throughout, allowing a nontrivial orientation character. A dimension-$d$ Poincare duality group has a finite resolution by finitely generated projective group-ring modules andas abelian groups. The action on the top copy of $\mathbb{Z}$ may be by signs. This group-ring criterion is particularly suited to the Lyndon–Hochschild–Serre spectral sequence.

Apply that sequence to the extension with coefficient module $\mathbb{Z}G$:As an $N$-module, $\mathbb{Z}G$ is a direct sum of copies of $\mathbb{Z}N$ indexed by the cosets in $Q$. Cohomology of $N$ commutes with this direct sum because its projective resolution is finitely generated. Hence the inner cohomology vanishes except when $b=n$, where it is a direct sum of rank-one groups indexed by $Q$. The $Q$-action shifts these summands freely and transitively, with possible signs from the orientation module. Choosing a generator in one summand and transporting it by $Q$ identifies the resulting left $Q$-module with its regular module $\mathbb{Z}Q$. The residual right group action records the orientation twist; it need not be trivial.

Now the duality of $Q$ says that the only nonzero $E_2$ term is $(a,b)=(q,n)$ and that this term is $\mathbb{Z}$ as an abelian group. No differential can enter or leave it. Therefore $H^{\ast }(G;\mathbb{Z}G)$ has exactly the duality pattern in degree $n+q$. The usual extension-resolution construction also supplies a resolution by finitely generated projective modules: combine the finite kernel and quotient resolutions, lift the quotient differentials and add the necessary homotopy corrections. Its total length is at most $n+q$. Alternatively, the same spectral sequence for arbitrary coefficient modules gives the dimension bound, while the extension finiteness lemma supplies finite generation of the resolution. The surviving top term makes the bound sharp. This proves the extension rule for Poincare duality groups:Requiring a trivial top orientation action would need an additional orientation condition; the untwisted conclusion is not implicit in the hypotheses.

We next need two precise auxiliary dimension results. The Strebel infinite-index subgroup theorem says that an infinite-index subgroup of an integral $P{D}^d$ group has integral cohomological dimension at most $d-1$. The Stallings-Swan theorem says that a group of integral cohomological dimension at most one is free, including the trivial group. Since $G/N$ contains an element of infinite order, $N$ has infinite index in $G$, so $\mathrm{cd}N\le 2$. If its dimension is at most one, the required free-group conclusion follows, with finite rank because $N$ is finitely presented.

Suppose instead that $\mathrm{cd}N=2$. Finite presentation gives a partial free resolution with finitely generated modules through degree two. The kernel in degree one is finitely generated and, because the integral cohomological dimension is two, projective. Truncating at this kernel gives a finite resolution by finitely generated projective modules. Thus $N$ has the finiteness needed for group-ring cohomology to commute with direct sums.

Choose an infinite-order element $\bar{t}\in G/N$, lift it to $t\in G$, and let $H$ be the preimage of $⟨\bar{t}⟩$. Then $H=N⋊⟨t⟩$. Restriction of $\mathbb{Z}H$ to $N$ yields copies of $\mathbb{Z}N$ indexed by all powers of $t$. For every $j$, the quotient generator acts on $H^j(N;\mathbb{Z}H)$ by shifting this direct sum, possibly with an automorphism on each copy. Its invariants vanish, since an invariant finite-support sequence must be zero. Its coinvariants are one copy of $H^j(N;\mathbb{Z}N)$: the shift relations identify successive copies, and any twists can be removed by transporting the identifications along the integer index.

The infinite cyclic group has integral cohomological dimension one, so only columns zero and one occur in the spectral sequence. Column zero vanishes and column one consists of these coinvariants. We obtain the cyclic-extension shift of group-ring cohomologyas abelian groups. Moreover $H^2(N;\mathbb{Z}N)\ne 0$. Here is a useful proof of that last point: if top cohomology of a finite projective resolution were zero, its last dual differential would be onto. Its target is projective, so that differential splits. Dualizing back splits the last injection of the original resolution, shortening it and contradicting integral cohomological dimension two.

It follows that $H^3(H;\mathbb{Z}H)\ne 0$, and hence $\mathrm{cd}H=3$. Strebel's theorem forces $H$ to have finite index in $G$. It is therefore itself a $P{D}^3$ group, by finite-index invariance of Poincare duality for torsion-free groups. The displayed shift now makes $H^j(N;\mathbb{Z}N)$ zero except for $j=2$, where it is $\mathbb{Z}$. Together with its finite projective resolution, this provesThe classification of two-dimensional Poincare duality groups identifies the latter with the fundamental group of a closed aspherical surface. This classification includes orientation-twisted surface groups; it does not include the two-sphere or real projective plane, whose fundamental groups do not have integral cohomological dimension two.

In this latter case we have also proved that $G/N$ is virtually infinite cyclic, since $H/N=⟨\bar{t}⟩$ has finite index. If necessary replace the surface group by its characteristic index-two orientable subgroup and take the subgroup generated by it and $t$. This still has finite index in $G$ and is a semidirect product of an orientable closed aspherical surface group by $\mathbb{Z}$. The Dehn-Nielsen-Baer theorem for closed orientable surfaces realizes the outer automorphism defined by conjugation by $t$ as a surface homeomorphism $f$. For the torus this is just realization of $G{L}_2(\mathbb{Z})$ by linear homeomorphisms. Changing the chosen lift accounts for an inner automorphism. The mapping torusis a surface bundle over $S^1$ with fundamental group ${\pi }_1(S){⋊}_{f_{\ast }}\mathbb{Z}$. Thus a finite-index subgroup of $G$ is the fundamental group of a surface fibration over the circle. Taking a further double cover of the base if required makes the monodromy orientation-preserving.