[논문 리뷰] Parametrization, structure and Bruhat order of certain spherical quotients

Pierre–Emmanuel Chaput, Lucas Fresse외 1명|arXiv (Cornell University)|2020. 01. 13.

Advanced Algebra and Geometry참고 문헌 23인용 수 4

한 줄 요약

이 논문은 재수정된 군 $G$와 높이 2인 초월적 원소 $e$에 대해, 플라그 다양체 $G/B$ 위의 $Z_G(e)$-오빗의 구조와 브라하트 순서를 연구한다. 오빗은 $W^P \times (\mathcal{B}_L / M)$를 통해 매개화되며, 각 오빗이 $M$-오빗 위의 대수적 아핀 배럴임을 증명하고, 타입 $A$에서는 오빗이 자연스러운 셀 분해를 가짐을 보인다. 주요 기여는 코xe터 계열의 몫에 대한 추상적 순서를 사용하여 이러한 오빗들 위의 강한 브라하트 순서를 조합론적으로 기술하는 것이다.

ABSTRACT

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.

연구 동기 및 목표

• 플라그 다양체 $G/B$ 위의 $Z_G(e)$-오빗의 매개화와 기하적 구조를 이해하는 것, 특히 $Z_G(e)$가 구면적일 경우.
• 오빗 폐포 간 포함 관계를 기술하는 것, 특히 (강한) 브라하트 순서를 통해.
• 코xe터 계열의 몫을 이용한 추상적 순서를 통해 $Z_G(e)$-오빗 위의 브라하트 순서에 대한 조합론적 모델 수립.
• 타입 $A$에서 각 $Z_G(e)$-오빗이 자연스러운 셀 분해를 가짐을 보이는 것.
• $Z_G(e)$-오빗과 $N_G(e)$-오빗 간의 관계를 명확히 하여, 구면 조건을 만족할 경우 두 오빗 집합이 일치함을 보이는 것.

제안 방법

• $W^P$와 $(\mathcal{B}_L / M)$의 곱을 이용해 $Z_G(e)$-오빗을 매개화하며, 여기서 $W^P$는 웨일 군의 평행 부분군이고 $\mathcal{B}_L$는 리 대칭군 $L$의 플라그 다양체이다.
• $Z_G(e) = L_Z \ltimes U_Z$의 리 대칭 분해를 사용하여, 각 $Z_G(e)$-오빗이 $\mathcal{B}_L$ 내의 $M$-오빗 위의 대수적 아핀 배럴임을 증명한다.
• 코xe터 계열의 몫에 대한 추상 부분순서를 정의하여, $Z_G(e)$-오빗 위의 강한 브라하트 순서를 모델링한다.
• 표준 기준과 치환에 의해 유도된 순서의 성질을 사용하여 웨일 군의 원소들을 비교하고, 이를 오빗 포함 관계와 연결한다.
• [BR12]의 결과를 활용하여, 순열과 관련된 방향 그래프의 다이어그램 스위치를 통해 $\mathcal{D}_n$의 포스셋에서의 커버링 관계를 특성화함으로써 브라하트 순서를 기술한다.
• 높이 2인 초월적 원소에 대해 $U_Z = U$임을 보이며, 이는 $L$의 대칭 부분군으로부터의 평행 유도를 통해 $Z_G(e)$의 구조를 단순화시킨다.

실험 결과

연구 질문

• RQ1 구면적일 경우, 플라그 다양체 위의 $Z_G(e)$-오빗은 어떻게 매개화할 수 있는가?
• RQ2 각 $Z_G(e)$-오빗의 기하적 구조는 무엇인가, 특히 피브레이션 또는 셀 분해 측면에서 어떻게 기술할 수 있는가?
• RQ3 강한 브라하트 순서는 어떻게 조합론적으로 기술할 수 있는가?
• RQ4 $Z_G(e)$-오빗과 $N_G(e)$-오빗이 일치하는 조건은 무엇인가?
• RQ5 코xe터 계열의 몫에 대한 추상적 순서를 통해 $Z_G(e)$-오빗의 브라하트 순서를 모델링할 수 있는가?

주요 결과

• $Z_G(e)$-오빗은 $W^P \times (\mathcal{B}_L / M)$를 통해 매개화되며, 여기서 $W^P$는 $W/W_P$의 최소 길이 대표원의 집합이고 $\mathcal{B}_L / M$은 리 대칭군 $L$의 플라그 다양체를 구면 부분군 $M$으로 나눈 것이다.
• 각 $Z_G(e)$-오빗은 $\mathcal{B}_L$ 내의 $M$-오빗 위의 대수적 아핀 배럴로 구조화되어 있으며, 이는 아핀 공간을 섬유로 가지는 피브레이션을 의미한다.
• 타입 $A$에서는 각 $Z_G(e)$-오빗이 자연스러운 셀 분해를 가지며, 이는 아핀 배럴의 구조와 $\mathcal{B}_L / M$의 기하학적 성질에서 기인한다.
• 강한 브라하트 순서는 코xe터 계열의 몫에 대한 추상 부분순서를 통해 기술되며, 이는 웨일 군 위의 브라하트 순서를 일반화한다.
• 높이 2인 초월적 원소에 대해, 불리한 부분군 $U_Z$는 파라보릭 부분군 $P$의 전체 불리한 부분군 $U$와 일치한다. 따라서 $Z_G(e) = L_Z \ltimes U$이며, 여기서 $L_Z$는 $L$의 대칭 부분군이다.
• $Z_G(e)$가 구면적일 경우 $Z_G(e)$-오빗과 $N_G(e)$-오빗의 집합은 일치하지만, $Z_G(e)$가 비구면적일지라도 $N_G(e)$는 여전히 구면적일 수 있다.