[논문 리뷰] Crystal structures arising from representations of $GL(m|n)$

Jonathan R. Kujawa|ArXiv.org|2003. 11. 14.

Algebraic structures and combinatorial models참고 문헌 15인용 수 23

한 줄 요약

이 논문은 임의의 특성수를 가진 체 위에서 초군 $GL(m|n)$의 모듈라 표현 이론에 대해 결정 이론적 프레임워크를 수립한다. 여기서 기저를 바꾸는 데 따른 세르간다의 홀수 반사가 서로 다른 보렐 부분대수에 대응하는 결정 이sovormism으로 나타남을 보인다. 이는 기저를 바꾸는 데 따른 결정 연산자와 일치함을 보여주며, 연결 원리와 분해 규칙을 결정 이sovormism을 통해 기술한다.

ABSTRACT

This paper provides results on the modular representation theory of the supergroup $GL(m|n).$ Working over a field of arbitrary characteristic, we prove that the explicit combinatorics of certain crystal graphs describe the representation theory of a modular analogue of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$. In particular, we obtain a linkage principle and describe the effect of certain translation functors on irreducible supermodules. Furthermore, our approach accounts for the fact that $GL(m|n)$ has non-conjugate Borel subgroups and we show how Serganova's odd reflections give rise to canonical crystal isomorphisms.

연구 동기 및 목표

• 초군 $\mathfrak{gl}(m|n,\mathbb{C})$의 $\mathcal{O}$-분류의 코hen-그로텐디크 군에 대한 브룬단의 추측을 양의 특성수로 확장하기 위해.
• 최고 무게를 가진 기약 초모듈러의 결정 연산자 $\tilde{e}_r^*, \tilde{f}_r^*$에 대한 표현론적 실현을 제공하기 위해.
• GL(m|n)에서 공액이 아닌 보렐 부분대수의 존재와 그 최고 무게 매개변수화에 미치는 영향을 설명하기 위해.
• 세르간다의 홀수 반사가 서로 다른 보렐 부분대수에 대응하는 결정 이sovormism을 유도함을 보여주기 위해.
• 크레스체프의 $GL(n)$에 대한 모듈라 분해 규칙을 결정 조합론을 통해 초군 $GL(m|n)$로 일반화하기 위해.

제안 방법

• 특성수 $p$를 가진 체 위에서 $GL(m|n)$에 대해 베른슈타인-겔판드-겔판드 분류 $\mathcal{O}$의 모듈라 동반체 $\mathcal{O}_p$를 정의하기 위해.
• 기본 무게를 가진 기약 초모듈러에 작용하는 번역 함자 $E_r, F_r$를 $r \in \mathbb{Z}/p\mathbb{Z}$에 대해 구성하고, 이들이 스스로 쌍대적 불가약한 모듈러를 유도하며, 기약적 소클 및 코소클을 가짐을 보여주기 위해.
• 기본 무게 위에 유도된 연산자 $\tilde{e}_r^*, \tilde{f}_r^*$가 모듈러 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 위에서 카시와라의 결정 연산자의 쌍대와 일치함을 증명하기 위해.
• 양의 특성수에서 $\widehat{\mathfrak{sl}}(p,\mathbb{C})$의 작용을 이용하여 모듈러 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$에서 최고 무게 집합 $X(T)$로 결정 구조를 올리기 위해.
• 간단한 반사 $s_i$의 무게 위 작용을 이용하여 서로 다른 보렐 부분대수 매개변수화 간의 결정 이sovormism을 정의하기 위해.
• 세르간다 이론의 홀수 반사가 무게 위의 $s_i$-작용을 통해 정확히 이러한 결정 이sovormism과 일치함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 모듈라 $\mathcal{O}_p$-분류에서 $GL(m|n)$의 기약 초모듈러에 대한 번역 함자 $E_r, F_r$는 최고 무게에 어떻게 작용하는가?
• RQ2 이 함자들에 의해 유도된 결정 연산자 $\tilde{e}_r^*, \tilde{f}_r^*$의 정확한 조합론적 구조는 무엇인가?
• RQ3 GL(m|n)에서 공액이 아닌 보렐 부분대수는 기약 초모듈러의 매개변수화에 어떻게 영향을 미치며, 이를 어떻게 연결할 수 있는가?
• RQ4 홀수 반사는 서로 다른 보렐 부분대수에서 유도된 서로 다른 결정 구조를 연결하는 데 어떤 역할을 하는가?
• RQ5 GL(m|n)의 모듈라 분해 규칙은 결정 조합론을 통해 통일적으로 기술될 수 있는가?

주요 결과

• 기본 무게를 가진 $\mathcal{O}_p$ 내의 기약 초모듈러에 대한 번역 함자 $E_r, F_r$는 스스로 쌍대적 불가약한 모듈러를 유도하며, 기약적 소클과 코소클이 각각 $L(\tilde{e}_r^*(\lambda))$ 및 $L(\tilde{f}_r^*(\lambda))$과 동형임을 보여준다.
• 최고 무게 위의 연산자 $\tilde{e}_r^*, \tilde{f}_r^*$는 명시적으로 기술되었으며, 이들이 모듈러 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 위에서 카시와라의 결정 연산자의 쌍대임을 보여준다.
• 최고 무게 집합 위에서 단순 반사 $s_i$의 작용은 인접한 기호 시퀀스 $\overline{v}_i, \overline{v}_{i+1}$에 대응하는 결정 구조 간의 결정 이sovormism을 유도한다.
• 세르간다 이론의 홀수 반사는 서로 다른 보렐 부분대수에서 기인한 서로 다른 결정 구조 간의 정규 결정 이sovormism으로 실현된다.
• 결과적으로 크레스체프의 $GL(n)$에 대한 모듈라 분해 규칙이 $GL(m|n)$로 일반화되었으며, 분해 규칙은 결정 연산자 $\tilde{e}_r^*, \tilde{f}_r^*$에 의해 암시된다.
• 양의 특성수에서, $\mathfrak{gl}(\infty,\mathbb{C})$를 아핀 카크-무디 대수 $\widehat{\mathfrak{sl}}(p,\mathbb{C})$로 대체해도 결정 구조는 잘 정의된 상태를 유지한다.