[논문 리뷰] Coxeter combinatorics and spherical Schubert geometry

Reuven Hodges, Alexander Yong|arXiv (Cornell University)|2020. 07. 17.

Advanced Combinatorial Mathematics참고 문헌 36인용 수 8

한 줄 요약

이 논문은 유한 코x터 군에서 Coxeter 원소의 일반화로 $I$-구면 원소를 도입하며, $W$가 Weyl 군일 경우 $I$-구면 원소가 리 군의 $G/B$에서 리 하위군에 대한 구면 슈부르트 다양체를 색인한다고 추측한다. 저자들은 주로 $A$ 형에서의 핵심 다항식, 다중도 자유성, 분할 대칭성과의 연결을 확립하며, $ \mathfrak{S}_n$ 에 대해 최대 구면 원소가 $n \leq 4$일 때 완전히 교환 가능하며, Demazure 모듈의 조합론과 대수적 조합론의 결과를 활용해 추측을 검증한다.

ABSTRACT

For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux- M.-P. Schützenberger, multiplicity-freeness, and split-symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner-M. Shimozono, and C. Ross-A. Yong.

연구 동기 및 목표

• 유한 코x터 시스템에서 Coxeter 원소의 일반화로 $I$-구면 원소를 정의하고 연구하는 것.
• Weyl 군일 경우, $I$-구면 원소가 리 하위군 작용에 대해 구면인 슈부르트 다양체를 색인한다고 추측하는 것.
• $A$ 형에서 $I$-구면 원소와 대수적 조합론 간의 연결 고리를 확립하는 것, 특히 핵심 다항식과 다중도 자유성과의 관계.
• Demazure 모듈의 조합론과 Avdeev–Petukhov, Can–Hodges 등 다른 연구 결과를 활용하여 추측을 검증하는 것.
• 대칭군 $\mathfrak{S}_n$에서의 기저 표현의 구조와 구면성의 증거 조건을 분석하는 것.

제안 방법

• 비-$I$ 생성자들의 반복 횟수 제한과 파라보릭 부분군의 장원소와 관련된 성분별 길이 제약 조건을 만족하는 기저 표현을 통해 $I$-구면 원소를 정의한다.
• Demazure 모듈의 조합론과 대수적 조합론의 결과를 활용하여 구면 슈부르트 다양체 추측을 뒷받침한다.
• Kohnert, Reiner–Shimozono, Ross–Yong의 핵심 다항식과 삽입 알고리즘에 관한 정리들을 활용해 $\mathfrak{S}_n$의 경우를 분석한다.
• Edelman–Greene의 열삽입을 적용하여 기저 표현에 대응하는 표준 표의 수열을 세는 데 사용한다.
• ACE 및 Coxeter/Weyl 패키지를 활용한 컴퓨터 기반의 순열 계산을 통해 $\mathfrak{S}_5$, $\mathfrak{S}_6$, $\mathfrak{S}_7$에서의 비구면 원소를 계산하였으며, 각각 320개와 3450개의 비례례를 확인하였다.
• Kohnert의 규칙을 활용하여 확장된 변수 집합에서 특정 $\kappa_\alpha$의 다중도 자유성 부재를 보여주며, 이는 해당 슈부르트 다양체가 $L_{J(w)}$-구면이 아니라는 것을 의미한다.

실험 결과

연구 질문

• RQ1 Weyl 군 내에서 어떤 원소들이 $I$-구면이며, 이러한 원소들은 $G/B$의 슈부르트 다양체 기하학과 어떻게 관련되어 있는가?
• RQ2 $\mathfrak{S}_n$에서 $I$-구면 원소는 리 하위군 작용에 대해 구면인 슈부르트 다양체를 나타내는가?
• RQ3 $A$ 형에서 $I$-구면 원소는 핵심 다항식, 다중도 자유성, 분할 대칭성과 어떻게 관련되어 있는가?
• RQ4 $I$-구면 원소는 기저 표현과 표의 삽입에 기반한 조합론적 특성으로 기술될 수 있는가?
• RQ5 $n$이 증가함에 따라 $\mathfrak{S}_n$의 순열 중 $J(w)$-구면이 아닌 비율은 어떻게 변화하는가?

주요 결과

• $\mathfrak{S}_n$에서 $n \leq 4$일 경우 모든 원소가 $J(w)$-구면이지만, $n \geq 5$에서는 성립하지 않으며, $\mathfrak{S}_5$에는 320개의 비례례, $\mathfrak{S}_7$에는 3450개의 비례례가 존재한다.
• $J(w)$-구면 원소의 역원이 반드시 $J(w)$-구면일 필요는 없다. 예를 들어, $24531^{-1} = 51423$은 비구면 목록에 포함되어 있지 않다.
• $A$ 형에서 $321$-피回避인 경우, $I$-구면 원소는 완전히 교환 가능하며, 그 기저 표현들은 오직 교환 관계로만 연결된다.
• $w$가 $321$-피回避일 경우, 주어진 $w$에 대한 $I$-증거의 수는 기저 표현의 선택과 무관하다.
• $\alpha = (0^a, 2, 1)$일 때, $\kappa_\alpha$ 전개의 계수는 특정 최소 조건과 행 독해어 조건을 만족하는 증가 표의 수열을 세는 데 기여하며, Edelman–Greene 삽입은 고정된 표 $T[\alpha]$를 생성한다.
• $\alpha = (3^f, 0^a, 2, 1)$에 대해 $D^\prime$-분할 전개에서 계수들이 유일하지 않음을 보여주며, 이는 $\kappa_\alpha$가 $D^\prime$-다중도 자유성이 아니라는 것을 의미한다. 이는 정리 4.13 (II)에 의해 해당 슈부르트 다양체 $X_w$가 $L_{J(w)}$-구면이 아니라는 것을 의미한다.