arxiv: v1 [math.gt] 2 Nov 2010

Transcription

1 CONSTRUCTING UNIVERSAL ABELIAN COVERS OF GRAPH MANIFOLDS HELGE MØLLER PEDERSEN arxi: [mathgt] 2 No 2010 Abstract To a rational homology sphere graph manifold one can associate a weighted tree inariant called splice diagram It was shown in [Ped10a] that the splice diagram determines the uniersal abelian coer of the manifold We will in this article turn the proof of this in to an algorithm to explicitly construct the uniersal abelian coer from the splice diagram 1 Introduction Graph manifolds is an important class of 3-manifolds, they are defined as the manifolds which hae only Seifert fibered pieces in their JSJ-decomposition They are also the 3-manifolds which are boundaries of plumbed 4-manifolds, and a ery used method to represent a graph manifold M is by giing a plumbing diagram of a 4-manifold X such that M = X Neumann gae a complete calculus for changing X but keeping M fixed in [Neu81], and when we are going to construct the uniersal abelian coer in section 3 we are going to do this by constructing a plumbing diagram of it It should also be noted that graph manifolds are also the manifolds that hae no hyperbolic pieces in their geometric decomposition If one restrict to rational homology spheres (from know on ÉHS) then one hae a graph inariant of graph manifolds called splice diagrams They where original introduced in [EN85] and [Sie80] for integer homology sphere graph manifolds, and were then later generalized by Neumann and Wahl to ÉHS s in [NW02], and used extensiely in [NW05b] and [NW05a] The simplest example of a graph manifold is of course a Seifert fibered manifold, and if one restrict to ÉHS s, Neumann found a nice construction of the uniersal abelian coer in [Neu83a], namely as the link of a Brieskorn complete intersection defined by the collection of the first of the two Seifert inariants associated to the singular fibers This is exactly the information gien by the splice diagram of Seifert fibered manifolds, and Neumann and Wahl used the splice diagram to generalize the Brieskorn complete intersections proided the splice diagram satisfy what they called the semigroup condition, to what they called splice diagram equations Under a further restriction on the gien manifold they were able to proe that the link of the splice diagram equations is the uniersal abelian coer in [NW05a] This indicates that the splice diagram might determine the uniersal abelian coer, and in [Ped10a] I was able to proe the following theorem: Theorem 11 Let M 1 and M 2 be two ÉHS graph manifold there hae the same splice diagram Let M i M i be the uniersal abelian coers Then M 1 and M 2 are homeomorphic The proof consist of inductiely constructing the uniersal abelian coer from the splice diagram, and the purpose of this article is to extract an algorithm for constructing the uniersal abelian coer from the proof I will hence not proe 2000 Mathematics Subject Classification 57M10, 57M27 Key words and phrases rational homology sphere, abelian coer 1

2 CONSTRUCTION UNIVERSAL ABELIAN COVERS 2 that I actually construct the uniersal abelian coer, but refer to the proof gien in [Ped10a] for Theorem 11, (in that article it is Theorem 63) Returning to splice diagram singularities, ie the complete intersections define by the splice diagram equations of a splice diagram Γ, then one can use this algorithm to construct a dual resolution diagram, proided that there is a manifold (orbifold) there satisfies the (orbifold) congruence condition and has Γ as its splice diagram This is for example always true if Γ has only two nodes see [Ped10c] The algorithm is as mention aboe going to be gie in section 3, section 2 will introduce splice diagrams, their relation with plumbing diagrams and mention some results needed for the algorithm 2 Splice Diagrams A splice diagram is a weighted tree with no ertices of alence two At ertices of alence greater than two, we call such ertices for nodes, one adds a sign, and on edges adjacent to nodes on adds a non negatie integer weights To any ÉHS graph manifold M we can associate a splice diagram Γ(M) by the following procedure: Take a node (a ertex which are going to end up as a node) for each Seifert fibered piece of the JSJ-decomposition of M, we will not distinguish between the nodes and the corresponding Seifert fibered pieces Connect two nodes if they are glued in the JSJ-decomposition to create M Add a leaf (a alence one ertex connected by an edge) to a node for each Singular fiber of the Seifert fibration Adds the sign of the linking number of two nonsingular fibers at a node See [Ped10a] for how to define linking numbers Let be a node and e an edge adjacent to Then the edge weight d e is determined the following way Cut M along the torus T corresponding to e (either a torus from the JSJ-decomposition of M or the boundary of a tubular neighborhood of a singular fiber) into the pieces M and M e, where is in M Then glue a solid torus into the boundary of M e by identifying a meridian with the image of a fiber from M, and call this new closed graph manifold M e Then d e = H 1 (M e ) if H 1 (M e ) is finite or 0 otherwise The standard way to represent graph manifolds are by plumbing diagrams, and we will next describe how to get the splice diagram from a plumbing diagram of M To construct the graph structure of Γ(M) from on just suppress all ertices of alence two, ie replacing any configuration like with an edge b 1 b 2 b k Let A( ) be the intersection matrix of the 4 manifold defined by The edge weights and signs are found by the following propositions from [Ped10a] Proposition 21 Let be a node in Γ(M), and e be an edge on that node We get the weight d e on that edge by d e = det( A( (M) e )), where (M) e is is the connected component of (M) e which does not contain w w

3 CONSTRUCTION UNIVERSAL ABELIAN COVERS 3 (M) = a e }{{} a ww (M) e Proposition 22 Let be a node in Γ(M) Then the sign ε at is ε = sign(a ), where a is the entry of A(M) 1 corresponding to the node The most important information the splice diagram do not encode of the manifold is H 1 (M), but that and the splice diagram do determine the rational euler number of any of the Seifert fibered pieces of M, by the following proposition from [Ped10a] Proposition 23 Let be a node in a splice diagram decorated as in Fig 1 below with r i 0 for i 1, and let e be the rational euler number of M Then (1) e = d ( εs 1 k ND 1 j=2 r + k k i=2 ε i M i ) r i D i where d = H 1 (M), N = k j=1 n j, M i = l i j=1 m ij, and D i is the edge determinant associated to the edge between and i m11 1 s 1 m 1ll n 1 r 1 r k n k s k m k1 k m klk Figure 1 Note that this does gie a formula for e /d from Γ, which we will need later In the algorithm for constructing the uniersal abelian coer of M form Γ(M), one number associated to each end of an edge inγ(m) is going to be ery important, the ideal generator, which is constructed the following way Let and w be two ertices of Γ(M) then we define the linking number of and w l w as the product of all edge weights adjacent to but not on the shortest path from to w We define l w the same way, but omitting weights adjacent to and w Ifeis an edge adjacent to, we then let Γ e be the connected component of Γ(M) e not containing And define the following ideal of I e = l w w a leaf in Γ e Then we define the ideal generator d e associated to and e to be the positie generator of I e Definition 24 A splice diagram Γ satisfy the ideal condition if the ideal generator d e diides the edge weight d e Proposition 25 Let M be a ÉHS graph manifold, then Γ(M) satisfy the ideal condition

4 CONSTRUCTION UNIVERSAL ABELIAN COVERS 4 This proposition follows from the following topological description of the ideal generator from Appendix 1 of [NW05a] Theorem 26 The ideal generator d e is H 1 (M e /K), where K is the knot gien as the core of the solid torus glued into M e to construct M e 3 Construction the Uniersal Abelian Coer: An Example In this section we are going to see how the algorithm used in the proof of Theorem [Ped10a] can be used to construct the uniersal abelian coer M of a graph manifold M, from the splice diagram Γ(M) We are going to specify M by constructing a plumbing diagram for M To illustrate the construction we are going to use the following example Γ = There are four different manifolds who has Γ as their splice diagram, and seeral more non manifold graph orbifolds By Theorem [Ped10a] Γ is the splice diagram of a singularity link, it then follows from [Ped10b] that M is a rational homology sphere The example is also interesting since non of the manifolds with Γ as their splice diagram satisfy the congruence condition of Neumann and Wahl see [NW05a], but there are non manifold orbifolds with splice diagram Γ which satisfy the orbifold congruence condition see [Ped10c] Below is plumbing diagrams for the four manifolds with Γ as their splice diagram:

5 CONSTRUCTION UNIVERSAL ABELIAN COVERS 5 31 Constructing the Building Blocks The inductie procedure in the construction of the uniersal abelian coer works by taking an edgeebetween two nodes of Γ and make a new non connected splice diagram Γ e where e, has been replaced with two leaes So starting with the edge called e 1 and going going through this process of cutting the edge until we hae cut the last edge between two nodes e N 1, we get that Γ en 1 is a collection of one node splice diagrams Γ en 1 = {Γ i } N i=1 For each of thees one node splice diagram Γ i one then takes a number of copies of a specific manifold M i, and use the information from the Γ ej s to glue the pieces together So the first step is to determine this manifolds {M i } N i=1, which are the building blocks of the uniersal abelian coer First lets see how the Γ ej s are going to look Each time we cut an edgeebetween the nodes w 1 and w 2 in Γ, we diide eery edge weight d e such that w 1 or w 2 is in Γ e, by the ideal generator d wie of the edge weight d wie such that is not in Γ wie In our example we only hae two edge weights where this is true with respect to e namely d 0e = 23 and d 1e = 15, and d 0e = 1 and d 1e = 3 So the two one node splice diagrams Γ 1 and Γ 2 are going to look like 3 0 Γ 1 = 23 (1,1) (1,3) 5, Γ 2 = The pair added to the new leaes is recording of the following information which is going to be used when the gluing are made: the first number specifies which number in the sequence of cutting this is, in this case the first, and the second number is the ideal generator associated to the weight before cutting Next we want to find the building block M i associated to each of the Γ i s To do this we hae to separate the Γ i s into two types, the first are the once that do not hae an edge weight of 0, and the second are the once that, remember at most one weight adjacent to a node can be 0 In the first case we use the following theorem Theorem 31 Let M be a rational homology orbifold fibration S 1 -fibration oer a orbifold surface, with Seifert inariants (α 1,β 1 ),,(α n,β n ) Then the uniersal abelian coer of M is the link of the Brieskorn complete intersection Σ(α 1,,α n ) The way one construct the manifolds after cutting an edge may result in graph orbifolds instead of just graph manifolds, as explained in the proof of 63 in [Ped10a], and hence we need this theorem for S 1 orbifold fibrations Neumann only proes this theorem for Seifert fibered manifolds in [Neu83a] and [Neu83b], but the proof gien in [Neu83b] also work in the general case of an orbifolds 1 -fibration The alue of ε does not matter, since reersing the orientation of a Seifert fibered manifold only changes the β i s not the α i s and hence only change the splice diagrams by replacing ε with ε So in our example M 1 is the link of Σ(3,18,23) and M 2 is the link of Σ(2,3,5) Next we use the following theorem to get plumbing diagrams for the M i s Theorem 32 Let M be the link of the Brieskorn complete intersection Σ(α 1,,α n ) A plumbing diagram for M is gien by b a [g] 11 a 11 a n1 a n1 a 1k1 a nkn a nkn } {{ } } {{ } t 1 t n a 1k1

6 CONSTRUCTION UNIVERSAL ABELIAN COVERS 6 The alues of g, and the t i s, are gien by j i t i = (α j) (2) lcm j i (α j ) (3) g = 1 2 ( 2+ (n) i α i lcm i (α i ) Then one calculates numbers p 1,,p n as (4) p i = lcm j(α j ) lcm j i (α j ), n ) t i and find numbers q 1,,q n as the smallest possible solutions to the equations (5) i=1 lcm j (α j ) α i q i 1( mod p i ) Then the a ij s, are gien as the continued fraction p i /q i = [a i1,,a iki ] Finally b is gien by i b = α i +lcm i (α i ) i q i j i α j (6) (lcm i α i ) 2 Before we use this theorem to make a plumbing diagram i for the M i, notice that to make the gluing we hae to remoe some solid tori from them i s to make the gluing, so we need to record this data in i Some leaes inγ i hae a pair of integers attached These leaes corresponds to the tori in M we cut along when we created Γ i Since M i is the uniersal abelian coer of any graph orbifold with Γ i as its splice diagram, seeral singular fibers sits aboe the singular fiber corresponding to these leaes It is a neighborhood of each of these singular fibers we hae to remoe So if α j is a edge weight in Γ i to a leaf with a pair attached, the the t j singular fibers aboe the leaf, corresponds to all the strings with the weights a j1,, a jnj So in the plumbing diagram for M i we replace these string with an arrow, and add a triple which consist of the pair attached to the leaf and p j /q j = [a j1,,a jkj ] to each of the arrows Using these theorems on our example we get the following plumbing diagrams 1 = (1,1,23/14) 6 (1,1,23/14) 2 = (1,1,23/14) (1,3,5/4) The second case is not as easy, the proof of Theorem 63 in [Ped10a] gie a construction in this case, but it might not be a Seifert fibered manifold, an I hae at the present no simple way to find a plumbing diagram for the building blocks in this case 32 Gluing the Building Blocks The only thing that remains to construct the uniersal abelian coer is to glue together the building blocks M i, this will be done by using the plumbing diagrams i to create a plumbing diagram for M Start by taking two of the i s and create a plumbing diagram G 1, then we take an other of the i s and glue this to G 1 to create G 2, we continue this process until all the i s has been used, and then = G N 1 where G N 1 is the last created plumbing diagram Now the order we glue the i s together in is important, this is why we added a triple at the arrows We start by taking i which hae at least one arrow that has

7 CONSTRUCTION UNIVERSAL ABELIAN COVERS 7 a triple (N 1,d i,r i ), where N 1 is the highest alue for alue for the first number in the triple And that j such at least one arrow that has a triple (N 1,d j,r j ) By the method we constructed the i s there are exactly two satisfying this Then we take d i copies of i and d j copies of j We the create an intermediate G 1 by for each of the copies of i replace each arrow with the triple (N 1,d i,r i ) with a dashed line to a copy of j replacing the arrow with the triple (N 1,d j,r j ), such that a copy of i is only connected to a copy of j once This will create a connected weighted graph G 1, with no arrows which has first number in the triple equal to N 1 Lets see how this is done in our example We only hae two i s, so we start by gluing 1 to 2 The triples are (1,1,23/14) and (1,3,5/4) so we start by taking one copy 1 and 3 copies of 2, replace each of the arrows in the copy of 1 with a dashed line to one of the copies of 2 replacing its arrow We then get G 1 = 6 The next step is to replace the dashed lines by a string to create G 1 First by symmetry all the strings are going to be equal, so we only hae to calculate one string To do this we use that there are two different ways to calculate the rational euler number of the Seifert fibered piece corresponding to a node in G 1, one using G 1 and one gien by the splice diagram by a formula deried at the end of the proof of Theorem 63 in [Ped10a] Choose a node of G 1 which is attached to a dashed line, then the rational euler number is gien by b+ e q e/p e, where the sum is taking oer all edges adjacent to (including the dashed lines), (p e,q e ) is the Seifert pair associated to the string and b is the weight at Now there are four types of different edges attached to and we need to see how to get (p e,q e ) from each type of the edge First there are the edge that starts a string that ends at a alence one ertex Form these strings we get get (p e,q e ) from the continued fraction associated to the string ie p e /q e = [a e1,,a eke ] Second types of edges are on string that leads to other nodes (when one makes G 1 these do not exist, but they can be there when we are going to make G 2 ) We again gain the Seifert pair from the continued fraction, this time from the string between and the other node The third type of edges are the arrows, their we gain (p e,q e ) from the triple (n e,d e,r e ) attached to the arrow as p e /q e = r e The last type of edges are the dashed lines, here we do not find the Seifert pair since we are trying to make an equation to do just that But notice that all the dashed lines hae the same Seifert pair (p,q), hence we get the following equation (7) e = d q p +b+ e q e p e Where the sum is taken oer all edges at except the dashed lines, and d is the number of dashed lines at Notice that if is a node sitting aboe the i piece, then d = d j

8 CONSTRUCTION UNIVERSAL ABELIAN COVERS 8 Returning to our example, if we use the left most node as, the equation becomes e = 3 p q = 3p q 11 6 NowG 1 ( l i,j l) is a plumbing diagram for any manifold with splice diagram Γ en, hence it is Γ en we need to use when we make the other calculation of e From the end of the proof of Theorem 63 in [Ped10a] one gets that if sits aboe the i piece (8) e = λ2 d i ẽ /d Where λ = m j /lcm(m 1 /d 1,,m k /d k ) where the m j s are the edge weight adjacent to the node corresponding to in Γ en and the d j s are the ideal generator associated to the edges ẽ is the rational euler number of the the node corresponding to in any graph orbifold M whit Γ( M) = Γ en and d = H1 orb ( M), now neither of these numbers are determined by Γ en, but proposition 23 gies a formula for ẽ /d only using Γ en In our example Γ en = Γ, so using this we find that λ = 3 and ẽ /d = 5/378, so e = 5/42 Now one find p/q by combining the equations (7) and (8), which in our example gies p/q = 4/7 Remember this is the continued fraction associated to the string replacing the dashed lines when seen from, if we hae used the node in the other end of the line we would hae found p/q where qq 1( mod p) Replacing all the dashed lines with the strings corresponding to the continued fractions on gets G 1 from G 1 This becomes the following plumbing diagram in our example G 1 = If Γ en Γ then one adds G 1 to the collection of i s not used, and repeat the process by taking the to plumbing diagrams of this collection which hae arrows which triple start with N 2 One continues this process until all the i s hae been used, and the final G N 1 is then a plumbing diagram for the uniersal abelian coer M of M We will finish by giing a couple of other examples of the use of the algorithm, but will leae the details of the calculation to the readers

9 CONSTRUCTION UNIVERSAL ABELIAN COVERS 9 Example 33 Let M be the manifold defined by the following plumbing diagram: Its splice diagram is 4 Γ = If we first cut along the edge called e 1 we get Γ e1 = And cutting along e 2 the gies us Γ e2 = e 1 e (1,2) 2 (1,1) e (1,2) 2 (1,1) (2,1) (2,2) Γ 1 Γ 2 Γ 3 Next one determines the 3 building blocks and get the following plumbing diagrams (1,1,5/1) (2,1,7/2) (1,2,11/7) 1 (2,2,9/7) (1,1,5/1) (2,1,7/2) One first glue the one copy of 2 to two copies of 3 and get after calculating the strings (1,1,5/1) 5 1 G 1 = 5 (1,1,5/1)

10 CONSTRUCTION UNIVERSAL ABELIAN COVERS 10 Then gluing two copies of 1 to G 1 and calculate the strings gies the following plumbing diagram for the uniersal abelian coer G = Example 34 Let M be the graph manifold with the following plumbing diagram Its splice diagram the becomes Γ = Cutting the edge gies us the one node splice diagrams Γ 1 = (1,3) (1,35 30, Γ 2 = 1 5 5, and the building blocks becomes 1 = (1,3,9/7) (1,3,9/7) 4 (1,3,9/7) 2 = (1,3,9/7) (1,3,9/7) (1,5,10/9) (1,5,10/9) [1] (1,5,10/9)

11 CONSTRUCTION UNIVERSAL ABELIAN COVERS 11 so to create the plumbing diagram G of the uniersal abelian coer, we glue 3 copies of 1 to 5 copies of 2 calculate the string and get 4 4 [1] [1] 4 [1] [1] 4 [1], where all the dashed lines represent strings identical to the string at the top Also remember that the graph is not a planar graph so any intersection between the strings represented by the dashed lines do not represent intersections in G, just crossings arising by a planar projection of G which is what we see here

12 CONSTRUCTION UNIVERSAL ABELIAN COVERS 12 References [EN85] Daid Eisenbud and Walter Neumann Three-dimensional link theory and inariants of plane cure singularities, olume 110 of Annals of Mathematics Studies Princeton Uniersity Press, Princeton, NJ, 1985 [Neu81] Walter D Neumann A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex cures Trans Amer Math Soc, 268(2): , 1981 [Neu83a] Walter D Neumann Abelian coers of quasihomogeneous surface singularities In Singularities, Part 2 (Arcata, Calif, 1981), olume 40 of Proc Sympos Pure Math, pages Amer Math Soc, Proidence, RI, 1983 [Neu83b] Walter D Neumann Geometry of quasihomogeneous surface singularities In Singularities, Part 2 (Arcata, Calif, 1981), olume 40 of Proc Sympos Pure Math, pages Amer Math Soc, Proidence, RI, 1983 [NW02] Walter D Neumann and Jonathan Wahl Uniersal abelian coers of surface singularities In Trends in singularities, Trends Math, pages Birkhäuser, Basel, 2002 [NW05a] Walter D Neumann and Jonathan Wahl Complete intersection singularities of splice type as uniersal abelian coers Geom Topol, 9: (electronic), 2005 [NW05b] Walter D Neumann and Jonathan Wahl Complex surface singularities with integral homology sphere links Geom Topol, 9: (electronic), 2005 [Ped10a] Helge Pedersen Splice diagram determining singularity links and uniersal abelian coers Geometriae Dedicata, pages 1 30, /s [Ped10b] Helge Møller Pedersen Determening when the uniersal abelian coer of a graph manifold is a rational homology sphere In arxi: [Ped10c] Helge Møller Pedersen Splice diagram singularities and the uniersal abelian coer of graph orbifolds 2010 [Sie80] L Siebenmann On anishing of the Rohlin inariant and nonfinitely amphicheiral homology 3-spheres In Topology Symposium, Siegen 1979 (Proc Sympos, Uni Siegen, Siegen, 1979), olume 788 of Lecture Notes in Math, pages Springer, Berlin, 1980 Matematische Institut, Uniersität Heidelberg, Heidelberg, address: pedersen@mathiuni-heidelbergde