[논문 리뷰] Contraction par Frobenius et modules de Steinberg

M. Gros, Masaharu Kaneda|arXiv (Cornell University)|2017. 07. 04.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 양의 특성에서 재조화군 모듈에 대한 프로베누스 수축 함자(contraction functor)가 프로베누스 변형의 스텐버그 모듈과의 이중 텐서곱에 대한 우대수(right adjoint)임을 규명한다. 이 함자가 단사 모듈과 양호한 필터링을 유지하지만, 일반적으로 반순수성(semisimplicity)을 유지하지는 않음을 증명하며, $G_r$-모듈로의 결과 확장을 제공하고 분포 대수 $\mathrm{Dist}(G)$ 위의 분할 프로베누스를 통해 프로베누스 관련 모듈 구조를 위한 범주론적 프레임워크를 제공한다.

ABSTRACT

For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of G-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg module twice. It follows that the Frobenius contraction functor preserves injectivity, good filtrations, but not semisiplicity.

연구 동기 및 목표

• 프로베누스 수축 함자를 스텐버그 모듈과의 이중 텐서곱에 대한 우대수 관계를 통해 $G$-모듈에서 특성화함.
• 프로베누스 수축 함자가 단사 모듈과 양호한 필터링을 갖는 모듈을 유지함을 확립함.
• 함수가 일반적으로 반순수성을 유지하지는 않음을 보임.
• $G_r$-모듈, 여기서 $G_r$은 $G$의 $r$번째 프로베누스 핵(kernel)임에 대해 결과를 확장함.
• 분포 대수 $\mathrm{Dist}(G)$ 위의 분할 프로베누스를 통해 프로베누스 수축 함자의 범주론적 및 구조적 이해를 제공함.

제안 방법

• 저자들은 $\mathrm{Dist}(T_1)$ 내에 존재하는 유일한 비제곱원소 $\mu_0$를 통해 $\mathrm{Dist}(G)$ 위에 분할 프로베누스 준동형을 구성하여, $G$-모듈 위의 프로베누스 수축 함자 $M \mapsto M^\phi$를 정의함.
• 수축 함자는 $\mathrm{Dist}(G) \to \mu_0\mathrm{Dist}(G)\mu_0$인 대수 준동형사상 $\phi$를 통해 $G$-작용을 당사자로 삼아 정의되며, 이는 $\mathrm{Dist}(F) \circ \phi = \mathrm{id}$를 만족함.
• 핵심적인 우대수 관계는 프로베누스 수축 함자와 함자 $M \mapsto \mathrm{St}^{[1]} \otimes \mathrm{St}^{[1]} \otimes M^{[1]}$ 사이에 설정되며, 여기서 $\mathrm{St}$는 스텐버그 모듈이고 $[1]$은 프로베누스 변형을 의미함.
• 양호한 필터링의 유지성은 $\mathrm{Ext}$의 소멸성과 관련 텐서곱의 $\hat{\Delta}_r$-필터링 가능성에 의해 입증됨.
• $G_r$-모듈로의 결과 확장은 $G_rT$-모듈 구조와 $\tilde{\nabla}_r(\lambda)^{\phi^s}$가 $\tilde{\nabla}_{r-s}$-필터링을 갖는다는 사실을 통해 이루어짐.
• 증명은 제안한 표현 이론의 표준 결과들, 특히 텐서 항등식과 유도 함자들을 포함함.

실험 결과

연구 질문

• RQ1 프로베누스 수축 함자 $M \mapsto M^\phi$는 프로베누스 변형의 스텐버그 모듈과의 이중 텐서곱에 대한 우대수인가?
• RQ2 프로베누스 수축 함자는 단사 모듈과 양호한 필터링을 갖는 모듈을 유지하는가?
• RQ3 프로베누스 수축 함자는 일반적으로 반순수성을 유지하는가?
• RQ4 $G$-모듈에 대한 결과를 $G_r$-모듈과 $G_rB$-모듈로 확장할 수 있는가?
• RQ5 분포 대수 $\mathrm{Dist}(G)$ 위의 분할 프로베누스는 수축 함자의 정의와 특성화에 어떤 역할을 하는가?

주요 결과

• 프로베누스 수축 함자 $M \mapsto M^\phi$는 함자 $M \mapsto \mathrm{St}^{[1]} \otimes \mathrm{St}^{[1]} \otimes M^{[1]}$에 대한 우대수이며, 이는 기본적인 범주론적 이중성(duality)을 확립함.
• 함자는 단사 모듈을 유지함을 우대수 관계와 오른쪽 우대수 함자가 단사성을 유지한다는 사실을 통해 입증함.
• 함자는 양호한 필터링의 존재성을 유지함을 $\mathrm{Ext}^1$ 군의 소멸성과 관련 텐서곱의 $\hat{\Delta}_r$-필터링 가능성에 의해 입증함.
• 함자는 일반적으로 반순수성을 유지하지 않음이 논문 내 반례를 통해 입증됨.
• $G_r$-모듈의 경우, $M$이 $\nabla_r$-필터링을 갖는다면 수축 함자 $M^{\phi^s}$는 $\nabla_{r-s}$-필터링을 유지함.
• $G_rB$-모듈의 경우, $M$이 $\tilde{\nabla}_r$-필터링을 갖는다면 수축 함자 $M^{\phi^s}$는 $\tilde{\nabla}_{r-s}$-필터링을 유지함.