[论文解读] Pseudo-Anosovs on closed surfaces having small entropy and the Whitehead sister link exterior

Eiko Kin, Mitsuhiko Takasawa|arXiv (Cornell University)|Mar 2, 2010

Geometric and Algebraic Topology参考文献 23被引用 6

一句话总结

本文通过分析怀特黑德姐妹链外部的德恩填充的纤维化单值，研究了闭曲面在亏格 $ g $ 下的极小稀释伪阿诺索夫映射类。利用多项式族 $ f_{(k, au)}(t) = t^{2k} - t^{k+\ell} - t^k - t^{k-\ell} + 1 $，作者推导出 $ \delta_g $ 和 $ \delta_g^+ $ 的新上界，改进了广中（Hironaka）的界，并证明当 $ g \equiv 1,5,7,9 \pmod{10} $ 时有 $ \delta_g^+ < \delta_{g+1}^+ $，并为 $ g=5,8,13 $ 明确给出了稀释值。

ABSTRACT

Let $δ_g$ be the minimal dilatation for pseudo-Anosovs on a closed surface $Σ_g$ of genus $g$ and let $δ_g^+$ be the minimal dilatation for pseudo-Anosovs on $Σ_g$ with orientable invariant foliations. This paper concerns the pseudo-Anosovs which occur as the monodromies on closed fibers for Dehn fillings of $N(r)$ for each $r \in \{-3/2, -1/2, 2\}$ of the magic manifold $N$. The manifold $N(-3/2)$ is homeomorphic to the Whitehead sister link exterior. We consider the set $Λ_g(r)$ (resp. $Λ_g^+(r)$) which consists of the dilatations of all monodromies (resp. monodromies having orientable invariant foliations) on a closed fiber of genus $g$ for Dehn fillings of $N(r)$, where the fillings are on the boundary slopes of fibers of $N(r)$. Hironaka obtained upper bounds of $δ_g$ and $δ_g^+$ by computing $\min Λ_g(-1/2)$ and $\min Λ^+_g(-1/2)$ respectively. We prove that $\min Λ_g(-3/2)&lt; \min Λ_g(-1/2)$ for $g \equiv 0,1,5,6,7,9 \pmod{10}$ and $\min Λ^+_g(-3/2)&lt; \min Λ^+_g(-1/2)$ for $g \equiv 1,5,7,9 \pmod{10}$. These inequalities improve the previous upper bounds of $δ_g$ and $δ_g^+$ for these $g$. We prove that for each $r \in \{-3/2, -1/2, 2\}$ and each $g \ge 3$, there exists a monodromy $Φ_g(r)$ on a closed fiber of genus $g $ for a Dehn filling of $N(r)$ such that its dilatation $λ(Φ_g(r))$ satisfies $\displaystyle \lim_{g o \infty} |χ(Σ_g)| \log λ(Φ_g(r)) = 2 \log((3+\sqrt{5})/2)$.

研究动机与目标

• 确定闭曲面在亏格 $ g $ 下的伪阿诺索夫映射类的极小稀释值 $ \delta_g $ 和 $ \delta_g^+ $ 的改进上界。
• 分析怀特黑德姐妹链外部 $ W $ 的德恩填充的纤维化单值，特别是与 $ W $ 的纤维边界斜率相对应的单值。
• 研究 $ \delta_g $ 和 $ \delta_g^+ $ 的渐近行为，尤其关注极限 $ \lim_{g\to\infty} g\log\delta_g $。
• 解决关于 $ \delta_g $ 与 $ \delta_g^+ $ 之间单调性与相等性的开放问题，特别是当 $ g \geq 3 $ 时。
• 通过利用来自德恩填充的纤维化3-流形，将已知的 $ \delta_g^+ $ 结果扩展至 $ g=5,8,13 $，计算出新的数值。

提出的方法

• 作者使用多项式族 $ f_{(k,\ell)}(t) = t^{2k} - t^{k+\ell} - t^k - t^{k-\ell} + 1 $，其中 $ k>0 $，$ -k < \ell < k $，其最大实根 $ \lambda_{(k,\ell)} $ 作为极小稀释值的候选。
• 他们分析了 $ N(-3/2) $ 的纤维化单值，即魔链（magic manifold）$ N $（三链环外部）的德恩填充，其同胚于怀特黑德姐妹链外部。
• 通过限制到与已知纤维结构对应的边界斜率的纤维，他们识别出产生具有小稀释值的可定向伪阿诺索夫的单值。
• 他们应用推论 4.5 和命题 4.26，以确定 $ \lambda_{(k,\ell)} $ 是否属于 $ \Lambda_g^+(-3/2) $，即从 $ N(-3/2) $ 的可定向伪阿诺索夫单值在亏格 $ g $ 曲面上的稀释值集合。
• 他们利用 $ k\log\lambda_{(k,\ell)} \to \log((3+\sqrt{5})/2) $ 当 $ k \to \infty $ 时的渐近行为，来控制 $ \delta_g $ 的增长。
• 他们显式计算了 $ g=5,8,13 $ 时的稀释值，得到 $ \delta_5^+ = \lambda_{(7,4)} \approx 1.17628 $，$ \delta_8^+ = \lambda_{(10,1)} \approx 1.12876 $，以及 $ \delta_{13}^+ \approx 1.07169 $。

实验结果

研究问题

• RQ1 对于闭曲面在亏格 $ g $ 下的伪阿诺索夫映射类，$ \delta_g $ 和 $ \delta_g^+ $ 的改进上界是什么？
• RQ2 序列 $ \{\delta_g^+\}_{g \geq 2} $ 是否严格单调递减？对于哪些 $ g $ 有 $ \delta_g < \delta_g^+ $？
• RQ3 怀特黑德姐妹链外部的德恩填充的纤维化单值是否能产生新的极小稀释值例子？
• RQ4 $ g\log\delta_g $ 的渐近行为如何？与先前的界相比有何不同？
• RQ5 极小稀释值 $ \delta_g^+ $ 是否可实现为特定德恩填充下魔链的单值稀释值？

主要发现

• 对于 $ g \equiv 0,1,5,6,7,9 \pmod{10} $，本文为 $ \delta_g $ 提供了新的上界，改进了广中对 $ g \equiv 0,1,3,4 \pmod{6} $ 时的界 $ \delta_g \leq \lambda_{(g+1,3)} $。
• 对于 $ g \equiv 1,5,7,9 \pmod{10} $，本文为 $ \delta_g^+ $ 提供了改进的上界，其中 $ \delta_5^+ = \lambda_{(7,4)} \approx 1.17628 $，$ \delta_8^+ = \lambda_{(10,1)} \approx 1.12876 $，$ \delta_{13}^+ \approx 1.07169 $。
• 本文证明当 $ g \equiv 1,5,7,9 \pmod{10} $ 时有 $ \delta_g^+ < \delta_{g+1}^+ $，表明 $ \{\delta_g^+\} $ 并非严格单调递减，从而提供了对严格单调性的反例。
• 作者确立了当 $ g \equiv 7,9 \pmod{10} $ 时有 $ \min\Lambda_g^+(-3/2) = \lambda_{(g+2,2)} $，当 $ g \equiv 1,5 \pmod{10} $ 时有 $ \min\Lambda_g^+(-3/2) = \lambda_{(g+2,4)} $，且仅在 $ g=5 $ 时等于 $ \min\Lambda_g^+(-1/2) $。
• 本文确认 $ N(-3/2) \in \mathcal{U}^+ $，即它存在一个具有可定向伪阿诺索夫单值的纤维化，且该单值可延拓至 $ N(-37/18, -3/2, -8/3) $ 上的纤维化，其中 $ \delta_5^+ = \lambda_{(7,4)} $。
• 本文建立了渐近上界 $ \limsup_{g\to\infty} g\log\delta_g \leq \log((3+\sqrt{5})/2) \approx 0.82653 $，改进了先前的上界，并证实了 $ \delta_g \to 1 $ 当 $ g \to \infty $ 时的猜想。