[논문 리뷰] Complexity and module varieties for classical Lie superalgebras

Brian D. Boe, Jonathan R. Kujawa외 1명|ArXiv.org|2009. 05. 14.

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

한 줄 요약

이 논문은 𝔤₀에 대해 반단순인 고전적 리 초대수군의 유한차원 초모듈의 범주 𝔽의 기본 호모로지적 성질을 수립한다. 𝔽가 자기이입적임(즉, 프로젝티브 초모듈과 인젝티브 초모듈이 일치함)을 증명하고, 프로젝티브 분해의 다항식 성장률을 통해 초모듈의 복잡도를 정의하며, 타입 I 초대수군에 대해 초모듈의 코homological 지지다양체를 도입하여 프로젝티비티를 탐지하고 두플로–세르가노바 관련 다양체와 연관시킨다. 주요 기여는 강한 대칭성을 갖는 타입 I 초대수군에서, 타일링 초모듈과 프로젝티브 초모듈이 동치임을 보이는 것이다.

ABSTRACT

Let g=g_{0} \oplus g_{1} be a classical Lie superalgebra and F be the category of finite dimensional g-supermodules which are semisimple over g_{0}. In this paper we investigate the homological properties of the category F. In particular we prove that F is self-injective in the sense that all projective supermodules are injective. We also show that all supermodules in F admit a projective resolution with polynomial rate of growth and, hence, one can study complexity in F. If g is a Type I Lie superalgebra we introduce support varieties which detect projectivity and are related to the associated varieties of Duflo and Serganova. If in addition g has a (strong) duality then we prove that the conditions of being tilting or projective are equivalent.

연구 동기 및 목표

• 고전적 리 초대수군 중 𝔤₀에 대해 반단순인 초모듈의 범주 𝔽의 호모로지적 성질을 수립하기 위해.
• 𝔽 내 초모듈의 복잡도를 프로젝티브 분해의 다항식 성장률을 통해 정의하고 연구하기 위해.
• 타입 I 초대수군에 대해, 초모듈의 프로젝티비티를 탐지하고 두플로–세르가노바 관련 다양체와 연관되는 코homological 지지다양체를 구성하기 위해.
• 강한 대칭성을 갖는 타입 I 초대수군에서, 타일링 초모듈이 프로젝티브 초모듈과 동치임을 증명하기 위해.

제안 방법

• 모든 초모듈이 다항식 성장률을 갖는 프로젝티브 분해를 갖는다는 것을 증명하여 복잡도의 정의를 가능하게 한다.
• 모든 프로젝티브 초모듈이 인젝티브임을 증명함으로써 범주 𝔽가 자기이입적임을 보인다.
• 타입 I 초대수군에 대해, 초대수군 𝔤_{±1} 위에서 초모듈 M에 대한 코homological 지지다양체 𝒱_{𝔤_{±1}}(M)를 정의한다.
• 코homological 다양체와 관련 다양체 사이의 관계를 나타내는 포함관계 𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M 와 등식 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M 를 수립한다.
• 초모듈에 대한 대칭성 τ를 사용하여 P(S)^τ ≅ P(S) 임을 보이고, 이로부터 단순 모듈 S에 대해 P(S) ≅ I(S) 를 유도한다.
• 특성 계산과 내부환의 계산을 적용하여, dim Hom_{𝔽}(S,S) = 1 이라는 가정 하에 카르탕 행렬의 대칭성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 리 초대수군의 초모듈 범주 𝔽는 프로젝티브 분해의 다항식 성장률을 통해 잘 정의된 복잡도 개념을 갖는가?
• RQ2 타입 I 초대수군에 대해, 코homological 지지다양체는 프로젝티비티를 탐지하고 두플로–세르가노바 관련 다양체와 관련이 있는가?
• RQ3 타입 I 초대수군에서 타일링 초모듈이 프로젝티브 초모듈과 동치가 되는 조건은 무엇인가?
• RQ4 P(S) ≅ I(T) 를 만족할 때, 단순 모듈 S와 그에 대응하는 인젝티브 모듈 I(T) 사이의 일반적인 공식은 존재하는가?
• RQ5 복잡도가 M과 같은 지오메트릭 차원을 갖는 지지다양체를 𝔽 내 모듈 M에 대해 구성할 수 있는가?

주요 결과

• 범주 𝔽는 자기이입적이다: 𝔽 내 모든 프로젝티브 초모듈은 동시에 인젝티브이다.
• 𝔽 내 모든 초모듈은 다항식 성장률을 갖는 프로젝티브 분해를 갖는다. 이는 복잡도 c_{𝔽}(M) 의 정의를 가능하게 한다.
• 타입 I 초대수군에서, 코homological 지지다양체 𝒱_{𝔤_{±1}}(M) 는 𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M 와 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M 를 만족한다. 여기서 𝒳_M 는 두플로–세르가노바 관련 다양체이다.
• 강한 대칭성을 갖는 타입 I 초대수군에서, 초모듈이 타일링임과 동시에 프로젝티브임은 동치이다.
• 모든 단순 모듈 S에 대해 dim_{ℂ} Hom_{𝔽}(S,S) = 1 이라면, 초대수군의 카르탕 행렬은 대칭적이다.
• 블록 내에서 프로젝티브 생성자를 갖는 초모듈의 내부환은 한계 다이어그램 대수와 동형이며, 이는 특정 경우에 코즐리티를 시사한다.