[논문 리뷰] Representation rings of Lie superalgebras

Gregory D. Landweber|ArXiv.org|2004. 03. 12.

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

한 줄 요약

이 논문은 리 초대수군의 표현환에 대한 여러 변종을 도입하고 연구하며, 짝수 및 홀수 성분의 형식적 차이를 바탕으로 한 초표현환을 포함한다. 또한 표현환, 그 자체적으로 쌍대적인 이상, 그리고 초표현환을 연결하는 6항 항등순서를 확립한다. 주요 기여는 복소수 및 실수 경우로 일반화된 주기적 항등순서이며, 실수 설정에서 놀라운 6항 버전이 발견되어 초표현이론의 더 깊은 대수적 및 위상적 구조를 드러낸다.

ABSTRACT

Given a Lie superalgebra \g, we introduce several variants of the representation ring, built as subrings and quotients of the ring R_{\Z_2}(\g) of virtual \g-supermodules (up to even isomorphisms). In particular, we consider the ideal R_{+}(\g) of virtual \g-supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring SR(\g) on which the parity reversal operator takes the class of a virtual \g-supermodule to its negative. We also construct representation groups built from ungraded \g-modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring SR^{*}(\g), including all degree shifts, is then a \Z_{2}-graded ring in the complex case and a \Z_{8}-graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings R^{*}_{\Z_2}(\g), R^{*}_{+}(\g), and SR^{*}(\g). We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring SR^{*}(\g). In the real case, we obtain the expected 24-term version, as well as a surprising six-term version of this periodic exact sequence.

연구 동기 및 목표

• 초표현이론에서 그로텐디크 스타일의 표현환과 동차 K-이론적 접근을 조율하기 위해.
• 성질 반전이 부정으로 작용하는 초표현환을 정의하고 연구하여 등급 부여된 K-이론적 지표 구성과 일치시키기 위해.
• 표준 표현환, 그 자체적으로 쌍대적인 이상, 그리고 초표현환을 연결하는 주기적 항등순서를 확립하기 위해.
• 이러한 결과를 실수 경우로 확장하여 놀라운 주기성, 특히 6항 순서를 드러내기 위해.
• 도약 차수와 클리포드 모듈러가 등급을 가진 표현군을 구성하는 데 수행하는 역할을 명확히 하기 위해.

제안 방법

• 가상의 $ \mathfrak{g} $-초모듈러의 링 $ R_{\mathbb{Z}_2}(\mathfrak{g}) $ 를 도입하고, $ R_+(\mathfrak{g}) $ 와 $ SR^\bullet(\mathfrak{g}) $ 를 포함한 부분환과 몫환을 구성한다.
• 복소수 경우에서 $ SR^\bullet(\mathfrak{g}) $ 는 $ \mathbb{Z}_2 $-등급 링으로 정의되며, 실수 경우에서는 $ \mathbb{Z}_8 $-등급 링으로 정의되며, 성질 반전이 부정으로 작용한다.
• 클리포드 모듈러를 통한 도약 차수를 이용해 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ 를 구성함으로써 주기성 결과를 가능하게 한다.
• 클리포드 대수의 동형사상에 의해 유도된 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ 와 $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 사이의 동형사상을 적용하여 $ \mathfrak{g} $ 와 그 반대 대수 $ \bar{\mathfrak{g}} $ 를 연결한다.
• 특성 0인 임의의 체 위에서 6항 주기적 항등순서를 구성하며, 이는 복소수 경우에 두 개의 3항 순서로 분리된다.
• 다양성과 클리포드 대수의 동형사상에 의해 실수 경우에서 24항 주기적 항등순서와 새로운 6항 버전을 확립한다.

실험 결과

연구 질문

• RQ1 성질 반전 연산자가 K-이론적 동치에 따라 부정으로 작용하도록 하는 초표현환은 어떻게 정의할 수 있는가?
• RQ2 표준 표현환, 그 자체적으로 쌍대적인 이상, 그리고 초표현환 사이의 관계를 지배하는 주기적 항등순서는 무엇인가?
• RQ3 복소수에서 실수로 이동할 때 표현환의 구조는 어떻게 변화하는가?
• RQ4 클리포드 모듈러를 통한 도약 차수는 리 초대수군의 표현이론에서 주기적 구조를 구성하는 데 어떤 역할을 하는가?
• RQ5 실수 경우에 6항 주기적 항등순서가 존재할 수 있으며, 만약 존재한다면 그 기하학적 또는 대수적 기원은 무엇인가?

주요 결과

• 특성 0인 임의의 체 위에서 $ R_{\mathbb{Z}_2}^\bullet(\mathfrak{g}) $, $ R_+^\bullet(\mathfrak{g}) $, 그리고 $ SR^\bullet(\mathfrak{g}) $ 를 연결하는 6항 주기적 항등순서가 확립되었으며, 복소수 경우는 두 개의 3항 순서로 분리된다.
• 복소수 경우에서 초표현환 $ SR^\bullet(\mathfrak{g}) $ 는 $ \mathbb{Z}_2 $-등급이며, 주기성 덕분에 두 개의 3항 항등순서가 유도된다.
• 실수 경우에서 표현환은 $ \mathbb{Z}_8 $-등급을 가지며, 주기적 항등순서는 24항 버전으로 연장된다.
• 놀랍게도 실수 경우에서 6항 주기적 항등순서가 발견되었으며, 이는 다각성과 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ 와 $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 사이의 동형사상에서 기인한다.
• $ \mathfrak{g} = \mathbb{R} $ 인 경우, 자체적으로 쌍대적인 이상 $ R_+^{-n}(\mathbb{R}) \cong \mathbb{Z} $ 이며, 초표현환은 점의 $ KO $-이론을 실현한다. 이는 순서가 $ KO $-이론의 주기성과 일치함을 확인한다.
• $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) \cong R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 의 동형사상은 홀수 원소의 부호를 뒤집음으로써 명시적으로 구성되며, 이는 제약과 忘却 사상 사이의 상호작용을 유도한다.