[论文解读] Deformation Spaces for Affine Crystallographic Groups

Oliver Baues|ArXiv.org|Sep 4, 2008

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

一句话总结

本文確立了仿射晶體學群變形空間的代數與算術結構，表明晶體學同態空間構成一個定義在 ℚ 上的實代數簇。論文證明變形空間繼承代數結構，並表征了映射類群作用下的不動點，將其存在性與有限同倫等價的仿射微分同胚實現聯繫起來。

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.

研究动机与目标

• 發展緊緻、完備仿射空間形式與仿射晶體學群的基礎變形理論。
• 證明晶體學同態空間構成一個定義在 ℚ 上的實代數簇，將魏爾定理推廣至仿射設定。
• 分析同倫映射類群——算術群——在變形空間上的作用及其不動點。
• 將可解基本群的變形空間與冪零群的變形空間聯繫起來，推廣 Bieberbach 型定理。
• 解決實現問題：何時有限同倫等價群可由仿射微分同胚實現？

提出的方法

• 使用線性代數群理論分析晶體學同態空間 $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$。
• 證明 $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ 是 $\mathrm{Hom}(\Gamma, \mathrm{Aff}(V))$ 中某閉子空間的扎里斯基開集，從而賦予其定義在 $\mathbb{Q}$ 上的實代數結構。
• 將變形空間 $\mathcal{D}_c(\Gamma, \mathrm{Aff}(V))$ 定義為 $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ 關於 $\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$-對稱時，對稱晶體學同態存在，且在這種情況下，法諾群作用可提供自同構的連續提升。
• 每一個對稱的單傳遞單群表示皆來自有限維冪零結合代數，從而提供一種構造性分類。