[논문 리뷰] On convex hulls of orbits of Coxeter groups and Weyl groups

Georg Hofmann, Karl‐Hermann Neeb|arXiv (Cornell University)|2012. 04. 10.

Algebraic structures and combinatorial models참고 문헌 9인용 수 6

한 줄 요약

이 논문은 벡터 공간에 작용하는 코x터 및 웨일 군의 궤도에 대해 볼록성 정리를 수립하며, 티츠 원판 내의 임의의 원소의 궤도가 양의 코루트로 생성된 볼록 원통의 이동에 포함됨을 증명한다. 핵심 결과는 웨일 군 궤도의 볼록 hull 이 군의 작용에 의해 완전히 결정됨을 보이며, 국소 유한 및 국소 아핀 루트 체계에서 궤도 위에서 선형 함수를 최소화하는 데의 응용이 있다.

ABSTRACT

The notion of a linear Coxeter system introduced by Vinberg generalizes the geometric representation of a Coxeter group. Our main theorem asserts that if $v$ is an element of the Tits cone of a linear Coxeter system and $\cW$ is the corresponding Coxeter group, then $\cW v \subeq v - C_v,$ where $C_v$ is the convex cone generated by the coroots $\check α$, for which $α(v) > 0$. This implies that the convex hull of $\cW v$ is completely determined by the image of $v$ under the reflections in $\cW$. We also apply an analogous result for convex hulls of $\cW$-orbits in the dual space, although this action need not correspond to a linear Coxeter system. Motivated by the applications in representation theory, we further extend these results to Weyl group orbits of locally finite and locally affine root systems. In the locally affine case, we also derive some applications on minimizing linear functionals on Weyl group orbits.

연구 동기 및 목표

• 국소 유한 및 국소 아핀 리 대수의 유니터리 표현 이론의 맥락에서 웨일 군 궤도의 볼록 hull 의 구조를 이해하기 위해.
• 유한 및 아핀 코x터 군의 결과를 선형 코x터 체계를 사용하여 무한차원 설정으로 일반화하기 위해.
• 일곱 개의 기약 유형에 대해 특히 국소 아핀 경우에서 d-최소 무게를 특성화하기 위해.
• 특히 루트 체계의 로레츠지안 기하학과의 관련성에서 아핀 웨일 군 궤도 위에서 선형 함수의 최소화를 분석하기 위해.
• 유계성과 루트 체계 매개변수에 따라 d-최소 함수를 완전히 분류하기 위해.

제안 방법

• 유한차원 실수 벡터 공간 위에서 반사 자료로 정의된 선형 코x터 체계를 사용하여 조건 (LCS1)–(LCS3)를 만족시키며, 티츠 원판 T = WK 를 정의한다.
• v ∈ T 이면 Wv ⊆ v − Cv 를 증명하며, 여기서 Cv = cone{ˇα : α(v) > 0} 이고, 양의 성질과 길이 함수의 관계를 사용한다.
• 결과를 쌍대 공간 V* 로 쌍대화하여 코루트 체계의 쌍대 원통에 제한함으로써, 무게 궤도에의 적용을 가능하게 한다.
• 유한 및 아핀 웨일 군의 직접 극한을 통해 주요 볼록성 정리를 국소 유한 및 국소 아핀 루트 체계에 적용한다.
• 로레츠지안 형식 위에서 유니포텐트 등장사상으로 작용하는 N 을 포함하는 반직접곱 N ⋊ W 의 형태로 아핀 웨일 군의 구조를 이용한다.
• 무한차원 격자 위에서 이차 형식의 최소화로 귀결되는 공식 (cWλ)(d) = {λc‖x‖²/2 + λ(x) + λd : x ∈ T} 을 사용하여 d-값의 최소화를 분석한다.

실험 결과

연구 질문

• RQ1 웨일 군 궤도의 볼록 hull 이 코루트 원통의 이동에 포함되는 조건은 무엇인가?
• RQ2 그룹 작용과 루트 자료만을 사용하여 티츠 원판 내 궤도의 볼록 hull 을 어떻게 특성화할 수 있는가?
• RQ3 국소 아핀 경우에서 d-최소 무게는 무엇으로 특징지어지며, 함수의 유계성과는 어떻게 관련되는가?
• RQ4 아핀 웨일 군의 궤도에서 최소 d-값을 포함하는 조건은 무엇이며, 하한 유계성은 어떤 조건에서 보장되는가?
• RQ5 반직접곱 형태로 표현된 아핀 웨일 군의 구조는 궤도 위에서 선형 함수의 최소화에 어떻게 기여하는가?

주요 결과

• 모든 v ∈ T 에 대해, 궤도 Wv 는 v − Cv 에 포함되며, 여기서 Cv 는 α(v) > 0 인 코루트 ˇα 로 생성된 볼록 원통이다.
• Wv 의 볼록 hull 은 W 가 v 에 작용하는 방식에 의해 완전히 결정되며, 그룹 작용 이외의 궤도 구조에 대한 의존성은 없다.
• 국소 유한 경우에서 d-최소 무게는 존재하며, 함수 λ: J → R 의 유계성에 의해 특성화된다.
• 일곱 개의 기약 국소 아핀 루트 체계에 대해, λ = (λc, λ, λd) 의 d-최소성은 max λ − min λ 와 |λj|, |λj ± λk| 가 λc 에 대해 상대적인 부등식 시스템과 동치이다.
• 비-twist된 경우 (X(1)J), d-최소성은 max λ − min λ ≤ λc 로 간소화되며, twist된 경우에는 추가 제약 조건으로 |λj| + |λk| ≤ λc 또는 |λj| ≤ λc/2 가 적용된다.
• λ2k−1 = 1 + 1/k² 이고 λ 에 유한 지지가 있는 반면 (cWλ)(d) 는 하한이 있지만 최솟값이 없는 반례를 통해, 그러한 함수 λ 가 존재한다.