[논문 리뷰] Total positivity in loop groups II: Chevalley generators

Thomas Lam, Pavlo Pylyavskyy|ArXiv.org|2009. 06. 02.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 5

한 줄 요약

이 논문은 무한 곱의 체발리 생성자들을 사용하여 루프 군에 대한 전부 양성 이론을 개발한다. 브레인트 극한과 극한 약한 순서를 도입하여 초한 구조를 다루며, 극한 반군의 원소들에 대해 유일한 인수분해를 증명한다. 이들 원소들은 모두 무한 코xeter 원소와 일치하는 인수분해를 갖는다. 또한 고전적 코xeter 군의 교환 보조정리를 전부 양성 맥락으로 확장하는 전부 양성 교환 보조정리를 확립한다.

ABSTRACT

This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words. The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element. One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.

연구 동기 및 목표

• 체발리 생성자들의 무한 곱을 분석하여 전부 양성 이론을 루프 군으로 확장하기.
• 무한 기약 단어에 대한 브레인트 극한과 극한 약한 순서의 형식적 체계 개발하기.
• 체발리 생성자에 의해 생성된 극한 반군에 대한 유일한 인수분해 정리 수립하기.
• 브레인트 이동이 전부 비음성성을 유지하는 전부 양성 교환 보조정리 증명하기.
• 인수분해를 무한 코xeter 원소와 연관지워 사전성과 탐욕적 인수분해를 연구하기.

제안 방법

• 브레인트 극한을 무한 수열의 브레인트 이동으로 도입하여 유 finitie 브레인트 관계를 무한 기약 단어로 일반화한다.
• 역치 집합과 이중볼록 집합을 사용하여 기약 단어의 부분순서로 극한 약한 순서를 정의한다.
• 라렌트 급수 행렬과 무한 주기적 행렬을 연결하기 위해 펼침 사상(언폴딩 맵)을 사용하고, 전부 비음성성을 정의한다.
• 챔버 안사즈와 소수 비율을 적용하여 인수분해의 매개변수에 대한 명시적 공식을 유도한다.
• 데마르즈 프로덕트를 사용하여 비기약 무한 단어를 기약으로 줄이며 반군의 구조를 유지한다.
• 탐욕적 인수분해를 도입하고, 소수 비율과 템퍼리-라이브 임만턴트를 사용하여 그 유일성과 양성성을 증명한다.

실험 결과

연구 질문

• RQ1 체발리 생성자에 의해 생성된 극한 반군의 모든 원소는 무한 코xeter 원소와 일치하는 무한 곱으로 유일하게 인수분해될 수 있는가?
• RQ2 브레인트 극한과 극한 약한 순서는 전부 양성 맥락에서 무한 기약 단어의 조합론을 어떻게 형식화하는가?
• RQ3 무한 설정에서 전부 양성 교환 보조정리는 유효한가? 즉, 브레인트 이동이 전부 비음성을 유지하는가?
• RQ4 루프 군 내 전부 음이 아닌 행렬의 모든 인수분해는 탐욕적 인수분해에서 유도되는가?
• RQ5 주어진 행렬에 대해 탐욕적 인수분해를 허용하는 무한 기약 단어의 집합은 극한 약한 순서에서 주 이상수인가?

주요 결과

• 체발리 생성자에 의해 생성된 극한 반군은 자연수의 순서형과 동형인 순서형을 갖는 무한 곱으로 유일하게 인수분해되며, 이는 모든 원소의 연구를 이러한 순서된 곱으로 줄여준다.
• 극한 약한 순서는 무한 기약 단어에 대해 잘 정의된 부분순서이며, 역치 집합의 포함관계에 의해 유도되고 브레인트 극한과 호환된다.
• 전부 양성 교환 보조정리는 성립한다: 코xeter 군의 고전적 교환 보조정리는 소수의 부등식 표현을 통해 전부 비음성을 유지한다.
• 모든 원소 $ X \neq \text{Id} $ 는 $ \tilde{U}_{\text{pol}}^{\text{geq 0}} $ 에서는 체발리 생성자의 무한 곱으로 유일한 탐욕적 인수분해를 갖는다.
• 모든 $ X \neq \text{Id} $ 에 대해, 탐욕적 인수분해를 허용하는 무한 기약 단어의 집합은 극한 약한 순서에서 이상수이며, 이 이상수는 추측되지만 아직 증명되지 않았다.
• 탐욕적 인수분해의 매개변수는 소수 비율로 표현될 수 있으며, 양성은 템퍼리-라이브 임만턴트를 통해 명백해지지만, 명시적 양성 공식은 여전히 열린 문제이다.