[논문 리뷰] Unitary Lie Algebras and Lie Tori of Type BC_r, r \geq 3

Bruce Allison, Georgia Benkart|arXiv (Cornell University)|2008. 11. 20.

Algebraic structures and combinatorial models참고 문헌 25인용 수 4

한 줄 요약

이 논문은 중심이 없는 리 $Λ$-토리 $ΒΧ_r$, $r \geq 3$을 비퇴화된 $Λ$-중심 헤르미트 형식의 특수 유니타리 리 대수로, 포함이 있는 결합 대수 토리 위에서 분류한다. 핵심 결과는 중심이 없는 리 $Λ$-토리가 항상 유니타리 리 $Λ$-토리와 이중-이sov로 표현되며, 이는 이차형식과 $Λ$-중심 공간 위의 직교군 궤도를 통한 완전한 분류로 이어진다.

ABSTRACT

A Lie G-torus of type X_r is a Lie algebra with two gradings -- one by an abelian group G and the other by the root lattice of a finite irreducible root system of type X_r. In this paper we construct a centreless Lie G-torus of type BC_r, which we call a unitary Lie G-torus, as it is a special unitary Lie algebra of a nondegenerate G-graded hermitian form of Witt index r over an associative torus with involution. We prove a structure theorem for centreless Lie G-tori of type BC_r, r \geq 3, that states that any such Lie torus is bi-isomorphic to a unitary Lie G-torus, and we determine necessary and sufficient conditions for two unitary Lie G-tori to be bi-isomorphic. The motivation to investigate Lie G-tori came from the theory of extended affine Lie algebras, which are natural generalizations of the affine and toroidal Lie algebras. Every extended affine Lie algebra possesses an ideal which is a Lie n-torus of type X_r for some irreducible root system X_r, where by an n-torus we mean that the group G is a free abelian group of rank n for some n \geq 0. The structure theorem above enables us to classify centreless Lie n-tori of type BC_r, r \geq 3. We show that they are determined by pairs consisting of a quadratic form K on an n-dimensional Z_2-vector space and of an orbit of the orthogonal group of K. We use that result to construct extended affine Lie algebras of type BC_r, r \geq 3. Our article completes a large project involving many earlier papers and many authors to determine the centreless Lie n-tori of all types.

연구 동기 및 목표

• 중심이 없는 리 $Λ$-토리 $ΒΧ_r$, $r \geq 3$을 포함이 있는 결합 대수 토리 위의 유니타리 리 대수로 구성하고 분류한다.
• 모든 중심이 없는 리 $Λ$-토리 $ΒΧ_r$가 유니타리 리 $Λ$-토리와 이중-이sov임을 보여주는 구조 정리 수립.
• 두 유니타리 리 $Λ$-토리가 이중-이sov임을 위한 필요 및 충분 조건을 규명한다.
• 분류 결과를 바탕으로 포함이 있는 결합 $n$-토리와 $Λ$-중심 공간 위의 이차형식을 활용하여 $ΒΧ_r$, $r \geq 3$ 유형의 확장된 아핀 리 대수를 구성한다.

제안 방법

• 포함이 있는 결합 대수 토리 위에서 비퇴화된 $Λ$-중심 헤르미트 형식의 위트 지수 $r$를 갖는 특수 유니타리 리 대수로서 유니타리 리 $Λ$-토리를 구성한다.
• 근 공간 분해를 통해 애드-대각선화 가능한 부분대수에 상응하는 근 중앙화를 정의하고, 이에 기반해 근 중앙화를 정의하며, 결합 대수 토리의 중앙화를 통해 외부 $Λ$-중심화를 정의한다.
• 모든 중심이 없는 리 $Λ$-토리 $ΒΧ_r$가 이러한 유니타리 리 $Λ$-토리로 나타남을 보여 구조 정리를 증명한다.
• 직교군이 위트 지수와 관련된 이차형식이 $Λ$-중심 공간 위에서 작용하는 방식을 분석하여 이중-이sov 불변량을 확립한다.
• 중심이 없는 리 $n$-토리 $ΒΧ_r$를 $n$차원 $\mathbb{Z}_2$-벡터 공간 위의 이차형식 $κ$와 $κ$의 직교군 궤도의 쌍을 통해 분류하며, 여기서 $n = \text{rank}(\u039b)$이다.
• 분류된 리 $n$-토리를 바탕으로 네허 구조를 활용하여 확장된 아핀 리 대수 $ΒΧ_r$를 구성한다.

실험 결과

연구 질문

• RQ1 포함이 있는 결합 대수 토리 위의 $Λ$-중심 헤르미트 형식을 통해 중심이 없는 리 $Λ$-토리 $ΒΧ_r$, $r \geq 3$의 구조는 어떻게 기술될 수 있는가?
• RQ2 두 유니타리 리 $Λ$-토리가 언제 이중-이sov가 되는가?
• RQ3 중심이 없는 리 $n$-토리 $ΒΧ_r$의 분류는 어떻게 이차형식과 $Λ$-중심 공간 위의 직교군 궤도로 표현될 수 있는가?
• RQ4 분류된 리 $n$-토리를 기반으로 $ΒΧ_r$ 유형의 확장된 아핀 리 대수를 체계적으로 구성할 수 있는가?
• RQ5 확장된 아핀 리 대수의 가닥을 구성하는 맥락에서, 이중-이sov와 등가관계 사이의 관계는 무엇인가?

주요 결과

• 모든 중심이 없는 리 $Λ$-토리 $ΒΧ_r$, $r \geq 3$는 포함이 있는 결합 대수 토리 위에서 비퇴화된 $Λ$-중심 헤르미트 형식의 위트 지수 $r$를 갖는 특수 유니타리 리 대수로서 구성된 유니타리 리 $Λ$-토리와 이중-이sov이다.
• 두 유니타리 리 $Λ$-토리가 이중-이sov임은 그가 $Λ$-중심 공간 위에서 관련된 이차형식이 서로 동치이고, 관련된 직교군 궤도가 일치할 때이고 그 때에만 성립한다.
• 중심이 없는 리 $n$-토리 $ΒΧ_r$는 $n$차원 $\mathbb{Z}_2$-벡터 공간 위의 이차형식 $κ$와 $κ$의 직교군 궤도의 쌍을 통해 이중-이sov에 대해 분류되며, 여기서 $n = \text{rank}(\u039b)$이다.
• 이 분류 결과는 네허 구조를 통해 분류된 리 $n$-토리에 대응하는 확장된 아핀 리 대수 $ΒΧ_r$의 구성으로 이어진다.
• 결과는 비퇴화된 형식과 호환되는 중앙화를 갖는 예비 나눗셈 $(ΒΧ_r, \u039b)$-중심화 리 대수로 일반화되며, 이때 유니타리 리 $Λ$-토리는 형식이 비퇴화되고 중앙화가 호환될 때 특수한 경우이다.