[논문 리뷰] Divided difference operators for partial flag varieties

Julianna Tymoczko|ArXiv.org|2009. 12. 13.

Polynomial and algebraic computation참고 문헌 23인용 수 12

한 줄 요약

이 논문은 부분 플라그 다양체 $G/P$ 의 등변 코homology와 일반 코homology에 대해 분할 차분 연산자를 도입하여 고전적 슈베르트 계산 도구를 일반화한다. GKM 코hom로 표현을 사용하여 다항식에 바이너리 문자열로 색인된 명시적 연산자 $\tilde{\delta}_i$ 를 구성함으로써, 최상위 클래스로부터 모든 슈베르트 클래스를 생성하고, Billey 공식을 통해 모든 리 종류와 폴리노미얼 하위군에 대해 슈베르트 다항식의 닫힌 표현식을 제공한다.

ABSTRACT

Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.

연구 동기 및 목표

• 완전한 플라그 다양체에서 중심적인 도구인 분할 차분 연산자를 부분 플라그 다양체 $G/P$ 로 확장하는 것.
• 표준 분할 차분 연산자가 $G/B$ 내의 $G/P$ 의 코homology 부분환을 유지하지 못하는 문제를 해결하는 것.
• 등변 코hom로 표현과 GKM 표현을 사용하여 $G/P$ 에 대해 슈베르트 다항식의 통일된 구성 방법을 제공하는 것.
• 등변 슈베르트 클래스 국소화에 대한 Billey 공식을 임의의 부분 플라그 다양체로 일반화하는 것.
• 파리보닉 부분군의 웨일 군에 대해 불변인, 표준적인 슈베르트 다항식 기저를 확립하는 것.

제안 방법

• 등변 코hom로 표현의 Goresky-Kottwitz-MacPherson (GKM) 표현을 사용하여 고정점에서의 다항식 튜플로 클래스를 표현하고, 호환 조건을 만족시키는 방식으로 표현한다.
• 대칭군 $S_n$ 이 바이너리 문자열 $\mathbf{b} \in \mathcal{B}_k$ 과 토르 스펙트럼 $t_i$ 에 작용하는 방식으로 분할 차분 연산자 $\delta_i$ 를 정의하며, 공식 $\delta_i p = \frac{p - s_i \cdot p}{t_i - t_{i+1}}$ 를 사용한다.
• 연산자 $\delta_i$ 가 등변 슈베르트 클래스 $p_{\mathbf{b}}$ 에서 $\delta_i p_{\mathbf{b}} = p_{s_i \mathbf{b}}$ 를 만족하고, $b_i < b_{i+1}$ 이면, 그렇지 않으면 0임을 증명한다.
• Schubert 다항식 $\mathfrak{S}_w$ 는 $W_J$-평균화 사상 $\kappa$ 를 통해 $p_{w^{-1}}$ 의 이미지로 구성되며, 이는 $W_J$-불변성과 동차성을 보장한다.
• Billey 공식을 적용하여 $\mathfrak{S}_w$ 를 $W_J$-오빗들에 대한 합으로 명시적으로 계산함으로써, 단순 근에 대한 닫힌 표현식을 도출한다.
• 구성된 다항식이 $H^*(G/P)$ 의 구조 상수를 만족함을 검증하기 위해, $G/B$ 로 올리고 $G/P$ 로 제한하는 방식으로 검증한다.

실험 결과

연구 질문

• RQ1 분할 차분 연산자를 부분 플라그 다양체 $G/P$ 의 코homology 에 정의할 수 있는가? 이는 구조를 유지하고 슈베르트 클래스를 생성할 수 있어야 한다.
• RQ2 등변 슈베르트 클래스 국소화에 대한 Billey 공식을 임의의 부분 플라그 다양체로 일반화할 수 있는가?
• RQ3 기하학적 성질을 존중하면서도 표준적이고 불변적이며 계산 가능한 슈베르트 다항식의 선택은 무엇인가?
• RQ4 이 틀에서 구성된 분할 차분 연산자가 nilCoxeter 관계를 만족하고 슈베르트 클래스와 잘 상호작용하는가?
• RQ5 GKM 표현을 사용하여 $G/P$ 에 대해 동차성, 단순 근에 대한 양성, 그리고 대칭 다항식 모odulo에서의 곱셈에 대해 닫혀 있는 슈베르트 다항식을 정의할 수 있는가?

주요 결과

• 논문은 GKM 표현을 통해 $G/P$ 의 등변 코hom로 표현에 대해 분할 차분 연산자 $\delta_i$ 를 구성하였으며, 이는 바이너리 문자열 $\mathbf{b} \in \mathcal{B}_k$ 로 색인된 다항식에 작용한다.
• 이 연산자들은 핵심 성질 $\delta_i p_{\mathbf{b}} = p_{s_i \mathbf{b}}$ 를 만족하며, $b_i < b_{i+1}$ 이면, 그렇지 않으면 0이다. 이는 최상위 차수 클래스로부터 모든 슈베르트 클래스를 재귀적으로 생성할 수 있게 한다.
• 이 연산자들은 사영을 통해 $G/P$ 의 일반 코hom로 표현에 잘 정의된 작용을 유도하며, 링의 구조를 유지한다.
• 각각의 $w \in W^J$ 에 대해 동차도 $\ell(w)$, $W_J$-불변성, 단순 근에 대한 양성성을 만족하는 표준 기저 $\mathfrak{S}_w$ 가 정의된다.
• 슈베르트 다항식은 $H^*(G/P)$ 의 구조 상수를 만족한다: $\mathfrak{S}_u \mathfrak{S}_v \equiv \sum c_{uv}^w \mathfrak{S}_w \mod I$, 여기서 $c_{uv}^w$ 는 $H^*(G/B)$ 의 구조 상수와 일치한다.
• 최대 그라스만만인 $G(2,4)$ 와 같은 경우, Billey 공식은 명시적인 닫힌 표현식을 제공한다. 예를 들어, $\mathfrak{S}_{s_2 s_1 s_3 s_2} = \frac{1}{6} \alpha_2(\alpha_1 + \alpha_2)(\alpha_2 + \alpha_3)(\alpha_1 + \alpha_2 + \alpha_3)$ 이다.