[论文解读] On the Existence of Jenkins-Strebel Differentials Using Harmonic Maps from Surfaces to Graphs

Michael Wolf|ArXiv.org|Jun 29, 1994

Geometric Analysis and Curvature Flows参考文献 8被引用 17

一句话总结

本文提出了一种新颖的黎曼几何方法，通过构造从黎曼曲面到表示垂直 foliation 叶子空间的度量图的能量极小化调和映射，证明了在给定圆柱高度下 Jenkins-Strebel 微分在黎曼曲面上的存在性。关键结果是：此类调和映射的 Hopf 微分可产生具有所需圆柱结构和高度的全纯二次微分，为先前使用极端长度或 Teichm"uller 理论的证明提供了一种经典且初等的替代方法。

ABSTRACT

We give a new proof of the existence (\cite{HM}, \cite{Ren}) of a Jenkins-Strebel differential $Φ$ on a Riemann surface $\SR$ with prescribed heights of cylinders by considering the harmonic map from $\SR$ to the leaf space of the vertical foliation of $Φ$, thought of as a Riemannian graph. The novelty of the argument is that it is essentially Riemannian as well as elementary; moreover, the harmonic maps existence theory on which it relies is classical, due mostly to Morrey (\cite{Mo}).

研究动机与目标

• 为具有指定圆柱高度的黎曼曲面上 Jenkins-Strebel 微分的存在性提供一种新的、初等的证明。
• 用基于调和映射的黎曼几何框架替代复杂的共形或 Teichm"uller 理论方法。
• 证明能量极小化调和映射到图的 Hopf 微分可产生所需的 Jenkins-Strebel 微分。
• 通过边界无图的逼近方法，将证明推广到叶子空间图具有边界的情形。
• 建立调和映射同伦类与所得 foliation 的 Whitehead 等价性之间的直接联系。

提出的方法

• 在黎曼曲面上构造一个具有 k 个指定圆柱的测度 foliation，并将其叶子空间定义为一个度量图 T。
• 考虑在 foliation 叶子沿投影 π: R → T 的同伦类中的调和映射 f: R → T。
• 利用 Morrey 的经典能量极小化调和映射存在性理论（适用于非正曲率目标），保证 f 的存在。
• 证明 f 的 Hopf 微分 Φ 是全纯的二次微分，且 f 沿 Φ 的垂直 foliation 的叶是常值的。
• 通过比较 f 与 π 的同伦类，证明 Φ 的垂直 foliation 与原始 foliation 是 Whitehead 等价的。
• 通过在边界顶点处附加小环来逼近具有边界的图 T，构造无边界的图 Tε，然后取极限处理边界情形。

实验结果

研究问题

• RQ1 是否可以使用到度量图的调和映射而非共形或极端长度方法，来建立具有指定圆柱高度的 Jenkins-Strebel 微分的存在性？
• RQ2 从黎曼曲面到图的调和映射的 Hopf 微分与二次微分的垂直 foliation 之间有何关系？
• RQ3 调和映射的同伦类在决定所得二次微分的拓扑与几何结构中起什么作用？
• RQ4 如何通过逼近方法将具有边界的叶子空间图的情形约化为无边界情形？
• RQ5 调和映射构造在多大程度上可用于建立测度 foliation 之间的 Whitehead 等价性？

主要发现

• 在黎曼曲面 R 到测度 foliation 叶子空间 T 的投影 π: R → T 的同伦类中，存在能量极小化调和映射 f: R → T，其中 T 为具有 k 个圆柱的测度 foliation 的叶子空间。
• f 的 Hopf 微分 Φ 是 R 上的全纯二次微分，其垂直 foliation 具有与原始 foliation 相同的 k 个圆柱及相同的指定高度。
• 调和映射 f 沿 Φ 的垂直 foliation 的叶是常值的，这意味着 f 沿这些叶投影到 Φ 的叶子空间。
• Φ 的垂直 foliation 与原始 foliation 是 Whitehead 等价的，确保核心曲线与圆柱模数一致。
• 对于具有边界的图，通过将叶子空间 T 逼近为无边界的图 Tε（在边界顶点处附加小环），构造到 Tε 的调和映射，然后取极限，恢复出所需的微分。
• 该构造是初等的，仅依赖于经典调和映射理论（Morrey）和 Courant-Lebesgue 引理，避免了深层的 Teichm"uller 或极端长度理论工具。