In low-dimensional topology, the trigenus of a closed 3-manifold is an invariant consisting of an ordered triple ( g 1 , g 2 , g 3 ) {\displaystyle (g_{1},g_{2},g_{3})} . It is obtained by minimizing the genera of three orientable handle bodies — with no intersection between their interiors— which decompose the manifold as far as the Heegaard genus need only two. That is, a decomposition M = V 1 ∪ V 2 ∪ V 3 {\displaystyle M=V_{1}\cup V_{2}\cup V_{3}} with
i n t V i ∩ i n t V j = ∅ {\displaystyle {\rm {int}}V_{i}\cap {\rm {int}}V_{j}=\varnothing }
for i , j = 1 , 2 , 3 {\displaystyle i,j=1,2,3} and being g i {\displaystyle g_{i}} the genus of V i {\displaystyle V_{i}} . For orientable spaces, t r i g ( M ) = ( 0 , 0 , h ) {\displaystyle {\rm {trig}}(M)=(0,0,h)} , where h {\displaystyle h} is M {\displaystyle M} 's Heegaard genus. For non-orientable spaces the t r i g {\displaystyle {\rm {trig}}} has the form t r i g ( M ) = ( 0 , g 2 , g 3 ) or ( 1 , g 2 , g 3 ) {\displaystyle {\rm {trig}}(M)=(0,g_{2},g_{3})\quad {\mbox{or}}\quad (1,g_{2},g_{3})}
depending on the image of the first Stiefel–Whitney characteristic class w 1 {\displaystyle w_{1}} under a Bockstein homomorphism, respectively for
β ( w 1 ) = 0 or ≠ 0. {\displaystyle \beta (w_{1})=0\quad {\mbox{or}}\quad \neq 0.}
It has been proved that the number g 2 {\displaystyle g_{2}} has a relation with the concept of Stiefel–Whitney surface, that is, an orientable surface G {\displaystyle G} which is embedded in M {\displaystyle M} , has minimal genus and represents the first Stiefel–Whitney class under the duality map D : H 1 ( M ; Z 2 ) → H 2 ( M ; Z 2 ) , {\displaystyle D\colon H^{1}(M;{\mathbb {Z} }_{2})\to H_{2}(M;{\mathbb {Z} }_{2}),} , that is, D w 1 ( M ) = [ G ] {\displaystyle Dw_{1}(M)=[G]} . If β ( w 1 ) = 0 {\displaystyle \beta (w_{1})=0\,} then t r i g ( M ) = ( 0 , 2 g , g 3 ) {\displaystyle {\rm {trig}}(M)=(0,2g,g_{3})\,} , and if β ( w 1 ) ≠ 0. {\displaystyle \beta (w_{1})\neq 0.\,}
then t r i g ( M ) = ( 1 , 2 g − 1 , g 3 ) {\displaystyle {\rm {trig}}(M)=(1,2g-1,g_{3})\,} .
Theorem A manifold S is a Stiefel–Whitney surface in M, if and only if S and M−int(N(S)) are orientable.
… excerpt ends here. Continue reading the full article.
