Profinite rigidity for Seifert fibre spaces

An interesting question is whether two 3-manifolds can be distinguished by computing and comparing their collections of finite covers; more precisely, by the profinite completions of their fundamental groups. In this paper, we solve this question completely for closed orientable Seifert fibre spaces. In particular, all Seifert fibre spaces are distinguished from each other by their profinite completions apart from some previously-known examples due to Hempel. We also characterize when bounded Seifert fibre space groups have isomorphic profinite completions, given some conditions on the boundary.


Introduction
One possible algorithm to solve the homeomorphism problem for 3-manifolds could run as follows. Given two triangulated 3-manifolds M 1 and M 2 , perform Pachner moves on M 1 to try to establish a homeomorphism with M 2 . In parallel, compute a list of finite-sheeted covers of the two manifolds, along with regularity of the covers and the group of deck transformations. If at some covering degree a difference appears, the two manifolds will be shown to be non-homeomorphic.
The question arises, to what extent will this algorithm work? That is, could the collections of covers of two distinct 3-manifolds have the same structure? This is a manifestation of the wider question of when two groups have the same set of finite quotients. The naive statement in terms of sets of finite quotients is usually replaced with an equivalent formulation concerning B Gareth Wilkes wilkes@maths.ox.ac.uk 1 Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Road, Oxford OX2 6GG, UK the profinite completions of the two groups. The question is then one of 'profinite rigidity'. We make the following definition: Definition 1.1 An (orientable) 3-manifold is profinitely rigid if the profinite completion distinguishes its fundamental group from all other fundamental groups of (orientable) 3manifolds.
In dimension 2, the analogous property is known to hold by work of Bridson et al. [6], who showed that the profinite completion distinguishes 2-orbifold groups not just from each other, but from all lattices in connected Lie groups.
For 3-manifolds, only a few examples are known to be profinitely rigid. Bridson and Reid [7] and Boileau and Friedl [5] have proved that the figure-eight knot group is profinitely rigid among 3-manifold groups, along with a handful of other knot groups. By contrast, there are large families known not to be profinitely rigid. Funar [11] built on work of Stebe [21] to give infinite families of Sol manifolds with the same finite quotients. Hempel [13] gave Seifert fibred families, with geometry H 2 × R.
These examples notwithstanding, the profinite completion of the fundamental group of a low-dimensional manifold is known to contain a large amount of information. For instance, Wilton and Zalesskii [24] have shown that the geometry (if any) of a 3-manifold is detected by the profinite completion. In particular, Seifert fibre spaces are distinguished from all other 3-manifolds. Lackenby [14] has shown that the pro-2 completion of a 3-manifold group determines whether that 3-manifold contains a pair of embedded surfaces which do not disconnect the manifold.
In this paper, we provide the full solution of the profinite rigidity question for closed orientable Seifert-fibred 3-manifolds. In effect, the above-cited examples of Hempel [13] are the only failures of profinite rigidity among these manifolds. The precise statement, when combined with the work in [24], is:

Theorem 1.2 Let M be a (closed orientable) Seifert fibre space. Then either:
-M is profinitely rigid; or -M has the geometry H 2 × R, is a surface bundle with periodic monodromy φ and the only 3-manifolds whose fundamental groups have the same finite quotients as π 1 M are the surface bundles with monodromy φ k , for k coprime to the order of φ.
The theorems of [24] are stated for closed manifolds, so we will be a little more circumspect about asserting profinite rigidity among all 3-manifolds. However we may still resolve the rigidity question among Seifert fibre spaces. For the precise statements see Theorems 5.8 and 5.9; in summary Theorem 1.3 Let M 1 , M 2 be Seifert fibre spaces with non-empty boundary. Then the following are equivalent: π 1 M 1 ∼ = π 1 M 2 , by an isomorphism inducing an isomorphism of peripheral systems. -M 1 is a surface bundle with periodic monodromy φ, and M 2 is a bundle over the same surface with monodromy φ k , where k is coprime to the order of φ.
The author would like to thank Marc Lackenby for suggesting this field of study and for many enlightening conversations during the development of this theorem. The author was supported by the EPSRC and by a Lamb and Flag Scholarship from St. John's College, Oxford. Remark 1.4 In this document, we will use the following conventions: -All manifolds and orbifolds will be assumed compact, connected and without boundary unless otherwise stated; all 3-manifolds will be orientable; -Abstract groups will be assumed finitely presented and will be denoted with Roman letters G, H, . . .; they will be assumed to have the discrete topology. -Profinite groups will be assumed topologically finitely generated and will be denoted with capital Greek letters Γ, Δ, . . . -The symbols f , o , p will denote 'normal subgroup of finite index', 'open normal subgroup', 'normal subgroup of index a power of p' respectively; similar symbols will be used for not necessarily normal subgroups. -There is a divergence in notation between profinite group theorists, who use Z p to denote the p-adic integers, and manifold theorists for whom Z p is usually the cyclic group of order p. To avoid any doubt, the cyclic group of order p will be consistently denoted Z/ p or Z/ pZ.

Goodness
It will important to have control over the cohomology of profinite completions. We recall here certain theorems of this nature, which will be used freely without future reference. Serre [20] made the following definition: Under certain finiteness assumptions which hold in our cases of interest, an extension of a good group by a good group is itself good (see [20]); furthermore, finite index subgroups of good groups are good. Hence: The fundamental groups of Seifert fibre spaces are good.
It will not be needed in the sequel, but it seems fitting to mention that in fact all 3-manifold groups are good. This theorem is of somewhat disputed attribution. It was proved by Wilton and Zalesskii [23] that a 3-manifold has good fundamental group if all pieces of its JSJ decomposition do. Seifert-fibred pieces are covered by the above corollary. That hyperbolic 3-manifold groups are good follows from the Virtually Compact Special Theorem and its various consequences. There are numerous ways one may deduce this; one may use the Virtual Fibring Theorem of Agol [1] or another route as outlined in [10]. In stating the Theorem as due to Agol, Wilton-Zalesskii, and Wise we aim to recognise those who contributed most. A full account and list of references may be found in [4].

Chain complexes
It will be necessary later to work with certain exact sequences of modules over the group ring of a profinite group. In this section we will recall and prove some of the necessary tools. We will need to show that, under certain conditions, a free resolution of Z by Z[G]modules yields a free resolution ofẐ byẐ[[Ĝ]]-modules. To this end we use the following propositions and definitions, which are adapted from results in [15]. Proof First note we may restrict to the case of trivial modules in the conclusions, as any finite G-module M becomes trivial over K for a cofinal subset of {K ≤ f G}. Thus we may view M interchangeably as a left or right module. The maps res K K : H q (K ; M) → H q (K ; M) are given by restriction of cochains. The direct limit in question (categorically a colimit) is zero if all elements of H q (K ; M) are 'eventually zero'; that is, for all x ∈ H q (K ; M) there is some K ≤ K such that x is mapped to zero under the restriction map H q (K ; M) → H q (K ; M). By goodness of K , there is a natural identification H q (K ; M) ∼ = H q (K ; M) so we may represent x as a continuous cochain ξ :K q → M (q > 0). The preimage of 0 under ξ is some open subset ofK q ; products of open subgroups ofK form a neighbourhood basis in K q , so we may choose Δ ≤ oK such that ξ | Δ q = 0; then setting K = K ∩ Δ (so that Δ =K ) the commuting diagram For the second conclusion, assume G is of type FP(n). Then H q (K ; M) is finite for all 0 ≤ q ≤ n, K ≤ f G and M a finite G-module, and similarly for the cohomology. Recall that an inverse limit of finite abelian groups A i is trivial if and only if for each i in the indexing set, there exists j ≥ i such that A j → A i is the zero map; and similarly for a direct limit of finite abelian groups.
So let K be a finite index subgroup of G, and take K such that the restriction map res K K is zero on each H q . We show that we can dualise this to find that the corestriction map is also zero. Note that a finite-index subgroup of a group of type FP(n) is also of type FP(n). Let P • be a projective resolution of Z by left Z K -modules, which is finitely generated in dimension at most n. There is a natural isomorphism (see [9], Proposition II.5.2) Now take homology; Q/Z is an injective abelian group, so Hom(−, Q/Z) is an exact functor and commutes with homology; hence we get a natural isomorphism where N * denotes the dual Hom(N , Q/Z) of an abelian group. Finite abelian groups are isomorphic to their dual and canonically isomorphic to their double-dual; so we get a natural isomorphism in dimensions 0 ≤ q ≤ n where the right hand side is finite. The inclusion K → K induces the zero map on the left hand side by assumption, noting that M is isomorphic to M * so the restriction map with M * coefficients also vanishes. Hence the map on the right hand side, the corestriction map, is zero.
To prove the next proposition, we will need some exactness properties of the functor lim ← − . In general this functor will not be exact and so will not commute with homology. A well-known condition for exactness is the Mittag-Leffler condition; roughly, it is an 'eventual stability' condition. See [22] for a full treatment; here we merely state the definition and consequence. Definition 2.8 An inverse system (A i ) i∈I , where (I, ≤) is a totally ordered inverse system (not merely partially ordered) satisfies the Mittag-Leffler condition if for all i there exists j ≥ i such that for all k ≥ j. That is, the images of the transition maps into A i are eventually stable.
If all systems C n,i (i ∈ I ) in an inverse system of chain complexes C •,i satisfy the Mittag-Leffler condition, then we will have for all n. In our case, all the groups C n,i will be finite, so that the Mittag-Leffler condition holds (a decreasing sequence of subsets of a finite set is eventually constant). Our indexing set I = {(m, K ) | m ∈ N, K ≤ f G} will not be totally ordered; however by passing to the cofinal subset J = {(m!, K n )} where K n is the intersection of the finitely many subgroups of index at most n, we get a totally ordered indexing set without affecting the limit.
so that the new chain groups areĈ The groups A i,m,K are finite, so the homology of each chain complex (A •,m,K ) is finite; as described above we may now use the Mittag-Leffler condition to conclude Regarding (C • ) as an exact complex of free finitely generated Z[K ]-modules and noting that is a free partial resolution ofẐ.

Profinite completions of 2-orbifold groups
In this section we recall the results of Bridson et al. [6] concerning Fuchsian groups (i.e. orbifold fundamental groups of hyperbolic 2-orbifolds), and show that they extend to the case of Euclidean 2-orbifolds.
Theorem 3.1 (Theorem 1.1 of [6]) Let G 1 be a finitely-generated Fuchsian group and G 2 be a lattice in a connected Lie group. Proof Since π orb 1 (O 1 ) is finite if and only if the orbifold Euler characteristic is positive, we can safely ignore these cases as the profinite completion is then simply the original group.
Otherwise, assume π orb Recall that closed 2-orbifolds of nonpositive Euler characteristic are determined by their fundamental groups.
The orbifold has a finite cover which is a surface; take such a cover of O 1 and the corresponding cover of O 2 . If necessary pass to a further finite cover so that both O 1 and O 2 are covered with degree d by surfaces with isomorphic profinite completions. A surface group is determined by its first homology, which is seen by the profinite completion, so the two surfaces are homeomorphic to the same surface Σ. Orbifold Euler characteristic is multiplicative under finite covers, so . Hence Euclidean and hyperbolic orbifolds are distinguished from each other.
It only remains, in light of the above theorem of Bridson-Conder-Reid, to distinguish the Euclidean 2-orbifolds from each other. The profinite completion detects first homology; a direct computation shows that this suffices to distinguish all the Euclidean 2-orbifolds except (S 2 ; 2, 4, 4) and (P 2 ; 2, 2). Recall that an isomorphism of profinite completions would induce a correspondence between the index 2 subgroups, with corresponding subgroups having the same profinite completions. But (P 2 ; 2, 2) is covered by the Klein bottle with degree 2, and the Klein bottle is distinguished from the other 2-orbifolds by its profinite completion, but does not cover (S 2 ; 2, 4, 4). So these two Euclidean orbifolds also have distinct profinite completions.

Proposition 3.4 Let G be the fundamental group of a closed Euclidean 2-orbifold X . Every torsion element ofĜ is conjugate to a torsion element of G, and if two torsion elements of G are conjugate inĜ then they are already conjugate in G.
Proof The second statement is a special case of the fact that a virtually abelian group is conjugacy separable [21].
We proceed on a case-by-case basis. If X is a torus or Klein bottle, then G is good and has finite cohomological dimension, henceĜ has finite cohomological dimension and so is torsion free. If X = (S 2 ; 2, 2, 2, 2) then G is the amalgamated free product of two copies of the infinite dihedral group. The result then holds by the same argument as in Theorem 5.1 of [6]; for a finite subgroup of the fundamental group of a graph of groups must be conjugate into one of the vertex groups, which here are the copies of Z/2. The same result holds profinitely. Similarly if X = (P 2 ; 2, 2) then the fundamental group is an amalgamated free product.
In [6] the triangle orbifolds were dealt with by passing to certain finite covers which decompose as amalgams, and whose fundamental group contains the torsion element of interest. However for Euclidean orbifolds, it may happen that no such covers exist; indeed no orbifold whose fundamental group is an amalgam has any cone points of order greater than 2. We will instead exploit the fact that our triangle groups are virtually abelian. We give in detail the proof for the orbifold X = (S 2 ; 3, 3, 3); the other two triangle orbifolds are similar but involve checking more cases, so it would be uninformative to include the proofs.
Let G = a, b a 3 , b 3 , (ab) 3 . We have a short exact sequence The subgroup N is a subgroup of the translation subgroup of G. The translation subgroup is generated by the translations x = a −1 b, y = ba −1 . The action of conjugation is To guide our calculations, note that an element au r v s of G acts on the plane by rotation about the centroid of a certain triangle, whose location is in fact that of the fixed point of the rotation a, translated by u r +s v r/3 . So in G, we have and we expect similar equations to hold inĜ.
We have a short exact sequence forĜ induced from the one above: and see that any torsion element ofĜ is of the form a i b j u ρ v σ where i, j = 0, 1, 2 are not both zero and ρ, σ ∈Ẑ. For example, take i = 1, j = 0; the other cases are very similar. We now calculate So that torsion elements of this form are indeed conjugates of elements in G. The rest of the proof consists of similar calculations for other cases and can be safely omitted.

Seifert fibre spaces
We first recall some information about the invariants of a Seifert fibre space before moving on to profinite matters. For a more comprehensive introduction to Seifert fibre spaces see [8] and [19].
Recall that a fibred solid torus is formed as a quotient of D 2 × [0, 1] by identifying the two end discs by a rotation by 2πq/ p where p, q are coprime integers, called the fibre invariants of the fibred solid torus. The foliation of D 2 × [0, 1] by lines {x} × [0, 1] descends to a foliation of the torus by circles. Such pieces form a local model for a Seifert fibre space. Note that the quotient of a fibred solid torus obtained by collapsing each fibre naturally has an orbifold structure, where the image of the exceptional fibre is a cone point of order p. After fixing an orientation for the disc and fibre, the number q becomes well-defined in the range 0 < q < p; if no orientations are chosen, it is well-defined only in the range 0 < q ≤ p/2. To give the standard presentation for the fundamental group, it is conventional to define the Seifert invariants of the exceptional fibre to be (α, β) where α = p, and βq ≡ 1 mod p.
The orbifold quotients of neighbourhoods of each fibre piece together to form the quotient of the whole manifold M by the foliation; this is the base orbifold O of the Seifert fibre space. This quotient induces a short exact sequence where π orb 1 O is the orbifold fundamental group, and h is the element of π 1 represented by a regular fibre. This subgroup < h > may be finite or infinite cyclic, and is either central (if O is orientable) or π 1 M has an index 2 subgroup which contains h as a central element.
The final invariant has various different formulations; see [8,16,19]. It is in some sense the 'obstruction to a section', and coincides with the Euler number of the fibration when there are no exceptional fibres and the Seifert fibre space is a bona fide fibre bundle. In general it is still called the Euler number e of the Seifert fibre space, and is a rational number. The key properties of the Euler number are the above behaviour when there are no exceptional fibres, and the following naturality property: The Euler number has no well-defined sign a priori; given a choice of orientation on M, e acquires a sign, and reversing the orientation (by flipping the direction along the fibres) changes this sign. This is consistent with the interpretation as the obstruction to a section; when there are no exceptional fibres, circle bundles with orientable total space are classified by elements of H 2 (Σ; Z), where the Z coefficients are twisted by the orientation homomorphism for Σ; this group is Z whether or not Σ is orientable. The vanishing of the Euler number gives important topological information:

Proposition 4.2 Let M be a Seifert fibre space. The Euler number e(M) vanishes if and only if M is virtually a surface bundle over the circle with periodic monodromy.
Finally, we can state the classification results of Seifert fibre spaces and characterisations of their fundamental groups from these invariants.

Proposition 4.3 A Seifert fibre space is uniquely determined by the symbol
-Σ is the underlying surface of the base orbifold; -(α i , β i ) are the Seifert invariants of the exceptional fibres, and 0 < β i < α i are coprime.
If Σ is closed and orientable of genus g, π 1 M has presentation closed and non-orientable of genus g, then π 1 M has presentation   a 1 , . . . , a r , v 1 , . . . , v When the Seifert fibre space has boundary, we have similar presentations without the last relation; the base orbifold group is just a free product of (finite or infinite) cyclic groups. In these presentations, h represents the regular fibre; killing h gives a presentation of the orbifold fundamental group of the base. Note also that reversing the orientation of the fibre h and 'renormalising' to get the β i back into the correct range, there is an ambiguity in the above symbol for a Seifert fibre space, under the transformation which flips the sign of e. When the orbifold is orientable, this will be the only ambiguity provided there is a unique Seifert fibre space structure on the manifold. Table 1. The geometry is determined by the Euler characteristic of the base orbifold and the Euler number of M.

Theorems
In this section we prove the following result, which with the work of [24] gives the theorem in the introduction. The non-trivial part of the 'if' direction of this theorem was proved by Hempel [13]. Alternatively one can apply the argument of Theorem 5.9 to get a new proof.
The solution of the problem will proceed in several stages. Firstly, we will show that, except in the 'trivial' geometries, an isomorphism of profinite completions of Seifert fibre spaces will induce an automorphism of the profinite completion of the base orbifold groupB, which the two Seifert fibre spaces will share; and furthermore that both Seifert fibre spaces will have the same Euler number (up to sign). We will then constrain the automorphism ofB and compute the action of such an automorphism on H 2B . Intuitively we will be considering what can happen to the 'fundamental class' of the orbifold. We will then be able to conclude the result by considering the cohomology classes giving the Seifert fibre spaces as central extensions ofB.
The 'trivial' geometries mentioned above are S 3 , E 3 , S 2 ×R; they are trivial for the profinite rigidity problem in the sense that spherical manifolds have finite fundamental group, and there are only six and two orientable manifolds of the latter two geometries respectively, all distinguished by their first homology. For the rest of the section, a 'generic' Seifert fibre space will mean any Seifert fibre space not of the above geometries.
We will be using heavily the fact that the subgroup generated by a regular fibre is central; this is only true for orientable base orbifold, so first note that we can reduce to this case as follows. Suppose first that we have a closed Seifert fibre space. The orbifold group B has a canonical index 2 subgroup corresponding to the orientation cover of the underlying surface of the orbifold. This induces an index 2 cover of the Seifert fibre space. Note that this cover contains all the information needed to recover the original Seifert fibre space; in particular, for each exceptional fibre with Seifert invariants ( p, q) where 1 ≤ q < p/2 the cover has 2 exceptional fibres with the same invariant ( p, q), and has no other exceptional fibres. Because the index 2 subgroup is canonical, it will follow that any isomorphism of the profinite completions of the Seifert fibre space groups will induce an isomorphism for these characteristic covers, to which we may apply the theorem for orientable base orbifold, and then recover the original manifolds.
When the Seifert fibre space has boundary, the base orbifold group itself does not distinguish orientable base orbifold from non-orientable, and hence has no obvious characteristic subgroup. However if we assume that the peripheral subgroups of the base orbifold groups are preserved under the isomorphism of profinite completions, we can collapse each of them to obtain a closed orbifold and take the canonical index 2 cover of this, and hence of the original orbifold, to recover the above situation.
Throughout we will freely use the fact that Seifert fibre space groups and Fuchsian groups are subgroup separable. In particular if M is a Seifert fibre space over a base orbifold O, we may take profinite completions to obtain a short exact sequence whereẐ is generated by a regular fibre. these facts are theorems of Scott [18].

Preservation of the fibre
We first prove that the subgroup given by the fibre is still essentially unique for most Seifert fibre spaces. In the statement of the theorem, a 'virtually central' subgroup Z of a group G will mean that either Z is central in G or that the ambient group G has an index 2 subgroup containing Z in which Z is central. The fibre subgroup of a Seifert fibre space subgroup is such a subgroup; it is central when the base orbifold is orientable, or is central in the index 2 subgroup corresponding to the orientation cover of a non-orientable base orbifold.

Remark 5.3
The first conclusion of this theorem was already known by the above-cited theorem of [24]; the proof here, specific to Seifert fibre spaces, is different in some respects, so we include it for completeness.
Proof As usual, spherical manifolds are distinguished by having finite fundamental groups, hence finite profinite completions. The four model geometries E 3 , Nil, H 2 ×R, and SL 2 (R) are contractible, so the fundamental groups of all such manifolds have cohomological dimension exactly 3. All compact S 2 × R-manifolds are finitely covered by S 2 × S 1 , hence have a finite index subgroup of cohomological dimension 1. All Seifert fibre space groups are good, so this fact is detected by the profinite completion, hence S 2 × R is distinguished from the other geometries. Henceforth assume that M has one of the four relevant geometries with contractible universal cover. Now suppose that Γ has two virtually central normal procyclic subgroups, < h > and <η >, where h is represented by a regular fibre of M and <η > is not contained in < h >. We will show first that the base orbifold O is Euclidean. Passing to the quotient by < h >, the image of <η > is a normal procyclic subgroup of π orb 1 (O). By Corollary 5.2 of [6] and Proposition 3.4 above, profinite completions of non-positively curved orbifold groups have no finite normal subgroups, so <η > persists as an infinite procyclic subgroup of π orb 1 (O). Hence also the subgroup < h > is still maximal even in the profinite completion i.e. is not contained in some larger normal procyclic subgroup.
We can now pass to a finite index subgroup of Γ whose intersections with < h >, <η > are central and non-trivial, and then to a further finite index subgroup Δ so that the corresponding cover of M has base orbifold an orientable surface Σ covering O. The image of <η > now gives a central subgroup of π 1 Σ. But the profinite completion of a surface group has no centre unless the surface is a torus (see [2,15] or [3]). Hence O is Euclidean.
The base orbifold Σ is now a torus. We know that <η > is a central procyclic subgroup of π 1 T 2 ∼ =Ẑ 2 ; assume now that it is maximal. Using Theorem 4.3.5 of [17], the quotient Z 2 /<η > isẐ; hence we can quotient by the closed subgroupẐ 2 generated by both h and η to get an exact sequence We now calculate that for all n. As described in Sect. 2 we can calculate this cohomology group using the spectral sequence whose E p,q 2 page is given by Now the only arrow that could alter the p + q = 1 diagonal is the arrow shown, which is trivial; so this diagonal is already stable and the first cohomology is (Z/n) 3 as required.
But the finite index subgroup Δ ≤ Γ corresponds to a coverM → M where the base orbifold ofM is a torus. Then we have where e is the Euler number ofM; hence H 1M = Z 2g ⊕ Z/eZ and for all n. Comparing with the above, we find that e must be zero; by naturality M also has trivial Euler number.
We now deal with the case where Γ has a unique maximal virtually central procyclic normal subgroup. Note that in this case, the isomorphism π 1 (M) ∼ = π 1 (N ) preserves < h >, and hence induces an isomorphism of the profinite completions of the base orbifold; then by Recall that the Euler number of the Seifert fibre space was of the form with b an integer. Thus given the base orbifold (hence the α i ) and the Euler number, the only further ambiguity is whether we can change the β i by values δ i (with δ i not congruent to 0 modulo α i ) such that δ i /α i is an integer. By the Chinese Remainder Theorem, there is no such collection of δ i when all the α i are coprime. Hence we have the following corollary, in which we change notation to follow the usual conventions for cone points.

Corollary 5.4 Let M be a Seifert fibre space whose base orbifold is an orbifold
where p 1 , . . . , p k are coprime. Then π 1 M is distinguished by its profinite completion from all other 3-manifold groups.
The above theorem was stated and proved for closed Seifert fibre spaces. A similar result holds for Seifert fibre spaces with boundary. Much of the above argument holds just as well when the Seifert fibre space has boundary, except that we must rule out some cases with more than one geometry, and the Euler number is no longer defined (a section of a surface-withboundary always exists). Furthermore, surfaces are no longer determined by their profinite completion unless we have some information about the boundary. The only zero Euler characteristic orbifolds with boundary are the annulus (giving the Seifert fibre space S 1 × S 1 × I), the Möbius band and disc with two order 2 cone points (both giving the orientable I-bundle over the Klein bottle).
These three spaces all have different profinite completions of fundamental groups; one iŝ Z, one isẐ 2 and the other is non-abelian; and none of the Seifert fibre spaces with hyperbolic base orbifold have virtually abelian fundamental group, so we can safely proceed assuming M, N are not any of the three exceptional manifolds above.
Part 1 of the proposition now follows from the same argument as in Theorem 5.1, replacing "virtually a non-abelian surface group" with "virtually a non-abelian free group" to get the lack of central subgroups of the base orbifold group. Now the base orbifold groups have isomorphic profinite completions, so by [6], they are the same group. The ambiguity in the surface is now resolved by the knowledge that M and N and hence their base orbifolds have the same number of boundary components; and the fact that Γ detects whether the unique maximal virtually central normal subgroup < h > is genuinely central or merely virtually so, hence whether the base orbifold is orientable or not.

Central extensions
A central extension of a group B by a (necessarily abelian) group A consists of a short exact sequence where the image of A is contained in the centre of G. Two such extensions are regarded as equivalent if there is a commutative diagram Equivalence classes of central extensions are classified by elements of H 2 (B; A). The proof of this fact proceeds directly via cochains, but for what follows it will also be convenient to have the following interpretation. Let B = x 1 , . . . , x n r 1 , . . . , r m be a presentation for B, let F be the free group on the x i , and R the normal subgroup generated by the r j . From the Serre spectral sequence for the short exact sequence we obtain the five-term exact sequence where the third non-zero term denotes those elements of H 1 (R; A) invariant under the conjugation action of F; in fact this is the group H 1 (R/[R, F]; A). Given an element of H 2 (B; A), lift to some Then a central extension of B by A is given by the 'presentation' (abusing notation slightly): where A = Y S . The condition that A does genuinely include into this group is equivalent to the invariance of ξ under the action of F. The ambiguity under choice of lift to an element ξ is an element ψ ∈ H 1 (F; A). However this ambiguity corresponds precisely to changing the generating set of G to Y and the elements x i = x i · ψ(x i ). Conversely if two such G, G given by ξ, ξ are isomorphic by an isomorphism Φ fixing B and A, then ξ and ξ differ by ψ ∈ H 1 (F; A) given by ψ( The question of when two central extensions G, G of B by A given by ζ, ζ ∈ H 2 (B; A) can be isomorphic allowing arbitrary automorphisms for B and A is more subtle; one needs to prove whether any automorphisms of B and A can carry ζ to ζ by the induced maps on H 2 . This will be the central issue in the proof of Theorem 5.1.
The above theory of central extensions also holds forB profinite, provided that the abelian group A is finite so that the cohomology group H 2 (B, A) is reasonably well-behaved. See Sect. 6.8 of [17]. The fundamental groups of generic Seifert fibre spaces (over orientable base) are central extensions 1 O is the fundamental group of the base orbifold. The profinite completion of a generic Seifert fibre space group is a central extension ofB by the infinite groupẐ. To avoid the complications raised by the presence ofẐ, we restrict to a finite coefficient group as follows. Note that since an isomorphism of profinite completions of two Seifert fibre space groups G, G preserves this central subgroup Z by Theorem 5.2, and sinceẐ has a unique index t subgroup, any isomorphismĜ ∼ =Ĝ induces an isomorphism where Γ, Γ are now central extensions ofB by Z/t. Hence they are classified by elements ζ, ζ of H 2 (B; Z/t). But B is a good group, hence H 2 (B; Z/t) is canonically isomorphic to H 2 (B; Z/t); and ζ G , ζ G are the images of η G , η G under the maps It remains to show that no automorphisms ofB and Z/t can carry ζ G to ζ G under the induced maps on H 2 (B; Z/t) for all t unless the manifolds M 1 , M 2 are homeomorphic or are covered by the theorem of Hempel [13].
Before moving on, let us calculate the cohomology classes η G in terms of the five-term exact sequence; this will be of use later. For a Seifert fibre space over orientable base with symbol Σ; ( p 1 , q 1 ), . . . , (p r , q r )) the fundamental group has presentation . . . , a r , u 1 , v 1 , . . . , u g The chain complexes in the following section make rigorous our treatment of R/[R, F] as a free abelian group on these generators. The calculation is similar for the bounded case, except that the y 0 term does not appear.

Action on cohomology
We first constrain the possible automorphisms of base orbifold that we need to consider: Then some isomorphism of π 1 (M 1 ) with π 1 (M 2 ) induces an automorphism ofB mapping each a i to a conjugate of a k i i , where k i is coprime to p i .
Proof This is a simple corollary of Proposition 3.4; for the induced automorphism ofB from any given isomorphism of the π 1 (M i ) must induce a bijection on conjugacy classes of maximal torsion elements; hence a i is sent to a conjugate of a k i σ (i) for some permutation σ with p σ (i) = p i and k i coprime to p i . Permuting the a i under the permutation σ −1 is an automorphism of B, hence ofB, so we can force σ to be the identity; on the level of the Seifert fibre spaces we are simply relabelling the exceptional fibres and exploiting the invariance of the fundamental group under such relabellings.
Note that this proposition works just as well when there is boundary.

Proposition 5.7
If φ is an automorphism of B as in Proposition 5.6, then for any n the action of φ * on H 2 (B; Z/n) is multiplication by κ for some profinite integer κ ∈Ẑ such that for all 1 ≤ i ≤ r, κ is congruent to k i modulo p i .
Proof We construct a partial resolution of Z by free Z B-modules, transport this to a partial resolution ofẐ by freeẐ [[B]]-modules, and use this to compute the action on cohomology of the above automorphisms of B. Fix the presentation Set C 0 = Z B, interpreted as the free Z-module on the vertices of the Cayley graph of B, with B-action by left translation on Cay(B); the map : Z B → Z is the evaluation map. Let The generator x i represents the edge in Cay(B) starting at 1 and labelled by a i , and similarlyū j ,v j represent the edges labelled u j , v j . Thus C 1 is the space of linear combinations of paths in Cay(B), with B-action given by left-translation.
The boundary map d 1 : C 1 → C 0 sends each path to the sum of its endpoints, so that for example x i → a i − 1 ∈ Z B. Certainly d 1 = 0; exactness at C 0 now follows by connectedness of the Cayley graph.
Let C 2 = Z B{y 0 , . . . , y r }. We can interpret C 2 as representing 'all the relations of B'; that is, all closed loops in the Cayley graph. The generator y 0 will represent the relation a 1 · · · v −1 g in the above presentation, and y i the relation a p i i ; now define d 2 : C 2 → C 1 by mapping each generator to the loop in the Cayley graph representing it; for instance, Multiplying on the right by (a i − 1) kills the second sum; and reparametrising the first sum yields n 0 ba i = n 0 b for all b ∈ B. If r > 1, the a i generate an infinite subgroup of B; but n 0 b b is a finite linear combination, so n 0 b = 0 for all b. If r = 1, we can analyse the coefficient of u i instead as g > 0 for a non-spherical orbifold; or we can simply note that profinite rigidity in the cases r = 0, 1 was already covered by Corollary 5.4, so that we need not worry any further about them. We are left to conclude that b n i b b(1 + a i + · · · a p i −1 i ) = 0, hence b n i b b is some multiple of (a i − 1) and the kernel of d 2 is spanned by (a i − 1)y i . Now set C 3 = Z B{z 1 , . . . , z r } and d 3 (z i ) = (a i − 1) · y i to find an exact sequence i.e. a partial resolution of Z by free Z B-modules as desired.
By Proposition 2.9 we have a partial resolution ]-module on the same generators as C i , and the boundary maps are defined by the same formulae on these generators. We can thus use this resolution to compute the first and second (co)-homology onB.
Let φ :B →B be an automorphism ofB as in Proposition 5.6. Construct maps φ : for some g i ∈F. Write the image of each generator ofF underφ as a limit of words on these generators; then map the corresponding generator ofĈ 1 to the associated limit of paths in the Cayley graph. To define φ onĈ 2 , note that each relation ofB is mapped to an element ofR underφ, hence can be written as a (limit of) products of conjugates of relations; now map this to an element ofĈ 2 just like before. We have made a choice of expression of an element ofR in terms of conjugates of relations; the ambiguity is by construction an element of ker(d 2 ) = im(d 3 ), which image will soon vanish. For definiteness, choose coming from the obvious expression ofφ(a p i i ) from above. Because the map onR was induced by the map onF used to define φ :Ĉ 1 →Ĉ 1 , we get a commuting diagram with the rows no longer exact, but with the maps marked as zero becoming trivial because the image of each generator of the chain group had a factor (a i − 1). We have some good control over the maps in the above, viz.
If φ (y 0 ) = κ y 0 + μ i y i , then tracking this around the diagram we find For n ∈ N, we now apply HomẐ (−, Z/n) to the above diagram, to get a commuting diagram in which the homology of each row gives H 2 (B; Z/n) and φ gives an action on this cohomology group. First let us note that this action is genuinely the functorial map φ * induced by φ. coming from the five-term exact sequence shows that φ will indeed give the correct action on H 2 . Finally, we can compute this action on H 2 (B; Z/n). We have from above so that, given a cochain ζ = by * Proof (Proof of Theorem 5.1) Recall that we have reduced to the case of orientable base orbifold. As discussed in Sect. 5.2, our manifolds M 1 , M 2 are determined by cohomology classes η 1 , η 2 ∈ H 2 (B; Z). If then as a cochain in the basis y * 0 , . . . , y * r of Hom Z B (C 2 , Z) where C • is the partial resolution defined above, we have (see Sect. 5.2) and similarly for η 2 . From these we get cohomology classes ζ i,n ∈ H 2 (B; Z/n). Suppose that π 1 (M 1 ) ∼ = π 1 (M 2 ). Then, after possibly reordering the exceptional fibres of M 2 , we have that the exists κ ∈Ẑ such that κζ 1,n = ζ 2,n for all n. It is a consequence of the previous proposition that an automorphism of the base induces such an effect on the cohomology groups; we may also rescale the fibres of the M i by an automorphism ofẐ, giving an automorphism of the coefficient ring of H 2 . But this is simply multiplication of the cohomology class by some element ofẐ × , which we merge into κ.
If the M i have non-zero Euler number e > 0 (by reversing the orientation on the fibres we can always force e > 0 for both manifolds), choose n = me p i for some integer m, and define a group homomorphism E : H 2 (B; Z/n) → Z/n by so that E(κξ ) = κ E(ξ ). Since e = −(b + q i / p i ), we have E(ζ 1,n ) = e p j modulo n; then E(κζ 1,n − ζ 2,n ) = (κ − 1)e p j = 0 modulo n so that κζ 1,n = ζ 2,n for all n = me p j can only hold if κ is congruent to 1 modulo m for all m, i.e. if κ = 1 and ζ 1,n = ζ 2,n for all n, so that η 1 = η 2 and M 1 , M 2 are homeomorphic.
If the M i have Euler number zero, so that they are H 2 ×R manifolds, choose n = p i and k ∈ Z such that k is congruent to κ mod n. Then M 2 is a Seifert fibre space with zero Euler characteristic and Seifert invariants ( p i , kq i ); there is only one such, and Hempel showed that these pairs of H 2 × R manifolds are precisely those surface bundles in the statement of the theorem.
Rather easier is the bounded case, given sensible conditions on the boundary. Theorem 5.8 Let M 1 , M 2 be orientable Seifert fibre spaces with boundary, and assume that there exists an isomorphism Φ : π 1 M 1 → π 1 M 2 inducing an isomorphism of peripheral systems, in the following sense. The boundary components of M 1 determine a conjugacy class of Z 2 -subgroups in the fundamental group, which gives a conjugacy class ofẐ 2 -subgroups in the profinite completion. The isomorphism Φ is required to send one such set of conjugacy classes to the other, inducing isomorphisms on the matched copies ofẐ 2 .
Let M 1 have Seifert invariants ( p i , q i ). Then for some k ∈ Z coprime to all p i , M 2 is the Seifert fibre space with the same base orbifold and Seifert invariants ( p i , kq i ).
Proof We can safely focus on hyperbolic base orbifolds, the other three Seifert fibre spaces with boundary being easily distinguished from these and each other by their first homology, hence by the profinite completion. As before, we have already reduced to the case of orientable base orbifold.
Note that two boundary components of the base orbifolds generate distinct freeẐ factors of the base orbifold group, and the standard theory of free profinite products (see Theorem 9.1.12 of [17]) shows that these are not conjugate in the profinite completion; so the number of peripheral conjugacy classes remains the same as the number of boundary components.
Proof Again it suffices to deal with the case of orientable base orbifold. Let Γ i = π 1 M i , let h i be a generator of the centre of π 1 M i , and let Γ i,n = Γ i /<h t > where t = n p i .
Note that for each i the Γ i,n form a natural inverse system with maps Γ i,nm → Γ i,n . Furthermore, any map from Γ i to a finite group must kill some power of h, and hence factors through some Γ i,n . It follows that Now k maps to an invertible element of Z/ p i ; then there is some invertible element κ ofẐ congruent to k modulo each p i . One can prove this by noting that by the Chinese Remainder theorem the natural map (Z/mn) × → (Z/n) × is always surjective, hence so is the mapẐ × → (Z/n) × .
As discussed in Sect. 5.2, Γ i,n is classified by an element where B is the base orbifold group; by assumption ζ 2 = kζ 1 = κζ 1 . Multiplication of the coefficient group κ gives an automorphism of the cohomology group taking ζ 1 to ζ 2 , hence induces an isomorphism Γ 1,n → Γ 2,n . Moreover this isomorphism is compatible with the quotient maps Γ i,nm → Γ i,n ; hence we have an isomorphism