[논문 리뷰] $\W_n^+$- and $W_n$-module structures on $U(h)$

Haijun Tan, Kaiming Zhao|arXiv (Cornell University)|2014. 01. 06.

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

한 줄 요약

이 논문은 각각 위트 대수 $Ω(\Lambda_n, a, S)$ 및 $Ω(\Lambda_n, a)$의 모든 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 모듈을 분류한다. 이는 $Ω(\Lambda_n, a, S)$ 및 $Ω(\Lambda_n, a)$가 각각 $Ω(\Lambda_n, a, S)$ 및 $Ω(\Lambda_n, a)$로 매개변수화된 전체 가중치가 없는 모듈의 가족임을 보여주며, 단순성 조건은 $a \neq -1$ 또는 $S \neq \varnothing$로 주어진다. 이 분류는 $Ω_\infty^+$ 및 $Ω_\infty$를 통해 무한 랭크로 확장된다. 주요 기여는 이러한 자유성 조건을 만족하는 비가중치 모듈의 완전한 분류이다.

ABSTRACT

Let $\h_n$ be the Cartan subalgebra of the Witt algebras $\W_n^+= ext{Der}\C[t_1, t_2, ..., t_n]$ and $\W_n= ext{Der}\C[t_1^{\pm 1},t_2^{\pm 1},\cdots,t_n^{\pm1}]$ where $1\le n\le \infty$. In this paper, we classify the modules over $\W_n^+$ and over $\W_n$ which are free $U(\h_n)$-modules of rank $1$. These are the $\W_n^+$-modules $Ω(Λ_{n},a, S) $ for some $Λ_n=(λ_1,\cdots,λ_n) \in (\C^*)^n, a\in \C$, and $S\subset \{1,2,..., n\}$; and $\W_n$-modules $Ω(Λ_n,a)$ for some $Λ_n\in (\C^*)^n$ and some $a\in \C.$

연구 동기 및 목표

• 위트 대수 $\mathcal{W}_n^+$ 및 $\mathcal{W}_n$ 위에서 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 모든 비가중치 모듈을 분류하는 것.
• 해당 모듈이 단순해지기 위한 정확한 조건을 규명하는 것.
• 무한 랭크의 경우, $\mathcal{W}_\infty^+$ 및 $\mathcal{W}_\infty$를 포함하여 분류를 확장하는 것.
• 매개변수 $\Lambda_n$, $a$, $S$를 사용하여 이러한 모듈의 완전한 구조적 기술을 제공하고, 단순성 기준을 설정하는 것.

제안 방법

• 분류는 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1을 이루는 순환 벡터 위에서 $\mathcal{W}_n^+$ 및 $\mathcal{W}_n$의 작용을 분석하는 데 기반한다.
• $\Omega(\Lambda_n, a, S)$ 및 $\Omega(\Lambda_n, a)$ 모듈은 매개변수 $\Lambda_n$, $a$, $S$에 의해 정의된 특정 작용을 갖는 $U(\mathfrak{h}_n)$-모듈로서 구성된다.
• 증명은 $\mathcal{W}_n^+$ 및 $\mathcal{W}_n$이 각각 음이 아닌 차수와 음이 아닌 차수를 갖는 두 개의 $\mathcal{W}_n^+$와 동형인 부분대수를 포함하고 있음을 이용하여 일관된 매개변수화가 가능함을 보여준다.
• 생성자 $t^r \partial_i$의 작용은 라이프니츠 법칙을 통해 정의되며, $\lambda_i$ 및 $a$에 의해 매개변수화되어 리 대수의 구조와 호환됨을 보장한다.
• 분류는 순환 벡터 위에서의 작용을 분석하고 유도된 관계를 매칭시킴으로써, 이러한 모듈이 반드시 동일한 매개변수화된 가족에서 유도됨을 보여줌으로써 이루어진다.
• 무한 랭크의 경우, 동일한 논리를 $\mathcal{W}_\infty^+$ 및 $\mathcal{W}_\infty$로 확장하여 $(\mathbb{C}^*)^\infty$의 수열을 사용한다.

실험 결과

연구 질문

• RQ1 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 $\mathcal{W}_n^+$-모듈이 단순해지기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 $\Lambda_n$, $a$, $S$ 매개변수들이 $\mathcal{W}_n^+$ 위에서 이러한 모듈의 구조를 어떻게 결정하는가?
• RQ3 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 $\mathcal{W}_n$-모듈의 완전한 분류는 무엇인가?
• RQ4 이 분류는 무한 랭크 위트 대수 $\mathcal{W}_\infty^+$ 및 $\mathcal{W}_\infty$로 어떻게 확장되는가?
• RQ5 매개변수 $a = -1$은 이러한 모듈의 단순성 결정에 어떤 역할을 하는가?

주요 결과

• 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 모든 $\mathcal{W}_n^+$-모듈은 어떤 $\Lambda_n \in (\mathbb{C}^*)^n$, $a \in \mathbb{C}$, $S \subset \{1, \dots, n\}$에 대해 $\Omega(\Lambda_n, a, S)$와 동형이다.
• 자유 $U(\mathfrak{h}_n)$-모듈로서 랭크 1인 모든 $\mathcal{W}_n$-모듈은 어떤 $\Lambda_n \in (\mathbb{C}^*)^n$ 및 $a \in \mathbb{C}$에 대해 $\Omega(\Lambda_n, a)$와 동형이다.
• $\mathcal{W}_n^+$-모듈 $\Omega(\Lambda_n, a, S)$는 $S \neq \varnothing$ 또는 $a \neq -1$일 때에만 단순하며, $a = -1$ 이면서 $S = \varnothing$일 경우 비단순 모듈이 된다.
• $\mathcal{W}_n$-모듈 $\Omega(\Lambda_n, a)$는 $a \neq -1$일 때에만 단순하며, $a = -1$일 경우 비단순 모듈이 된다.
• 분류는 무한 랭크의 경우로 확장되며, $\mathcal{W}_\infty^+$-모듈은 $\Lambda_\infty \in (\mathbb{C}^*)^\infty$에 대해 $\Omega(\Lambda_\infty, a, S)$와 동형이며, $\mathcal{W}_\infty$-모듈은 $\Omega(\Lambda_\infty, a)$와 동형이며, 동일한 단순성 조건이 적용된다.
• 증명는 $\mathcal{W}_n^+$ 및 $\mathcal{W}_n$이 순환 벡터 위에서 작용하는 방식을 분석하고, 유도된 관계가 모듈이 매개변수화된 가족 중 하나와 동형이 되도록 강제함을 보여준다.