REIDEMEISTER-FRANZ TORSION OF COMPACT ORIENTABLE SURFACES VIA PANTS DECOMPOSITION ESMA DIR˙ ICAN˙ ERDAL AND YAS¸AR SOZEN¨ Abstract. Let Σg,n denote the compact orientable surface with genus g ≥ 2 and boundary disjoint union of n circles. By using a particular pants-decomposition of Σg,n, we obtain a formula that computes the Reidemeister-Franz torsion of Σg,n in terms of Reidemeister torsions of pairs of pants. 1. Introduction The Reidemeister-Franz torsion (or R-torsion) was introduced by Reidemeister to classify 3 dimensional lens spaces [6]. This invariant was later generalized by Franz to other dimensions [2] and shown to be a topological invariant by Kirby-Siebenmann [3]. The R-torsion is also an invariant of the basis of the homology of a manifold [4]. Moreover, for compact orientable Riemannian manifolds the R-torsion is equal to the analytic torsion [1]. Using the combinatorial definition of the Reidemeister torsion, Witten computed the volume of the moduli space M of gauge equivalence classes of flat connections on a compact Riemann surface [10]. The combinatorial torsion is equivalent to the Ray- Singer analytic torsion [1]. In the quantum field theory, one important ingredient was the ability to compute by decomposing a surface into elementary pieces. The pair of pants is a (1 + 1)-dimensional bordism, which corresponds to a product or co-product (depending on its orientation) in a 2-dimensional TQFT. Witten established a formula to compute the Ray-Singer analytic torsion of a pair of pants by using its cell decompo- sition. He also gave a cutting formula for orientable closed surface Σg,0 by decomposing an orientable surface Σg,0 of genus g into 2g − 2 pairs of pants. arXiv:2103.02003v2 [math.GT] 10 Apr 2021 The present paper provides a formula to compute the Reidemeister-Franz torsion of a pair of pants in terms of the determinant of the period matrix of the Poincar´e 1 dual basis of H (Σ2,0). Then it expresses the Reidemeister-Franz torsion of orientable compact surface Σg,n as the product of the Reidemeister-Franz torsions of pairs of pants. M For a manifold M and an integer η, we denote by hη the basis of the homology Hη(M)= Hη(M; R). Note that Σ2,0 is the double of Σ0,3. Let ∆0,2(Σ2,0) be the matrix 2010 Mathematics Subject Classification. Primary 55U99; Secondary (optional) 18G99, 57Q10. Key words and phrases. Reidemeister-Franz torsion, compact orientable surfaces, pair of pants, period matrix. Partially supported by TUB¨ ITAK˙ under the project number 114F516. The first author would also like to thank TUB¨ ITAK˙ for the financial support. 1 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.