[Paper Review] Deformation Spaces for Affine Crystallographic Groups

Oliver Baues|ArXiv.org|Sep 4, 2008

Homotopy and Cohomology in Algebraic Topology53 references3 citations

TL;DR

This paper establishes the algebraic and arithmetic structure of deformation spaces for affine crystallographic groups, showing that the space of crystallographic homomorphisms forms a real algebraic variety over ℚ. It proves that deformation spaces inherit algebraic structure and characterizes fixed points under mapping class group actions, linking their existence to the realization of finite homotopy equivalences by affine diffeomorphisms.

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.

Motivation & Objective

• To develop a foundational deformation theory for compact, complete affine space forms and affine crystallographic groups.
• To show that the space of crystallographic homomorphisms forms a real algebraic variety over ℚ, extending Weil's theorem to affine settings.
• To analyze the action of homotopy mapping class groups—arithmetic groups—on deformation spaces and their fixed points.
• To relate deformation spaces of solvable fundamental groups to those of nilpotent groups, generalizing Bieberbach-type theorems.
• To address the realization problem: when can finite groups of homotopy equivalences be realized by affine diffeomorphisms?

Proposed method

• Use of linear algebraic group theory to analyze the space of crystallographic homomorphisms $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$.
• Prove that $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ is Zariski-open in a closed subspace of $\mathrm{Hom}(\Gamma, \mathrm{Aff}(V))$, giving it a real algebraic structure over $\mathbb{Q}$.
• Construct the deformation space $\mathcal{D}_c(\Gamma, \mathrm{Aff}(V))$ as a quotient of $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ by the action of $\mathrm{Aff}(V)$, preserving algebraic structure.
• Characterize symmetric crystallographic homomorphisms via $A$-symmetric unipotent subgroups and use normalizer and centralizer techniques.
• Define continuous sections $s_x: \mathrm{Hom}_c(\Gamma,A)^F_s \to \mathrm{Hom}(F, A_x)$ to lift automorphisms to affine transformations, proving existence of fixed points.
• Apply results on unipotent Lie groups and nilpotent associative algebras to construct symmetric actions, showing that symmetric representations arise from algebraic constructions.

Experimental results

Research questions

• RQ1 Under what conditions does the deformation space of an affine crystallographic group carry a natural algebraic structure?
• RQ2 When does the action of the homotopy mapping class group on the deformation space have a fixed point?
• RQ3 How are fixed points on the deformation space related to the realization of finite groups of homotopy equivalences by affine diffeomorphisms?
• RQ4 What is the relationship between deformation spaces of solvable and nilpotent fundamental groups in the affine setting?
• RQ5 Can symmetric crystallographic actions be systematically constructed from algebraic data such as nilpotent associative algebras?

Key findings

• The space $\mathrm{Hom}_c(\Gamma, \mathrm{Aff}(V))$ of crystallographic homomorphisms is a real algebraic variety defined over $\mathbb{Q}$, and is Zariski-open in a closed subspace of $\mathrm{Hom}(\Gamma, \mathrm{Aff}(V))$.
• The deformation space $\mathcal{D}_c(\Gamma, \mathrm{Aff}(V))$ inherits a semi-algebraic structure and is Hausdorff, particularly for manifolds finitely covered by a torus or certain solvmanifolds.
• For any finite subgroup $F \leq \mathrm{Out}(\Gamma)$, the existence of a fixed point in the deformation space is equivalent to the realization of $F$ as a group of affine diffeomorphisms.
• The action of the mapping class group $\mathrm{Out}(\Gamma)$ is arithmetic when $\Gamma$ is virtually polycyclic, generalizing the $\mathrm{GL}_2(\mathbb{Z})$ model for the torus.
• Symmetric crystallographic homomorphisms exist when the Zariski-closure $U = \overline{\rho(\Gamma)}$ is $A$-symmetric, and in such cases, the normalizer action yields continuous lifts of automorphisms.
• Every symmetric simply transitive unipotent representation arises from a finite-dimensional nilpotent associative algebra, providing a constructive classification.