[논문 리뷰] Irreducible $W_n^+$-modules from Weyl modules and $\mathfrak{gl}_{n}$-modules

Genqiang Liu, Rencai Lü외 1명|arXiv (Cornell University)|2016. 12. 01.

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

한 줄 요약

이 논문은 션의 단사함수를 이용하여 와일 대수 $\mathcal{K}_n^+$와 일반선형대수 $\mathfrak{gl}_n$의 기약 모듈을 텐서곱하여 $W_n^+$와 $W_n$ 위에서의 기약 가중치 모듈 및 비가중치 모듈을 구성한다. 기약성에 필요한 필수 조건과 충분 조건을 제공하며, 기약성이 아닐 경우의 모든 부분모듈을 완전히 분류하여 다양한 가중치 지지 집합을 가진 새로운 기약 모듈의 큰 가족을 도출한다.

ABSTRACT

For an irreducible module $P$ over the Weyl algebra $\mathcal{K}_n^+$ (resp. $\mathcal{K}_n$) and an irreducible module $M$ over the general liner Lie algebra $\mathfrak{gl}_n$, using Shen's monomorphism, we make $P\otimes M$ into a module over the Witt algebra $W_n^+$ (resp. over $W_n$). We obtain the necessary and sufficient conditions for $P\otimes M$ to be an irreducible module over $W_n^+$ (resp. $W_n$), and determine all submodules of $P\otimes M$ when it is reducible. Thus we have constructed a large family of irreducible weight modules with many different weight supports and many irreducible non-weight modules over $W_n^+$ and $W_n$.

연구 동기 및 목표

• 와일 대수 $\pi_n^+$와 $\pi_n$의 모듈을 이용한 텐서곱을 통해 $W_n^+$와 $W_n$ 위에서의 기약 모듈을 확장하는 것.
• 텐서곱 $P \bigotimes M$ 가 $W_n^+$-또는 $W_n$-모듈로서 기약이 되는 데 필요한 필수 조건과 충분 조건을 규명하는 것.
• $P \bigotimes M$ 가 기약성이 아닐 경우 모든 부분모듈을 완전히 분류하여 구조적 기술을 제공하는 것.
• 다양한 가중치 지지 집합과 비가중치 모듈을 가진 기약 모듈의 큰 가족을 생성하는 것.
• 션의 단사함수를 활용하여 $\pi_n^+$와 $\pi_n$에서의 모듈 구조를 $W_n^+$와 $W_n$로 옮기는 방식으로 기존의 모듈 구성 방식을 일반화하는 것.

제안 방법

• 션의 단사함수를 이용하여 $\pi_n^+$와 $\pi_n$의 작용을 $W_n^+$와 $W_n$ 위의 와일 대수로 옮기는 것.
• $P$ 를 $\pi_n^+$-기약 모듈, $M$ 을 $\pi_n$-기약 모듈로 하여 텐서곱 $P \bigotimes M$ 을 취하는 것.
• 단사함수를 통한 옮겨받은 작용을 이용해 $P \bigotimes M$ 에 $W_n^+$-또는 $W_n$-모듈의 구조를 부여하는 것.
• $\pi_n^+$와 $\pi_n$의 표현 이론을 이용해 $P \bigotimes M$ 의 모듈 구조를 분석하는 것.
• 불변량 이론과 가중치 공간 분해를 적용하여 기약성 조건을 규명하는 것.
• 와일 모듈의 구조와 $\pi_n$-모듈의 기약성 구조를 활용하여 기약성이 아닐 경우의 부분모듈을 분류하는 것.

실험 결과

연구 질문

• RQ1 텐서곱 $P \bigotimes M$ 이 $W_n^+$-모듈로서 기약이 되는 조건은 무엇인가?
• RQ2 $P \bigotimes M$ 이 기약성이 아닐 경우 그 부분모듈 구조를 어떻게 완전히 기술할 수 있는가?
• RQ3 구성된 $W_n^+$-모듈의 가중치 지지 집합의 구조는 어떠한가, 그리고 얼마나 다양할 수 있는가?
• RQ4 이 구성 방식을 통해 $W_n^+$와 $W_n$ 위에서 기약 비가중치 모듈를 생성할 수 있는가?
• RQ5 션의 단사함수는 $\pi_n^+$와 $\pi_n$에서의 모듈 구조를 $W_n^+$와 $W_n$로 옮기는 데 어떻게 기여하는가?

주요 결과

• 텐서곱 $P \bigotimes M$ 이 $W_n^+$-모듈로서 기약이 되는 것은 $P$ 와 $M$ 사이의 특정 호환 조건이 만족될 때에만 성립한다.
• $P \bigotimes M$ 이 기약성이 아닐 경우, 모든 부분모듈이 완전히 분류되어 부분모듈 격자에 대한 완전한 기술을 제공한다.
• 이 구성은 임의로 복잡하고 다양한 가중치 지지 집합을 가진 $W_n^+$와 $W_n$ 위의 기약 가중치 모듈을 도출한다.
• 이 방법은 $W_n^+$와 $W_n$ 위에서 기약 비가중치 모듈을 생성하여 기존의 이러한 모듈의 범주를 확장한다.
• 션의 단사함수를 사용함으로써 유도된 조건 하에서 기약성이 유지됨을 보장한다.
• 구성된 모듈의 가족은 크고, 가중치 모듈과 비가중치 모듈을 모두 포함하여 $W_n^+$와 $W_n$의 표현 이론을 크게 풍부하게 한다.