[논문 리뷰] Deligne's category Rep(GL_\delta) and representations of general linear supergroups

Jonathan Comes, Benjamin Wilson|arXiv (Cornell University)|2011. 08. 02.

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

한 줄 요약

이 논문은 일반선형(super)군 GL(m|n)의 자연표현의 혼합 텐서곱의 분해 불가 합성원소들을 Deligne의 카테고리 Rep(GLδ)를 사용하여 동형류에 따라 분류한다. 복합 초대칭 슈어 다항식을 통해 특성 공식을 제시하고, 업로딩 동형과 벽이 있는 브라우어 대수의 분해 수를 통해 이러한 합성원소들의 텐서곱 분해 방법을 수립한다. 주요 기여는 (m|n)-교차 이중분할에 대한 표현의 완전한 분류와 영성 조건을 제시하는 것이다.

ABSTRACT

We classify indecomposable summands of mixed tensor powers of the natural representation for the general linear supergroup up to isomorphism. We also give a formula for the characters of these summands in terms of composite supersymmetric Schur polynomials, and give a method for decomposing their tensor products. Along the way, we describe indecomposable objects in Rep(GL_\delta) and explain how to decompose their tensor products.

연구 동기 및 목표

• 일반선형(super)군 GL(m|n)의 혼합 텐서곱 T(r,s) = V^⊗r ⊗ (V*)^⊗s 의 분해 불가 합성원소들을 동형류에 따라 분류하는 것.
• 이러한 합성원소들의 특성 공식을 복합 초대칭 슈어 다항식을 통해 기술하는 것.
• 이러한 분해 불가 합성원소들의 텐서곱 분해 방법을 개발하는 것.
• Rep(gl(m|n)) 내 표현에 대한 정확한 영성 조건을 이중분할 성질에 기반하여 설정하는 것.

제안 방법

• 혼합 텐서곱 GLd 및 GL(m|n)을 동시에 연구하기 위한 유니버설 프레임워크로 Deligne의 텐서 카테고리 Rep(GLδ)를 사용한다.
• Comes와 Ostrik의 영감을 얻은 업로딩 동형 기법을 활용하여 일반적 δ와 특수한 δ 경우의 그로텐디크 링을 연결한다.
• 벽이 있는 브라우어 대수 Br,s(δ)의 셀룰러 구조와 분해 수를 활용하여 이중분할을 통한 분해 불가 객체의 분류를 수행한다.
• Brundan과 Stroppel의 캡 다이어그램을 활용하여 분해 수를 재귀적으로 계산하고 업로딩 구조를 뒷받침한다.
• Koike의 정리(유리형 GLd 표현의 텐서곱 분해에 관한)를 응용하여 Rep(GLδ) 내에서의 일반적 텐서곱 규칙을 유도한다.
• Rep(GLm−n)에서 Rep(gl(m|n))로의 함자 Fm|n: Rep(GLm−n) → Rep(gl(m|n))을 적용하여 Deligne의 카테고리에서 초군 설정으로의 객체 업로딩을 가능하게 하여 Rep(gl(m|n)) 내에서의 분류를 실현한다.

실험 결과

연구 질문

• RQ1 GL(m|n)에 대해 혼합 텐서곱 T(r,s)의 분해 불가 합성원소들이 동형류에 따라 완전히 어떻게 분류될 수 있는가?
• RQ2 이러한 분해 불가 합성원소들의 특성은 대칭 다항식을 통해 어떻게 표현될 수 있는가?
• RQ3 Rep(gl(m|n)) 내에서 이러한 분해 불가 합성원소들의 텐서곱의 구조는 어떠한가?
• RQ4 Rep(gl(m|n)) 내 표현 W(λ)가 언제 영이 되는가?
• RQ5 Rep(GLδ)에서 Rep(gl(m|n))로의 업로딩 동형은 어떻게 텐서곱 분해를 촉진하는가?

주요 결과

• Rep(GL(m|n)) 내 T(r,s)의 분해 불가 합성원소들은 (m|n)-교차 이중분할 λ에 의해 동형류에 따라 분류되며, Fm|n(L(λ))는 해당 분해 불가 객체를 나타낸다.
• 각 분해 불가 합성원소 W(λ)의 특성은 이중분할 λ에 대응하는 복합 초대칭 슈어 다항식으로 주어진다.
• 일반적 δ에 대해 Rep(GLδ) 내 분해 불가 객체의 텐서곱은 L(λ) ⊗ L(µ) ≅ ⨁ν L(ν)⊕Γνλ,µ로 분해되며, 계수 Γνλ,µ는 리틀우드-리치아드슨 계수이다.
• Rep(gl(m|n)) 내에서 표현 W(λ)는 (m|n)-교차 이중분할인 경우에만 0이 아니며, 이는 정리 8.7.6에 의해 입증된다.
• δ = m−n 인 경우, 함자 Fm|n는 Rep(GLδ) 내 분해 불가 객체 L(λ)를 Rep(gl(m|n)) 내 분해 불가 표현 W(λ)로 매핑하는 데, 이는 λ가 (m|n)-교차일 때에만 성립한다.
• 영성 조건은 고전적 GLd 경우(l(λ) ≤ d)와 GL(m|n) 후크 경우를 모두 일반화하며, 이는 (m|n)-교차 조건 아래 통합된다.