[논문 리뷰] Semisimple algebraic tensor categories

Rainer Weissauer|ArXiv.org|2009. 09. 09.

Algebraic structures and combinatorial models참고 문헌 7인용 수 17

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 반단순 대수적 텐서 범주를 분류하기 위해, 임의의 그러한 범주가 재구성 가능한 초군 스킴의 유한차원 수퍼표현 범주로 나타남을 증명한다. 핵심 결과는 재구성 가능한 초군 스킴을 오르토심플렉틱 초군 스킴과 재구성 가능한 대수적 군의 반직접곱으로 나타내는 구조적 분해를 확립하며, 하리시-찬드라 삼중항과 호프 대수 이론을 통해 고전적인 재구성 이론을 초군 설정으로 일반화한다.

ABSTRACT

A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위의 반단순 대수적 텐서 범주를 분류하기.
• 초아핀 군 스킴의 유한차원 수퍼표현 범주가 반단순일 조건을 규명하기.
• 재구성 가능한 초군 스킴의 구조적 분해를 오르토심플렉틱 초군 스킴과 재구성 가능한 대수적 군으로 서술하기.
• 호프 대수 이론과 코모듈 이론을 활용하여 리 초대수와 대수적 군의 고전적 재구성 이론을 초군 설정으로 확장하기.

제안 방법

• 초아핀 군 스킴의 수퍼표현 범주와 그 초군 스킴의 초호프 대수 위의 코모듈 범주 간의 동치를 사용한다.
• 초군 스킴의 구조를 파arameter화하기 위해 하리시-찬드라 삼중항 (G, g₋, Q) 이론을 적용한다. 여기서 G는 축소된 군, g는 리 초대수, Q는 G--equivariant인 대칭 이항형식이다.
• 초호프 대수 A의 초근본적 근본 J를 도입하여 축소된 군 스킴 G = Spec(A/J)를 정의한다. A가 연결되어 있고 char(k) = 0이면 G는 재구성 가능한 대수적 군이 된다.
• 표현의 대칭 및 외적 거듭제곱에 대한 필터링을 도입하여 텐서 거듭제곱 내의 기약성과 중복도의 상한을 분석한다.
• 범주 Rep_k(G, g₋, Q) ≅ Rep_k(𝐺, ε)의 동치를 이용하여 반단순성 문제를 리 초대수의 재구성성으로 환원한다.
• 디오코비치와 호크실드의 재구성 가능한 리 초대수에 관한 결과를 활용하여 재구성 가능한 초군 스킴의 특성을 규명한다.

실험 결과

연구 질문

• RQ1 초아핀 군 스킴의 유한차원 수퍼표현 범주의 반단순성 조건은 무엇인가?
• RQ2 초군 스킴 G가 그 수퍼표현 범주를 반단순적으로 만드는 조건은 무엇인가?
• RQ3 재구성 가능한 초군 스킴은 그 기초 대수적 군과 리 초대수로 어떻게 분류할 수 있는가?
• RQ4 특성 0인 대수적으로 닫힌 체 위의 연결 재구성 가능한 초군의 구조는 어떠한가?
• RQ5 재구성 가능한 초군의 자동사와 성분군은 그 오르토심플렉틱 성분에 어떻게 작용하는가?

주요 결과

• 특성 0인 대수적으로 닫힌 체 위의 임의의 대수적 텐서 범주는 초아핀 군 스킴의 유한차원 수퍼표현 범주와 동치이다.
• 초아핀 군 스킴 G가 재구성 가능할 조건은 축소된 군 G가 재구성 가능하고, 그 리 초대수가 재구성 가능할 때이다.
• 연결 재구성 가능한 초군 G는 G′ × H와 동형이며, 여기서 G′은 오르토심플렉틱 초군 스킴 Spo(1,2r)의 곱이고 H는 재구성 가능한 대수적 군이다.
• 재구성 가능한 초군의 수퍼표현 범주는 그 기초 리 초대수가 재구성 가능할 때에만 반단순이다.
• 성분군 π₀(G)는 G′의 인자들에 대한 순열을 통해 작용하며, 이 작용은 자연스러운 준동형사상 p: H → ∏Σₙᵣ에 의해 코딩된다.
• 특성 0인 대수적으로 닫힌 체 위의 모든 재구성 가능한 초군은 G′ ⋊ H와 동형이며, 여기서 G′은 단순한 BC형 초군 스킴의 곱이고 H는 인자들에 대해 순열을 통해 작용한다.