[논문 리뷰] Some observations on Karoubian complete strongly exceptional posets on the projective homogeneous varieties

Masaharu Kaneda, Jiachen Ye|ArXiv.org|2009. 11. 13.

Advanced Algebra and Geometry참고 문헌 26인용 수 8

한 줄 요약

이 논문은 양의 특성에서의 프로젝티브 호모제너스 다양체 위에서 국소적으로 자유로운 층의 카루비안 완전 강한 예외적 컬렉션을 구성하기 위한 새로운 방법을 제안한다. 이는 구조 층의 프로베누스 직접 이미지 $F_*\tilde{\omega}$를 이용한다. 저순위 재구성군에 대해, 웨일 군의 여부대표자로 매개화된 층들이 $F_*\tilde{\omega}$의 직접 합성부로 식별되며, 카탄제의 추측을 검증하고, $\mathbb{C}$로의 기저 변경을 통해 비엘린슨과 카프란옵의 고전 결과를 양의 특성으로 확장한다. 이 구성은 유도된 모듈의 $G_1T$-소클 시리즈와 카즈단-루스트리그 다항식에 기반하며, 유형 $A_n$과 $C_n$에 대해 명시적인 공식을 제공한다.

ABSTRACT

Let $\cP=G/P$ be a homogeneous projective variety with $G$ a reductive group and $P$ a parabolic subgroup. In positive characteristic we exhibit for $G$ of low rank a Karoubian complete strongly exceptional poset of locally free sheaves appearing in the Frobenius direct image of the structure sheaf of $G/P$. These sheaves are all defined over $\bbZ$, so by base change provide a Karoubian complete strongly exceptional poset on $\cP$ over $\bbC$, adding to the list of classical results by Beilinson and Kapranov on the Grassmannians and the quadrics over $\bbC$.

연구 동기 및 목표

• 프로젝티브 호모제너스 다양체 $G/P$ 위에서 국소적으로 자유로운 층의 카루비안 완전 강한 예외적 컬렉션을 위한 새로운 구성 방법을 제공한다.
• 웨일 군의 여부대표자 $W^P$로 매개화된 층 ${\mathcal{E}}_w$의 존재가 강한 예외성 및 생성 조건을 만족함을 검증한다.
• 이러한 층들이 양의 특성 $p > h$에서 프로베누스 직접 이미지 $F_*\mathcal{O}_{\mathcal{P}}$의 직접 합성부로 나타남을 확립한다.
• 기저 변경을 통해 $\mathbb{C}$ 위에서 비엘린슨과 카프란옵의 고전 결과를 양의 특성으로 확장한다. 이는 $G_1$-모듈의 구조를 이용한다.
• 이 구성이 $F_*\mathcal{O}_{\mathcal{P}}$의 기울임 성질과 Bezrukavnikov-Mirkovic-Rumynin 국소화 정리와 어떻게 관련되어 있는지 밝힌다.

제안 방법

• 절대 프로베누스 사상 $F: \mathcal{P} \to \mathcal{P}$를 사용하여 $F_*\mathcal{O}_{\mathcal{P}}$를 연구한다. 이는 $G/G_1P$를 통한 인수화를 통해 $\phi_*q_*\mathcal{O}_{\mathcal{P}}$와 동형임을 확인한다.
• 유도된 $G_1P$-모듈 $\hat{\nabla}_P(\varepsilon)$의 구조를 분석한다. 이는 $q_*\mathcal{O}_{\mathcal{P}}$를 분류하며, $G_1T$-소클 시리즈를 사용한다.
• 소클 계층을 카즈단-루스트리그 다항식을 통해 표현하여, $w \in W^P$로 매개화된 $G_1$-간단 모듈을 식별한다.
• $(\ell(w)+1)$-번째 소클 계층에 있는 $G_1P$-모듈을 층화하여 ${\mathcal{E}}_w$를 구성하며, $W^P$에 대해 순서를 뒤집는다.
• 유형 $A_n$과 $C_n$에 대해, ${\mathcal{E}}_w$를 선다발 $\mathcal{O}_{\mathcal{Q}}(-i)$ 또는 변형 버전의 베르마 모듈 $\mathcal{L}(\nabla^P(\omega))(-i)$로 명시적으로 정의한다.
• 대칭 대수의 $p$-거듭제곱 모듈로 나누어진 호의 그룹화된 몫 $\bar{A}_j$와의 텐서곱 분해를 통해 $F_*\mathcal{O}_{\mathcal{Q}}$의 분해를 이용하여 직접 합성부를 식별한다.

실험 결과

연구 질문

• RQ1 프로젝티브 호모제너스 다양체 $G/P$ 위에서 프로베누스 당김을 통해 양의 특성에서 카루비안 완전 강한 예외적 컬렉션을 구성할 수 있는가?
• RQ2 저순위 재구성군에 대해, $W^P$로 매개화된 층 ${\mathcal{E}}_w$가 $F_*\mathcal{O}_{\mathcal{P}}$의 직접 합성부로 나타나는가?
• RQ3 $\hat{\nabla}_P(\varepsilon)$의 $G_1T$-소클 시리즈가 층화를 통해 ${\mathcal{E}}_w$를 재구성하는 데에 충분한가?
• RQ4 어느 정도의 평행 부분군 $P$와 랭크 $\leq 2$인 군 $G$에 대해 $F_*\mathcal{O}_{\mathcal{P}}$가 모든 ${\mathcal{E}}_w$를 직접 합성부로 포함하는가?
• RQ5 기저 변경을 통해 양의 특성에서 구성된 결과가 $\mathbb{C}$ 위에서 강한 예외적 컬렉션을 만들어내며, 카탄제의 추측을 만족하는가?

주요 결과

• 유형 $A_n$ 또는 $C_n$이며 $n = 2m+1$ 또는 $n = 2m$인 $G$에 대해, 층 ${\mathcal{E}}_w$는 ${\mathcal{O}}_{\mathcal{Q}}(-i)$ 또는 변형 버전의 베르마 모듈 $\mathcal{L}(\nabla^P(\omega))(-i)$로 명시적으로 구성되며, $w \in W^P$이다.
• 분해식: $n = 2m+1$일 때, $F_*\mathcal{O}_{\mathcal{Q}}$는 $\bigoplus_{i \in [0,n[ \setminus \{m+1\}} \mathcal{O}_{\mathcal{Q}}(-i) \otimes_{\Bbbk} \bar{A}_{ip} \oplus \mathcal{L}(\nabla^P(\omega_{m+1}))^{\oplus r}(-m-1)$로 주어지며, $r = \frac{\dim \bar{A}_{(m+1)p} - \dim \bar{A}_{mp-n}}{\dim L(\omega_{m+1})}$이다.
• 또한 $n = 2m$일 때, $F_*\mathcal{O}_{\mathcal{Q}} \simeq \bigoplus_{i \in [0,n[ \setminus \{m\}} \mathcal{O}_{\mathcal{Q}}(-i) \otimes_{\Bbbk} \bar{A}_{ip} \oplus \left(\mathcal{L}(\nabla^P(\omega_m) \oplus \nabla^P(\omega_{m+1}))\right)^{\oplus s}(-m)$이며, $s = \frac{\dim \bar{A}_{mp} - \dim \bar{A}_{mp-n}}{\dim(L(\omega_m) \oplus L(\omega_{m+1}))}$이다.
• 모든 ${\mathcal{E}}_w$는 $p \geq n+1$일 때 $F_*\mathcal{O}_{\mathcal{Q}}$의 직접 합성부로 나타나며, 이는 $G$의 코크스터 수이자 $G$의 특성 수이다. 이는 구성이 양의 특성에서 유효함을 보장한다.
• ${\mathcal{E}}_w$는 $\hat{\nabla}_P(\varepsilon)$의 $(\ell(w)+1)$-번째 소클 계층에 있는 $G_1$-간단 모듈의 층화로 얻어지며, $W^P$의 순서는 뒤집어진다.
• 랑거의 결과는 구성된 ${\mathcal{E}}_w$가 카탄제의 추측을 만족함을 확인한다: 강한 예외성, 유도 범주를 생성하며, 필요한 Ext 및 지지 조건을 만족한다.