[论文解读] Regularity And Extremality Of Quasiconformal Homeomorphisms On CR 3-Manifolds

Puqi Tang|arXiv (Cornell University)|Dec 30, 1993

Holomorphic and Operator Theory参考文献 12被引用 16

一句话总结

该论文建立了三维CR流形上拟共形同胚的正则性与极值性，特别是平坦环面上的CR圆丛。通过曲线族模量与次黎曼几何，构造了沿Legendrian叶状结构拉伸与压缩的极值映射——其行为类似于黎曼曲面上的Teichmüller映射——并证明其在给定同伦类中最小化畸变。

ABSTRACT

This paper first studies the regularity of conformal homeomorphisms on smooth locally embeddable strongly pseudoconvex CR manifolds. Then moduli of curve families are used to estimate the maximal dilatations of quasiconformal homeomorphisms. On certain CR 3-manifolds, namely, CR circle bundles over flat tori, extremal quasiconformal homeomorphisms in some homotopy classes are constructed. These extremal mappings have similar behaviors to Teichmüller mappings on Riemann surfaces.

研究动机与目标

• 建立具有 $L^1_{\text{loc}}$ 水平导数的光滑、强强拟凸、局部可嵌入的CR 3-流形上共形同胚的正则性。
• 通过曲线族模量全局定义拟共形性，将无穷小畸变与整体几何行为相联系。
• 在平坦环面上的CR圆丛上特定同伦类中构造极值拟共形同胚。
• 证明这些极值映射保持横截Legendrian叶状结构，并在圆作用下保持等变性。
• 通过长度-面积与模量论证，将黎曼曲面上Teichmüller型极值结果推广至CR设定。

提出的方法

• 采用文献[12]中的拟共形性分析定义，要求ACL正则性及水平导数有界畸变。
• 将曲线族模量作为拟共形畸变的全局度量，证明 $C^2$ 微分同胚是拟共形的充要条件是其模量畸变为有界因子。
• 通过分析向量场 $X$ 的积分曲线参数化的垂直曲线族 $\Gamma_a$，构造极值映射。
• 利用长度-面积不等式 $\text{Mod}_{M_1}(\Gamma_a) \leq (1/(2a))^4 \text{vol}(M_1)$，该不等式源于对曲线的 $L^4$-范数估计。
• 通过同伦提升与可求长曲线最小化，界定映射 $f$ 下图像曲线的长度，从而得到 $\text{Mod}_{M_2}(f(\Gamma_a))$ 的上界。
• 应用引理4.5，证明沿纤维的微分形式的 $L^4$-范数与参数 $s$ 无关，从而实现体积积分的简化。

实验结果

研究问题

• RQ1 在何种正则性条件下，光滑、强强拟凸CR 3-流形之间具有 $L^1_{\text{loc}}$ 水平导数的共形同胚必为光滑且CR？
• RQ2 曲线族模量能否用于全局刻画CR 3-流形上的拟共形映射？
• RQ3 在平坦环面上的CR圆丛上，给定同伦类中是否存在极值拟共形同胚？
• RQ4 在CR设定下，极值映射如何与Legendrian叶状结构及圆作用相互作用？
• RQ5 CR极值映射在结构与畸变性质上，与黎曼曲面上的Teichmüller映射在多大程度上相似？

主要发现

• 具有 $L^1_{\text{loc}}$ 水平导数的光滑、强强拟凸、局部可嵌入CR 3-流形之间的共形同胚必为光滑且CR。
• $C^2$ 微分同胚是拟共形的充要条件是其对特定曲线族模量的畸变为有界因子，从而建立了全局刻画。
• 在平坦环面上的CR圆丛上，指定同伦类中存在极值拟共形同胚，且其保持两个横截Legendrian叶状结构。
• 这些极值映射沿一个Legendrian叶状结构拉伸 $\sqrt{K}$ 倍，沿另一结构压缩相同倍数，其行为类似于Teichmüller映射。
• 极值映射 $f_0$ 在横截方向的圆作用下保持等变性，因其在圆纤维上作用为恒等映射。
• 当 $a \to \infty$ 时，不等式 $(\sqrt{K} - A/a)^2 \leq K(f)$ 推出 $K \leq K(f)$，从而证明所构造的极值映射实现了最大畸变为最小化。