arXiv:2103.02003v2 [math.GT] 10 Apr 2021 iin eas aeactigfruafroinal closed orientable for formula pants cutting of a pair gave a also of He torsion Wit sition. analytic TQFT. Ray-Singer 2-dimensional the to a compute corresponds in to element which orientation) its into bordism, on surface 1)-dimensional + (depending a (1 one decomposing a theory, is by field pants compute quantum is to the torsion ability In combinatorial the [1]. The torsion analytic [10]. Singer surface Riemann compact H oueo h ouispace moduli the of volume homolog the of basis the the [1]. of torsion Riemannian invariant analytic orientable an compact invariant for also topological Moreover, is a l be R-torsion was to invariant shown The This and [2] [6]. spaces other lens dimensional 3 classify noinal ufc Σ surface orientable an opc ufc Σ surface compact fapi fpnsi em ftedtriato h eidmat period the of determinant the of terms in of pants basis of dual pair a of iet hn T thank to like eidmatrix. period EDMITRFAZTRINO OPC ORIENTABLE COMPACT OF TORSION REIDEMEISTER-FRANZ η sn h obntra ento fteRieese tors Reidemeister the of definition combinatorial the Using introdu was R-torsion) (or torsion Reidemeister-Franz The o a For h rsn ae rvdsafruat opt h Reidemei the compute to formula a provides paper present The atal upre yT by supported Partially phrases. and words Key 2010 ( M = ) ahmtc ujc Classification. Subject Mathematics em fRieese ososo ar fpants. of pairs of torsions Reidemeister of terms Σ Abstract. onaydson no of union disjoint boundary g,n H , η eoti oml htcmue h edmitrFazto Reidemeister-Franz the computes that formula a obtain we UB ¨ ( H M 1 TKfrtefiaca support. financial the for ITAK ˙ UFCSVAPNSDECOMPOSITION PANTS VIA SURFACES (Σ ; R g,n e Σ Let M 2 ) , . 0 stepouto h edmitrFaztrin fpiso pairs of torsions Reidemeister-Franz the of product the as ) oeta Σ that Note n ninteger an and SAD ESMA . g, g,n UB hni xrse h edmitrFaztrino orient of torsion Reidemeister-Franz the expresses it Then ¨ edmitrFaztrin opc retbesurfaces orientable compact torsion, Reidemeister-Franz 0 fgenus of eoetecmatoinal ufc ihgenus with surface orientable compact the denote TKudrtepoetnme 1F1.Tefis uhrwould author first The 114F516. number project the under ITAK ˙ M IR ˙ n CNEDLADYAS¸AR S AND ERDAL ICAN ˙ fgueeuvlnecasso a oncin na on connections flat of classes equivalence gauge of ice.B sn atclrpnsdcmoiinof pants-decomposition particular a using By circles. 2 1. , 0 g stedul fΣ of double the is Introduction no2 into η rmr 59;Scnay(pinl 89,57Q10. 18G99, (optional) Secondary 55U99; Primary ednt by denote we , 1 g − ar fpants. of pairs 2 0 , h 3 . η M e ∆ Let trgnrlzdb rn to Franz by generalized ater ufc Σ surface OZEN ¨ h ai ftehomology the of basis the o,Wte optdthe computed Witten ion, yuigiscl decompo- cell its using by yKrySeemn [3]. Kirby-Siebenmann by motn nrdetwas ingredient important e salse formula a established ten -oso seult the to equal is R-torsion rdc rco-product or product a e yRieese to Reidemeister by ced r ics h arof pair The pieces. ary qiaett h Ray- the to equivalent 0 , 2 so fΣ of rsion famnfl [4]. manifold a of y (Σ i ftePoincar´e the of rix g, trFaztorsion ster-Franz 2 0 , g 0 ydecomposing by etematrix the be ) ≥ aro pants, of pair , and 2 g,n in pants. f able also 2 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨ of the intersection pairing of Σ in the bases hΣ2,0 , hΣ2,0 , and h1 = {ω }4 denote 2,0 0 2 Σ2,0 j 1 1 Σ2,0 the Poincar´edual basis of H (Σ2,0) corresponding to h1 . We first prove the following theorem for the R-torsion of the pair of pants Σ0,3.

Σ0,3 Σ2,0 Theorem 1.0.1. For a given basis hi , i = 0, 1, there is a basis hη , η = 0, 1, 2 such that the following formula holds

det∆ (Σ ) T Σ0,3 1 0,2 2,0 | (Σ0,3, {hi }0)| = 1 , v det ℘(hΣ , Γ) u 2,0 u where Γ= {Γ , Γ , Γ , Γ } is the canonical basist for H (Σ ), i.e. i = 1, 2, Γ intersects 1 2 3 4 1 2,0 i Γ once positively and does not intersect others, and ℘(h1 , Γ) = [ ω ] is the i+2 Σ2,0 Γi j period matrix of h1 with respect to the basis Γ. Σ2,0 R

By using the pants decomposition of Σg,n as in Figure 1, we prove the following theorem.

Σg,n Theorem 1.0.2. If hη is a given basis, η = 0, 1, then for each ν = 1,..., 2g − 2+ n ν Σ0,3 there exists a basis hη such that 2g−2+n Σν T Σg,n 1 T ν 0,3 1 | (Σg,n, {hη }0)| = | (Σ0,3, {hη }0)|, ν=1 Y ν where Σ0,3 is the pair of pants in the decomposition labelled by ν.

2. R-torsion of a general chain complex

∂n ∂1 Let C∗ : 0 → Cn → Cn−1 → ··· → C1 → C0 → 0 be a chain complex of fi- nite dimensional vector spaces over R. Let Bp(C∗) = Im∂p+1,Zp(C∗) = Ker∂p, and Hp(C∗) = Zp(C∗)/Bp(C∗) denote the p-th homology of the chain complex C∗ for p = 0,...,n. Then we have the following short exact sequences

ı ∂p (2.0.1) 0 → Zp(C∗) → Cp(C∗) → Bp−1(C∗) → 0,

ı ϕp (2.0.2) 0 → Bp(C∗) → Zp(C∗) → Hp(C∗) → 0.

Here, ı and ϕp are the inclusion and the natural projection, respectively. If we apply the Splitting Lemma to the above short exact sequences, then Cp(C∗) can be expressed as the following direct sum

Bp(C∗) ⊕ ℓp(Hp(C∗)) ⊕ sp(Bp−1(C∗)).

Let cp, bp, and hp be respectively bases of Cp(C∗), Bp(C∗), and Hp(C∗). Then we obtain a new basis bp ⊔ ℓp(hp) ⊔ sp(bp−1) for Cp(C∗). n n Definition 2.0.1. The R-torsion of C∗ with respect to bases {cp}0 , {hp}0 is defined by n T n n (−1)(p+1) (C∗, {cp}0 , {hp}0 )= [bp ⊔ ℓp(hp) ⊔ sp(bp−1), cp] . p=0 Y REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION3

Here, [bp ⊔ ℓp(hp) ⊔ sp(bp−1), cp] is the determinant of the change-base-matrix from basis cp to bp ⊔ ℓp(hp) ⊔ sp(bp−1) of Cp(C∗).

The R-torsion of a general chain complex C∗ is an element of the dual of the vector space n (−1)p (det Hp(C∗)) , p=0 O see [10, pp. 185] and [7, Thm. 2.0.6]. For a smooth m-manifold M with a cell decomposition K, there is a chain complex

∂m ∂1 C∗(K) : 0 → Cm(K) → Cm−1(K) →···→ C1(K) → C0(K) → 0, where ∂i is the usual boundary operator. The R-torsion of M is defined as the R- m m torsion of its cellular chain complex C∗(K) in the bases {ci}0 and {hi}0 . Here, ci is the geometric basis for the i-cells Ci(K), i = 0,...,m. By [7, Lem. 2.0.5], the R-torsion T m of M does not depend on the cell decomposition K. Thus, we write (M, {hi}0 ) instead T m m of (C∗(K), {ci}0 , {hi}0 ). For further details we refer to [7–9]. Corollary 2.0.2. Let Y = S1 × [−ǫ, +ǫ] be a cylinder with boundary circles S1 × {−ǫ} 1 and S ×{+ǫ}, where ǫ> 0. Let hi be a basis of Hi(Y ) for i = 0, 1. By K¨unneth formula, ϕi [ϕi] 1 1 we have the isomorphisms: Ci(Y ) =∼ Ci(S ) and Hi(Y ) =∼ Hi(S ). Then [8, Thm. 3.5] gives the following result 1 |T (Y, {h0, h1})| = T S , {[ϕ0](h0), [ϕ1](h1)} = 1.  3. Proofs of main results

Proof of Theorem 1.0.1. For any manifold M, let C∗(M) denote the associated cellular chain complex.

S1 S3 S2

Figure 1. Double of the pair of pants Σ0,3.

Note that Σ2,0 is the double of Σ0,3. Let B be the intersection of the pairs of pants in Σ2,0, so B is homeomorphic to the disjoint union of three circles, S1 ∐ S2 ∐ S3. Then there is the natural short exact sequence of the chain complexes

(3.0.1) 0 → C∗(B) → C∗(Σ0,3) ⊕ C∗(Σ0,3) → C∗(Σ2,0) → 0 4 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨ and the Mayer-Vietoris sequence associated to (3.0.1) is

α f g h (3.0.2) H∗ : 0 → H2(Σ2,0) → H1(B) → H1(Σ0,3) ⊕ H1(Σ0,3) → H1(Σ2,0) i j k ℓ → H0(B) → H0(Σ0,3) ⊕ H0(Σ0,3) → H0(Σ2,0) → 0.

Let us denote by Cp(H∗) the vector spaces in (3.0.2) for p = 0,..., 6 and consider the short exact sequences (2.0.1) and (2.0.2) for H∗. Let us take the isomorphism sp : Bp−1(H∗) → sp(Bp−1(H∗)) obtained by the First Isomorphism Theorem as a section of Cp(H∗) → Bp−1(H∗) for each p. By the exactness of H∗, we get Zp(H∗) = Bp(H∗). Applying the Splitting Lemma to (2.0.2), we have

(3.0.3) Cp(H∗)= Bp(H∗) ⊕ sp (Bp−1(H∗)). n Then the R-torsion of H∗ with respect to basis {hp}0 is given as follows n T n n ′ (−1)(p+1) (H∗, {hp}0 , {0}0 )= [hp, hp] , p=0 Y ′ where hp = bp ⊔ sp(bp−1) for each p. In [4], Milnor proved that the R-torsion does not depend on bases bp and sections sp,ℓp. Therefore, we will choose a suitable bases bp T n n and sections sp so that (H∗, {hp}0 , {0}0 ) = 1.

Let us consider the space C0(H∗)= H0(Σ2,0) in (3.0.3). Then Im(ℓ) = 0 yields

(3.0.4) C0(H∗) = Im(k) ⊕ s0 (Im(ℓ)) = Im(k).

Σ0,3 Σ0,3 Since {(h0 , 0), (0, h0 )} is the basis of H0(Σ0,3) ⊕ H0(Σ0,3),

Σ0,3 Σ0,3 {α11 k(h0 , 0) + α12 k(0, h0 )} Im(k) can be taken as the basis h of Im(k), where (α11 , α12 ) is a non-zero vector. By Im(k) ′ (3.0.4), h becomes the obtained basis h0 of C0(H∗). If we take the initial basis h0 Σ2,0 ′ (namely, h0 ) of C0(H∗) as h0, then ′ (3.0.5) [h0, h0] = 1.

If we use (3.0.3) for C1(H∗)= H0(Σ0,3) ⊕ H0(Σ0,3), then we get

(3.0.6) C1(H∗) = Im(j) ⊕ s1 (Im(k)).

Σ0,3 Σ0,3 Note that the given basis h1 of C1(H∗) is {(h0 , 0), (0, h0 )}. Since Im(j) is 1- dimensional subspace of 2-dimensional space C1(H∗), there is a non-zero vector (a21 , a22 ) Σ0,3 Σ0,3 such that {a21 (h0 , 0) + a22 (0, h0 )} is a basis of Im(j). In the previous step, the basis of Im(k) was chosen as hIm(k) so

Im(k) Σ0,3 Σ0,3 s1 (h )= a11 (h0 , 0) + a12 (0, h0 ).

Then we obtain a non-singular 2 × 2 matrix A = [aij] with entries in R. Let us choose the basis of Im(j) as

Im(j) −1 Σ0,3 Σ0,3 h = {−(det A) [a21 (h0 , 0) + a22 (0, h0 )]}. REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION5

Im(j) Im(k) ′ By (3.0.6), {h ,s1 (h )} becomes the obtained basis h1 of C1(H∗). Hence, we get ′ (3.0.7) [h1, h1] = 1.

Considering (3.0.3) for C2(H∗)= H0(B), we obtain

(3.0.8) C2(H∗) = Im(i) ⊕ s2 (Im(j)).

S1 S2 S3 Recall that {h0 , h0 , h0 } is the given basis h2 of C2(H∗). Since Im(i) and s2 (Im(j)) are 2 and 1-dimensional subspaces of 3-dimensional space C2(H∗), there are non-zero 3 Si 2 vectors (bi1 , bi2 , bi3 ), i = 1, 2, 3 such that { i=1 bjih0 }j=1 is a basis of Im(i) and P 3 Im(j) Si s2 (h )= b3i h0 Xi=1 is a basis of s2 (Im(j)). Then 3 × 3 real matrix B = [bij ] is invertible. Let us choose the basis of Im(i) as follows 3 3 Im(i) −1 Si Si h = (det B) b1i h0 , b2i h0 . ( ) Xi=1 Xi=1 Im(i) Im(j) ′ By (3.0.8), {h ,s2 (h )} becomes the obtained basis h2 of C2(H∗) and we have ′ (3.0.9) [h2, h2] = 1.

Using (3.0.3), C3(H∗)= H1(Σ2,0) can be expressed as the following direct sum

(3.0.10) C3(H∗) = Im(h) ⊕ s3 (Im(i)).

Note that the basis of H1(Σ0,3) ⊕ H1(Σ0,3) is

Σ0,3 Σ0,3 Σ0,3 Σ0,3 {(h1,1 , 0), (0, h1,1 ), (h1,2 , 0), (0, h1,2 )}. Since Im(h) is a 2-dimensional space, we can choose the basis of Im(h) as

Im(h) Σ0,3 Σ0,3 Σ0,3 Σ0,3 h = c11 h(h1,1 , 0) + c12 h(0, h1,1 )+ c13 h(h1,2 , 0) + c14 h(0, h1,2 ),

n Σ0,3 Σ0,3 Σ0,3 Σ0,3 c21 h(h1,1 , 0) + c22 h(0, h1,1 )+ c23 h(h1,2 , 0) + c24 h(0, h1,2 ) . o Here, (ci1 , ci2 , ci3 , ci4 ) is a non-zero vector for i = 1, 2. Using (3.0.10), we have that Im(h) Im(i) ′ h ,s3 (h ) is the obtained basis h3 of C3(H∗). If we take the initial basis h3 Σ2,0 ′ (namely, h1 ) of C3(H∗) as h3, then we get ′ (3.0.11) [h3, h3] = 1.

If we consider (3.0.3) for C4(H∗)= H1(Σ0,3) ⊕ H1(Σ0,3), then we obtain

(3.0.12) C4(H∗) = Im(g) ⊕ s4 (Im(h)).

Σ0,3 Σ0,3 Σ0,3 Σ0,3 Recall that {(h1,1 , 0), (0, h1,1 ), (h1,2 , 0), (0, h1,2 )} is the given basis h4 of C4(H∗). In the previous step, hIm(h) was chosen as the basis of Im(h) so

Im(h) Σ0,3 Σ0,3 Σ0,3 Σ0,3 s4 (h )= c11 (h1,1 , 0) + c12 (0, h1,1 )+ c13 (h1,2 , 0) + c14 (0, h1,2 ),

n Σ0,3 Σ0,3 Σ0,3 Σ0,3 c21 (h1,1 , 0) + c22 (0, h1,1 )+ c23 (h1,2 , 0) + c24 (0, h1,2 ) o 6 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨

is a basis of s4 (Im(h)). As Im(g) is 2-dimensional subspace of 4-dimensional space

C4(H∗), there are non-zero vectors (ci1 , ci2 , ci3 , ci4 ), i = 3, 4 such that

Σ0,3 Σ0,3 Σ0,3 Σ0,3 c31 (h1,1 , 0) + c32 (0, h1,1 )+ c33 (h1,2 , 0) + c34 (0, h1,2 ),

n Σ0,3 Σ0,3 Σ0,3 Σ0,3 c41 (h1,1 , 0) + c42 (0, h1,1 )+ c43 (h1,2 , 0) + c44 (0, h1,2 ) o is a basis of Im(g) and C = [cij ] is the non-singular 4 × 4 real matrix. Thus, we can choose the basis of Im(g) as

Im(g) −1 Σ0,3 Σ0,3 Σ0,3 Σ0,3 h = (det C) [c31 (h1,1 , 0) + c32 (0, h1,1 )+ c33 (h1,2 , 0) + c34 (0, h1,2 )],

n Σ0,3 Σ0,3 Σ0,3 Σ0,3 c41 (h1,1 , 0) + c42 (0, h1,1 )+ c43 (h1,2 , 0) + c44 (0, h1,2 ) . o Im(g) Im(h) ′ By (3.0.12), {h ,s4 (h )} becomes the obtained basis h4 of C4(H∗) and the following equation holds ′ (3.0.13) [h4, h4] = 1.

Consider the space C5(H∗)= H1(B), then (3.0.3) becomes

(3.0.14) C5(H∗) = Im(f) ⊕ s5 (Im(g)).

S1 S2 S3 Recall that the initial basis h5 of C5(H∗) is {h1 , h1 , h1 }. Since Im(f) and s5 (Im(g)) are respectively 1 and 2-dimensional subspaces of 3-dimensional space C5(H∗), there 3 Si are non-zero vectors (di1 , di2 , di3 ), i = 1, 2, 3 such that { i=1 d1i h1 } is a basis of Im(f) and 3 3 P Im(g) Si Si s5 (h )= d2i h1 , d3i h1 ( ) Xi=1 Xi=1 is a basis of s5 (Im(g)). Then we get a non-singular 3 × 3 real matrix D = [dij ]. Let us choose the basis of Im(f) as

3 Im(f) −1 Si h = (det D) d1i h1 . ( ) Xi=1 Im(f) Im(g) ′ By (3.0.14), {h ,s5 (h )} becomes the obtained basis h5 of C5(H∗). Hence, we obtain ′ (3.0.15) [h5, h5] = 1.

Finally, let us consider C6(H∗)= H2(Σ2,0). Since Im(α) = 0, (3.0.3) becomes

(3.0.16) C6(H∗) = Im(α) ⊕ s6 (Im(f)) = s6 (Im(f)). Im(f) ′ From (3.0.16) it follows that s6 (h ) is the obtained basis h6 of C6(H∗). If we take Σ2,0 Im(f) the initial basis h6 (namely, h2 ) of C6(H∗) as s6 (h ), then we have ′ (3.0.17) [h6, h6] = 1. REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION7

If we combine (3.0.5), (3.0.7), (3.0.9), (3.0.11), (3.0.13), (3.0.15), and (3.0.17), then we get 6 T 6 6 ′ (−1)(p+1) (3.0.18) (H∗, {hp}0, {0}0)= [hp, hp] = 1. p=0 Y Since the natural bases in (3.0.1) are compatible, [4, Thm. 3.2] yields 3 S T Σ0,3 1 2 T S j 1 T Σ2,0 2 T 6 6 (3.0.19) (Σ0,3, {hi }0) = ( j, {hi }0) (Σ2,0, {hη }0) (H∗, {hp}0, {0}0). jY=1 Considering [8, Thm. 3.5], (3.0.18), and (3.0.19), we obtain

T Σ0,3 1 T Σ2,0 2 (3.0.20) | (Σ0,3, {hi }0)| = | (Σ2,0, {hη }0)|. By Poincar´eDuality, Theorem 4.1 in [8] andq (3.0.20), the main formula holds

det∆ (Σ ) T Σ0,3 1 0,2 2,0 | (Σ0,3, {hi }0)| = 1 . v det ℘(hΣ , Γ) u 2,0 u t 

A pants decomposition of Σg,n is a finite collection of disjoint smoothly embedded circles cutting Σg,n into pairs of pants Σ0,3 and tori with one boundary circle Σ1,1. The number of complementary components is |χ(Σg,n)| = 2g − 2+ n.

S2g−1 S S−n g+3 S − S S 2g 2 2g+n−3 g+2 S2g−3 .. S′ S . . 1 g+1 ..

S0 S S−(n−1) 4 Sg S1 S ′ 3 S S′ ′ 4 g S2 S S′ 3 2

Figure 2. Compact orientable surface Σg,n with genus g ≥ 2 and bor- dered by n ≥ 1 circles.

Proof of Theorem 1.0.2. Consider the decomposition of Σg,n, as in Figure 1, obtained by cutting the surface along the circles in the following order

S1,..., Sg, Sg+1,..., S2g−3+n. This decomposition consists of ν S – the torus Σ1,1 with boundary circle ν, ν = 1,...,g, g+1 S S S – the pair of pants Σ0,3 with boundaries 1, 2, g+1, ν+g S S S – the pair of pants Σ0,3 with boundaries g+ν, ν+1, g+ν−1, ν = 2,...,g − 1, 8 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨

ν+g S S S – the pair of pants Σ0,3 with boundaries g+ν, g+ν−1, g−ν,ν = g,...,g +n−3, 2g−2+n S S S – the pair of pants Σ0,3 with boundaries 2g+n−3, −(n−1), −(n−2). ν ν Consider also the decomposition Σ1,1 = Yν ∪∂Yν Σ0,3, ν = 1,...,g, where Yν is the S′ ν S′ S′ cylinder ν ×[−ε, +ε] and Σ0,3 is the pair of pants with boundaries ν ×{−ε}, ν ×{ε}, Sν for sufficiently small ε> 0.

Case 1 : Consider the decomposition Σ0,3∪S1 Σ0,n−1 of Σ0,n for n ≥ 4, where Σ0,3 and Σ0,n−1 are glued along the common boundary circle S1. Then there is a short exact sequence of the chain complexes

0 → C∗(S1) → C∗(Σ0,3) ⊕ C∗(Σ0,n−1) → C∗(Σ0,n) → 0 and the corresponding Mayer-Vietoris sequence H∗. By using the arguments stated in Σ0,n S1 the proof of Theorem 1.0.1 for the given bases hη and hη , η = 0, 1, there exist bases Σ0,3 Σ0,n−1 hη and hη such that the R-torsion of H∗ in the corresponding bases is 1 and

Σ Σ Σ − S − T 0,n 1 T 0,3 1 T 0,n 1 1 T S 1 1 1 (3.0.21) (Σ0,n, {hη }0)= (Σ0,3, {hη }0) (Σ0,n−1, {hη }0) ( 1, {hη }0) . By [8, Thm. 3.5] and (3.0.21), we obtain

T Σ0,n 1 T Σ0,3 1 T Σ0,n−1 1 (3.0.22) | (Σ0,n, {hη }0)| = | (Σ0,3, {hη }0)|| (Σ0,n−1, {hη }0)|. Applying (3.0.22) inductively, we get − n 2 ν T Σ0,n 1 T ν Σ0,3 1 | (Σ0,n, {hη }0)| = | (Σ0,3, {hη }0)|. ν=1 Y ′ Case 2 : For the decomposition Σ1,1 = Y ∪ Σ0,3, where Y = S × [−ε, +ε], ∂Y = ′ ′ ∂Y ′ ′ S × {−ǫ}⊔ S × {+ǫ}, and Σ0,3 is the pair of pants with boundaries S × {−ε}, S × {ε}, S for sufficiently small ε > 0, we have the following short exact sequence of the chain complexes

(3.0.23) 0 → C∗(Σ0,3 ∩ Y ) → C∗(Σ0,3) ⊕ C∗(Y ) → C∗(Σ1,1) → 0 and the corresponding Mayer-Vietoris sequence H∗. If we follow the arguments in the ′ Σ1,1 S proof of Theorem 1.0.1 for the given bases hη and hη , η = 0, 1, then we get the Σ0,3 Y bases hη and hη such that the R-torsion of H∗ in the corresponding bases equals to 1 and the formula is valid ′ T Σ1,1 1 T Σ0,3 1 T Y 1 T S′ S 1 −2 (Σ1,1, {hη }0)= (Σ0,3, {hη }0) (Y, {hη }0) ( , {hη }0) . From [8, Thm. 3.5] and Corollary 2.0.2 it follows

T Σ1,1 1 T Σ0,3 1 | (Σ1,1, {hη }0)| = | (Σ0,3, {hη }0)|.

Case 3 : Let Σg−1,1∪S1 Σ1,1 be the decomposition of Σg,0, g ≥ 2, where Σ1,1 and Σg−1,1 are glued along the common boundary circle S1. By the decomposition, there exists the natural short exact sequence

0 → C∗(S1) → C∗(Σg−1,1) ⊕ C∗(Σ1,1) → C∗(Σg,0) → 0 REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION9 and its corresponding Mayer-Vietoris sequence

δ2 f g H∗ : 0 → H2(Σg,0) → H1(S1) → H1(Σg−1,1) ⊕ H1(Σ1,1) → H1(Σg,0)

δ1 i j k → H0(S1) → H0(Σg−1,1) ⊕ H0(Σ1,1) → H0(Σg,0) → 0. S Σg,0 S1 Σg,0 1 For the given bases hν and hη with the condition δ2(h2 ) = h1 , ν = 0, 1, 2, η = 0, 1, if we use the arguments stated in the proof of Theorem 1.0.1, then we obtain Σg−1,1 Σ1,1 the bases hη and hη such that the R-torsion of H∗ in the corresponding bases becomes 1 and the following formula holds

Σ Σ − Σ S − T g,0 2 T g 1,1 1 T 1,1 1 T S 1 1 1 (Σg,0, {hν }0)= (Σg−1,1, {hη }0) (Σ1,1, {hη }0) ( 1, {hη }0) . By [8, Thm. 3.5], we obtain

T Σg,0 2 T Σg−1,1 1 T Σ1,1 1 | (Σg,0, {hν }0)| = | (Σg−1,1, {hη }0)| | (Σ1,1, {hη }0)|.

Case 4 : Consider the decomposition Σg,n =Σg−1,n+1 ∪S1 Σ1,1 for g ≥ 2,n ≥ 1, where Σ1,1 and Σg−1,n+1 are glued along the common boundary circle S1. Then there is the natural short exact sequence of the chain complexes

(3.0.24) 0 → C∗(S1) → C∗(Σg−1,n+1) ⊕ C∗(Σ1,1) → C∗(Σg,n) → 0, and the corresponding Mayer-Vietoris sequence H∗. Using the arguments in the proof − Σg,n S1 Σg 1,n+1 of Theorem 1.0.1 for the given bases hη and hη , η = 0, 1, we get the bases hη Σ1,1 and hη such that the R-torsion of H∗ in the corresponding bases is 1 and

Σ Σ − Σ S − T g,n 1 T g 1,n+1 1 T 1,1 1 T S 1 1 1 (Σg,n, {hη }0)= (Σg−1,n+1, {hη }0) (Σ1,1, {hη }0) ( 1, {hη }0) .

By [8, Thm. 3.5], the R-torsion of Σg,n satisfies the following formula

T Σg,n 1 T Σg−1,n+1 1 T Σ1,1 1 | (Σg,n, {hη }0)| = | (Σg−1,n+1, {hη }0)| | (Σ1,1, {hη }0)|. Applying the Cases 1-4 inductively, we have the following R-torsion formula for the compact orientable surfaces Σg,n, g ≥ 2, n ≥ 0

2g−2+n Σν T Σg,n 1 T ν 0,3 1 | (Σg,n, {hη }0)| = | (Σ0,3, {hη }0)|. νY=1 

4. Applications 4.1. Compact 3-manifolds with boundary. Let N be a smooth compact orientable 3-manifold whose boundary consists of finitely many closed orientable surfaces ∂N = Σ ⊔ Σ ⊔···⊔ Σ . Let d(N) be the double of N. Consider the natural short g1 ,0 g2 ,0 gm ,0 exact sequence of the chain complexes

(4.1.1) 0 → C∗(∂N) → C∗(N) ⊕ C∗(N) → C∗(d(N)) → 0 10 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨

N ∂N and the corresponding Mayer-Vietoris sequence H∗. For the given bases hµ , hν , and d(N) hµ , ν = 0, 1, 2, µ = 0, 1, 2, 3, we will denote the corresponding basis of H∗ by hn, n = 0,..., 11. As the bases in the sequence (4.1.1) are compatible, [4, Thm. 3.2] yields T N 3 2 T ∂N 2 T d(N) 3 T 11 (4.1.2) (N, {hµ }0) = (∂N, {hν }0) (d(N), {hµ }0) (H∗, {hn}0 ). By [8, Thm. 3.5] and (4.1.2), we have

T N 3 T ∂N 2 T 11 (4.1.3) | (N, {hµ }0)| = | (∂N, {hν }0)|| (H∗, {hn}0 )|. q Note that ∂N is equal to Σ ⊔ Σ ⊔···⊔ Σ . By [8, Lem. 1.4], we get g1 ,0 g2 ,0 gm ,0 m Σ T h∂N 2 T h gn ,0 2 (4.1.4) | (∂N, { ν }0)| = | (Σgi ,0, { ν }0)|. Yi=1 Σg , i 0 For each i = 1,...,m, consider the given basis hν for ν = 0, 1, 2 and pants- j,i 2g −2 Σ j,i i h 0,3 decompositions {Σ0,3}j=1 of Σgi ,0. By using Theorem 1.0.2, we obtain the basis η , η = 0, 1, j = 1,..., 2gi − 2 such that

m 2gi−2 Σj,i T ∂N 2 T j,i 0,3 1 (4.1.5) | (∂N, {hν }0)| = | (Σ0,3, {hη }0)|. Yi=1 jY=1 Equations (4.1.4) and (4.1.5) yield the following formula

− m 2gi 2 j,i N 3 j,i Σ0,3 |T(N, {h } )| = |T(Σ , {h }1)| |T(H∗, {h }11)|. µ 0 v 0,3 η 0 i 0 ui=1 j=1 uY Y t Corollary 4.1.1. Let N be the handlebody of genus g ≥ 2. Clearly, the boundary ∂N of 2 N is an orientable closed surface Σg,0 and the double d(N) of N is equal to #(S × S ). g Then, we have the short exact sequence

(4.1.6) 0 → C∗(Σg,0) → C∗(N) ⊕ C∗(N) → C∗(d(N)) → 0

d(N) N and the corresponding Mayer-Vietoris sequence H∗. For the given bases hµ and hµ Σg,0 µ = 0,..., 3, following the arguments above, there exists a basis hi i = 0, 1, 2 such that in the corresponding bases the R-torsion of H∗ is 1 and from [8, Thm. 3.5] it follows T N 3 T Σg,0 2 | (N, {hµ }0)| = | (Σg,0, {hi }0)|. q j 2g−2 Let us consider the pants-decomposition {Σ0,3}j=1 of Σg,0. By Theorem 1.0.2, there j Σ0,3 exists the basis hη for each j = 1,..., 2g − 2, η = 0, 1 and the formula holds

2g−2 Σj |T(N, {hN }3)| = |T(Σj , {h 0,3 }1)|. µ 0 v 0,3 η 0 u j=1 u Y t REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION11

4.2. Product of 2d-manifolds and compact 3-manifolds with boundary Σg,0. Let M be a smooth closed orientable 2d-manifold (d ≥ 1) and N an smooth compact orientable 3-manifold whose boundary consists of closed orientable surface Σg,0 (g ≥ 2). Let X be the product manifold M × N and d(X) denote the double of X. Clearly, the boundary of X is M × Σg,0. Consider the natural short exact sequence of the chain complexes

(4.2.1) 0 → C∗(M × Σg,0) → C∗(X) ⊕ C∗(X) → C∗(d(X)) → 0

X d(X) M and the Mayer-Vietoris sequence H∗ corresponding to (4.2.1). Let hi , hi , hk , and Σg,0 M×Σg,0 hℓ be given bases for i = 0, · · · , 2d + 3, k = 0,..., 2d, ℓ = 0, 1, 2. Let hν denote M Σg,0 the basis ⊕hi ⊗hν−i of Hν(M ×Σg,0),ν = 0,..., 2d+2. For n = 0,..., 6d+11, let hn i j 2g−2 be the corresponding basis of H∗. Let {Σ0,3}j=1 be the pants-decomposition of Σg,0. Since the bases in the sequence (4.2.1) are compatible and [8, Lem. 1.4], we obtain × T X 2d+3 2 T M Σg,0 2d+2 T d(X) 2d+3 (X, {hi }0 ) = (M × Σg,0, {hν }0 ) (d(X), {hi }0 ) T 6d+11 (4.2.2) × (H∗, {hn}0 ). From [8, Thm. 3.5] and (4.2.2) it follows that × T X 2d+3 T M Σg,0 2d+2 1/2 T 6d+11 1/2 (4.2.3) | (X, {hi }0 )| = | (M × Σg,0, {hν }0 )| | (H∗, {hn}0 )| .

By [5, Thm. 3.1], the R-torsion of M × Σg,0 satisfies the equality M×Σ Σ T g,0 2d+2 T M 2d χ(Σg,0) T g,0 2 χ(M) (4.2.4) | (M ×Σg,0, {hν }0 )| = | (M, {hk }0 )| | (Σg,0, {hℓ }0)| . Here, χ is the Euler characteristic. Then equations (4.2.3) and (4.2.4) yield Σ T X 2d+3 T M 2d χ(Σg,0)/2 T g,0 2 χ(M)/2 | (X, {hi }0 )| = | (M, {hk }0 )| | (Σg,0, {hℓ }0)| T 6d+11 1/2 (4.2.5) × | (H∗, {hn}0 )| . j 2g−2 Since {Σ0,3}j=1 is the pants-decomposition of Σg,0 as in Theorem 1.0.2, there exists a j Σ0,3 j basis hη of Hη(Σ0,3), j = 1,..., 2g − 2, η = 0, 1 so that 2g−2 Σj T Σg,0 2 T j 0,3 1 (4.2.6) | (Σg,0, {hℓ }0)| = | (Σ0,3, {hη }0)|. jY=1 Equations (4.2.5) and (4.2.6) yield

− χ(M) 2g 2 χ(Σ ) Σj 2 g,0 T X 2d+3 T j 0,3 1 T M 2d 2 | (X, {hi }0 )| = | (Σ0,3, {hη }0)| | (M, {hk }0 )| jY=1 T 6d+1 1/2 × | (H∗, {hn}0 )| .

Acknowledgment Theorem 1.0.2 and Section 4 were proven in the first author’s MSc thesis. 12 ESMADIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨

References [1] Jeff Cheeger. and reidemeister torsion. Proceedings of the National Academy of Sciences, 74(7):2651–2654, 1977. [2] Wolfgang Franz. Uber¨ die Torsion einer Uberdeckung.¨ J. Reine Angew. Math., 173:245–254, 1935. [3] R. C. Kirby and L. C. Siebenmann. On the triangulation of manifolds and the . Bull. Amer. Math. Soc., 75:742–749, 1969. [4] John Willard Milnor. . Bull. Amer. Math. Soc., 72:358–426, 1966. [5] Cenap Ozel and Yasar S¨ozen. Reidemeister torsion of product manifolds and its applications to quantum entanglement. Balkan Journal of Geometry and Its Applications, 17(2):66–76, 2012. [6] Kurt Reidemeister. Homotopieringe und Linsenr¨aume. Abh. Math. Sem. Univ. Hamburg, 11(1):102–109, 1935. [7] Ya¸sar S¨ozen. Reidemeister torsion of a symplectic complex. Osaka J. Math., 45(1):1–39, 2008. [8] Ya¸sar S¨ozen. Symplectic chain complex and Reidemeister torsion of compact manifolds. Math. Scand., 111(1):65–91, 2012. [9] Vladimir Turaev. Torsions of 3-manifolds. In Invariants of knots and 3-manifolds (Kyoto, 2001), volume 4 of Geom. Topol. Monogr., pages 295–302. Geom. Topol. Publ., Coventry, 2002. [10] Edward Witten. On quantum gauge theories in two dimensions. Communications in Mathematical Physics, 141(1):153 – 209, 1991.

(1) Deptartment of Mathematics, Izmir˙ Institute of Technology, 35430, Izmir,˙ Turkey Email address: [email protected]

(2) Deptartment of Mathematics, Hacettepe University, 06800, Ankara, Turkey Email address: [email protected]