1. 引言
三维流形理论是低维拓扑学研究的核心内容之一,组合方法是研究三维流形分类和结构的一种重要方法。三维流形中不可压缩曲面的性质和分类、纽结和链环理论、三维流形沿曲面相粘后所得流形的亏格与因子三维流形亏格及相粘曲面亏格和边界分支数之间的关系都是近年来三维流形理论研究的热点问题。研究三维流形带边曲面和的亏格,可利用三维流形组合拓扑理论中的割补思想将三维流形带边曲面和转化为三个三维流形沿两个闭曲面相粘的形式,通过三个因子流形的亏格及三维流形沿闭曲面相粘的一些已知结果,进行进一步的分析和讨论。2008年,Tsuyoshi Kobayashi和邱瑞锋在文献 [1] 中证明了若
,当因子流形
的Hausdorff分解距离足够大时,有
;2014年,王树新和倪楠在文献 [2] 中证明了某些复杂三维流形三穿孔球面和具有亏格可加性;2016年,王霄在文献 [3] 中证明了某些复杂三维流形简单穿孔球面和具有亏格可加性;2017年,冷健在文献 [4] 中证明了某些复杂三维流形五、六穿孔球面和具有亏格可加性。
本文利用三维流形组合拓扑的研究技巧和方法,对某些可定向闭曲面加厚特定穿孔环面和、某些复杂三维流形特定穿孔环面和的亏格是否具有可加性进行分析,通过讨论相粘穿孔环面的可能分离情形,给出某些可定向闭曲面加厚特定穿孔环面和以及某些复杂三维流形特定穿孔环面和的亏格。
2. 预备知识
定义 2.1 设M是一个Hausdorff空间,如果空间M中任意一点p都有一个与
同胚的开邻域
,则称M是一个n维流形。如果空间M中任意一点p存在开邻域或者同胚于
,或者同胚于
,则称M是一个n维带边流形。将流形M中所有同胚于
的点组成的集合称为流形M的边界,记为
,并称
为流形M的内部。
定义 2.2 如果M是一个n维流形,并且W是一个含于M内的流形,则称W是流形M的一个子流形。
定义 2.3 假设M是一个n维流形,W是一个m维流形,如果存在一个同胚映射
,其中
是M的子流形,则称f是从W到M的一个嵌入映射,
是W到M的嵌入。
定义 2.4 如果M是一个n维流形,同时W是一个m维流形,映射f是从流形W到流形M的一个嵌入,若满足
,
,则称映射f是从流形W到流形M的一个真嵌入。
定义 2.5 设F是一个紧致且可定向曲面,C为曲面F上的一条简单闭曲线,如果曲线C不在曲面F上界定2-圆片,则称曲线C在曲面F上是本质的。
定义 2.6 设F是真嵌入到三维流形M中的曲面,若F在M中界定三维实心球体或者F上至少有一条本质闭曲线在M中界定2-圆片且与F不交,则称F是流形M中的一个可压缩曲面;否则称F是流形M中的不可压缩曲面。
定义 2.7 假设S是三维流形M中的一个二维球面,如果S不在流形M中界定三维实心球体,则称S在M中是本质的。如果任意球面在M中都不是本质的,则称M是不可约流形;否则称M是可约流形。
定义 2.8 设P为一个曲面,F是P的子曲面,若
,则称F在P上是分离的;否则称F在P上是非分离的。
定义 2.9 若F在P上是分离的,且P沿F的任意边界分支切开都是非连通的,则称F在P上是完全分离的;否则称F在P上是非完全分离的。
定义 2.10 设
是紧致且可定向的三维流形,
是
的边界分支,
是
上的子曲面,其中
,设f为
到
的同胚映射,称
为流形
,
沿f粘合的曲面和。
定义 2.11 设F是一个闭的可定向曲面,三维流形C可通过在
的边界分支
上添加若干个1-把柄得到,则称三维流形C是压缩体。令
,
。特别地,若
,称C是一个平凡压缩体。
定义 2.12 设M为三维流形,若M紧致且
,并且
有一划分
,如果压缩体V和W满足,
,
,
,
,则称
为流形M的Heegaard分解,并将曲面S称为M的一个Heegaard分解曲面。Heegaard分解曲面S的亏格
称为对应Heegaard分解
的亏格。令
,称
是流形M的亏格。
定义 2.13 设三维流形M的一个Heegaard分解为
,令
,其中
是V中本质圆盘的边界,
是W中本质圆盘的边界,则称
是Heegaard分解
的距离。
引理 2.1 [5] 设
,
是不可约且边界不可压缩的三维流形,
,
,且
,
的Heegaard分解为
,满足
,且
与
不交
。设
为
中一段垂直的弧,使端点
,
,设
是
的正则邻域,令
,
,则
是M的一个Heegaard分解,且
。
注2.1 由引理2.1可知
。
引理 2.2 [5] 设M是由不可约且边界不可约的两个三维流形
沿带边曲面F相粘得到。设
是
上包含F的分支,如果
有一个距离至少是
的Heegaard分解,则M对应的极小亏格Heegaard分解可由
,
和
的Heegaard分解沿着
,
进行相粘得到。
引理 2.3 [5] 设
,
是可定向闭曲面且亏格至少为1,将
,
沿有界连通曲面F相粘的曲面和记为M。
1) 若
和
都是连通的,则
,其中
。
2) 若F是一个平环,则
。
本文的定义和术语都是标准的,参见文献 [6] [7]。
3. 可定向闭曲面加厚两类
穿孔环面和的亏格
定理 3.1 设
,其中
是亏格至少为
的连通可定向闭曲面,若F是
和
上的不可压缩
穿孔环面,且F在
和
上都是完全分离的,则
或
。
证明:令
,
,其中
,
。
设
是M的一个极小亏格的Heegaard分解,由流形亏格定义知
。由F是n穿孔
环面得,
。由
,得
。
由平凡压缩体性质,显然有
,又显然有
,
。
由引理2.1可知
,若
和
在S的同侧,则M的其他边界分支均不与
在同侧,对于M的极小亏格的Heegaard分解
,M的边界分支
在S的两侧仅有如下两种情况:
1)
,
在S的同侧。
由压缩体的性质得
,
,从而
。故此边
界分配情形存在,并且
。由引理2.1可知
,故
。
2)
,
在S的异侧。
a) 与
在Heegaard分解曲面S同侧流形M的其他边界分支亏格之和等于
,或与
在Heegaard分解曲面S同侧流形M的其他边界分支亏格之和等于
。
此时,由压缩体的性质得
,从而
,又由引理
2.1可知
,故
。
b) 其他情况。
将
代入
得
。由
引理2.1可知
,所以
,又由于与
在Heegaard分解曲面S同侧流形M的其他边界分支亏格不为
,故
。
综上,
或
。
定理 3.2 设
,其中
是亏格至少为
的连通可定向闭曲面,若F是
和
上的不可压缩
穿孔环面,且F在
和
上都是非分离的,或者F在
和
上一个是非分离的,另一个是完全分离的,则
。
证明:令
,
,其中
,
。
设
是M的一个极小亏格的Heegaard分解,由流形亏格定义知
。由F是n穿孔环面得
。由
得
。显然有
,
,
。
由引理2.1知
。因此,若
和
在S的同侧,则M没有其他边界分支在S的这一侧,对于M的极小亏格的Heegaard分解
,M的边界分支
,
,
在S的两侧有如下两种情况:
1)
,
在S的同侧。
由压缩体的性质得
,
。
将
代入
,可得
,故此边界分配情形存在,并且
,由引理2.1可知
,故
。
2)
,
在S的异侧。
由压缩体的性质得
,
。
将
代入得
,因为
,当
时,
,这与引理2.1中
矛盾。当
时,
,由引理2.1可知
,故
时,
。
综上,
。
4. 复杂三维流形两类
穿孔环面和的亏格
定理 4.1 设
,其中
是不可约且边界不可约的三维流形,F是
分支
上的不可压缩
穿孔环面。
是亏格至少为
的连通可定向闭曲面,若
都有距离至少为
的Heegaard分解,且F在
和
上都是完全分离的,则有
或
。
证明:令
,
,其中
,则M可表示为
,其中
,
,
。
由定理3.1知,
或
。
又由引理2.3知,
。
故
或
。
定理 4.2 设
,其中
是不可约且边界不可约的三维流形,F是
分支
上的不可压缩
穿孔环面。
是亏格至少为
的连通可定向闭曲面,若
都有距离至少为
的Heegaard分解,且F在
和
上都是非分离的,或者F在
和
上一个是非分离的,另一个是完全分离的,则有
。
证明:令
,
,其中
,则M可表示为
,其中
,
,
。
由定理3.2知,
。
又由引理2.3知,
。
故
。
5. 结论
本文通过三维流形组合拓扑的研究方法和技巧,给出了某些可定向闭曲面加厚两类
穿孔环面和的亏格为
或
,进而得出某些复杂三维流形两类
穿孔环面和的亏格为
或
。本文的主要结果在某些可定向闭曲面加厚穿孔球面和结论的基础上,将某些复杂三维流形的穿孔球面和推广到了
穿孔环面和。