[论文解读] Anosov diffeomorphisms on nilmanifolds up to dimension 8

Jorge Lauret, Cynthia Will|ArXiv.org|Jun 9, 2004

Mathematical Dynamics and Fractals参考文献 21被引用 3

一句话总结

该论文对维度不超过8的实幂零李代数的Anosov李代数进行了分类，结果表明在维度≤8时，唯一可能支持非环面型（non-toral）Anosov微分同胚的歧管是维度6或8的歧管，其特征标分别为{3,3}或{4,4}。该分类依赖于在幂零李代数的有理形式上识别双曲且单模的自同构，关键例子包括$φ_3$、$φ_4$和$φ_5$代数及其直和。

ABSTRACT

After more than thirty years, the only known examples of Anosov diffeomorphisms are hyperbolic automorphisms of infranilmanifolds. It is also important to note that the existence of an Anosov automorphism is a really strong condition on an infranilmanifold. Any Anosov automorphism determines an automorphism of the (rational) Lie algebra of the Mal'cev completion of the corresponding lattice which is hyperbolic and unimodular. These two conditions together are strong enough to make of such rational nilpotent Lie algebras (called Anosov Lie algebras) very distinguished objects. In this paper, we classify Anosov Lie algebras of dimension less or equal than 8, which also classify nilmanifolds admitting an Anosov diffeomorphism in those dimensions. As a corollary we obtain that if an infranilmanifold of dimension n<9 admits an Anosov diffeomorphism f and it is not a torus or a compact flat manifold (i.e. covered by a torus), then n=6 or 8 and the signature of f necessarily equals {3,3} or {4,4}, respectively. We had to study the set of all rational forms up to isomorphism for many real Lie algebras, which is a subject on its own and it is treated in a section completely independent of the rest of the paper.

研究动机与目标

• 对所有维度≤8的实Anosov李代数进行分类，即幂零李代数中存在在有理数上定义的双曲且单模自同构者。
• 确定维度≤8的尼尔曼（nilmanifolds，即幂零李群关于格的商）中，除环面和平坦流形外，哪些支持Anosov微分同胚。
• 识别出支持此类自同构的所有实李代数的有理形式，重点在于结构常数的双曲性与整数性。
• 通过分析其关联李代数的代数结构，解决低维歧管中支持Anosov微分同胚的infranilmanifolds的分类问题。

提出的方法

• 作者通过识别在某有理基下具有整数矩阵表示的双曲自同构的实幂零李代数，对Anosov李代数进行分类。
• 通过将问题转化为在有理李代数上分类双曲且单模自同构，分析实李代数的有理形式，这些有理李代数被定义为幂零群中格的有理完备化。
• 该分类依赖于代数数论，特别是代数整数及其最小多项式性质，以确定有理李代数上的线性变换何时为整数且双曲。
• 他们利用Anosov自同构的特征值总是以互为倒数的对$\lambda, \lambda^{-1}$出现这一事实，从而限制可能的特征标和维度。
• 作者系统地检查了维度≤8的所有可能的实李代数的有理形式，利用已知分类和幂零李代数理论的结构约束。
• 他们应用代数整数和共轭Galois理论的结果，验证自同构的特征多项式为首一多项式且具有整数系数，且在单位圆上无根。

实验结果

研究问题

• RQ1 哪些维度≤8的实幂零李代数存在在有理数上定义的双曲且单模自同构（即Anosov李代数）？
• RQ2 在维度≤8的尼尔曼上，Anosov自同构可能的特征标是什么（排除环面和紧致平坦流形）？
• RQ3 是否存在维度7的Anosov李代数？若否，为何该维度受阻？
• RQ4 能否将歧管上Anosov微分同胚的分类问题简化为具有双曲且单模自同构的实李代数有理形式的分类？
• RQ5 代数数论在确定有理李代数上自同构的整数性与双曲性方面起什么作用？

主要发现

• 维度≤8的实Anosov李代数仅有$\mathfrak{h}_3 \oplus \mathfrak{h}_3$、$\mathfrak{f}_3$、$\mathfrak{l}_k^\mathbb{Q}$（其中$k \geq 2$为无平方因子数），以及$\mathfrak{l}_4 \oplus \mathfrak{l}_4$，后两者为两个生成元的自由2步幂零李代数的有理形式的直和。
• 对于维度≤8的尼尔曼，仅当其为环面或紧致平坦流形，或维度为6（特征标{3,3}）或8（特征标{4,4}）时，才存在Anosov微分同胚。
• 任何非交换Anosov李代数在维度≤8时，其Anosov自同构的特征值始终以互为倒数的对$\lambda, \lambda^{-1}$出现，这限制了可能的特征标必须为对称形式。
• 该分类表明维度7不存在Anosov李代数，原因在于不存在支持双曲且单模自同构（且结构常数为整数）的有理形式。
• 该论文确认，在维度≤8的非环面型尼尔曼上，Anosov自同构的唯一可能特征标为维度6的{3,3}和维度8的{4,4}。
• 该结果意味着在维度≤8的尼尔曼上存在Anosov微分同胚极为受限，仅有有限且可明确分类的可能性。