arxiv:math.gt/ v1 17 Oct 2003

Transcription

1 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD arxiv:mathgt/ v1 17 Oct 003 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Abstract The formla for the Traev-Viro invariant of a 3-manifold depends on a complex parameter t When t is not a root of nity, the formla becomes an infinite sm This paper analyzes convergence of this sm when t does not lie on the nit circle, in the presence of an efficient trianglation of the three-manifold The terms of the sm can be indexed by srfaces lying in the three-manifold The contribtion of a srface is largest when the srface is normal and when its gens is the lowest 1 Introdction This paper initiates the stdy of non-pertrbative qantm invariants of threemanifolds M away from roots of nity Traev and Viro [1] defined invariants of closed 3-manifolds as state sms depending on a complex parameter t When t is a root of nity this sm is finite At vales of t other than roots of nity the formla for the Traev-Viro invariant becomes an infinite sm The partial sms cold oscillate wildly, so that even after renormalizing the series does not converge However, we are able to show that for a special class of spines of some three-manifolds, the oscillation does not occr and there is a limit The key is to see the invariant as a sm over srfaces in the manifold An efficient ideal trianglation [6] of the manifold is one where the only normal spheres and tori are links of the bondary components of the manifold Given an efficient ideal trianglation we know what the invariant shold be It is a sm over srfaces carried by a spine dal to the efficient trianglation The srfaces contribte to the sm in a way that fits the modern approach to normal srface theory The stdy of normal srfaces [6] has been agmented by looking at srfaces that aren t normal, and coming to an nderstanding of how a srface fails to be normal The farther a srface is from being normal, the less it contribtes to the sm for the invariant The higher the gens of a srface the less it contribtes In a very real sense, the Traev-Viro invariant is a measre of the normal srface theory of M 1991 Mathematics Sbject Classification 57M7 Key words and phrases Traev-Viro invariants of 3-manifolds, normal srface, reglar spine, qantm 6j-symbol This material is based pon work spported by the National Science Fondation nder Grant No and nder Grant No

2 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Figre 1 Admissible triple (, 3, 3) In section we broach preliminary concepts relating to special fnctions, and to spinal and normal srfaces in an ideal trianglation of a 3-manifold This is followed by section 3 that stdies properties and limiting behavior of the 6j-symbols Section 4 is concerned with estimates of the contribtions of spinal srfaces to the state sm The final section proves the reslt abot the convergence of the infinite state sm The athors wold like to thank Ian Agol, William Jaco, Marc Lackenby, Sergei Matveev, Dennis Roseman and Hyam Rbinstein for enlightening conversations abot normal srface theory Preliminaries 1 Special Fnctions The formlas in this section are taken from [7], however we se the variable t instead of A Throghot this paper t is a real nmber with 0 < t < 1 There are several fnctions of t that we will work with The first is known as qantized n, (1) [n] = tn t n t t The next is jst a variation on the first, () n = ( 1) ntn+ t n t t = ( 1) n [n + 1] There is qantized factorial, defined recrsively by [0]! = 1 and (3) [n]! = [n][n 1]! A triple of nonnegative integers (a, b, c) is admissible if their sm is even and they satisfy every possible triangle ineqality Admissibility is the necessary and sfficient condition for the existence of a Kaffman triad on a, b and c Sppose that (a, b, c) is admissible Arrange a points, b points and c points on the sides of a triangle There exists a system of disjoint proper arcs joining opposite sides of the triangle having those points as their bondary Figre 1 shows the admissible triple (, 3, 3) The nmber of strands rnning between the family of a points, and the family of b points is x 1 = a+b c, between the b points and the c points is x = c+b a, and between the a points and the c points is x 3 = a+c b Admissibility is eqivalent to the statement that all three fnctions are nonnegative and integral We call x 1, x and x 3 the strand nmbers of the triple (a, b, c)

3 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 3 c b f d e a Figre Tetrahedral net Yo can always add two admissible triples and the reslt will be admissible, bt yo cannot always sbtract them However, Proposition 1 Sppose that (a, b, c) and (a, b, c ) are admissible and x i and x i are the strand nmbers corresponding to the two triples If x i x i for all i, then (a a, b b, c c ) is admissible Proof The strand nmbers are linear fnctions of the triples, ths the strand nmbers for (a a, b b, c c ) are integral and nonnegative If (a, b, c) is an admissible triple, define, [7] (4) θ(a, b, c) = ( 1) a+b+c [ a+b+c + 1]![ a+b c ]![ a+c b ]![ b+c a ]! [a]![b]![c]! Sppose that a tetrahedral net has been labeled as in Figre where the letters are nonnegative integers and the triples appearing at each vertex v are admissible The tetrahedral coefficient [7, 9] is the qantity (5) Tet = c d f v [x v,1]![x v, ]![x v,3 ]! [a]![b]![c]![d]![e]![f]! M s=m ( 1) s [s + 1]! [B 1 s]![b s]![b 3 s]![s A 1 ]![s A ]![s A 3 ]![s A 4 ]!, where the B i are half the sms of the labels over the for cycles, the A i are half the sms of the labels at each vertex, m is the maximm of the A i and M is the minimm of the B i The x v,i are the strand nmbers of the admissible triple at the vertex v The nitary 6j symbol [11] is the qantity: { } Tet c d f (6) = c d f θ(a, d, e)θ(b, c, e)θ(a, b, f)θ(c, d, f) A conseqence of admissibility is that the denominator is a sqare root of a positive nmber, so the formla is nambigos

4 4 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Figre 3 Normal srface intersecting a tetrahedron Letting q = t 4, let (x; q) n = n i=1 (1 xqi 1 ) We need the following fact [5]: The fnction (7) (x; q) = (1 xq i 1 ) is well defined when q < 1 In particlar, (q; q) is well defined Notice that i=1 (8) [n] = t n+1 qn 1 1 q, and (9) n = ( 1) n t n1 qn 1 q, so that (10) [n]! = t (n 1)n (q; q) n (1 q) n, and (11) θ(a, b, c) = ( 1) a+b+c t a b c 1 q The qantities n, θ(a, b, c) and Tet brackets of colored graphs [7] (q; q) a+b+c +1 (q; q) a+b c (q; q) b+c a(q; q) a+c b (q; q) a (q; q) b (q; q) c can be nderstood as the Kaffman c d f Spines and Ideal Trianglations An ideal trianglation [1] of the compact three-manifold M is a nion of tetrahedra joined along faces with their vertices removed so that the reslt is homeomorphic to the interior of M A srface is normal with respect to the trianglation [6] if it intersects each tetrahedron in triangles and qadrilaterals (qads) as in Figre 3 Parameterize normal srfaces by their intersection with the edges of the tetrahedra Arrange these nmbers in a 3 array, so that each colmn of the array is the nmber of points of intersection of the normal srface with two opposite edges of the tetrahedron More specifically, there is a tetrahedral net dal to the 1-skeleton of the tetrahedron, lying on the bondary of the tetrahedron, as pictred in Figre 4 The intersection of the normal srface with the bondary of the tetrahedron is a family of circles carried by

5 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 5 Figre 4 Dal tetrahedral net this net, the nmber of strands carried by an edge of the net is the intersection nmber of the normal srface with the edge of the tetrahedron transverse to the particlar edge of the net We form the array of nonnegative integers jst as if we were indexing a tetrahedral coefficient, see Figre, where the label on the edge is the nmber of strands carried by that edge Let C 1, C, C 3 be the sms of the colmns of the array, named so that C 1 C C 3 Proposition An array of nonnegative integers corresponds to a normal srface if and only if the integers assigned to the three edges arond each face of the tetrahedron form an admissible triple, and C 1 = C Proof Think of a face of a tetrahedron as a triangle, and the intersection of the normal srface with the triangle as a system of arcs joining points on the three edges As we are joining the points on the three sides of the triangle by nonintersecting arcs, the triple arond each face mst be admissible The second condition follows from the fact that the intersection of a normal srface with any tetrahedron can only contain triangles and one type of qad Yo cannot necessarily add normal srfaces, becase if two normal srfaces have different qads in the same tetrahedron, their doble crve sm may no longer be normal However, there is always a finite family of normal srfaces so that every normal srface can be written as an integral sm of those srfaces, with nonnegative coefficients Letting N denote the nonnegative integers, a rational cone is the soltion of a family of linear homogeneos eqations with integer coefficients in N k for some k An element of a rational cone is irredcible if it cannot be written as the sm of two elements of the cone in a nontrivial way It is a classical reslt that a rational cone has only finitely many irredcible elements and they generate the cone additively The set of irredcibles is called a Hilbert basis for the cone The normal srfaces form a rational cone The class of normal srfaces is a sbset of a more general class of srfaces, the spinal srfaces Let (1) X = {(x, y, z) R 3 z = 0 or (z 0 and x = 0) or (z 0 and y = 0)} A sbset Y of the 3-manifold M is modeled on X if for every p Y there is an open neighborhood U of p, open set V R 3 and a homeomorphism φ : U V, with φ 1 (X) = Y U There is a decomposition of Y into vertices, (open) edges and

6 6 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Figre 5 Intersection of the spine with a tetrahedron (open) faces coming from the natral decomposition of X into vertices, edges and faces We say S M is a reglar spine [8, 10] if: (1) S is modeled on X () M S is homeomorphic to M [0, 1) (3) S has at least one vertex (4) Every edge of S has a vertex in its closre (5) Every face of S is simply connected Proposition 3 Ideal trianglations and reglar spines are in one to one correspondence p to isotopy via dality Proof For each ideal trianglation there is a reglar spine Pt a vertex in the center of each tetrahedron Join the vertices in adjacent tetrahedra by edges, and then form faces of the spine that intersect the edges of the trianglation transversely and are bonded by the edges of the spine The intersection of the spine with a tetrahedron is pictred in Figre 5 Similarly for each reglar spine there is an ideal trianglation, so that its six edges intersect the six faces of the spine coming into the vertex transversely, and each edge intersects exactly one face Given a spine S of M and a simple closed crve κ M there is a possibly singlar annls A κ M having κ as one bondary component so that the intersection of A κ with S is the other bondary component of A κ The annls is constrcted by taking the closre of the points lying over κ in the prodct strctre on M S The singlarities of A κ come from the fact that the map from M to S given by following the lines of the prodct strctre is two to one along faces Since there is some ambigity in the prodct strctre we can choose the annls A κ so that it is in general position with respect to the spine This means its bondary misses the vertices of the spine, intersects the edges transversely and its only singlar points are transverse doble points occrring in the interior of the faces of the spine If C is a system of disjoint simple closed crves in M let A κ, where κ C, be a system of disjoint annli corresponding to the crves in C that is in general position with respect to the spine S The nion S(C) = S ( κ C A κ ) is called the agmentation of the spine with respect to C Except for points on C the agmentation is still modeled on X, so it can be decomposed into vertices, edges and faces jst as a spine If the

7 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 7 Figre 6 Bilding a spinal srface spine is reglar then the faces of the agmentation are simply connected except for the annlar faces with one bondary component a crve in C An admissible coloring of a spine is an assignment of a nonnegative integer to each face of the spine so that the integers assigned to the three faces meeting along each edge form an admissible triple Given an admissible coloring of the spine there is a spinal srface bilt as follows If the face f carries the integer f then take f parallel copies of f Along the edges gle the faces together so that they look like the Cartesian prodct of a triple of arcs at a vertex with an interval The triple (, 3, 3) occrring along an edge is shown in Figre 6 So far, the srface constrcted intersects the bondary of a small ball at each vertex in a collection of circles arranged along a tetrahedral net To finish the constrction, fill in the srface inside each ball with a disk for each circle in the net Topologically, the spinal srfaces are those srfaces that intersect the tetrahedra in disks, so that their intersection with any face of a tetrahedron consists of arcs whose endpoints lie in distinct edges of the face The spinal srfaces form an additive cone, as the sm of two admissible colorings is an admissible coloring However, Eler characteristic is not always additive nder sm Clearly, spinal srfaces are a larger class than the normal srfaces associated to the dal trianglation We can identify the normal srfaces inside the spinal srfaces by looking at the tetrahedral net at each vertex In specific at each vertex we can define the three colmn sms of the tetrahedral net and order them so that C 1 C C 3 Remark 1 By Proposition the srface is normal in the dal ideal trianglation if and only if at each vertex C 1 = C The spinal srfaces form a rational cone The proper domain is the Cartesian prodct of copies of N, one for each strand nmber The color on a face is the sm of the two adjacent strand nmbers along an edge of the face The eqations defining the cone come from the reqirement that the compted color of a face mst be the same no matter what edge of the face yo compte it along Ths we have the following: Fact 1 There is a set of primitive spinal srfaces {F i } so that every spinal srface can be written as a nonnegative sm of the {F i } s Sppose now that C is a system of disjoint simple closed crves in M and S(C) is an agmentation of the spine with respect to C An admissible coloring of S(C) is defined the same way as an admissible coloring of a spine except that the annlar faces

8 8 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA can only carry the color 1 There is once again a correspondence between admissible colorings and srfaces, bt now the srfaces have bondary eqal to the nion of the crves in C In order to nderstand the Eler characteristic of a srface carried by a spine or an agmented spine we need to nderstand how many circles there are in a colored tetrahedral net Proposition 4 Sppose that a tetrahedral net has colmn sms C 1 C C 3 The nmber of circles in the net is gcd(c 1 C, C 1 C 3 )/ + C + C 3 C 1 Proof Unless a tetrahedral net is of the form a b a + b (13) a b a + b with a and b nonzero then there is always a simple closed crve in the net that is the bondary of one of the faces of the tetrahedron Removing a crve that bonds a face does not change C 1 C or C 1 C 3, bt C +C 3 C 1 is redced by one Remove sch crves ntil there are no more crves that bond faces The remaining net will be of the form above If gcd (C 1 C, C 1 C 3 ) = then the system consists of a single crve More generally, the nmber of components is gcd(a, b) = gcd (C 1 C,C 1 C 3 ) From this proof we see that the net is made p of circles that are bondaries of faces along with mltiple copies of a single type of circle that appears in a tetrahedral net of type (14) a b a + b a b a + b where a and b are relatively prime Alternatively, the bondary of a simplex with its vertices removed is a for times pnctred sphere Any simple closed crve is either bondary parallel or separates the srface into two pairs of pants The dearth of disjoint systems of simple closed crves on a pair of pants cases all crves that are not triangles to be parallel The a and b can be nderstood in terms of geometric intersection nmbers with crosscts Name sch crves by the pair (a, b) where a and b are relatively prime and a b For each sch pair there are six or three different ways (depending on the symmetries of the particlar crve type) of labeling the tetrahedron corresponding to the crve of type (a, b) We say that two (a, b) crves are non-conflicting if the crves are parallel in a reglar neighborhood of the 1-skeleton of the tetrahedral net Proposition 5 Eler characteristic of spinal srfaces is additive when the two srfaces have the same (a, b) types at each vertex and those types are non-conflicting Proof The srface that corresponds to the sm of the colorings is the disjoint nion of the srfaces corresponding to the two colorings

9 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 9 The type (0, 1) is a qad, the type (1, 1) corresponds to an almost normal srface [6] Frther types wind more and more arond the tetrahedral net before closing p 3 6j-symbol Details 31 Bonding the 6j-symbols We begin with a niversal bond on the size of the nitary 6j symbols in terms of their entries { Proposition } 6 Let C 1 C C 3 be the colmn sms of the nitary 6j symbol and assme that 0 < t < 1 There exists a fnction K(t) > 0 sch that c d f { } (15) c d f K(t)t1 (C 1 C )(C 1 C 3 )+C 1 { } Proof After collecting and canceling terms, c d f is eqal to (16) v [x v,1]![x v, ]![x v,3 ]! M ( 1) s [s + 1]! [ a+d+e + 1]![ b+c+e + 1]![ a+b+f + 1]![ c+d+f 3 + 1]! s=m i=1 [B i s]! 4 j=1 [s A j]! Using (10) this is frther eqal to (17) t p (1 q) v (q; q) x v,1 (q; q) xv, (q; q) xv,3 (q; q) a+b+f Here (18) M s=m (q; q) a+d+e +1 (q; q) b+c+e +1 t ps 1 1 q +1 ( 1) s (q; q) s+1 3 i=1 (q; q) B i s 4 j=1 (q; q) s A j (q; q) c+d+f +1 p = 1 ( a b c d e f +ae+ad+ab+af +be+bc+bf +ce+cd+cf +de+df) and +a + b + c + d + e + f (19) p s = 6s + a + b + c + d + e + f +af + ac + ae + fc + fe + ce + be + bd + bf + ed + df + ab + ad + bc + cd After completing the sqare, p s is (0) p s = 6 s(1 + a + b + c + d + e + f) ( s a + b + c + d + e + f ) (a + b + c + d + e + f )

10 10 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA 1 3 (af+ae+ac+ad+ab+fe+fc+ce+be+bd+bf+ed+df+bc+cd) 3 (a+b+c+d+e+f) 1 6 Combining all the factors of (1 q) otside and the powers of t inside the sm, formla (17) can be simplified to v (1) (1 q) (q; q) x v,1 (q; q) xv, (q; q) xv,3 (q; q) a+d+e +1 (q; q) b+c+e +1 (q; q) a+b+f +1 (q; q) c+d+f +1 M ( 1) s (q; q) t p s s+1 3 i=1 (q; q) 4 B i s j=1 (q; q) s A j where s=m () p s = 6 (s a + b + c + d + e + f ) 1 6 (a + b + c + d + e + f ) 1 3 (ac + fe + bd) + 1 (ad + ae + de + bc + be + ce + ab + af + bf + cd + cf + df) (a + b + c + d + e + f) 1 6 The formla (1) is the absolte vale of an alternating sm from s = m to s = M Take the qotient whose nmerator is the smmand at s + 1 and whose denominator is the smmand at s, the reslt is, (3) ( 1)t 1s 4(a+b+c+d+e+f)+4(1 qs+ ) 3 i=1 (1 qb i s ) 4 j=1 (1 qs+1 A j ) Take the absolte vale, with the effect of removing the (-1) In order to see that each one of these qotients is smaller than the last, take the logarithm of the reslt, giving: (4) 3 4 (1s 4(a+b+c+d+e+f)+4) log(t)+log(1 q s+ )+ log (1 q Bi s ) log (1 q s+1 A j ) Apply the Taylor series for log (1 x) to get (5) ( 1 (1s 4(a+b+c+d+e+f)+4) log(t)+ q n(s+) n n=1 i=1 3 q n(bi s) + i=1 j=1 4 j=1 q n(s+1 A j) As t < 1 the first term gets smaller as s increases We analyze the sm over n in (5) term by term As n gets larger, q n(s+) gets smaller so q n(s+) gets larger However, for each i and j, q n(b i s) and +q n(s+1 A j) get smaller as s increases Frthermore the powers of q appearing in any q n(s+1 A j) are smaller than in q n(s+) which means that the amont any one of them is decreasing is greater than the amont that q n(s+) is increasing, so each term is getting smaller Therefore the sm over all n is getting )

11 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 11 smaller and the qotients are decreasing Ths, the absolte vale of the sm has a niqe maximm Since the sm is alternating we conclde that the absolte vale of the smmand is less than or eqal to the largest term For any n, sing (q; q) n 1 in the nmerator and (q; q) n (q; q) in the denominator of (1) together with the fact that the power of t is the largest when the exponent is the smallest, the expression in eqation (1) is smaller than (6) (1 q) 1 1 ((q; q) ) 4tmin ((q; q) ) 7, where min is the smallest vale of p s Analyzing () we can see that p s is minimal when s = M = (C + C 3 )/ Sbstitting we see that (7) p s (C 1 C )(C 1 C 3 ) + C 1 The final estimate is { } (8) c d f 1 q ((q; q) ) 9 t(c1 C)(C1 C3) +C 1 3 Some important limits Let be an admissible labeling of the edges c d f a + k b + k e + k of a tetrahedron For any nonnegative integer k, the labelings, c + k d + k f + k a + k b + k e a + k b + k e, and are admissible c + k d + k f + k c + k d + k f Proposition 7 Given an admissible labeling of a tetrahedral net, the c d f seqences (9) t 4k { a + k b + k e + k c + k d + k f + k (30) t 4k { a + k b + k e c + k d + k f + k and { } a + k b + k e (31) t 4k c + k d + k f are convergent We will only prove the first limit exists, the other two are similar The proof is based on the following elementary lemma } },,

12 1 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Lemma 1 Sppose that w(k) n is a seqence of seqences so that for each fixed k, the seqence is alternating and converges to zero, and for fixed n the seqence is convergent Sppose frther that there exists N so that, independent of k, if n N then w(k) n w(k) n+1 The seqence (3) w(k) = n w(k) n (depending on k) is convergent Proof This is an application of the proof of the alternating series test Proof (of Proposition 7) Recall Formla (1) The strand nmbers increase by 1 each time k increases by 1 so the (q; q) xv,i all converge to (q; q) as k goes to infinity Similarly, the fnctions in the denominator inside the radical all converge to (q; q) Hence to prove the convergence we mst only nderstand the qantities inside the sm Let M(k), m(k), A j (k), B i (k) and p (k) s be the qantities in (1) associated to { } a + k b + k e + k (33), c + k d + k f + k as in the proof of Proposition 6 Let n = M(k) s, and let (34) w(k) n = t p (k) s 4k ( 1) s (q; q) s+1 3 i=1 (q; q) 4 B i (k) s j=1 (q; q) s A j (k) for n M(k) m(k), and w(k) n = 0 for n > M(k) m(k) As k increases by 1, the B i (k) increase by 4 and the A j (k) only increase by 3 So, M(k) = M(0) + 4k, m(k) = m(0) + 3k, B i (k) = B i (0) + 4k, and A j (k) = A j (0) + 3k When n = 0, s = M(k) and (35) p (k) M(k) = (C(k) 1 C(k) )(C(k) 1 C(k) 3 ) + C(k) 1, which increases by 4 when k increases by 1, so t 4k+p (k) M(k) is a constant We see that w(k) 0 is convergent A similar analysis shows that for fixed n the seqence w(k) n is convergent The series is clearly alternating We have already seen that for fixed k the seqence w(k) n can have at most one maximm, we jst need to( see that there ) is a bond on how big n is at that maximm depending only on t, and We do this by looking at log w(k) c d f n /w(k) n+1 and seeing when it becomes nonnegative When n > M(0) m(0)+k then w(k) n = 0, so the maximm of w(k) n has already occred Hence we only need to nderstand the case when the qotient w(k) n /w(k) n+1 is well defined To this end we sbstitte into Formla (4) to get, (36) log w(k) n /w(k) n+1 = (1(M(0) n) 4(a + b + c + d + e + f) + 4) log (t)

13 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 13 + log(1 q M(0)+4k n+ ) 4 log (1 q M(0)+k n+1 Aj(0) )+ i=1 Choose N large enogh so that, (37) (1(M(0) N) 4(a + b + c + d + e + f) + 4) log (t) > 3 log(1 q M(0)+4N N+ ) log(1 q M(0) N+ ) i=1 3 log (1 q (Bi(0) M(0)+n) ) Notice that 4 i=1 log (1 qm(0)+k n+1 A j(0) ) > 0 Ineqality (37) garantees that the expression (36) is positive when k = N Increasing k in log(1 q M(0)+4k N+ ) makes it smaller Ths, by the argment from the proof of Proposition 6, the seqence w k (n) is monotone decreasing for n N We have established the criterion for convergence from Lemma 1 Let the limit of the seqence (9) from Proposition 7 be denoted by: { } { } a + k b + k e + k (38) = lim t c d f 4k k c + k d + k f + k Similarly, denote the limits of the seqences (30) and (31) by { } { 0 a + k b + k e (39) = lim t c d f 4k k c + k d + k f + k and (40) Remark (41) { } 0 c d f 0 { } c d f = lim k t 4k = (1 q)(q; q) i=1 } { } a + k b + k e c + k d + k f =0 ( 1) C +C 3 + t 6 +(C 1 C C 3 +1)+ (C 1 C )(C 1 C 3 ) +C 1 1 (q; q) (q; q) + C 1 C The limits (39) and (40) are zero nless a + c = b + d 4 Normal and Spinal Srfaces, (q; q) + C 1 C 3 41 Analysis of the contribtion of a srface For the remainder of this paper M will be a compact three-manifold with non-empty connected bondary Althogh the method works for a more general class of manifolds, this assmption simplifies the arithmetic so that the ideas behind the estimates are in the foregrond Definition 1 An ideal trianglation T whose only normal spheres and tori are the link of a vertex is efficient An ideal trianglation is 0-efficient if and only if the only embedded, normal -spheres are vertex linking

14 14 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA The 0-efficient trianglations were stdied in [6] In particlar, it is shown there that any trianglation of a closed, orientable irredcible 3-manifold can be modified to a 0-efficient trianglation, or it can be shown that the 3-manifold is one of S 3, RP 3 or L(3, 1) It is also shown that any trianglation of a compact, orientable, irredcible and bondary irredcible 3-manifold with non-empty bondary can be modified to a 0-efficient trianglation In the annonced seqel to [6] athors explore the concept of 1-efficient manifolds They show that the trianglations of irredcible, atoroidal, closed 3-manifolds can be obtained so that in addition to being 0-efficient, any embedded normal tors is of a very special form or the 3-manifold is S 3, a lens space or a small Seifert fiber space Assme that M has an efficient trianglation T Sppose that S is the spine dal to T Let F be a srface carried by S It is indced by an admissible coloring of the spine Let f denote the color assigned to the face f At each edge e the three faces sharing that edge carry colors( a e, b e and c) e At each vertex there is a corresponding av b coloring of a tetrahedral net, v e v Denote the colmn sms at vertex v by c v d v f v C 1,v C,v C 3,v We can form the three strand nmbers at each edge: x e,1 = ae+be ce, x e, = ce+be ae and x e,3 = ae+ce be These are in fact linear fnctionals on the space of spinal srfaces There is an arbitrariness to the choice of which fnction is which, so fix this choice along each edge once and for all Similarly, at each vertex we can form three linear fnctionals S 1,v, S,v and S 3,v corresponding to the colmn sms of the tetrahedral net at the vertex Definition If C is a (possibly empty) set of simple closed crves on the bondary of M, let S(C) denote the set of spinal srfaces with respect to an agmentation of the spine corresponding to C For brevity, let S = S( ) A sector F is determined by fixing the order of the vales of the S i,v at each vertex (that is, deciding which of the S i,v s is the largest colmn sm, C 1,v, etc) Specifying these orderings at all vertices breaks the space of spinal srfaces into 6 #v sectors Given any infinite seqence of spinal srfaces we can find a sbseqence that lives in one sector, becase there are only finitely many sectors Proposition 8 Sppose that the spinal srface F lies in the sector F Then every connected component of F lies in the same sector Proof Recall that the intersection of a spinal srface with a tetrahedron consists of triangles along with one family of disks having a particlar crve type (a, b) The triangles contribte the same to each colmn of the corresponding symbol so any restriction on the sector comes from the crve type Since all components of F are made p of a sbset of the components of the intersection of F with each tetrahedron, they lie in any sector that F lies in (and maybe some other sectors too)

15 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 15 Definition 3 A spinal srface F is k-peelable if k is the maximm non-negative integer sch that F can be written as F = F +k M Use S k (C) to denote the set of all srfaces in S(C) that are k-peelable Similarly, se F k (C) to denote the k-peelable srfaces in the sector F(C) There is a one-to-one correspondence between S 0 and S k for any k 0 given by f f + k for every f Frthermore, this correspondence preserves sectors Proposition 9 A spinal srface is in S 0 if and only if some x v,i = 0 Proof This follows from Proposition 1 (on being able to sbtract admissible triples) Conseqently, a spinal srface is k-peelable if and only if the minimm over all strand nmbers x v,i is eqal to k Let Q : S Z be the fnction that assigns to each srface F, (4) Q(F) = f f + v 1 (C 1,v C,v )(C 1,v C 3,v ) + C 1,v Proposition 10 (i) χ(f) Q(F) (ii) The fnction Q(F) is sper additive on any sector That is, for any srfaces F, F lying in the same sector, if C i,v are the colmn sms corresponding to F and C i,v are the colmn sms corresponding to F then (43) Q(F +F ) = Q(F)+Q(F )+(C 1,v C,v )(C 1,v C 3,v)/+(C 1,v C,v)(C 1,v C 3,v )/ Q(F) + Q(F ) (iii) Q(F) is bonded below on S 0 (iv) The level sets of Q(F) on S 0 are finite (v) The cardinality of the level sets of Q on S 0 grows at most polynomially in the level Proof (i) The Eler characteristic of the srface F corresponding to the coloring f is (44) f f e a e + b e + c e + v gcd (C 1,v C,v, C 1,v C 3,v )/+C,v +C 3,v C 1,v (45) Becase each edge has exactly two ends we can redistribte the sm to eliminate the sm over the edges This yields, f + v f gcd (C 1,v C,v, C 1,v C 3,v )/ + 1 C,v + 1 C 3,v 3 C 1,v

16 16 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA (46) Comparing (45) to the right hand side of the ineqality from item (i) we see that it is enogh to show that for each vertex v, gcd (C 1,v C,v, C 1,v C 3,v ) C,v C 3,v +3C 1,v 1 (C 1,v C,v )(C 1,v C 3,v )+C 1,v In the case that C 1,v C,v = 0 this redces to C 1,v C 1,v ths the proposition is tre Assme that C 1,v C,v > 0 The triples at each vertex are admissible so C 1,v C,v C 1,v C 3,v are even and positive Hence, gcd (C 1,v C,v, C 1,v C 3,v ) Sbstitting this in (46) and ptting everything on the right side, the ineqality is eqivalent to: 1 (47) (C 1,v C,v )(C 1,v C 3,v ) 0 Since we are assming C 1,v C,v and C 1,v C 3,v this is tre (ii) This is a direct comptation from the formla In what follows we wold like to se this formla, to that end we write it more compactly as follows Letting F and F be srfaces in the same sector with δ v = C 1,v C,v, γ v = C 1,v C 3,v being associated with F and δ v = C 1,v C,v, γ v = C 1,v C 3,v being associated with F, we have, (48) Q(F + F ) = Q(F) + Q(F ) + v δ v γ v + δ v γ v (iii) Since there are only finitely many sectors, if Q is bonded below on each sector, then it is bonded below on S 0 So assme we are working in a particlar sector Sppose that Q is not bonded below Starting with a srface with Q < 0 we demonstrate the existence of another srface of a particlar form with smaller Q(F) We then bond Q below on srfaces of that form Sppose that Q(F) < 0 Decompose F as a nion F p of components with positive Eler characteristic and a nion F n components with negative Eler characteristic Since Q(F) < 0, the srface F p is nonempty By speradditivity we have that Q(F) Q(F p ) + Q(F n ) Since Q(F n ) 0 this implies that Q(F p ) Q(F) Since F p is a sbsrface of F, by Proposition 8 it is in the same sector So we can assme that we are working with a srface all of whose components are spheres Next assme that F has δ v 4 for some v Or estimate that Q(F) χ(f) tells s that if F has a single component then Q(F) 4 Using the fact that δ v 4 for some vertex allows s to improve this to Q(F) Assme that F is not connected We can then write F = F 1 + F where the F i are from S 0, and F is connected and has nonempty intersection with a small ball abot v We se δ v,1, δ v, to denote the differences between the largest colmn and second largest colmn of these two srfaces at the vertex v, and γ v,1 and γ v, to describe the difference between the largest colmn and

17 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 17 the smallest colmn Note, δ v = δ v,1 + δ v, and γ v = γ v,1 + γ v, The speradditivity formla gives (49) Q(F) = Q(F 1 + F ) = Q(F 1 ) + Q(F ) + v δ v,1 γ v, + δ v, γ v,1 Since δ v,1 + δ v, 4 it follows that Q(F 1 ) Q(F) and it has smaller δ v Replace the srface F with the srface F 1 and contine ntil all δ v Sppose F is a srface in F 0 with all δ v Since there are no normal spheres in F 0 each sphere making p F has some δ v = Since δ v is additive this means that there are no more spheres in F than there are vertices in the spine Hence Q is bonded below by 4(# vertices) (iv) It is enogh to prove that the intersection of any level set with any sector is finite Sppose that F i is an infinite seqence of spinal srfaces in a sector with Q(F i ) = c If necessary we can pass to a sbseqence so that the strand nmbers of the srfaces F i are monotone increasing There are two cases Case 1 If the C v,1 C v, = δ v stay bonded then we can frther refine the seqence so that all these nmbers are constant As the strand nmbers are monotone increasing we can sbtract the first term of the seqence from every sbseqent term to get a new seqence of spinal srfaces which are normal The vales of Q(F i ) are bonded below (by item (iii)), hence there is an infinite seqence of srfaces with the same Eler characteristic Since these srfaces all have some strand nmber 0, and the trianglation is efficient they can be written as a sm of a finite list of normal srfaces so that none of the srfaces has positive or zero Eler characteristic This is a contradiction, as their Eler characteristic is increasing Case If some C v,1 C v, = δ v is nbonded we refine the seqence so that the δ v are monotone increasing and the strand nmbers are monotone increasing Let v be a vertex where the δ v are nbonded, and assme that the first srface in the seqence has δ v > 0 If not, jst start later Sbtracting the first srface from every srface in the seqence the sper-additivity formla informs s that this is a seqence of srfaces in S 0 sch that Q is not bonded below This contradicts item (iii) (v) If V is a finite dimensional free Z-modle and v i is a basis, we can define N : V Z by (50) N( i c i v i ) = i c i The cardinality of the set of elements in V with N(v) n is less than or eqal to a polynomial in n Fixing a sector F there is a finite family of srfaces F i that generate the srfaces in F as an integer cone As there are only finitely many srfaces F with Q(F) 0, there is an integer K so that for any i c if i, if some c i K then Q( i c if i ) > 0 Let S j be the set of all srfaces i c if i,

18 18 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA so that some c i is between K and K and the other c i are between 0 and K 1 It is clear that all bt finitely many srfaces in S can be written as a positive sm of these srfaces Form a free Z-modle with basis v j corresponding to the S j and define a map from the nonnegative integer sms of the v j to S by sending the v j to the S j This map is onto all bt a finite sbset of F Also, (51) N( i c j v j ) Q( j c j S j ), so the level set Q(S) = n is the image of a sbset of V contained inside the set N(v) n Therefore the level sets of Q grow at most polynomially in n Now sppose that C is a system of simple closed crves on M We consider colorings of an agmentation of the spine corresponding to C Let χ(f) denote the Eler characteristic of the face f Note that χ(f) = 1 if f is an open disk, and χ(f) = 0 if f is an annls The space of srfaces corresponding to admissible colorings of the agmented spine is mch like the space of spinal srfaces, except yo can t add two agmented colorings However, yo can add an agmented coloring and any coloring of the original spine We can divide the space of colorings of the agmented spine into sectors jst like we did for spinal srfaces, and we can define k-peelable Let F(C) be the srfaces in a sector coming from colorings of an agmentation of the spine, and denote by F the corresponding sector in space of spinal srfaces associated to the original spine Use F(C) k to denote the k-peelable srfaces in that sector Define Q from the space of srfaces corresponding to admissible colorings of the agmented spine to the conting nmbers by, (5) Q(F) = χ(f) f + 1 (C 1,v C,v )(C 1,v C 3,v ) + C 1,v f v Proposition 11 (i) x F Q(F) (ii) The fnction Q(F) is sper additive on sectors If C i,v are the colmn sms corresponding to F F(C) and C i,v are the colmn sms corresponding to F F then (53) Q(F +F ) = Q(F)+Q(F )+(C 1,v C,v )(C 1,v C 3,v )/+(C 1,v C,v )(C 1,v C 3,v )/ Q(F) + Q(F ) (iii) Q(F) is bonded below on S(C) k (iv) The level sets of Q(F) on S(C) k are finite (v) The cardinality of the level sets of Q on S(C) k grows at most polynomially in the level Proof The proof is an extension of the proof of Proposition 10 The first two parts follow directly from the formla for Q

19 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 19 The third part we arge as follows First get the estimate on S(C) 0 by working in sectors Given a srface F F(C) 0 it can be written as a sm of a srface F 1 sch that each of its components has nonempty bondary and a srface F each component of which is closed From Proposition 10 we have a lower bond for Q(F ), from ineqality (i) we can bond Q(F 1 ) below by times the nmber of components in C By sper-additivity we have bonded Q from below on F(C) 0 To bond Q below on S(C) k se the one-to-one correspondence between srfaces in S(C) k and srfaces in S(C) 0 obtained by adding k copies of M Once again we bond the vale of Q on k parallel copies of the bondary sing the ineqality from item (i) and then se the bond on S(C) 0 and sper-additivity on sectors The proofs of items (iv) and (v) are completely analogos to the proofs in Proposition 10 4 Smming Over k-peelable Srfaces Let C be a system of simple closed crves in M, let S be a spine that is dal to an efficient trianglation of M and let S(C) be an agmentation of S with respect to C Given a coloring F of the agmented spine S(C) let the f, a e, b e, c e, a v, b v, c v, d v, e v, f v and χ(f) be defined as before Also, let χ(e) = 1 if the edge e has some vertex in its closre and let χ(e) = 0 otherwise (χ(e) is the Eler characteristic of the edge e) Definition 4 The contribtion of F is defined to be f χ(f) f v Tet av b v e v c v d v f v (54) E(F) = e θ(a e, b e, c e ) χ(e) Notice that faces and edges of the spine contribte to E(F) nless they are annlar or belong to the simple closed crves on the bondary respectively Each vertex is an endpoint of for edges and each edge that conts in the contribtion of a srface has two ends We can ths collect the tetrahedral coefficient at each vertex with the thetas to reparse this prodct as (55) E(F) = f χ(f) f v { } av b v e v c v d v f v There is a map S(C) 0 S(C) k that adds k copies of the bondary of M (as a nion of triangles near the vertex) This map is one to one and onto If the largest color corresponding to F is N then the largest color corresponding to F + k M is N + k We define (56) E k (F) = E(F + k M) Since χ(m) = #f #v, (57) Q(F + k M) = Q(F) 4kχ(M) Using reslts of Proposition 7 abot limits of 6j symbols we have,

20 0 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Proposition 1 For every srface F S(C) 0, the limit (58) lim k t 4kχ(M) E k (F) exists When C =, it is eqal to (59) E (F) = f ( 1) f t f 1 q v { } av b v e v c v d v f v Proof Assme first that C =, ths χ(f) = 1 for all f Given a srface F S(C) 0 and k > 0, se (55) together with (8) to express (60) E k (F) = ( 1) f k t f 4k 1 q f+k { } t 4k t 4k av + k b v + k e v + k 1 q c v + k d v + k f v + k f v Since χ(m) = #f #v, eqation (60) can be rewritten as (61) t 4kχ(M) f ( 1) f t f 1 q f+k 1 q v { } t 4k av + k b v + k e v + k c v + k d v + k f v + k 1 q By Proposition 7, along with the fact that lim f +k k = 1, limit (58) exists 1 q 1 q and is given by the formla (59) In the case when C the argment is similar The prodct in (60) mst be taken over all faces f with χ(f) 0 and for some of the vertices v we need to consider the limit of seqences (30) or (31) instead of the seqence (9) as in eqation (61) Let S(C) N k be the sbset of S(C) k where the largest color f is less than or eqal to N and let S(C) T(N) k be the sbset of S(C) k where the largest f is greater than N, the tail of the set Clearly, (6) S(C) k = S(C) N k S(C) T(N) k Lemma For every ǫ > 0 there is N so that for all k, (63) E(F) < t 4kχ(M) ǫ, F S(C) T(N+k) k where χ(m) is the Eler characteristic of the manifold M Moreover, for every i 0, the limit (64) lim t 4kχ(M) E(F) k exists F S(C) k+i k

21 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 1 Proof Using (55) along with the estimate from Proposition 6, we see that, (65) E(F) D(t, M, C)t Q(F), where D(t, M, C) is a nmber that only depends on t, the manifold M and the agmentation of the spine corresponding to C From Proposition 11 the fnction Q(F) is bonded below by some Q 0 Z, and has finite level sets, so that the level set where Q takes on the vale n has its cardinality bonded above by a polynomial p(n) Comparing with (66) p(n)t n, n Q 0 the series (67) F S(C) 0 E(F) is absoltely smmable This means that for each ǫ > 0 there is N so that (68) D(t, M, C)t Q(F) < ǫ Using eqation (57) we have (69) F S(C) T(N) 0 F S(C) T(N+k) k D(t, M, C)t Q(F) < t 4kχ(M) ǫ Combining the above argment with Proposition 1 yields the existence of the limit (64) Remark 3 The first part of this lemma can be restated as follows: for every ǫ > 0 there exists N so that independent of k, (70) t 4kχ( M) E k (F) < ǫ F S(C) T(N) 0 Proposition 13 Let (71) Z k (M) = and (7) Z k (M) = F S(C) k E(F) = F S(C) k E(F) = F S(C) 0 E k (F), F S(C) 0 E k (F) = For each k, Z k (M) and Z k (M) are well defined Moreover, the limits Z (M) = lim k t 4kχ(M) Z k (M) and Z (M) = lim k t 4kχ(M) Z k (M) exist

22 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA Proof The well defined part of the proposition follows directly from Lemma In order to prove convergence of Z k (M), choose ǫ > 0 There exists N so that for all k (73) D(t, M, C)t Q(F) < t 4kχ(M) ǫ/4 F S(C) T(N+k) k By Proposition 1 there is a K so that if k 1, k > K then N N (74) t 4k 1χ(M) E(F) t 4kχ(M) E(F) < ǫ/ F S(C) k1 F S(C) k This means that (75) t 4k1χ(M) Z k1 (M) t 4kχ(M) Z k (M) N N t 4k 1χ(M) E(F) t 4kχ(M) E(F) + F S(C) k1 F S(C) k t 4k 1χ(M) 4k E(F) + t χ(m) E(F) F S(C) T(N+k 1 ) k 1 F S(C) T(N+k ) k ǫ/ + ǫ/4 + ǫ/4 As the seqence is Cachy it converges The same proof works for Z 5 The Invariant Sms In the section we analyze the sm of contribtions of all spinal srfaces in the three-manifold M with an efficient trianglation Given any integer r 3, all the special fnctions, n, θ(a, b, c), Tet, are c d f well defined for t = e πi r whenever a, b, c, d, e, f r 1 and the condition a + b + c r 4 is added to the definition of admissibility Given a system C of disjoint simple closed crves in M and an agmentation S(C) of the spine dal to the trianglation of M, the (finite) sm over all r-admissible colorings of the faces of S(C), (76) r-admissible colorings of S(C) f χ(f) f v Tet av b v e v c v d v f v e θ(a, e, b e, c e ) χ(e) is a coefficient (corresponding to C) of a vector-valed invariant associated to M by the topological qantm field theory nderlying the Traev-Viro invariant of M at level r Or idea is the extend the invariant away from the roots of nity The first major step is to analyze the convergence of the infinite sms like (76), where t = e πi r is replaced by any 0 < t < 1 and the colorings are admissible

23 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 3 Theorem 1 Let S(C) N denote the set of admissible colorings of S(C) with all f N (i) If the Eler characteristic of M is negative then (77) admissible colorings f of S(C) converges absoltely (ii) If χ(m) = 0 then 1 (78) lim N N S(C) N f χ(f) f f χ(f) f v Tet av b v e v c v d v f v e θ(a e, b e, c e ) χ(e) v Tet av b v e v c v d v f v e θ(a e, b e, c e ) χ(e) exists and is eqal to Z (M) = F S 0 (C) E (F) which converges absoltely (iii) If χ(m) = 1 then (79) lim N t8n (80) S(C) N f χ(f) f v Tet av b v e v c v d v f v e θ(a e, b e, c e ) χ(e) exists Given a spinal srface F, let m(f) denote the least even nmber greater than or eqal to the maximal color corresponding to F The limit (79) is eqal to the sm of the absoltely convergent series: 1 t 4m(F) E (F) 1 q F S 0 (C) Proof (i) We need to show that the seqence of partial sms of the absolte vales of the series (77) converges, that is, f χ(f) f v Tet av b v e v c (81) lim v d v f v N S(C) N e θ(a e, b e, c e ) χ(e) (8) exists Notice that S(C) N k f χ(f) f F S(C) N k v Tet av b v e v c v d v f v e θ(a e, b e, c e ) χ(e) E(F) < k Z k (M) =

24 4 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA (83) Proposition 13 implies that the series k Z k(m) converges by comparison with the series k t 4kχ(M) (ii) First, regrop the finite sm in (78) according to k-peelable srfaces That is, se the fact that S(C) N is a disjoint nion of sbsets S(C) N k with k = 0,,N (since S(C) N k 1 N S(C) N is empty for k > N) Ths, v Tet av b v e v c v d v f v f χ(f) f e θ(a e, b e, c e ) χ(e) = 1 N N k=0 F S(C) N k By Proposition 13 we can find K so that for all k > K we have (84) Z k (M) Z (M) < ǫ 4 By Lemma there exists n 1 so that for all k (85) Z k (M) E(F) < ǫ 4 F S(C) n 1 +k k Combining these, we get that for all k > K, all n 0 n 1 (86) Z (M) (87) F S(C) k+n 0 k E(F) < ǫ Therefore, each of the N K n 1 1 terms of the sm N n 1 k=k+1 F S(C) N k E(F) E(F) is at most ǫ away from Z N K n (M) Since lim 1 1 N = 1 to finish the N proof it sffices to show that the first K +1 terms and the last n 1 terms inside the oter sm on the right hand side of (83) are bonded regardless of the vale of N For the first K + 1 terms notice that by (85) (88) K k=0 F S(C) N k E(F) < K( ǫ 4 + B), where B = max( Z 0 (M), Z 1 (M), Z K (M) ) The fact that the last n 1 inner sms N (89) E(F) k=n n 1 F S(C) N k

25 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 5 are bonded regardless of N follows from the fact that for every i the limit (90) lim E(F) k F S(C) k+i k exists (see Lemma ) (iii) Absolte convergence of the sm (80) follows from the existence of the niversal bond on E (F) for F S 0 (C) Since lim k t 4k E k (F) = E (F), this in trn follows from a niversal bond on t 4k E k (F) for F S 0 (C) By letting ǫ = 1 in Remark 3 we see that except for finitely many srfaces F S 0(C), t 4k E k (F) < 1 Since each of the seqences t4k E k (F) is convergent for the remaining srfaces, the qantities t 4k E k (F) are niversally bonded for all srfaces F S 0 (C) Or goal is to show that the seqence (91) t 8N F S(C) N E(F) converges to the sm (80) The first step is to rewrite the finite sm in (91) so that it is a sm over 0-peelable srfaces We get, (9) F S 0 (C) N m(f) k=0 t 8N E k (F) The largest part of this sm is at the end, so we change variables to pt the largest part at the beginning Let i = N m(f) k Sbstittion, along with splitting off an appropriate power of t, yields: (93) (94) (95) F S 0 (C) N m(f) i=0 t 4m(F)+4i t 8N 4m(F) 4i E N m(f) i (F) From Remark 3 there exists K 0 so that, for all i K 0, ths F S 0 (C) T(K 0 ) t 4iχ(M) E i (F) < ǫ(1 q), 4 t4m(f) 1 q E i(f) < ǫ 4 F S 0 (C) T(K 0 ) Estimating based on smming the geometric series i t4i = 1 we can trncate the sm (93) sing any K K 0 as follows and remain within ǫ/4 of 1 q the

26 6 CHARLES FROHMAN AND JOANNA KANIA-BARTOSZYNSKA original sm (96) F S 0 (C) K N m(f) i=0 t 4m(F)+4i t 8N 4m(F) 4i E N m(f) i (F) Since by Proposition 11 the fnction Q(F) is bonded below on S 0 (C) there exists B so that for all F, N and i (97) t 8N 4m(F) 4i E N m(f) i (F) < B From the elementary theory of the geometric series there exists I so that for all F S 0 (C) K, (98) N m(f) i I t 4m(F)+4i B < ǫ/4 This means we can trncate the sm (96) again as follows and remain within ǫ/4 of the original sm: (99) F S 0 (C) K I t 4m(F)+4i t 8N 4m(F) 4i E N m(f) i (F) i=0 Using the fact that for any F, and for any fixed i, (100) lim N t8n 4m(F) 4i E N m(f) i (F) = E (F), (101) (10) together with the fact that the nmber of terms of the sm (99) is bonded independent of N, we can choose N so large that the sm (99) is within ǫ/4 of F S 0 (C) K I t 4m(F)+4i E (F), i=0 leaving s within 3ǫ of the original sm (91) Using the absolte convergence of 4 F S 0 (C) t4m(f) E (F), and the fact that the bond B is still valid for E (F), we can choose I large enogh to make this last sm (101) within ǫ/4 of F S 0 (C) i=0 t 4m(F)+4i E (F) Smming the geometric series yields the final reslt

27 THE QUANTUM CONTENT OF THE NORMAL SURFACES IN A THREE-MANIFOLD 7 References [1] R Benedetti, C Petronio, Branched Standard Spines of Three-Manifolds, Lectre Notes in Math 1653, Springer-Verlag, Berlin-Heidelberg-New York, 1997 [] D Bllock, C Frohman, J Kania-Bartoszynska, Understanding the Kaffman Bracket Skein Modle, J Knot Theory Ramifications 8 (1999), no 3, [3] D Bllock, C Frohman, J Kania-Bartoszynska, The Yang-Mills measre in the Kaffman bracket skein modle, Comment Math Helv 78 (003) 1-17 [4] C Frohman, J Kania-Bartoszynska, A Qantm Obstrction to Embedding, Math Proc Camb Phil Soc 131, (001), [5] G Gasper, M Rahman, Basic Hypergeometric Series, Cambridge University Press, 1990 [6] W Jaco, H Rbinstein, 0-Efficient Trianglations of Three-Manifolds, xxxlanlgov/mathgt/ [7] L H Kaffman and S Lins, Temperley-Lieb recopling theory and invariants of 3-manifolds, Ann of Math Stdies 143, Princeton University Press, 1994 [8] SV Matveev, Transformations of Special Spines and the Zeeman Conjectre, Math USSR- Izv 31 (1988), [9] G Masbam, P Vogel, 3-valent graphs and the Kaffman bracket, Pacific J Math 164 (1994) [10] R Pergallini, Standard Moves for Standard Polyhedra and Spines, Rendicotti Circ Mat Palermo 37 sppl 18 (1988), [11] J Roberts, Classical 6j-Symbols and the Tetrahedron, Geometry and Topology, 3 (1999), pages 1 66 [1] V G Traev and O Y Viro, State sm invariants of 3-manifolds and qantm 6j-symbols, Topology, 31 (199), Department of Mathematics, University of Iowa, Iowa City, IA 54, USA address: frohman@mathiowaed Department of Mathematics, Boise State University, Boise, ID 8375, USA address: kania@mathboisestateed