[논문 리뷰] Deformation Spaces for Affine Crystallographic Groups

Oliver Baues|ArXiv.org|2008. 09. 04.

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.

연구 동기 및 목표

• 콤���하고 완전한 아핀 공간 형태와 아핀 격자군에 대한 기초적인 변형 이론을 개발하기 위해.
• 격자군 호모모르피즘의 공간이 ℚ 위의 실대수다양체를 이룬다는 것을 보이며, 위의 정리(Weil의 정리)를 아핀 설정으로 확장하기 위해.
• 호모토피 매핑 클래스군—산술군—이 변형 공간과 그 고정점에 작용하는 것을 분석하기 위해.
• 해석 가능 기본군의 변형 공간과 노름군의 변형 공간 사이의 관계를 분석하고, 비버바흐 유형 정리의 일반화를 위해.
• 실현 문제를 다루기 위해: 유한 호모토피 동치 군은 언제 아핀 미분동형사상에 의해 실현될 수 있는가?

제안 방법

• 선형 대수적 군 이론을 사용하여 아핀 변환군 $\mathrm{Aff}(V)$ 에 대한 격자군 호모모르피즘 공간 $\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)$ 의 작용을 통해 $\mathrm{Hom}_c(\Gamma, \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$ 가 아핀 미분동형사상의 군으로 실현될 수 있음을 동치로 한다.
• 매핑 클래스군 $\mathrm{Out}(\Gamma)$ 의 작용은 $\Gamma$ 가 가상 다항식일 경우 산술적이다. 이는 토러스의 $\mathrm{GL}_2(\mathbb{Z})$ 모델을 일반화한다.
• Zariski 폐쇄 $U = \overline{\rho(\Gamma)}$ 가 $A$-대칭일 때 대칭 격자군 호모모르피즘이 존재하며, 이러한 경우 정규화군 작용은 자기동형사상의 연속적 끌올림을 제공한다.
• 모든 대칭 단순전이 유니포텐트 표현은 유한차원의 노름군 결합 대수로부터 유도되며, 이는 체계적인 분류를 제공한다.