[논문 리뷰] Contraction par Frobenius de G-modules

M. Gros, Masaharu Kaneda|arXiv (Cornell University)|2010. 04. 12.

Algebraic structures and combinatorial models참고 문헌 17인용 수 3

한 줄 요약

이 논문은 양성 특성의 체 위의 단순 연결된 반단순 대수적 군 $G$에 대해 분포 대수 $
\mathrm{Dist}(G)$ 상에서 프로베누스 자기환원사상의 $G$-등변 분해를 도입한다. 최대 토러스의 프로베누스의 핵상에 대한 $G$-불변 측도 $\mu_0$를 구성하고, 분해 준동형사상 $\phi$를 정의함으로써, $p$-중량 공간 $M_{p\lambda}$에 표준적인 $G$-모듈러 구조를 제공하며, 플래그 다양체 $G/B$와 슈부르트 다양체에서 프로베누스 분해의 기하학적으로 자연스러운 재구성 가능하게 한다.

ABSTRACT

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of distributions of G, which, for example, explains the subsumed G-equivariant nature of the Frobenius splitting of the flag variety of G.

연구 동기 및 목표

• 플래그 다양체 $G/B$ 상에서의 프로베누스 분해를 분포 대수 $\mathrm{Dist}(G)$의 분해를 통해 $G$-등변 재구성하는 것.
• 쿠머와 리틀만의 결과를 일반화하여, 유니포텐트에서 보어르 하위군으로 프로베누스 분해 구성법을 확장하는 것.
• 모듈러 $M^{\phi} \simeq (M^{[1]})^{\phi}$에 대해 표준적인 $G$-모듈러 구조를 확립하는 것, 여기서 $M^{[1]}$은 $G$-모듈러 $M$의 프로베누스 전환이다.
• 분해 $\phi$가 $B^+$-반불변이면서 슈부르트 부분다양체와 호환된다는 것을 보이는 것.
• 논문 [KuLi]의 양자군 기반 접근법에 대한 모듈러성과 $G$-등변성 있는 대안을 제공하여 증명을 단순화하고 기하학적 불변성을 명확히 하는 것.

제안 방법

• 최대 토러스 $T$ 상에서 프로베누스의 핵의 분포 대수인 $\mathrm{Dist}(\ker Fr_T)$ 내에 $G$-불변 측도 $\mu_0$를 구성한다.
• 단위로 $\mu_0$를 사용하는 분해 준동형사상 $\phi: \mathrm{Dist}(G) \to \mathrm{Dist}(G)$를 정의하여, $\mathrm{Dist}(G)$ 상에서 프로베누스 자기환원사상의 분해를 이루는 것.
• $\phi$를 사용하여 $M^{\phi} = \mu_0 M = \coprod_{\lambda} M_{p\lambda}$ 상에 새로운 $G$-모듈러 구조를 정의하며, $(M^{[1]})^{\phi} \simeq M$ 를 만족하는 것.
• $\phi$의 $B^+$-반불변성을 활용하여, 플래그 다양체 $G/B$ 상에서의 프로베누스 분해가 $B$-반불변임을 보이며, 메하타-라마나탄 이론에서 요구하는 조건을 만족하는 것.
• 제약과 쌍대성을 통해 분해를 슈부르트 다양체에 적용하여, $\mathcal{O}_{\mathcal{B}}$ 상에서 표준 프로베누스 분해와의 호환성을 보이는 것.
• $\mathbb{F}_p[t]$ 상의 $\mathbb{F}_p$-대수적 구조를 $t^\nu = \prod t_\alpha^{\nu_\alpha}$ 로 사용하여 $\mathrm{St}$ 내에서 $p$-거듭제곱과 소멸자 분석을 수행하는 것.

실험 결과

연구 질문

• RQ1 플래그 다양체 $G/B$ 상에서의 프로베누스 분해는 분포 대수 $\mathrm{Dist}(G)$의 표준적 분해를 통해 $G$-등변화될 수 있는가?
• RQ2 모듈러 $M^{\phi}$에 대한 $G$-등변 구성법이 존재하는가? 이때 $M^{\phi} \simeq (M^{[1]})^{\phi}$ 를 만족하는가?
• RQ3 분포 대수 $\mathrm{Dist}(G)$ 상에서의 분해 $\phi$는 슈부르트 부분다양체와 호환되는가?
• RQ4 $B^+$-반불변성은 $G/B$ 상에서의 표준 프로베누스 분해를 복원하는 데 사용될 수 있는가?
• RQ5 $L((p-2)\rho) \otimes \mathcal{L}(-\rho)$ 는 $F_*\mathcal{O}_{\mathcal{B}}$ 의 직합성분인가?

주요 결과

• 분포 대수 $\mathrm{Dist}(G)$ 상에서의 분해 $\phi$ 는 $G$-등변적이며 $B^+$-반불변적이며, $M^{\phi} = \coprod_{\lambda} M_{p\lambda}$ 에 표준적인 $G$-모듈러 구조를 제공한다.
• 이 구성은 $(M^{[1]})^{\phi} \simeq M$ 을 만족하며, 리틀만의 의미에서 $M^{\phi}$ 가 $M$ 의 프로베누스 수축임을 보여준다.
• 분해 $\phi$ 는 플래그 다양체 $G/B$ 상에서 $B$-반불변 프로베누스 분해를 유도하며, 메하타-라마나탄의 표준 분해를 복원한다.
• 분해는 슈부르트 부분다양체와 호환되며, 쌍대 쌍대성에 의한 $w^{-1}f_{-}$ 가 $U^{+}w$ 상에서 0이 되는 것으로 보여진다.
• 이 방법은 [KuLi]의 양자군 기반 접근법에 대한 모듈러성과 $G$-등변성 있는 대안을 제공하며, $B$-반불변성의 증명을 단순화한다.
• $\mathbb{F}_p[t]$ 상에서의 $p$-거듭제곱 분석은 $\sum v_i \smallsmile f_i^p = 0$ 이면 $f_{-} = 0$ 이 $Uwv_{-}$ 상에서 성립함을 보여주며, 분해의 단사성을 확인한다.