[논문 리뷰] Deligne categories as limits in rank and characteristic

Nate Harman|arXiv (Cornell University)|2016. 01. 13.

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

한 줄 요약

이 논문은 특성 0에서의 Deligne의 범주 $\underline{Rep}(GL_t)^{ab}$ 와 $\underline{Rep}(S_t)^{ab}$ 를 큰 랭크와 큰 특성에서의 대칭군 및 일반선형군의 모듈라 표현 이론과 새로운 방식으로 연결한다. 비주어진 초필터를 통한 초곱을 이용하여, 이러한 Deligne 범주는 $\overline{\mathbb{F}}_p$ 위의 표현 범주들에서 $p \to \infty$로 갈 때의 극한으로 나타나며, 이는 복소수 랭크와 양의 특성 설정 간 결과 전달을 가능하게 한다.

ABSTRACT

We give new interpretations of the Deligne categories $\underline{Rep}(GL_t)$ and $\underline{Rep}(S_t)$ (and their abelian envelopes) over $\mathbb{C}$ in terms of modular representations of general linear and symmetric groups of large rank in large characteristic. In particular we make sense of the sentence "$\underline{Rep}(S_n)$ is the limit of $Rep(S_{p+n})$ over $\bar{\mathbb{F}}_p$ as $p$ goes to infinity". We then give examples of how to pass results between these different settings.

연구 동기 및 목표

• 특성 0에서의 Deligne의 아벨 텐서 범주 $\underline{Rep}(GL_t)^{ab}$ 와 $\underline{Rep}(S_t)^{ab}$ 를 $\overline{\mathbb{F}}_p$ 위에서의 모듈라 표현 범주들의 극한으로 재해석한다.
• 비주어진 초필터와 초곱을 이용한 엄밀한 프레임워크를 구축하여, 랭크와 특성이 모두 증가함에 따라 표현 범주의 점근적 행동을 포착한다.
• 큰 특성에서의 모듈라 표현 이론과 복소수 랭크에서의 Deligne 범주 간 결과 전달을 가능하게 한다.
• 양의 특성에서의 대응 구조를 통해 Deligne 범주에서의 단순 대수와 표준 모듈의 구조에 대한 새로운 시각을 제공한다.

제안 방법

• 비주어진 초필터를 사용하여 $G_n = GL_n$ 또는 $S_n$ 인 표현 범주 $\mathrm{Rep}(G_n, \overline{\mathbb{F}}_p)$ 의 수열의 초곱을 구성한다.
• 초곱 범주 $\widehat{\mathcal{C}}_\mathcal{U}$ 를 초필터에 대한 수열의 껍질로서의 개체와 사상으로서의 극한 범주로 정의한다.
• 정규 표현으로 생성되는 다루기 쉬운 부분범주 $\mathcal{C}_\mathcal{U}$ 로 제한하여, Deligne의 범주와의 동치를 확보한다.
• 초곱 구성법을 적용하여 $\underline{Rep}(S_t)^{ab}$ 가 $p \to \infty$ 일 때 $\mathrm{Rep}(S_{p+n}, \overline{\mathbb{F}}_p)$ 의 극한임을 보인다.
• Deligne 범주에서 표준 모듈과 기약 모듈의 다중도가 동치임을 이용하여, 양의 특성과 슈퍼군 표현 이론 간의 관계를 설정한다.
• 스테이블라이즈드 Kac 모듈의 다중도를 통해 $\mathfrak{gl}(n+m|m)$ 의 적합한 무게와 $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ 의 최고 무게 사이의 대응을 수립한다.

실험 결과

연구 질문

• RQ1 Deligne의 복소수 랭크에서의 범주는 어떻게 큰 특성에서의 모듈라 표현 범주들의 극한으로 해석될 수 있는가?
• RQ2 초필터는 표현 범주의 점근적 행동을 포착하는 카테고리적 극한을 구성하는 데 어떤 정확한 역할을 하는가?
• RQ3 큰 랭크와 특성에서의 모듈라 표현 이론의 결과들은 복소수 랭크에서의 Deligne 범주로 전달될 수 있는가?
• RQ4 $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ 의 표준 모듈과 기약 모듈의 구조는 슈퍼군 표현 $\mathrm{Rep}(GL(n+m|m))$ 와 어떻게 관련이 있는가?
• RQ5 스테이블라이즈드 Kac 모듈의 다중도는 Deligne의 아벨 쌍대 범주 맥락에서 어떤 의미를 갖는가?

주요 결과

• 초월수 $t$ 에 대해 아벨 쌍대 범주 $\underline{Rep}(S_t)^{ab}$ 는 $p \to \infty$ 일 때 $\mathrm{Rep}(S_{p+n}, \overline{\mathbb{F}}_p)$ 의 초곱 극한과 동형이며, 이는 Deligne 범주의 새로운 실현이다.
• 고정된 이분할 $\lambda, \mu$ 에 대해, $\mathrm{Rep}(GL(n+m|m))$ 에서의 다중도 $[K(\lambda), L(\mu)]$ 는 $m \to \infty$ 일 때 안정화되며, 충분히 큰 $p$ 에 대해 $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ 에서의 다중도 $[\Delta(\lambda), L(\mu)]$ 와 일치한다.
• 초곱 구성법은 $\underline{Rep}(GL_n)^{ab}$ 와 동치인 범주를 유도하며, 이는 이 Deligne 범주가 큰 특성에서의 모듈라 표현의 극한으로 나타남을 보여준다.
• 이 이론은 $\underline{Rep}(S_t)^{ab}$ 에서의 단순 가환 대수의 특성화를 가능하게 하여, Etingof의 분류를 $\mathbb{C}$ 에서 큰 특성에서의 대수적으로 닫힌 체로 확장한다.
• 스테이블라이즈드 Kac 모듈의 다중도를 통한 모듈라 표현과 슈퍼군 표현 간의 대응이 공식화되어, 양의 특성과 슈퍼군 표현 이론 간의 연결이 맺어진다.
• 논문은 Deligne 범주와 모듈라 표현 이론 간 결과 전달을 위한 프레임워크를 제공하며, 대칭군의 기약 모듈라 표현에 대한 명시적 공식을 예시로 제시한다.