[论文解读] Veech groups, irrational billiards and stable abelian differentials

Ferrán Valdez|ArXiv.org|May 11, 2009

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

一句话总结

本文研究了由无理多边形台球和不可约稳定阿贝尔微分所生成的非紧致平坦曲面的Veech群。结果表明，对于无理台球，当角度无共振时，Veech群位于SO(2,R)中且无限生成；对于具有非平行残差的稳定阿贝尔微分，Veech群为有限群；而对于具有平行残差的情况，Veech群位于特定子群N内，可能离散或等于N。

ABSTRACT

We describe Veech groups of flat surfaces arising from irrational angled polygonal billiards or irreducible stable abelian differentials. For irrational polygonal billiards, we prove that these groups are non-discrete subgroups of SO(2,R) and we calculate their rank.

研究动机与目标

• 刻画由无理多边形台球生成的非紧致、无限亏格平坦曲面的Veech群。
• 将Veech群的概念扩展至Deligne-Mumford紧化边界上不可约节点黎曼曲面上的稳定阿贝尔微分。
• 构造不可数无穷多个与洛赫内斯怪物微分同胚的平坦曲面，其Veech群在SO(2,R)中无限生成。
• 基于奇点和单值向量的几何与动力学性质，分析Veech群的结构。
• 确定Veech群为有限、离散或等于SO(2,R)中最大子群N的条件。

提出的方法

• 引入具有有限或无限角度奇点的驯服平坦曲面概念，确保其具有良好的度量完备性。
• 应用Katok-Zemljakov构造方法，将具有无理角度的无界多边形转化为与洛赫内斯怪物微分同胚的平坦曲面。
• 将Veech群定义为非紧致曲面上保向仿射同胚的导数群。
• 利用形如 $\begin{pmatrix} \cos(2\lambda_j\pi) & -\sin(2\lambda_j\pi) \\ \sin(2\lambda_j\pi) & \cos(2\lambda_j\pi) \end{pmatrix}$ 的单值向量和旋转矩阵生成Veech群。
• 应用群论判据：若稳定微分的残差集合在 $\mathbf{C} \simeq \mathbf{R}^2$ 中不平行，则Veech群为有限群。
• 证明当所有残差平行时，Veech群位于子群 $N = \langle \{ \begin{smallmatrix} 1 & s \\ 0 & t \end{smallmatrix} \mid t>0, s\in\mathbb{R} \}, -\mathrm{Id} \rangle$ 内，且该群或为离散群，或等于 $N$。

实验结果

研究问题

• RQ1 由无理多边形台球构造的平坦曲面，其Veech群的结构如何？
• RQ2 在何种条件下，节点黎曼曲面上稳定阿贝尔微分的Veech群为有限或无限？
• RQ3 能否构造不可数无穷多个Veech群在SO(2,R)中无限生成的平坦曲面？
• RQ4 角度的无共振条件如何影响Veech群的秩与结构？
• RQ5 什么决定了稳定微分的Veech群是离散群还是等于最大子群N？

主要发现

• 对于任意至少有一个无理角的无理多边形台球，其Veech群是SO(2,R)中的非离散子群。
• 当内角序列 $\lambda_j\pi$ 无共振时，Veech群无限生成。
• 若稳定阿贝尔微分的残差在 $\mathbf{C}$ 中不平行，则Veech群为有限群。
• 当所有残差平行时，Veech群位于子群 $N = \langle \{ \begin{smallmatrix} 1 & s \\ 0 & t \end{smallmatrix} \mid t>0, s\in\mathbb{R} \}, -\mathrm{Id} \rangle$ 内。
• 当所有单值向量均为水平方向时，Veech群等于 $N$；否则，其为 $N$ 的离散子群。
• 存在不可数族 $\mathcal{S}_n = \{S_i\}_{i\in I}$ 的平坦曲面，每个均与洛赫内斯怪物微分同胚，且其Veech群在SO(2,R)中无限生成。