Template talk:Takase2006
From Manifold Atlas
Proof of Theorem 4.2 in p. 9 of the arxiv version uses the additivity result \Omega(F0#g) = \Omega(F0) + \Omega(g). This is proved as follows. Take a Seifert surface for a given embedding. Then \Omega is basically the sum of the signature and a sort of self-intersection number. Both of them are additive with respect to (boundary) connected sum (Section 3.4).