[논문 리뷰] Crystallographic groups and flat manifolds from complex reflection groups

Iván Marín|arXiv (Cornell University)|2015. 09. 21.

Geometric and Algebraic Topology참고 문헌 13인용 수 13

한 줄 요약

이 논문은 브레인드 군에서 복소 반사군으로의 구성 일반화하여, 일반화된 브레인드 군 B의 순수 브레인드 군 P의 교환자부군 (P,P) 에 대한 몫이 항상 2- torsion 이 없는 격자군임을 보여준다. 이는 W/Z(W)의 2-부군의 원상에 의한 비버바흐 군(따라서 컴acts한 평탄한 다양체)의 체계적 구성 가능하게 하며, 이러한 다양체가 카이러 구조를 갖는지에 대한 기준을 제공한다.

ABSTRACT

Following an idea of Gon\\c{c}alvez, Guaschi and Ocampo on the usual braid group we construct crystallographic and Bieberbach groups as (sub)quotients of the generalized braid group associated to an arbitrary complex reflection group.

연구 동기 및 목표

• 곤살베스, 구아스키, 옌코프의 브레인드 군 결과를 복소 반사군의 일반화된 브레인드 군으로 확장한다.
• 일반화된 브레인드 군 B의 순수 브레인드 군 P의 교환자부군 (P,P) 에 대한 몫 B/(P,P) 가 항상 2- torsion 이 없는 격자군임을 증명한다.
• W/Z(W)에서 2-부군의 원상에 의한 체계적 방법을 통해 비버바흐 군(따라서 컴팩트한 평탄한 다양체)을 복소 반사군으로부터 구성한다.
• 스프링거의 정규 원소 이론을 사용하여 B/(P,P) 내의 유한 순서 원소를 특성화하고, '자유로운 정규 수'라는 개념을 도입한다.
• 2-부군의 호로노미 표현과 표기표 분석을 통해 B/(P,P)와 관련된 평탄한 다양체가 카이러 구조를 갖는 조건을 규명한다.

제안 방법

• 복소 반사군 W와 관련된 일반화된 브레인드 군 B를, 반사 초평면의 여부의 기본군을 통해 정의한다.
• 순수 브레인드 군 P에 대해 몫 B/(P,P) 를 구성하고, 짧은 정확열 1 → ℤ^N → B/(P,P) → W → 1 이 성립함을 보여, 이 군이 격자군임을 증명한다.
• 정규 수의 성질과 P의 아벨화에 관련된 정수 κ(W) 를 이용하여 B/(P,P) 가 순서 2 원소를 포함하지 않음을 증명한다.
• 어떤 군이 p- torsion 이 없으면, 호로노미 몫에서 p-부군의 원상은 항상 2- torsion 이 없는 것을 적용하여 비버바흐 군을 도출한다.
• 스프링거의 정규 원소 이론을 활용하여 B/(P,P) 내의 유한 순서 원소를 분류하고, 이러한 원소의 차수인 '자유로운 정규 수'를 정의한다.
• 호로노미 표현을 분석하여 카이러 조건을 점검한다: 평탄한 다양체는 복소 차원이 짝수이고, 직교/실수 기약 성분이 짝수 중복도로 나타날 때 카이러 구조를 갖는다.

실험 결과

연구 질문

• RQ1 브레인드 군에서 유도된 격자군 및 비버바흐 군의 구성 방법을 복소 반사군으로 일반화할 수 있는가?
• RQ2 일반화된 브레인드 군 B의 순수 브레인드 군 P의 교환자부군 (P,P) 에 대한 몫 B/(P,P) 는 항상 2- torsion 이 없는 격자군인가?
• RQ3 B/(P,P) 내의 원소의 가능한 유한 순서는 무엇이며, 이들은 군의 구조와 κ(W) 와 어떻게 관련되는가?
• RQ4 B/(P,P) 와 관련된 평탄한 다양체가 카이러 구조를 갖는 조건은 무엇인가?
• RQ5 어느 예외적인 복소 반사군이 이 구성 방법을 통해 카이러 평탄한 다양체를 도출하는가?

주요 결과

• 모든 복소 반사군 W 에 대해 몫 B/(P,P) 는 항상 격자군이며, 이는 브레인드 군 결과의 일반화이다.
• 군 B/(P,P) 는 순서 2 원소를 포함하지 않으며, 이는 W/Z(W)의 2-부군의 원상이 항상 2- torsion 이 없는 비버바흐 군을 유도함을 보장한다.
• G₅, G₆, G₉, G₁₃, G₁₇, G₁₈, G₂₁, G₂₅ 와 같은 예외적 군들에 대해, 이 구성은 각각 실수 차원 8, 10, 18, 18, 42, 32, 50, 12 를 갖는 카이러 다양체를 도출한다.
• m ≥ 3 이고 홀수인 이형식 군 W = I₂(2m) 는 반사에 의해 생성되는 임의의 2-부군에 대해 카이러 다양체를 도출한다. 이는 반사 초평면 집합에 대한 작용 때문이다.
• G₆ 와 호로노미 𝔸₄ 를 갖는 평탄한 다양체는 카이러 구조를 갖지만, G₄ 는 그 2-Sylow 부군에 대해서조차도 그렇지 않다.
• B/(P,P) 내의 유한 순서 원소의 차수인 '자유로운 정규 수'는 κ(W) 를 이용하여 완전히 특성화되며, 이러한 수들은 항상 κ(W) 와 서로소이다.