[논문 리뷰] Topology of complex reflection arrangements

David Bessis|ArXiv.org|2004. 11. 29.

Advanced Combinatorial Mathematics참고 문헌 25인용 수 7

한 줄 요약

이 논문은 잘 생성된 복소 반사군에 대해 복소 벡터 공간에서 반사 초평면의 여집합이 $K(/pi,1)$ 공간임을 증명하며, 이러한 군들에 대한 오랫동안 남아있던 $K(/pi,1)$ 추측을 해결한다. 새로운 이중 브레인드 모노이드의 구성과 리샤코-루이젠젤 맵의 일반화를 통해 저자는 복소화된 실 반사군의 경우에 대해 델리그레의 원래 결과에 의존하지 않는 새로운 증명을 제시하며, 다섯 개인 복소 반사군(G24, G27, G29, G33, G34)을 해결하여 오직 G31만 남긴다. 또한 잘 생성된 군들의 브레인드 군이 가르시드 군임을 증명하고, 몇몇 예외적 브레인드 군에 대한 추측되는 표현형을 확인한다.

ABSTRACT

Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{ eg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{ eg}$ is a $K(pi,1)$ space. When $W$ is a complexified real reflection group, the conjecture follows from a theorem of Deligne. Our main result validates the conjecture for duality (or, equivalently, well-generated) complex reflection groups. This includes the complexified real case (but our proof is new) and new cases not previously known. We also address a number of questions about $π_1(W\cq V^{ eg})$, the braid group of $W$.

연구 동기 및 목표

• 모든 잘 생성된 복소 반사군, 특히 이전에 해결되지 않은 예외적 경우까지 포함하여 $K(\pi,1)$ 추측을 해결하는 것.
• 델리그레의 원래 결과에 의존하지 않고, 복소화된 실 반사군에 대한 $K(\pi,1)$ 성질에 대한 새로운 증명을 제공하는 것.
• 잘 생성된 복소 반사군의 브레인드 군이 가르시드 군임을 입증하여 유리한 알고리즘적 및 기하적 성질을 유도하는 것.
• 이전에 알려지지 않았던 $G_{29}, G_{33}, G_{34}$의 브레인드 군에 대한 추측되는 표현형이 올바른지 확인하는 것.
• 클래식한 코xeter 케이스로부터 일반화된 비-실 복소 반사군에 대한 비교 불교 분할과 카탈란 수의 이론을 확장하는 것.

제안 방법

• 잘 생성된 복소 반사군에 대해 이중 브레인드 모노이드를 구성하여 고전적 브레인드 모노이드를 일반화하고, 군의 반사 구조를 활용하는 것.
• 리샤코-루이젠젤 맵을 사용하여 몰입 오비폴드 $W\backslash\backslash V^{\text{reg}}$ 를 A형 반사 오비폴드의 분지 덮개로 기술함으로써 조합론적 구조의 기하학적 상승을 가능하게 하는 것.
• 기저 오비폴드에서의 챔버와 갤러리의 역상들을 이용하여 $V^{\text{reg}}$ 의 기본 커버의 반대칭적 열린 커버링을 정의하고, 이들의 교차가 수축 가능하도록 보장하는 것.
• 이 커버링의 뉴런이 기본 커버와 호모토피 동치임을 증명하며, 이중 브레인드 모노이드의 격자 구조를 활용하는 것.
• 이중 브레인드 모노이드가 나눗셈에 관해 격자임을 보여 이중 브레인드 모노이드가 가르시드 모노이드임을 입증함으로써, 뉴런의 수축 가능성과 따라서 $K(\pi,1)$ 성질을 유도하는 것.
• 유도된 위상수학적 및 대수적 구조를 활용하여 브레인드 군 $B(W) = \pi_1(W\backslash\backslash V^{\text{reg}})$ 의 성질을 도출하는 것, 즉 토크션-프리, 단어 문제와 공액 문제의 해법 가능성, 이중자동성.

실험 결과

연구 질문

• RQ1 잘 생성된 복소 반사군 전반에 대해 $K(\pi,1)$ 추측이 성립하는가, 특히 $G_{24}, G_{27}, G_{29}, G_{33}, G_{34}$와 같은 예외적 타입까지 포함하여 성립하는가?
• RQ2 잘 생성된 복소 반사군의 브레인드 군이 가르시드 군임을 입증할 수 있으며, 이로부터 유도되는 구조적 성질은 무엇인가?
• RQ3 G29, G33, G34의 브레인드 군에 대한 추측되는 표현형이 올바른가, 그리고 기하학적 구성에서 유도될 수 있는가?
• RQ4 이중 브레인드 모노이드 구성은 비-실 복소 반사군에 대해 고전적 불교 분할과 카탈란 수를 어떻게 일반화하는가?
• RQ5 이중 브레인드 모노이드 이론은 나쁜 생성 군으로까지 확장될 수 있는가, 그리고 가르시드 유사 성질을 유지하기 위해 어떤 수정이 필요한가?

주요 결과

• 모든 잘 생성된 복소 반사군에 대해 $V^{\text{reg}}$ 의 기본 커버가 수축 가능하며, 이는 이러한 군들에 대한 $K(\pi,1)$ 추측을 확인한다.
• 모든 기약 잘 생성된 복소 반사군의 브레인드 군 $B(W)$ 는 가르시드 군이며, 이는 토크션-프리, 단어 문제와 공액 문제의 해법 가능성, 이중자동성 등을 의미한다.
• 모든 기약 잘 생성된 복소 반사군에 대해 $B(W)$ 의 중심은 순환군이며, 브뢰-마일-루이젠젤의 추측을 확인한다.
• 참고문헌 [7] 에서 제시된 $B(G_{29})$, $B(G_{33})$, $B(G_{34})$ 의 추측되는 표현형은 올바르며, 이는 이러한 군들에 대한 처음으로 알려진 표현형을 제공한다.
• 타입 $W$ 의 일반화된 비교 불교 분할 격자와 이중 브레인드 모노이드의 약수 격자는 서로 동형이며, 그 Poincaré 다항식은 약 $N$ 길이의 약한 체인에 대해 공식 $\sum_{s\in S} t^{l(s)} = \prod_{i=1}^n \frac{d_i + N h}{d_i}$ 와 일치한다.
• 예외적 군들에 대해, 비교 불교 분할의 수(카탈란 수)는 $\operatorname{Cat}(W) = \prod_{i=1}^n \frac{d_i + h}{d_i}$ 로 주어지며, $G_{24}$ 에서는 30에서 $G_{34}$ 에서는 1584까지 범위를 가진다. 또한 $R_c$ 내 반사의 수는 Poincaré 다항식의 $t$ 계수와 일치한다.