[논문 리뷰] Cell Complexes for Arrangements with Group Actions

Dana C. Ernst|ArXiv.org|2009. 05. 27.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 30

한 줄 요약

이 논문은 실수로 정렬된 초평면 배치의 Salvetti 복합체가 그 복소화된 배열의 여백과 호모토피 동치임을 확립하고, 이를 바탕으로 이 호모토피 동치가 관련된 반사군의 작용 하에서도 유지됨을 보인다. 주요 기여는 2차원 반사 배열에 대해 이중 복합체로부터 궤도 복합체를 구성함으로써, 표기되지 않은 구성 공간의 기본군에 대한 위상적 모델을 제공하고, 세포 복합체 기법을 통해 브레인드 관계를 도출하는 데 있다.

ABSTRACT

For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quotient by the action of the corresponding reflection group. In particular, the Salvetti complex of the braid arrangement in $\ell$ dimensions modulo the action of the symmetric group is a cell complex which is homotopy equivalent to the space of unlabelled configurations of $\ell$ distinct points. Lastly, we describe a construction of the orbit complex from the dual complex for all finite reflection arrangements in dimension 2. This description yields an easy derivation of the so-called "braid relations" in the case of braid arrangement.

연구 동기 및 목표

• 실수로 정렬된 초평면 배열의 Salvetti 복합체와 그 복소화된 배열의 여백 사이의 호모토피 동치를 확립하기.
• 이 동치를 유한 반사군 작용이 있는 배열로 확장하여, 특히 브레인드 배열에 대해 적용하기.
• 2차원에서 이중 복합체로부터 궤도 복합체를 구성함으로써, 표기되지 않은 구성 공간의 기본군에 대한 기하적 모델을 제공하기.
• 세포 복합체 및 방향성 매트로이드 기법을 사용하여 궤도 복합체의 기본군에서 브레인드 관계를 유도하기.

제안 방법

• 방향성 매트로이드의 프레임워크를 활용하여 Salvetti 복합체의 면 순서집합과 세포 구조를 기술한다.
• 정규 세포 복합체와 그 면 순서집합의 개념을 적용하여 배열 여백의 위상을 모델링한다.
• 반사군의 작용 하에서 Salvetti 복합체를 몫으로 취함으로써 궤도 복합체를 구성하며, 이때 배열의 이중 복합체를 사용한다.
• 2차원 배열에 대해 궤도 복합체가 한 개의 정점과 한 개의 최고차원 세포를 가지며, 군 작용에 의해 유도된 변형이 있는 것으로 확인한다.
• 이중 복합체를 사용하여 궤도 복합체를 모델링하며, 여기서 정점은 침대를, 변은 코드림이 1차원인 면을 나타낸다.
• 세포 구조와 궤도 복합체 위의 군 작용의 결과로 브레인드 관계 $aba = bab$ 를 도출한다.

실험 결과

연구 질문

• RQ1 Salvetti 복합체는 어떻게 복소화된 초평면 배열의 여백의 호모토플 타입을 모델링할 수 있는가?
• RQ2 Salvetti 복합체가 유한 반사군에 의해 몫을 취했을 때 궤도 복합체의 위상적 구조는 어떠한가?
• RQ3 2차원 반사 배열의 이중 복합체는 표기되지 않은 구성 공간의 기본군을 어떻게 캐릭터화하는가?
• RQ4 궤도 복합체의 세포 구조와 기본군 내 브레인드 관계 사이의 관계는 무엇인가?
• RQ5 브레인드 관계는 이중 복합체의 조합론적 성질과 군 작용으로부터 직접 도출될 수 있는가?

주요 결과

• 실수로 정렬된 초평면 배열의 Salvetti 복합체는 그 복소화된 배열의 여백과 호모토피 동치이다.
• 이 호모토피 동치는 관련된 반사군의 작용 하에서도 유지되며, 따라서 궤도 복합체는 표기되지 않은 구성 공간과 호모토피 동치이다.
• $\ell$ 차원의 브레인드 배열에 대해, 대칭군 $S_\ell$ 에 의한 궤도 복합체 $|\operatorname{Sal}(\mathcal{A}_2)|/S_3$ 는 $\ell$ 개의 서로 다른 점의 표기되지 않은 구성 공간과 호모토피 동치인 세포 복합체이다.
• 궤도 복합체 $|\operatorname{Sal}(\mathcal{A}_2)|/S_3$ 는 한 개의 정점과 한 개의 2차원 세포를 가지며, 변의 식별이 브레인드 관계 $aba = bab$ 를 유도한다.
• 궤도 복합체의 기본군은 반사에 대응하는 생성자들과 관계 $g_i g_j \cdots = g_j g_i \cdots$ (각각 $m_{ij}$ 개의 인자)를 가진 표현을 가지며, 이는 브레인드 군의 표현과 일치한다.
• 2차원 반사 배열에 대한 이중 복합체 $D(\mathcal{A})$ 는 궤도 복합체의 기하적 실현을 제공하며, 여기서 변들은 Salvetti 복합체의 짝지어진 세포들을 나타낸다.