[논문 리뷰] Stacks in Representation Theory. What is a continuous representation of an algebraic group ?

Joseph Bernstein|arXiv (Cornell University)|2014. 10. 02.

Advanced Algebra and Geometry참고 문헌 3인용 수 3

한 줄 요약

이 논문은 대수적 군의 표현을 대수적 스택, 특히 스택 $B\mathcal{G} = \text{pt}/\mathcal{G}$ 위의 층으로 해석함으로써 표현 이론에 새로운 프레임워크를 제안한다. 이는 표준 연속 표현의 범주를 더 큰 범주 $\mathcal{M}(\mathcal{G}, F)$로 확장하여 $\mathcal{G}$의 모든 순수 내부 형식들 사이의 기약 표현을 통합한다. 핵심 결과는 $\mathcal{M}(\mathcal{G}, F)$의 기약 대상들이 $G = \mathcal{G}(F)$의 모든 순수 내부 형식 $G_i$의 기약 표현들의 disjoint union에 자연스럽게 이분사적 대응이 있음을 보여준다.

ABSTRACT

In this note I introduce a new approach to (or rather a new language for) representation theory of groups. Namely, I propose to consider a (complex) representation of a group $G$ as a sheaf on some geometric object (a stack). This point of view necessarily leads to a conclusion that the standard approach to (continuous) representations of algebraic groups is ideologically inconsistent. I propose a way to modify this approach using sheaves on stacks. In new version I corrected some misprints and added an explanation how stack's approach is related to Vogan's picture of representations.

연구 동기 및 목표

• 지역체나 유한체 위의 대수적 군에 대한 연속 표현의 표준 접근 방식에서 발생하는 철학적 모순을 해결하기 위해.
• 대수적 스택을 사용한 기하적 프레임워크를 제안하여 표현의 직관적 구조를 더 잘 포착하기 위해.
• 연속 표현의 범주 $Rep(G)$를 $G$의 모든 순수 내부 형식을 포함하는 더 큰 범주 $\mathcal{M}(\mathcal{G}, F)$로 확장하기 위해.
• 스택 $B\mathcal{G}$ 위의 층과 다양한 $G_i$-스킴 위의 $G_i$-여기서의 층 사이에 자연스러운 동치를 설정함으로써, 기약 표현의 분류를 통합하기 위해.

제안 방법

• 지정된 체 $F$ 위의 스킴 사이트에 대해 에탈 또는 스무스 위상으로, 특히 $B\mathcal{G} = \text{pt}/\mathcal{G}$ 위의 층으로 표현을 모델링한다.
• $B\mathcal{G}(F)$의 군족에서 복소수 벡터 공간의 범주로의 함자를 통해 스택 $B\mathcal{G}$ 위의 층의 범주 $Sh(B\mathcal{G})$를 정의한다.
• 스택의 강하 성질을 이용하여, 유한 갈루아 확장 $L/F$에 대해 $\mathcal{X}$의 $F$-점과 $L$-점 위에서 갈루아 작용의 고정점 간의 관계를 규명한다.
• 몫 스택 $\mathcal{X} = \mathcal{Z}/\mathcal{G}$에 대해 범주 $Sh(\mathcal{X})$를 $\prod_i Sh_{G_i}(Z_i)$로 실현한다. 여기서 $G_i = \mathcal{G}_i(F)$이고 $\mathcal{G}_i$는 $\mathcal{G}$의 순수 내부 형식이다.
• 힐베르트의 정리 90을 활용하여 $\mathcal{M}(\mathcal{G}, F)$의 연구를 단일 군 $P \cong GL(n)$으로 줄이며, 적절한 공간 $W$ 위의 $P$-여기서의 층으로의 환원을 가능하게 한다.

실험 결과

연구 질문

• RQ1 왜 $G = \mathcal{G}(F)$에 대한 표준 범주 $Rep(G)$는 대수적 군에 대해 철학적으로 모순이 있는가?
• RQ2 지역체나 유한체 $F$ 위의 대수적 군 $\mathcal{G}$의 표현은 어떻게 모든 순수 내부 형식에 걸쳐 자연스럽게 통합될 수 있는가?
• RQ3 기약 표현이 내부 형식들에 대해 disjoint union으로 자연스럽게 나타나도록 하기 위해, 표현을 정의할 적절한 기하적 대상(스택)은 무엇인가?
• RQ4 기하적 군 $\mathcal{X} = \mathcal{Z}/\mathcal{G}$ 위의 층은 토르소르의 $F$-점 위의 $G_i$-여기서의 층으로 어떻게 기술할 수 있는가?
• RQ5 갈루아 강하 성질은 갈루아 확장 $L/F$에 대해 스택의 $F$-점과 $L$-점 간의 관계를 어떻게 규명하는가?

주요 결과

• 스택적 $G$-모듈의 범주 $\mathcal{M}(\mathcal{G}, F)$는 스택 $B\mathcal{G}$ 위의 층의 범주 $Sh(B\mathcal{G})$와 자연스럽게 동치이며, 이는 표현의 기하적 해석을 제공한다.
• 범주 $Sh(B\mathcal{G})$는 $G_i$가 $\mathcal{G}_i$의 $F$-점이고 $Z_i$가 관련된 $G_i$-스킴인 $\prod_i Sh_{G_i}(Z_i)$와 동치이다.
• $\mathcal{M}(\mathcal{G}, F)$의 기약 대상들의 집합은 자연스럽게 $\coprod_i \text{Irr}(G_i)$와 이분사적 대응이 있으며, 이는 서로 다른 내부 형식의 표현을 별도로 다룰 필요성을 제거한다.
• $\mathcal{Z} = \text{pt}$인 경우, 기약 스택적 $G$-모듈은 정확히 $G$의 모든 순수 내부 형식의 기약 표현들의 disjoint union과 대응된다.
• 삽입 $\mathcal{G} \hookrightarrow \mathcal{P} \cong GL(n)$을 통해 $GL(n)$-여기서의 층으로의 환원이 가능하며, 힐베르트의 정리 90를 통해 계산을 단순화할 수 있다.