[論文レビュー] Anosov diffeomorphisms on nilmanifolds up to dimension 8

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

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

ひとこと要約

この論文は、実ノルム的リー代数のアノソフリー代数を次元8まで分類し、次元≤8における非トーラス的非平坦なインフラニル多様体でアノソフ微分同相写像を許容するものは、それぞれ次元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のすべての実アノソフリー代数を分類すること。これらは、有理数上で定義された双曲的かつユニモジュラーな自己同型をもつノルム的リー代数である。
• 次元≤8のノルマンフォールド（ノルム的リー群の格子による商）が、トーラスや平坦多様体を超えてアノソフ微分同相写像を許容するかどうかを特定すること。
• 双曲的かつ整数構造定数を持つような、実リー代数の有理数形式の完全な集合を特定すること。特に、代数的整数とその最小多項式の性質に注目する。
• インフラニル多様体が低次元でアノソフ微分同相写像を許容する問題を、関連するリー代数の代数的構造を分析することで解決すること。

提案手法

• 著者たちは、ある有理数基底における整数行列表現を持つ双曲的自己同型をもつ実ノルム的リー代数を特定することで、アノソフリー代数を分類する。
• 有理数形式の実リー代数を分析するにあたり、問題を、有理数リー代数における双曲的かつユニモジュラーな自己同型の分類に還元する。これらは、ノルム的群内の格子の有理数的完備化として定義される。
• 分類は、代数的整数とその最小多項式の性質に特に依拠する代数的数論に依存しており、有理数リー代数上の線形変換が整数的かつ双曲的である条件を特定する。
• アノソフ自己同型の固有値は常に逆数対$\lambda, \lambda^{-1}$として現れることを用い、これにより可能な符号や次元が制限されることを示す。
• 著者たちは、既知の分類とノルム的リー代数論からの構造的制約を用いて、次元8までにわたるすべての可能な有理数形式を体系的に検討する。
• 彼らは、代数的整数とガロア共役の理論の結果を応用し、自己同型の特性多項式がモニックで整数係数であり、単位円上に根を持たないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 次元≤8の実ノルム的リー代数のうち、有理数上で定義された双曲的かつユニモジュラーな自己同型（すなわちアノソフリー代数）をもつのはどれか？
• RQ2 トーラスやコンパクト平坦多様体を除き、次元≤8のノルマンフォールドにおけるアノソフ自己同型の可能な符号は何か？
• RQ3 次元7にアノソフリー代数は存在するのか？もし存在しないのなら、その次元が何故遮断されるのか？
• RQ4 インフラニル多様体上のアノソフ微分同相写像の分類は、双曲的かつユニモジュラーな自己同型をもつ実リー代数の有理数形式の分類に還元可能か？
• RQ5 代数的数論は、有理数リー代数上の自己同型の整数性と双曲的性を特定する上で果たす役割は何か？

主な発見

• 次元≤8の実アノソフリー代数として唯一許容されるのは、$\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つは2生成子の自由2段階ノルム的リー代数の有理数形式の直和である。
• 次元≤8のノルマンフォールドにおいて、アノソフ微分同相写像が存在するのは、トーラスまたはコンパクト平坦多様体であるか、次元6または8で符号{3,3}または{4,4}の場合に限られる。
• 次元≤8の非アーベルアノソフリー代数上の任意のアノソフ自己同型の固有値は、常に逆数対$\lambda, \lambda^{-1}$として現れ、これにより可能な符号は対称形式に制限される。
• 分類により、次元7にはアノソフリー代数が存在しないことが示された。これは、整数構造定数をもつ双曲的かつユニモジュラーな自己同型を許容する有理数形式が存在しないことによる。
• この論文は、次元≤8の非トーラス的ノルマンフォールドにおけるアノソフ自己同型の可能な符号は、次元6では{3,3}、次元8では{4,4}に限られることを確認した。
• この結果は、次元≤8のノルマンフォールドにアノソフ微分同相写像が存在するのは極めて制限的であり、有限で明示的に分類可能な有限個の可能性に限られることを示唆している。