[논문 리뷰] Character sheaves on unipotent groups in positive characteristic: foundations

Mitya Boyarchenko, Vladimir Drinfeld|arXiv (Cornell University)|2008. 10. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 7

한 줄 요약

이 논문은 양의 특성의 대수적으로 닫힌 체 위의 유니포텐트 대수적 군에서의 문자 셰이브의 기초 이론을 수립한다. 이는 등변 호모토피 유도 범주 내의 모든 최소 닫힌 아이소템포트가 적합한 쌍으로부터 유래되며, 각 아이소템포트가 고차 호몰로지 군이 0이고 복합 곱 연산 성질이 통제된 유한한 ${\mathbb{L}}$-패킷을 정의함으로써 루스티그의 유니포텐트 설정에서 문자 셰이브에 대한 추측된 프레임워크를 완성한다.

ABSTRACT

In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G gives rise to an L-packet of character sheaves on G, and that, conversely, every L-packet of character sheaves on G arises from a (non-unique) admissible pair. In the appendices we discuss two abstract category theory patterns related to the study of character sheaves. The first appendix sketches a theory of duality for monoidal categories, which generalizes the notion of a rigid monoidal category and is close in spirit to the Grothendieck-Verdier duality theory. In the second one we use a topological field theory approach to define the canonical braided monoidal structure and twist on the equivariant derived category of constructible sheaves on an algebraic group; moreover, we show that this category carries an action of the surface operad. The third appendix proves that the "naive" definition of the equivariant constructible derived category with respect to a unipotent algebraic group is equivalent to the "correct" one.

연구 동기 및 목표

• 루스티그의 추측된 이론, 즉 양의 특성의 체 위의 유니포텐트 군에서의 문자 셰이브에 대한 엄밀한 기초를 제공하는 것.
• 등변 호모토피 유도 범주 내의 최소 닫힌 아이소템포트와 ${\mathbb{L}}$-패킷 간의 대응을 확립하는 것.
• 모든 ${\mathbb{L}}$-패킷이 적합한 쌍으로부터 유래되며, 이 설정에서 최소 닫힘 및 약한 아이소템포트가 일치함을 증명하는 것.
• 유니포텐트 군에 대해 등변 호모토피 유도 범주에 대한 기본 문제를 해결하기 위해, 난이도 있는 정의와 올바른 정의의 동치성을 증명하는 것.

제안 방법

• 이론은 $G$-등변 호모토피 유도 범주 $\mathscr{D}_G(G)$ 내에서 발전되며, 이는 유니포텐트 군 $G$ 위의 구조적 $\overline{\mathbb{Q}}_\ell$-복합체에 대해 복합 곱을 모노이드적 구조로 갖는다.
• 핵심 도구로는 닫힌 부분군 $G' \subset G$ 에 대해 컴팩트 지지를 갖는 유도 함수를 구성하고, 적합한 쌍을 사용하여 최소 약한 아이소템포트를 구축하는 것이다.
• 저자들은 단위 사상 $\mathbbm{1} \to e$ 를 통해 최소 닫힌 아이소템포트를 정의하며, 이는 $e$ 와의 복합 곱 이후에 동형이 되며, 이들이 최소 약한 아이소템포트와 일치함을 보인다.
• 표면 오페라드의 작용을 갖는 범주를 가지며, 표면 위상 이론적 접근을 사용하여 $\mathscr{D}_G(G)$ 에 대해 표준적인 브레이드 모노이드적 구조와 토르션을 정의한다.
• 논문은 유니포텐트 $G$ 에 대해 $G$-등변 호모토피 유도 범주에 대한 난이도 있는 정의가 표준적이고 올바른 정의와 동치임을 증명하여 기본 문제를 해결한다.
• 모노이드 범주 내에서 일반화된 그로텐디크-버르디에 이중성과 같은 이중성 패턴을 개발하여 이론을 뒷받침한다.

실험 결과

연구 질문

• RQ1 양의 특성의 체 위의 유니포텐트 군에서 문자 셰이브는 어떻게 체계적으로 구성하고 분류할 수 있는가?
• RQ2 적합한 쌍과 ${\mathbb{L}}$-패킷 간의 정확한 관계는 무엇인가?
• RQ3 등변 호모토피 유도 범주 $\mathscr{D}_G(G)$ 내의 최소 닫힌 아이소템포트와 최소 약한 아이소템포트가 일치하는가? 만약 그렇다면, 이는 궤도 방법과 어떻게 관련되는가?
• RQ4 유니포텐트일 때 $G$-등변 호모토피 유도 범주의 올바른 정의는 무엇이며, 난이도 있는 정의와 어떻게 관련되는가?
• RQ5 등변 호모토피 유도 범주 $\mathscr{D}_G(G)$ 내의 이중성과 모노이드적 구조는 문자 셰이브 이론을 어떻게 뒷받침하는가?

주요 결과

• 특성 $p > 0$ 인 체 위의 유니포텐트 군 $G$ 에 대해, 모든 적합한 쌍은 $\mathscr{D}_G(G)$ 내의 최소 닫힌 아이소템포트를 유도하며, 따라서 ${\mathbb{L}}$-패킷의 문자 셰이브를 정의한다.
• 모든 ${\mathbb{L}}$-패킷의 문자 셰이브는 (유일하지 않은) 적합한 쌍으로부터 유래되며, 이는 완전한 분류를 확립한다.
• ${\mathbb{L}}$-패킷은 유한하며, 같은 패킷 내의 문자 셰이브 $M$ 과 $N$ 에 대해 모든 $i > 0$ 에 대해 $\operatorname{Ext}^i(M,N) = 0$ 이다. 이는 준소성의 성질을 나타낸다.
• 최소 닫힌 아이소템포트 $e$ 로 정의된 ${\mathbb{L}}$-패킷에 속한 $M$ 과 $N$ 에 대해, $M * N$ 은 정수 $n_e$ 에 의한 코호몰로지 이동 후 퍼시스턴트이다.
• 만일 $M$ 과 $N$ 이 서로 다른 ${\mathbb{L}}$-패킷에 속해 있다면 $M * N = 0$ 이며, 이는 서로 다른 패킷 간의 수직성을 보여준다.
• 유니포텐트 $G$ 에 대해 $G$-등변 호모토피 유도 범주의 난이도 있는 정의와 올바른 정의는 동치이며, 이는 이론의 기본 문제를 해결한다.