[논문 리뷰] Nondegenerate Invariant Symmetric Bilinear Forms on Simple Lie Superalgebras in Characteristic 2

Andrey Krutov, Alexei Lebedev외 2명|arXiv (Cornell University)|2020. 01. 01.

Advanced Topics in Algebra참고 문헌 22인용 수 1

한 줄 요약

이 논문은 특성 2에서 단순 유한차원 리 초대수의 비퇴화 불변 대칭 이항형식(NISes)을 분류하며, 이러한 형식들의 공간의 초차원(superdimension)이 0, 1, 0|1, 또는 1|1가 될 수 있음을 보여준다. 초차원이 1|1임은 오직 그 리 초대수가 비퇴화 불변 대칭 이항형식을 가진 단순 제한된 리 대수의 퀴어화(queerification)일 때에만 성립하며, 저자들은 짝수 및 홀수 매개변수를 가진 변형(deformations)에 대해 명시적인 예를 제공한다.

ABSTRACT

As is well-known, the dimension of the space of non-degenerate invariant symmetric bilinear forms (NISes) on any simple finite-dimensional Lie algebra or Lie superalgebra is equal to at most 1 if the characteristic of the ground field is distinct from 2. We prove that in characteristic 2, the superdimension of the space of NISes can be equal to 0, or 1, or 0|1, or 1|1. This superdimension is equal to 1|1 if and only if the Lie superalgebra is a queerification (defined in arXiv:1407.1695) of a simple restricted Lie algebra with a NIS (for examples of such Lie algebras, although mainly in characteristic distinct from 2, see arXiv:1806.05505). We give examples of NISes on deformations with both even and odd parameter of several simple finite-dimensional Lie superalgebras in characteristic 2.

연구 동기 및 목표

• 특성 2에서 단순 유한차원 리 초대수에서 비퇴화 불변 대칭 이항형식(NISes)의 공간의 가능한 초차원을 결정하는 것.
• NIS 공간의 초차원이 1|1이 되는 조건을 규명하고, 이를 퀴어화 구축과 연결하는 것.
• 기존의 단순 리 초대수의 변형—짝수 및 홀수 매개변수를 모두 포함—에서 NISes의 명시적 예를 구성하는 것.
• 특성 ≠ 2에서의 고전적 이해를 특성 2로 확장하여, 여기서 새로운 현상이 나타남을 밝혀내는 것.

제안 방법

• 저자들은 특성 2인 체 위에서의 단순 유한차원 리 초대수의 구조를 분석한다.
• 비퇴화 불변 대칭 이항형식을 가진 단순 제한된 리 대수를 리 초대수로 확장하는 구축인 퀴어화 개념을 사용한다.
• 수반 작용 아래의 불변성 및 대칭 조건을 연구함으로써 NISes 공간의 초차원을 계산한다.
• 변형 이론을 적용하여 짝수 및 홀수 변형 매개변수를 가진 변형된 리 초대수에서 NISes를 구성한다.
• 표현 이론적 및 코homological 기법을 사용하여 특정 경우에서 NISes의 존재성과 유일성을 검증한다.
• 특성 ≠ 2에서의 알려진 분류와 결과를 비교하여 특성 2에서 나타나는 차이점을 부각한다.

실험 결과

연구 질문

• RQ1 특성 2에서 단순 유한차원 리 초대수에서 비퇴화 불변 대칭 이항형식의 공간의 가능한 초차원은 무엇인가?
• RQ2 NIS 공간의 초차원이 1|1이 되는 조건은 무엇이며, 이를 보장하는 리 초대수의 구조적 조건은 무엇인가?
• RQ3 특성 2에서 단순 리 초대수의 변형된 형태에서 명시적인 NISes를 구성할 수 있는가? 그리고 이러한 형식은 변형 매개변수에 어떻게 의존하는가?
• RQ4 퀴어화 구축은 특성 2에서 NISes의 존재와 어떻게 관련되는가?
• RQ5 특성 ≠ 2에서의 분류 결과가 특성 2로 확장되는가, 아니면 새로운 케이스가 발생하는가?

주요 결과

• 특성 2에서 단순 유한차원 리 초대수에서 NISes 공간의 초차원은 0, 1, 0|1, 또는 1|1가 될 수 있다.
• 초차원이 1|1임은 오직 그 리 초대수가 비퇴화 불변 대칭 이항형식을 가진 단순 제한된 리 대수의 퀴어화일 때에만 성립한다.
• 특성 2에서 여러 단순 리 초대수의 변형—짝수 및 홀수 변형 매개변수를 모두 포함—에 대해 명시적인 NISes가 구성되었다.
• 특성 2에서 NISes의 존재는 기존의 홀수 특성에서의 고전적 케이스에 국한되지 않으며, 새로운 구조적 가능성들을 드러낸다.
• 특성 2에서의 분류는 특성 ≠ 2의 경우와 근본적으로 다름을 보이며, 여기서 NISes 공간은 최대 일차원일 뿐이다.
• 결과는 특성 2에서 초차원이 1|1이 되는 경우에 퀴어화 구축이 필수적이고 충분한 조건임을 보여준다.