[논문 리뷰] On associated variety for Lie superalgebras

Michel Duflo, Vera Serganova|ArXiv.org|2005. 07. 11.

Algebraic structures and combinatorial models참고 문헌 11인용 수 56

한 줄 요약

이 논문은 유한 차원 리 초대수 $\mathfrak{g}$ 위의 모듈러 $M$의 관련 다양체 $X_M$를 도입한다. $X_M$는 자기공액하는 홀수 원소들 $x \in \mathfrak{g}_1$의 집합으로, $M_x = \ker x / xM \neq 0$인 경우로 정의된다. 이 논문은 임의의 차수의 비형상성($k$)을 가진 기약 유한 차원 모듈러에 대해 $X_M$가 자기공액 홀수 원소들의 콘 $X$ 내에서 랭크 $k$인 모든 $G_0$-오빗의 닫힘에 포함됨을 증명하며, $\mathfrak{gl}(m|n)$의 경우 $X_M$가 이 닫힘과 정확히 일치함을 보여, 표현론적 성질에 대한 기하적 특성화를 제공한다.

ABSTRACT

We define the associated variety $ X_{M} $ of a module $ M $ over a finite-dimensional superalgebra $ {\mathfrak g} $, and show how to extract information about $ M $ from these geometric data. $ X_{M} $ is a subvariety of the cone $ X $ of self-commuting odd elements. For finite-dimensional $ M $, $ X_{M} $ is invariant under the action of the underlying Lie group $ G_{0} $. For simple superalgebra with invariant symmetric form, $ X $ has finitely many $ G_{0} $-orbits; we associate a number (rank) to each such orbit. One can also associate a number (degree of atypicality) to an irreducible finite-dimensional representation. We prove that if $ M $ is an irreducible $ {\mathfrak g} $-module of degree of atypicality $ k $, then $ X_{M} $ lies in the closure of all orbits on $ X $ of rank $ k $. If $ {\mathfrak g}={\mathfrak g}{\mathfrak l}(m|n) $ we prove that $ X_{M} $ coincides with this closure.

연구 동기 및 목표

• 유한 차원 리 초대수 $\mathfrak{g}$ 위의 모듈러 $M$에 대한 관련 다양체 $X_M$를 정의하고 연구함으로써, 고전적 관련 다양체 개념을 초대수 설정으로 일반화한다.
• 리 군 $G_0$가 자기공액 홀수 원소들의 콘 $X$ 위에서 작용하는 방식을 이용해, 유한 차원 표현에 대한 기하적 불변량을 수립한다.
• 기약 표현의 비형상성의 정도가 관련 다양체 $X_M$의 $G_0$-오빗 구조와 어떻게 관련되는지 규명한다.
• $\mathfrak{gl}(m|n)$의 경우, 관련 다양체 $X_M$가 비형상성의 정도와 동일한 랭크를 가진 모든 $G_0$-오빗의 닫힘과 정확히 일치함을 증명한다.

제안 방법

• 자기공액 홀수 원소들의 콘 $X = \{x \in \mathfrak{g}_1 \mid [x,x] = 0\}$에 대해 $X_M = \{x \in X \mid M_x \not= 0\}$로 정의한다.
• $\mathfrak{g}_0$를 리 대수로 가지는 단순 연결 리 군 $G_0$의 작용을 이용하여, 유한 차원 $M$에 대해 $X_M$가 $G_0$-불변이며 아르티노이드 닫힘임을 보인다.
• 미분 $\partial(\varphi)(x) = x\varphi(x)$를 통해 $X$ 위에 계기층 $\mathcal{M}$을 구성하고, 그 코homology가 관련 다양체의 단면층을 제공함을 보인다.
• 항등 대칭 형식을 가진 기여적 단순 초대수에 대해, $X$ 위의 $G_0$-오빗을 분류하고 각 오빗에 랭크를 할당한다.
• 기약 표현의 비형상성의 정도를 그 최고 무게에 포함된 상호 수직인 등방성 근의 수로 정의한다.
• $X_M$가 비형상성의 정도와 동일한 랭크를 가진 모든 $G_0$-오빗의 닫힘에 포함되며, $\mathfrak{gl}(m|n)$의 경우 이 포함관계가 등식이 됨을 증명한다.

실험 결과

연구 질문

• RQ1 리 초대수 모듈러의 관련 다양체는 어떻게 기하학적으로 정의되며, 어떤 불변량을 담고 있는가?
• RQ2 $X$ 콘 위의 $G_0$-오빗 구조와 유한 차원 모듈러의 표현론적 성질 사이의 관계는 무엇인가?
• RQ3 기약 표현의 비형상성 정도가 $X_M$ 내의 $G_0$-오빗의 닫힘과 어떻게 관련되는가?
• RQ4 $\mathfrak{gl}(m|n)$의 경우, 관련 다양체 $X_M$는 비형상성 정도와 동일한 랭크를 가진 모든 $G_0$-오빗의 닫힘과 정확히 일치하는가?
• RQ5 관련 다양체를 사용하여 유한 차원 모듈러의 코homology 군과 초특성치를 분석할 수 있는가?

주요 결과

• 모든 유한 차원 $\mathfrak{g}$-모듈러 $M$에 대해, 관련 다양체 $X_M$는 자기공액 홀수 원소들의 콘 $X$의 $G_0$-불변 아르티노이드 닫힌 부분다양체이다.
• 관련 다양체는 $X_{M \oplus N} = X_M \cup X_N$ 및 $X_{M \otimes N} = X_M \cap X_N$를 만족하며, 유한 차원 $M$에 대해 $X_{M^*} = X_M$이다.
• $\mathfrak{gl}(m|n)$의 경우, 비형상성 정도가 $k$인 기약 유한 차원 모듈러 $M$의 관련 다양체 $X_M$는 $X$ 내에서 랭크 $k$인 모든 $G_0$-오빗의 닫힘과 정확히 일치한다.
• 기약 표현의 비형상성 정도가 $k$이면, $X_M$는 랭크 $k$인 모든 $G_0$-오빗의 닫힘에 포함되며, 이 포함관계는 $\mathfrak{gl}(m|n)$의 경우 등식이 된다.
• 코homology $H^i(\mathfrak{g}(-1); M)$는 $\mathcal{H}_M$의 지지부에 의해 제어되며, 이는 $\overline{X_k} \cap \mathfrak{g}(-1)$와 같다. 여기서 $X_k$는 랭크 $k$인 $G_0$-오빗들의 합집합이다.
• 형상성 모듈러(비형상성 정도 0)의 경우, $\mathcal{H}_M$은 오직 0에서만 지지되며, $\mathcal{H}_M(0) = H^0(\mathfrak{g}(-1), M)$이다. 이는 $\mathfrak{g}(-1)$ 위에서의 자유성과 관련이 있다.