[论文解读] Pseudo-Anosov homeomorphisms on translation surfaces in hyperelliptic components have large entropy

Corentin Boissy, Erwan Lanneau|arXiv (Cornell University)|May 22, 2010

Mathematical Dynamics and Fractals参考文献 16被引用 5

一句话总结

本文证明了在二次微分模空间的双曲分量中的平移曲面上，伪阿诺索夫同胚具有统一的膨胀常数下界 √2，且该下界是精确的。通过广义置换上的罗齐-维奇归纳法，作者构造了显式例子，表明最小膨胀常数 δ₉^hyp 落在区间 (√2, √2 + 2¹⁻ᵍ) 内，并进一步证明在非双曲分量中，随着亏格增加，膨胀常数可趋近于 1。

ABSTRACT

We prove that the dilatation of any pseudo-Anosov homeomorphism on a translation surface that belong to a hyperelliptic component is bounded from below uniformly by sqrt{2}. This is in contrast to Penner's asymptotic. Penner proved that the logarithm of the least dilatation of any pseudo-Anosov homeomorphism on a surface of genus g tends to zero at rate 1/g (as g goes to infinity). We also show that our uniform lower bound sqrt{2} is sharp. More precisely the least dilatation of a pseudo-Anosov on a genus g>1 translation surface in a hyperelliptic component belongs to the interval ]sqrt{2},sqrt{2}+2^{1-g}[. The proof uses the Rauzy-Veech induction.

研究动机与目标

• 建立二次微分模空间中双曲连通分量内平移曲面上伪阿诺索夫同胚的膨胀常数的统一下界。
• 确定在亏格 g > 1 时，最小膨胀常数 δ₉^hyp 的下界 √2 的精确性。
• 对比双曲分量与非双曲分量中膨胀常数的行为，特别是在亏格 g → ∞ 的渐近情形下。
• 证明在非双曲分量中，可构造显式伪阿诺索夫映射，使其膨胀常数随 g 增加而趋近于 1。

提出的方法

• 作者采用广义置换上的罗齐-维奇归纳法，分析与平移曲面相关的区间交换变换的动力学。
• 他们构造了一个包含 2g+1 个字母的特定广义置换族，编码具有 2g 个极点和两个 g−2 阶零点的平坦曲面的组合结构。
• 通过罗齐-维奇归纳法计算出重整化矩阵 V，其特征多项式为 (X−1)(X²ᵍ − X²ᵍ⁻¹ − 4Xᵍ − X + 1)。
• 多项式 X²ᵍ − X²ᵍ⁻¹ − 4Xᵍ − X + 1 的佩龙根给出了所得伪阿诺索夫映射的膨胀常数。
• 该构造被提升到定向覆盖，得到一个位于 H(g−1, g−1) 型的平移曲面，该曲面被证明是双曲的，且属于奇自旋分量。
• 利用公式 |n₊₁ − n₋₁|/4 mod 2 计算了自旋结构的奇偶性，确认该曲面位于奇自旋分量中。

实验结果

研究问题

• RQ1 在二次微分模空间的双曲分量中，伪阿诺索夫映射的膨胀常数是否存在统一的正下界？
• RQ2 在亏格 g > 1 时，最小膨胀常数 δ₉^hyp 的下界 √2 是否可被证明为精确的？
• RQ3 当亏格 g → ∞ 时，双曲分量与非双曲分量中最小膨胀常数的渐近行为有何不同？
• RQ4 能否在非双曲分量中显式构造出膨胀常数随 g 增加而趋近于 1 的伪阿诺索夫映射？

主要发现

• 在亏格 g > 1 的双曲分量中，平移曲面上伪阿诺索夫映射的最小膨胀常数 δ₉^hyp 满足 δ₉^hyp ∈ (√2, √2 + 2¹⁻ᵍ)。
• 下界 √2 是精确的，因为当 g 增加时，该区间从上方趋近于 √2。
• 所构造的伪阿诺索夫映射 φ₉ 的膨胀常数是多项式 X²ᵍ − X²ᵍ⁻¹ − 4Xᵍ − X + 1 的佩龙根。
• 当 g ≥ 3 且为奇数时，映射 φ₉ 可提升为位于 H(g−1, g−1) 型的双曲平移曲面，且属于奇自旋分量。
• 所构造映射的膨胀常数满足 lim_{g→∞} θ(φ₉) = 1，表明 √2 的下界不适用于非双曲分量。
• 对广义置换应用罗齐-维奇归纳法，得到的重整化矩阵 V 的特征多项式为 (X−1)(X²ᵍ − X²ᵍ⁻¹ − 4Xᵍ − X + 1)，确认了膨胀常数为该 2g 次多项式的佩龙根。