[논문 리뷰] Computation of Weyl groups of G-varieties

Ivan Losev|arXiv (Cornell University)|2006. 12. 19.

Advanced Algebra and Geometry참고 문헌 22인용 수 8

한 줄 요약

이 논문은 재수정된 군 표현에서 카르탕 공간과 중심 평가 원뿔을 이용하여 G-다양체의 웨일 군을 직접 계산하는 알고리즘을 제시한다. 특히 동차 공간과 아핀 동차 벡터 다발에 대해 적용한다. 웨일 군은 중심 평가 원뿔의 면들에 의해 생성되는 반사군으로 나타나며, A, D, E, B, C, F4 유형의 재수정된 군에 대해 명시적인 계산을 제공한다.

ABSTRACT

Let G be a connected reductive group. To any irreducible G-variety one associates a certain linear group generated by reflections called the Weyl group. Weyl groups play an important role in the study of embeddings of homogeneous spaces. We establish algorithms for computing Weyl groups for homogeneous spaces and affine homogeneous vector bundles. For some special classes of G-varieties (affine homogeneous vector bundles of maximal rank, affine homogeneous spaces, homogeneous spaces of maximal rank with discrete group of central automorphisms) we compute Weyl groups more or less explicitly.

연구 동기 및 목표

• 기하학적 다각형의 웨일 군을 계산하는 일반적인 알고리즘을 개발하며, 특히 동차 공간과 아핀 동차 벡터 다발에 초점을 맞춘다.
• 특수 유형의 G-다양체, 즉 최대 질량을 가진 아핀 동차 벡터 다발과 이산 중심 자동형군을 가진 동차 공간에 대해 웨일 군을 명시적으로 결정한다.
• 클래식한 웨일 군 구성의 일반화로서, 카르탕 공간과 중심 평가 원뿔을 기반으로 한 계산 프레임워크를 수립한다.
• 웨일 군 계산을 더 단순한 부분대수와 리 보조 분해로 줄이는 체계적인 방법을 제공한다.
• Knop의 프레임워크를 활용하여 구면 다양체와 대칭 공간의 맥락에서 이전 결과들을 통합하고 확장한다.

제안 방법

• G-다양체 X에 대해 $\mathfrak{a}_{G,X} = \mathfrak{X}_{G,X} \otimes_{\mathbb{Z}} \mathbb{C}$ 라 정의한다. 여기서 $\mathfrak{X}_{G,X}$ 는 X 상의 B-반불변 유리 함수의 무게 격자이다.
• 유한 생성된 유리 볼록 원뿔인 중심 평가 원뿔 $\mathcal{V}_{G,X} \subset \mathfrak{a}_{G,X}(\mathbb{R})^*$ 를 사용하여, 웨일 군을 그 면들에 의해 생성되는 반사군으로 정의한다.
• 웨일 군의 세 정의 중 평가 이론적 구성, 즉 중심 G-평가를 중심으로 한 Knop의 동치를 적용한다.
• 반대 표준 포물형 부분대수로 코어지션을 통해 $\mathfrak{t}^{W({\mathfrak{g}},{\mathfrak{h}})} = \{0\}$ 인 경우로 계산을 줄인다. 이때 티어드 조건을 활용한다.
• 특징적인 성분 $\underline{X} \subset X^{L_0}$ 과 몐체 $\underline{G}/\underline{H}$ 를 사용하여 문제를 더 작은 군으로 줄이며, $W({\mathfrak{g}},{\mathfrak{h}}) = W(\underline{{\mathfrak{g}}},\underline{{\mathfrak{h}}}) \leftthreetimes \Gamma$ 라는 관계를 확립한다.
• A, D, E, B, C, F4 유형의 분류 결과를 활용하여, 부분대수와 아이디얼에 관한 알려진 보조정리들을 통해 $W({\mathfrak{g}},{\mathfrak{h}})$ 를 구조적 감소를 통해 계산한다.

실험 결과

연구 질문

• RQ1 평가 이론적 자료와 격자 이론적 자료를 이용하여 일반 G-다양체의 웨일 군을 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ2 재수정된 군에 대해 최대 질량을 가진 아핀 동차 벡터 다발의 웨일 군은 어떤 구조를 갖는가?
• RQ3 동차 공간 $G/H$ 의 웨일 군이 더 작은 웨일 군과 유한군 $\Gamma$ 를 포함하는 반직곱으로 분해되는 조건은 무엇인가?
• RQ4 특히 B_l, C_l, F_4 유형에서 $W({\mathfrak{g}},{\mathfrak{h}})$ 의 계산을 어떻게 더 단순한 부분대수로 줄일 수 있는가?
• RQ5 중심 평가 원뿔이 웨일 군을 결정하는 데 어떤 역할을 하는가? 그리고 그 단체적 구조가 군이 유한하고 반사로 생성됨을 보장하는 이유는 무엇인가?

주요 결과

• G-다양체 X의 웨일 군 $W_{G,X}$ 는 중심 평가 원뿔 $\mathcal{V}_{G,X}$ 의 면들에 해당하는 반사들에 의해 생성되는 유한 반사군이며, 이 원뿔은 단체적이다.
• 최대 질량을 가진 아핀 동차 벡터 다발의 경우, 무게 격자와 카르탕 공간의 구조를 통해 웨일 군이 명시적으로 계산되며, $\mathfrak{a}_{G,X}$ 는 웨일 군에 의해 고정된 점들의 공간이다.
• 이산 중심 자동형군을 가진 동차 공간 $G/H$ 의 경우, 웨일 군은 $W(\underline{{\mathfrak{g}}},\underline{{\mathfrak{h}}}) \leftthreetimes \Gamma$ 와 동형이며, 여기서 $\Gamma$ 는 정규화군의 구조에서 유래하는 유한군이다.
• A, D, E 유형의 재수정된 군의 경우, $W$-준필수 삼중체의 분류를 통해 $\mathfrak{t}^{W({\mathfrak{g}},{\mathfrak{h}})}$ 에서 $W({\mathfrak{g}},{\mathfrak{h}})$ 가 복원된다.
• C_l 유형 (l > 2) 의 경우, Proposition 6.4.3 를 통해 포물형 부분대수의 구조가 웨일 군 작용과 관련됨을 규명한다.
• \mathfrak{g} = \mathfrak{so}_{2l+1} 과 F_4 의 경우, Lemma 6.5.3 과 6.6.1 을 사용하여 적절한 부분대수 $\underline{{\mathfrak{h}}}$ 에 대해 $W({\mathfrak{g}},\underline{{\mathfrak{h}}}) = W({\mathfrak{g}},{\mathfrak{h}})$ 임을 보여주며, 이를 통해 알려진 경우로의 감소가 가능하다.