[論文レビュー] Proper actions of discrete groups of affine transformations

Jeffrey Danciger, Todd A. Drumm+2 more|ArXiv.org|Feb 21, 2020

Geometric and Algebraic Topology参考文献 56被引用数 5

ひとこと要約

本稿は、3次元アフィン空間における離散群の適切なアフィン作用を調査し、特にマーグリス時空間—双曲的曲面のアフィン変形として得られる完全な平坦なローレンツ3次元多様体—に焦点を当てる。作用の分類はマーグリス不変量を用いてなされ、次元≤6において、コンパクト性が仮定されれば、群は実際には可解的であることが示され、動的およびコhomologicalな手法を用いて高次元への結果の拡張がなされる。

ABSTRACT

In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery.

研究の動機と目的

• 離散群の3次元アフィン空間上における適切なアフィン作用の構造と分類を理解すること、特に自由群から生じる作用に焦点を当てる。
• 非仮想的可解群がアフィン空間上で適切かつコンパクトに作用できるかどうかという長年の未解決問題を、特に低次元において解くこと。
• マーグリス時空間—双曲的曲面のアフィン変形—の理論を、高次元およびより一般的な幾何的構造へと拡張すること。
• マーグリス不変量および関連する幾何的不変量を用いて、アフィン作用の適切性とコンパクト性を分析するための動的およびコホモロジー的枠組みを確立すること。
• 次元6以下において、アフィンn次元空間上で適切かつコンパクトに作用する任意の離散群が仮想的に可解的であることを示し、オースラーポストュレートを証明すること。

提案手法

• ローレンツ構造の幾何と関連付けることで、双曲的曲面のアフィン変形の分類に、マーグリス不変量を主要な不変量として用いる。
• クロップド幾何学—特にクロップド平面と半空間—を用いて基本領域を構成し、互いに交わらないことを証明することで、適切な作用の構成を可能にする。
• クロップド幾何学の文脈においてピングポングラスメントを適用し、アフィン空間上での群作用の適切性を示す。
• 高次元設定において、特にSO(2,1) × SL(3,R)のような単純なリー群の表現に対して、逆数の符号が異なる場合にコンパクト性が成立しないことを示すために、逆数符号補題を適用する。
• コホモロジー次元の議論と、正則元による吸引部分空間の動的解析を用いて、単純部分が実ランク≥2である場合にコンパクト性が成立しないことを除外する。
• ストリップ変形と長さ関数を用いて、双曲的構造の無限小変形空間におけるマーグリス時空間の変形空間を、無限小変形空間内の開凸錐として分析する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル的自由群は3次元アフィン空間上で適切かつコンパクトに作用できるか？ もしそうであるならば、そのような作用の背後にある幾何的構造は何か？
• RQ2 マーグリス不変量にどのような条件が満たされると、双曲的曲面のアフィン変形が適切な作用をもたらすか？
• RQ3 オースラーポストュレート—任意の離散群がアフィンn次元空間上で適切かつコンパクトに作用するならば、仮想的に可解的である—は、次元≤6で成り立つか？
• RQ4 線形部の動的性質、特に吸引部分空間とマーグリス不変量の符号が、コンパクト性の可能性をどのように制限するか？
• RQ5 マーグリス時空間の理論は、自由群や双曲的曲面を超えて、他の幾何的構造および高次元へとどの程度一般化可能か？

主な発見

• 3次元では、自由群の適切なアフィン作用が存在し、それらは完全な双曲的曲面のアフィン変形として分類され、現在ではマーグリス時空間と呼ばれる。
• 同一の位相的型を持つマーグリス時空間の変形空間は、双曲的構造の無限小変形空間内の開凸錐として与えられ、マーグリス不変量によってパラメトライズされる。
• 次元≤6では、アフィンn次元空間上で適切かつコンパクトに作用する任意の離散群は仮想的に可解的であり、この範囲でオースラーポストュレートが正当化される。
• 逆数符号補題は、SO(2,1) × SL(3,R)の標準的6次元表現のような高次元設定へと一般化され、ある元とその逆元のマーグリス不変量の符号が異なる場合にはコンパクト性が成立しないことを示す。
• SO(2,1) × SL(3,R)の標準的6次元表現は、主定理の仮定を満たさないが、ローレンツ的因子における時空的脱出と逆数符号補題を組み合わせた矛盾により、コンパクト性が除外される。
• スプリット単純リー群の非スイング的不変表現が、主定理の条件を満たさない場合にミルナー的（すなわち適切なアフィン作用を有する）であることが示され、主分類結果の部分的逆が得られる。