Pure Mathematics
Vol.08 No.01(2018), Article ID:23500,6
pages
10.12677/PM.2018.81007
A Description of the Teichmüller Equivalent Quasi-Conformal Mapping Class on the Compact Solenoid
Fei Song
School of Mathematic and System Science, Beihang University, Beijing
Received: Jan. 1st, 2018; accepted: Jan. 17th, 2018; published: Jan. 24th, 2018
ABSTRACT
Let be the compact solenoid. In the present article, we give a representation of the Teich- múller space of in the sense of being marked. Moreover, we give the description of the Teichmüller equivalence of quasi-conformal maps in the universal covering space of . We prove that two quasi-conformal maps have common value in the limit set if and only if they are Teichmüller equivalent.
Keywords:Compact Solenoid, Teichmüller Space, Quasi-Conformal Mapping, Universal Covering
紧线体上拟共形映射Teichmüller等价类的一个刻画
宋飞
北京航空航天大学数学与系统科学学院,北京
收稿日期:2018年1月1日;录用日期:2018年1月17日;发布日期:2018年1月24日
摘 要
本文讨论了紧线体 的Teichmüller空间在标记紧线体意义下的表示,并且给出了两个拟共形映射 Teichmüller等价在其万有覆盖的极限集中的一个刻画,我们证明了两个拟共形映射具有相同的极限集映射值当且仅当它们是Teichmüller等价的。
关键词 :紧线体,Teichmüller空间,拟共形映射,万有覆盖
Copyright © 2018 by author and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
在 [1] 中,Sullivan引入了紧线体S的概念,S可以看成是Cantor集多个相关的紧黎曼曲面的笛卡尔乘积组成的拓扑空间。Sullivan同时定义了S的复结构,并且讨论了它对应的Teichmüller空间理论。Sullivan首先注意到了紧线体的Teichmüller空间理论与一个较为经典的猜想:即Ehrenpreis猜想非常相关。这个猜想是指对任何两个给定紧双曲黎曼曲面,以及任意给定的 ,都存在各自的非分歧,有限层全纯提升,使得提升后的曲面之间是 -拟共形相依的 [2] 。由于双曲型黎曼曲面的万有覆盖均为单位圆盘,所以该问题可以转化为:是否对任何紧致双曲型黎曼曲面,它的有限层,非分歧全纯覆盖都可以逼近其万有覆盖。
Saric [3] 对紧线体Teichmüller空间,即T(S)的形变理论进行了非常系统的研究。他研究了紧线体Fuchsian群作用意义下的表示:
并且在这个表示下讨论了 的相关性质,他同时定义了 上的全纯二次微分空间和Beltrami系数组成的Banach空间。Odden证明了群表示意义下的紧线体与覆盖意义下的紧线体是同胚的 [4] 。如同黎曼曲面的Teichmüller空间,可以构造 的Bers嵌入映射,并且可以通过该映射得到 上的复Banach流形结构。Saric也给出了 上的Teichmüller度量的定义,并且给出了S中点的极值映射的刻画。在 [5] 中,Saric引入了 的上地震映射,并且由此得到了它的Thurston边界。Pennner和Saric定义了穿孔轮胎面的线体,并且讨论了该线体的Teichmüller理论 [6] 。
为了方便研究,Sullivan给出了S上的一种特殊的复结构,即所谓的局部常数变换(TLC)复结构,并证明了这种复结构在紧线体的所有复结构中是稠密的 [1] 。另外一个研究紧线体Teichmüller理论的重要工具是所谓的叶。即紧线体S的道路连通分支,可以证明任何叶在S上都是稠密的 [7] 。Saric将叶的概念用群表示进行了表述,并且说明了叶是单连通的 [3] 。
本文将考虑在 上的Teichmüller等价的拟共形映射在万有覆盖的极限集,即 的一个刻画。为此我们给出了 一个标记意义下的定义。而本文主要定理的证明主要分为两个部分,首先我们将证明Teichmüller等价的标记紧线体满足诱导相等群同态的条件:
定理1.1. 给定两个标记紧线体 ,则有 在 中成立当且仅
.
之后,我们证明满足上述诱导相等群同态条件的拟共形映射具有相同的极限集映射值:
定理1.2. 对任意两个拟共形映射 , 当且仅当 成立。
有了上述两个结论,直接可以看出 上两个拟共形映射是Teichmüller等价的当且仅当它们具有相同的极限集映射值。
2. 准备工作
这一节我们将要介绍一些重要的概念和基本定理,首先我们给出紧线体的两个形式不同的定义。细节部分可以参考 [3] 。
2.1. 紧线体的两种定义
设 是给定的双曲型紧黎曼曲面 和它上面的一个点 组成的二元组。考虑 的所有非分歧,有限阶且含有点对应的覆盖映射 ,且在同构意义下视为同一映射。由此我们可以得到一个二元组之间的偏序关系,即可以按照以下关系定义偏序关系:若存在非分歧,有限阶含有点对应的覆盖映射 ,使得 成立,则“≤”关系成立:
.
不难得知任何两个覆盖映射: 以及 ,都存在覆盖映射 使得
.
成立,所以这种覆盖关系存在逆极限。(关于逆极限的概念,可以参考 [9] 。)定义紧线体
由上述过程不难看出,紧线体 与初始选取的二元组没有关系。另外,不难得知 ,
其中I是覆盖的指标集合。由于每一个黎曼曲面 是紧的,可以看出 在Tychonov拓扑意义下是紧集,由定义可以知道 在 是闭的,所以S是紧的。且在局部上可以看成是小圆盘和Cantor集的笛卡尔乘积。称S的道路连通分支为叶,Sullivan [1] 证明了所有紧线体上的叶都是稠密的。
有了紧线体的概念,就可以定义紧线体的复结构。S上的光滑结构为一组坐标卡的覆盖,且满足参数转换函数限制在所有叶上是 微分同胚,且相对Cantor集方向在函数的 拓扑下是连续的。 上的复结构,是S上光滑结构的子覆盖,使得参数转换函数限制在任意局部叶上都是全纯的,且相对Cantor集方向在函数的 拓扑下是连续的。另外,若给定一个双曲型闭黎曼曲面 ,都存在着由它生成的紧线体上的自然投影 。通过该投影的拉回可以得到紧线体S任意叶上的复结构,不难看出这样得到的复结构相对Cantor集方向参数转换函数局部均为常数。我们称这样的复结构为TLC复结构 [4] 。Sullivan证明了对于紧线体S,TLC复结构在所有紧线体的复结构中是稠密的 [1] 。
与此同时,Saric给出了紧线体的一种群作用表示下的定义 [3] 。为了介绍这个概念,我们首先定义群G上的预有限度量。给定双曲型紧黎曼曲面 ,设G是 的基本群,则可以用如下方式可以定义G上
的预有限度量:记 是G中所有阶数不超过n的子集合之交,可以看出 是阶数有限的。则 是G中的一个由其有限阶子群组成的下降序列。由于G是余有限的,可以得到 。定义 之间的预有限度量为:
,
其中 。可以证明G可以被这种度量完备化,记它的完备化后的集合为 。
设D为单位圆盘,考虑乘积空间 ,可以定义群G在该乘积空间的作用:任何 在 上的作用定义为:
, .
那么群G标记的紧线体为:
.
Odden [4] 证明了这两种不同定义下的紧线体是同胚的。同样地,在 上也有叶的概念。Saric将对任意给定的 , 在G作用下的轨道定义为叶。可以验证 上的叶和S上的叶同胚。另外, 上有从 继承的商复结构,也可以定义 上的TLC复结构,细节可以参考 [4] 。
2.2. SG上的Beltrami系数,全纯二次微分和Teichmüller空间
下面介绍 上Beltrami系数和全纯二次微分的概念,他们主要定义方法和黎曼曲面的情况很类似,细节部分可以参考 [3] 。
定义2.1. 称 为 上的光滑Beltrami微分若 在 的任意叶的限制为(−1,1)形式,且相对Cantor集方向是 连续的。若 还满足 ,则称 是 上的光滑Beltrami系数。称f为 上的全纯二次微分,若f在 的任意叶的限制为全纯二次微分,且相对Cantor集方向是 连续的。
为了方便,我们记 为 上Beltrami系数空间,记 为 上全纯二次微分空间。
与上述定义类似,可以给出 上拟共形映射的定义,共形映射的定义也可以直接得到:
定义2.2. 称微分同胚 是拟共形映射,若 限制在 的任意叶上为可微拟共形映射,相对Cantor集方向 映射的 拓扑是连续的,其中 是任意紧线体。特别地,称 是K-拟共形映射,若 限制在所有叶上的拟共形常数的上确界为K。当 时, 是 上的共形映射。
有了上面的几个概念,我们就可以引入紧线体Teichmüller空间(记为 )的定义了:
定义2.3. 紧线体 的Teichmüller空间 定义为 上所有拟共形映射Teichmüller等价类的集合。称 是 上Teichmüller等价的拟共形映射,若存在两个像集之间的共形映射 ,使得 同伦于恒等映射。记 为 上拟共形映射 的Teichmüller等价类。
事实上,类似于黎曼曲面的Teichmüller空间,紧线体的Teichmüller空间上有一个自然的度量,称为Teichmüller度量,定义为
其中, 是拟共形映射 限制在所有叶上的拟共形常数的上确界 [4] 。由于所有叶在 上都是稠密的,且拟共形映射 在Cantor集方向的 拓扑下连续,可知 限制在所有叶上的拟共形常数均为K。
同样地,也可以用标记线体的方式定义 :给定两个拟共形映射 。
这样我们得到两个二元组 。称这两个二元组是Teichmüller等价的,若
同伦于共形映射 。我们记 的Teichmüller等价类为 ,则 ,
其中 取遍 上所有拟共形映射。
3. 主要结果及其证明
考虑 的万有覆盖 ,则 可以看成是 万有覆盖的边界。其中 为单位圆周。给定 为 上的拟共形映射,则存在 为 在万有覆盖上的提升,特别地,若要求对任意 , 保持 不动,则称 为 的典范提升。
引理3.1 对任何点 ,都存在 中的序列 ,使得对于任何点 ,都有 趋近于 。
证:设 是 在 作用下的基本多变形。则称 为 在 作用下的基本多边形 [4] ,它的闭包 在 上为紧集。由基本多边形的定义不难得知,可以选取 中的一组序列 和 上的一组点列 ,使得 趋近于 。由于 是正规族,故可以假设 在 上内闭一致收敛到全纯映射 。由 [8] 中定理2.18可知 为常值映射,且 的值恒为 。
证毕!
为了引入本文的主要定理,还需要介绍一些基本符号:设 是 上拟共形映射 在 上的典范提升,给定同态映射:
,
, .
我们将用以下定理说明标记紧线体的等价类和拟共形映射诱导的群同态之间的关系:
定理3.1 给定两个标记紧线体,则有 在 中成立当且仅当 。
证:首先我们假设 在 中成立。由定义不妨假设 ,且 同伦于 。设 与 之间的同伦可以记为一个单参数同胚群 ,其中 。不难得知 可以被提升至 。我们仅考虑一个叶上的情况,即设 ,考虑 在 上的典范提升。可知该提升是唯一的,我们将之记为 。且对任意 ,均有 , 成立。
任意选取 以及 。不妨考虑对固定的 ,该叶上的两条道路 和 。显然 和 具有相同的起点,且在 上的投影均为 。由道路提升定理,可知 。特别地,两条道路终点重合。即: 。由于在任意给定的叶上,z是任意选取的,我们可以得到:
.
再由 的任意性,且注意到 均为典范提升,可知 。我们把所有的叶组合起来,就可以得到紧线体整体上满足 ,此即 和 相容,且为 在 上的典范提升,所以可以得到 。
另一方面,若 成立,则对任何 都有以下等式成立:
, .
固定 。对任意 以及 ,设 是连接 和 的双曲测地线。记 是分割 使之长度比为 的点。将所有的 合并,则可知 是 和 之间的同伦。且满足 。再将 投影至 可得连续映射 。由上述构造可以看出, 就是 和 之间的同伦。
证毕!
接下来我们将讨论 上两个拟共形映射诱导的群同态和它们的边界值之间的关系。
定理3.2 对任意两个拟共形映射 , 当且仅当 。
证明:“ ”假设 。可知对任意 且对任意固定的 ,都有,而 均为Möbious变换,故可得: 。
“ ”仍然设 ,选取 。由引理3.1可知对任何 ,均存在 中序列 ,使得 。另外,由引理3.1的证明过程可以看出 在 中内闭一致收敛到常数 。由于 。令 ,我们可以得到 。由于 的任意性,可知 。
证毕!
综上所述,我们证明了紧线体上两个拟共形映射是等价的当且仅当它们在万有覆盖的极限集上的值相同。
基金项目
国家自然科学基金资助(No. 11371045)。
文章引用
宋 飞. 紧线体上拟共形映射Teichmüller等价类的一个刻画
A Description of the Teichmüller Equivalent Quasi-Conformal Mapping Class on the Compact Solenoid[J]. 理论数学, 2018, 08(01): 41-46. http://dx.doi.org/10.12677/PM.2018.81007
参考文献 (References)
- 1. Sullivan, D. (1993) Linking the Universallities of Milnor-Thurston. Feigenbaum and Ahlfors-Bers. In: Goldberg, L. and Phillips, A., Eds., Topological Methods in Modern Mathematics, Publish or Perish, Houston, 543-563.
- 2. Ehrenpreis, L. (1970) Cohomology with Bounds. Symposia Mathematics IV (INDAM, Rome, 1968/69), Academic Press, London, 389-395.
- 3. Saric, D. (2008) On Quasiconformal Deformations of the Universal Hyperbolic Solenoid. Journal d’Analyse Mathematique, 105, 303-343. https://doi.org/10.1007/s11854-008-0038-0
- 4. Odden, C. (2005) The Baseleaf Preserving Mapping Class Group of the Uni-versal Hyperbolic Solenoid. Tran. American Mathematical Society, 357, 1829-1858. https://doi.org/10.1090/S0002-9947-04-03472-5
- 5. Saric, D. (2007) Earthquakes and Thurston Boundary for the Teichmüller Space of the Universal Hyperbolic Solenoid. Pacific Journal of Mathematics, 233, 205-228. https://doi.org/10.2140/pjm.2007.233.205
- 6. Penner, R.C. and Saric, D. (2008) Teichmüller Theory of the Punctured Solenoid. Geometriae Dedicata, 132, 179-212. https://doi.org/10.1007/s10711-007-9226-9
- 7. Sullivan, D. (1992) Bounds Quadratic Differentials and Renormalization Con-jectures. American Mathematical Society Centennial Publications, Vol. II, Amer. Math. Soc., Providence.
- 8. Imayoshi, Y. and Taniguchi, M. (1992) An Introduction to Teichmüller spaces. Springer-Varlag, Tokyo, Berlin, Heidelberg, New York.
- 9. MacLane, S. (1998) Categories for the Working Mathematician. 2nd Edition, Springer.