[論文レビュー] Sequences of pseudo-Anosov mapping classes and their asymptotic behavior

Aaron D. Valdivia|arXiv (Cornell University)|Jun 23, 2010

Mathematical Dynamics and Fractals参考文献 10被引用数 11

ひとこと要約

本稿は、有理数 $ r $ に対して $ g = rn $ を満たす放射線に沿って、 genus $ g $ および $ n $ 個の穴あきをもつ曲面における擬アイソメトリック写像類の最小倍率の漸近的挙動を確立する。一般化されたペナー構成とトレイントラック技法を用いて、$ \log(\delta_{g,n}) \asymp \frac{1}{|\chi(S_{g,n})|} $ を証明し、穴あき曲面へのペナーの境界の拡張と、ツァイが提起した、このような系列における最小倍率の挙動に関する問いに答えている。

ABSTRACT

We construct sequences of pseudo-Anosov mapping classes whose dilatations behave asymptotically like the inverse of the Euler characteristic of the surface they are defined on. These sequences are used to show that if the genus, g, and punctures, n, of a surface are related by a rational ray g=rn then the minimal dilatations behave asymptotically like the inverse of the Euler characteristic.

研究の動機と目的

• 曲面 $ S_{g,n} $ における擬アイソメトリック写像類の最小倍率 $ \delta_{g,n} $ の漸近的挙動を特定すること。ただし、$ \chi(S_{g,n}) < 0 $ を満たすものとする。
• ペナーの下界および上界の技法を、特に有理数 $ r $ に対して $ g = rn $ を満たす系列に沿って、穴あき曲面へと拡張すること。
• 一般化されたペナーの半群基準とトレイントラック遷移を用いて、制御された倍率をもつ擬アイソメトリック写像類の明示的系列を構成すること。
• このような系列に対して $ \log(\delta_{g,n}) \asymp \frac{1}{|\chi(S_{g,n})|} $ が成り立つことを証明し、ツァイが提起した問いに答えること。

提案手法

• ペナーの構成を一般化し、互いに交わらない曲線の集合 $ \mathcal{C} $ および $ \mathcal{D} $ におけるデーン回転を用いて、擬アイソメトリック写像類を構成する。このとき、接続曲線 $ \gamma $ を導入する。
• 有理数 $ r $ に対して、$ g = rm $ および $ n = m $ を満たす曲面における一般化されたペナー系列 $ \phi_m $ を定義する。トレイントラックの辺への作用を表現するために、ブロック置換行列を用いる。
• 遷移行列 $ M_{\phi_m} $ を、語 $ \omega $ に依存するブロック行列として計算し、ペロン＝フロベニウスの定理を用いてそのスペクトル半径を分析する。
• 遷移行列の最大列和を用いてスペクトル半径を評価し、ある定数 $ P $ を用いて $ \log(\lambda(\phi_m)) \leq \frac{P}{m} $ を示す。これにより、$ \log(\delta_{g,n}) \asymp \frac{1}{|\chi(S_{g,n})|} $ が導かれる。
• 穴の数を減らす場合に、倍率の境界を保つように、忘却写像を用いて結果を穴の数が固定された曲面からより少ない穴の数の曲面へと拡張する。
• 定理 2.2 を適用して、ペロン＝フロベニウスの遷移行列のスペクトル半径を最大列和で上から抑え、倍率が制御されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有理数 $ r $ に対して $ g = rn $ を満たす系列に沿って、最小倍率 $ \delta_{g,n} $ の漸近的挙動は何か？
• RQ2 擬アイソメトリック写像類のペナーの構成は、穴あき曲面において制御された倍率境界をもたらすように一般化可能か？
• RQ3 $ g = rn $ かつ $ n \to \infty $ の系列に対して、$ \log(\delta_{g,n}) \asymp \frac{1}{|\chi(S_{g,n})|} $ は成り立つか？
• RQ4 トレイントラック上の遷移行列のスペクトル性質は、擬アイソメトリック写像類の倍率とどのように関係するか？

主な発見

• 任意の有理数 $ r $ に対して、$ g = rn $ の放射線に沿って、最小倍率は $ \log(\delta_{g,n}) \asymp \frac{1}{|\chi(S_{g,n})|} $ を満たす。ここで $ \chi(S_{g,n}) = 2 - 2g - n $ である。
• 上界は、スペクトル半径が $ \frac{1}{|\chi(S_{g,n})|} $ の定数倍で抑えられる一般化されたペナー系列を用いて確立される。
• 構成では、トレイントラックの辺にブロック行列構造を用い、デーン回転と曲線の置換に基づく遷移行列を導出し、ペロン＝フロベニウス性を保証する。
• 遷移行列のスペクトル半径は最大列和によって抑えられ、この評価は $ \frac{1}{|\chi(S_{g,n})|} $ のオーダーで増加することが示され、望ましい漸近的挙動が得られる。
• 忘却写像を用いて、穴の数が少ない曲面へと結果を拡張でき、漸近的挙動が保たれ、$ (g,n) $-平面上の原点を通る系列の構成が可能になる。
• 本稿は、$ g = rn $ の放射線に沿った最小倍率の漸近的挙動が、絶対オイラー標数の逆数によって支配されることを確認し、ペナーの閉曲面に対する結果を一般化している。