[論文レビュー] Deformation Spaces for Affine Crystallographic Groups

Oliver Baues|ArXiv.org|Sep 4, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 53被引用数 3

ひとこと要約

本稿は、アフィン結晶学的群の変形空間の代数的および算術的構造を確立し、結晶学的ホモモルフィズムの空間が $\mathbb{Q}$ 上の実代数的多様体をなすことを示している。変形空間が代数的構造を引き継ぎ、写像類群作用における固定点を特徴づけ、それらの存在がアフィン微分同相による有限ホモトピー同値の実現と関連することを示している。

ABSTRACT

We develop the foundations of the deformation theory of compact complete affine space forms and affine crystallographic groups. Using methods from the theory of linear algebraic groups we show that these deformation spaces inherit an algebraic structure from the space of crystallographic homomorphisms. We also study the properties of the action of the homotopy mapping class groups on deformation spaces. In our context these groups are arithmetic groups, and we construct examples of flat affine manifolds where every finite group of mapping classes admits a fixed point on the deformation space. We also show that the existence of fixed points on the deformation space is equivalent to the realisation of finite groups of homotopy equivalences by finite groups of affine diffeomorphisms. Extending ideas of Auslander we relate the deformation spaces of affine space forms with solvable fundamental group to deformation spaces of manifolds with nilpotent fundamental group. We give applications concerning the classification problem for affine space forms.

研究の動機と目的

• コンパクトで完全なアフィン空間形式およびアフィン結晶学的群のための基礎的変形理論を構築すること。
• 結晶学的ホモモルフィズムの空間が $\mathbb{Q}$ 上の実代数的多様体をなすことの証明し、ウェイルの定理をアフィン設定に拡張すること。
• ホモトピー写像類群（算術群）が変形空間およびその固定点に作用するのを分析すること。
• 可解基本群の変形空間とノルム群の変形空間との関係を調べ、ビーバーバッハ型定理を一般化すること。
• 有限ホモトピー同値群がアフィン微分同相で実現可能かどうかという実現問題に取り組むこと。

提案手法

• 線型代数的群論を用いて、結晶学的ホモモルフィズムの空間 $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ を分析すること。
• $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ が $\mathrm{Hom}(\Gamma, \mathrm{Aff}(V))$ の閉部分空間におけるザリスキ開集合であることを証明し、これにより $\mathbb{Q}$ 上の実代数的構造が与えられることを示すこと。
• $\mathrm{Aff}(V)$ の作用による商として変形空間 $\mathcal{D}_c(\Gamma, \mathrm{Aff}(V))$ を構成し、代数的構造を保存すること。
• 対称的結晶学的ホモモルフィズムを $A$-対称的ユニポテンツ部分群を用いて特徴づけ、正規化子および中心化子の技法を用いること。
• 連続的切断 $s_x: \mathrm{Hom}_c(\Gamma,A)^F_s \to \mathrm{Hom}(F, A_x)$ を定義し、自己同型をアフィン変換に上げることで固定点の存在を証明すること。
• ユニポテンツリー群およびノルム代数の結果を応用して対称的作用を構成し、対称的表現が代数的構成から生じることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 アフィン結晶学的群の変形空間が自然な代数的構造を持つのはどのような条件下か？
• RQ2 ホモトピー写像類群の変形空間への作用が固定点を持つのはいつか？
• RQ3 変形空間上の固定点は、有限ホモトピー同値群がアフィン微分同相で実現可能かどうかとどのように関係するか？
• RQ4 アフィン設定における可解群とノルム群の基本群の変形空間の関係は何か？
• RQ5 対称的結晶学的作用は、ノルム代数などの代数的データから体系的に構成可能か？

主な発見

• $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ である結晶学的ホモモルフィズムの空間は、$\mathbb{Q}$ 上に定義された実代数的多様体であり、$\mathrm{Hom}(\Gamma, \mathrm{Aff}(V))$ の閉部分空間におけるザリスキ開集合である。
• 変形空間 $\mathcal{D}_c(\Gamma, \mathrm{Aff}(V))$ は半代数的構造を引き継ぎ、特にトーラスまたは特定のソルボマンフォールドで有限被覆される多様体に対してハウスドルフ空間である。
• 任意の有限部分群 $F \leq \mathrm{Out}(\Gamma)$ に対して、変形空間内に固定点が存在することは、$F$ がアフィン微分同相の群として実現可能であることと同値である。
• $\Gamma$ がバーチャルにポリサイクルであるとき、写像類群 $\mathrm{Out}(\Gamma)$ の作用は算術的である。これはトーラスの $\mathrm{GL}_2(\mathbb{Z})$ モデルを一般化する。
• ザリスキ閉包 $U = \overline{\rho(\Gamma)}$ が $A$-対称的であるとき、対称的結晶学的ホモモルフィズムが存在し、その場合、正規化子作用により自己同型の連続的上げが得られる。
• すべての対称的単一転移的ユニポテンツ表現は、有限次元のノルム代数から生じ、構成的分類が可能である。