[논문 리뷰] The Capelli eigenvalue problem for Lie superalgebras

Siddhartha Sahi, Hadi Salmasian외 1명|arXiv (Cornell University)|2018. 07. 19.

Advanced Topics in Algebra참고 문헌 25인용 수 4

한 줄 요약

이 논문은 리 초대수군의 캡엘 고유값 문제를 해결하며, 초대수군 $ \fg $의 기약 표현 $ V_{\mu} $ 위에서 작용하는 캡엘 연산자 $ D_{\ho} $의 고유값 $ c_{\ho}(u) $ 를, 유형 $ \mathsf{A}(m,n) $ 또는 $ \mathsf{Q}(n) $ 의 제한된 루트 체계를 사용하여 결정한다. 이는 세르게프-베셀로프의 이동 초잭 다항식과 옥운코프-이바노프의 팩터리얼 슈어 $ Q $-다항식을 이용한 명시적 공식을 제공하며, 예외적인 조르단 초대수군 $ \mathfrak{F} $ 를 제외한 모든 경우에 중심 사상이 초대수군 $ \fg $-불변 미분 연산자 대수로의 전성임을 증명한다.

ABSTRACT

For a finite dimensional unital complex simple Jordan superalgebra $J$, the Tits-Kantor-Koecher construction yields a 3-graded Lie superalgebra $\mathfrak g_\flat\cong \mathfrak g_\flat(-1)\oplus\mathfrak g_\flat(0)\oplus\mathfrak g_\flat(1)$, such that $\mathfrak g_\flat(-1)\cong J$. Set $V:=\mathfrak g_\flat(-1)^*$ and $\mathfrak g:=\mathfrak g_\flat(0)$. In most cases, the space $\mathcal P(V)$ of superpolynomials on $V$ is a completely reducible and multiplicity-free representation of $\mathfrak g$, with a decomposition $\mathcal P(V):=\bigoplus_{λ\inΩ}V_λ$, where $\left(V_λ ight)_{λ\inΩ}$ is a family of irreducible $\mathfrak g$-modules parametrized by a set of partitions $Ω$. In these cases, one can define a natural basis $\left(D_λ ight)_{λ\inΩ}$ of "Capelli operators" for the algebra $\mathcal{PD}(V)^{\mathfrak g}$. In this paper we complete the solution to the Capelli eigenvalue problem, which is to determine the scalar $c_μ(λ)$ by which $D_μ$ acts on $V_λ$. We associate a restricted root system $\mathitΣ$ to the symmetric pair $(\mathfrak g,\mathfrak k)$ that corresponds to $J$, which is either a deformed root system of type $\mathsf{A}(m,n)$ or a root system of type $\mathsf{Q}(n)$. We prove a necessary and sufficient condition on the structure of $\mathitΣ$ for $\mathcal{P}(V)$ to be completely reducible and multiplicity-free. When $\mathitΣ$ satisfies the latter condition we obtain an explicit formula for the eigenvalue $c_μ(λ)$, in terms of Sergeev-Veselov's shifted super Jack polynomials when $\mathitΣ$ is of type $\mathsf{A}(m,n)$, and Okounkov-Ivanov's factorial Schur $Q$-polynomials when $\mathitΣ$ is of type $\mathsf{Q}(n)$.

연구 동기 및 목표

• 초대수군 설정에서 오랫동안 남아있던 캡엘 고유값 문제를 다루며, 고전 결과를 리 초대수군으로 확장한다.
• 초대수다항식 공간 $ \mathscr{P}(V) $ 가 초대수군 $ \fg $ 의 표현으로서 완전 가역적이고 다중도가 1인 조건을 규명한다.
• 기약 $ \fg $-모듈 $ V_{\lambda} $ 위에서 작용하는 캡엘 연산자 $ D_{\mu} $ 의 고유값 $ c_{\mu}(\lambda) $ 에 대한 명시적 공식을 제공한다.
• 초대수군 $ \mathscr{P}(V) $ 가 다중도가 1인 성질을 갖기 위한 제한된 루트 체계 $ \Sigma $ 에 대한 필요 및 충분 조건을 설정한다.
• 초대수군 $ \mathbf{U}(\fg) $ 의 중심에서 $ \mathscr{PD}(V)^{\fg} $ 로의 자연스러운 사상이 전성임을 증명한다. 유일한 예외는 10차원 예외적 조르단 초대수군 $ J \cong \mathfrak{F} $ 이다.

제안 방법

• 유한차원 단위 원소를 갖는 복소수 단순 조르단 초대수군 $ J $ 에 대해, 티츠-칸토르-쾨처 구성법을 사용하여 3-등급 초대수군 $ \fg^{\flat} $ 를 정의하며, $ \fg^{\flat}(-1) \cong J $ 임을 보인다.
• 다음으로 $ V := \fg^{\flat}(-1)^* $ 와 $ \fg := \fg^{\flat}(0) $ 를 정의하고, $ \fg $ 가 초다항식 대수 $ \mathscr{P}(V) $ 에 작용하는 방식을 연구한다.
• 대칭 쌍 $ (\fg, \fk) $ 와 관련된 제한된 루트 체계 $ \Sigma $ 를 정의하며, 이는 유형 $ \mathsf{A}(m,n) $ 또는 $ \mathsf{Q}(n) $ 이다.
• 표현 이론적 및 루트 체계 분석을 통해 $ \mathscr{P}(V) $ 가 완전 가역적이고 다중도가 1인 성질을 갖기 위한 $ \Sigma $ 에 대한 필요 및 충분 조건을 수립한다.
• 캡엘 연산자라 불리는 $ \mathfrak{g} $-불변 초다항식 미분 연산자들의 기저 $ (D_{\lambda})_{\lambda \in \Omega} $ 를 구성하고, 최고 무게 이론을 통해 그 고유값을 결정한다.
• 초다양체 $ \mathcal{G}/\mathcal{K} $ 위의 미분 연산자 대수와 $ \mathscr{PD}(V)^{\fg} $ 의 연결성을 이용하고, 하리시-찬드라 호모모르피즘을 적용하여 고유값을 대칭 다항식과 연결한다.

실험 결과

연구 질문

• RQ1 제한된 루트 체계 $ \Sigma $ 가 어떤 조건을 만족할 경우, $ \mathscr{P}(V) $ 가 $ \fg $-모듈로서 완전 가역적이고 다중도가 1인가?
• RQ2 기약 $ \fg $-모듈 $ V_{\lambda} $ 위에서 작용하는 캡엘 연산자 $ D_{\mu} $ 의 고유값 $ c_{\mu}(\lambda) $ 는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 제한된 루트 체계 $ \Sigma $ 는 $ \mathscr{P}(V) $ 와 대수 $ \mathscr{PD}(V)^{\fg} $ 의 구조를 분류하는 데 어떤 역할을 하는가?
• RQ4 어떤 조건에서 $ \mathbf{U}(\fg) $ 의 중심에서 $ \mathscr{PD}(V)^{\fg} $ 로의 자연스러운 사상이 전성인가?
• RQ5 이동 초잭 다항식과 팩터리얼 슈어 $ Q $-다항식은 고유값 공식 $ c_{\mu}(\lambda) $ 에 어떻게 자연스럽게 나타나는가?
• RQ6 모든 유형의 조르단 초대수군에서 고유값 공식이 동일한가? 그리고 예외적 경우 $ J \cong \mathfrak{F} $ 는 어떻게 다를까?

주요 결과

• 초대수군 $ \mathscr{P}(V) $ 가 $ V = \mathfrak{g}^{\flat}(-1)^* $ 위의 초다항식 공간일 때, 이는 유형 $ \Sigma $ 가 특정한 구조 조건을 만족할 때에만 완전 가역적이고 다중도가 1인 성질을 갖는다.
• 루트 체계 $ \Sigma $ 가 유형 $ \mathsf{A}(m,n) $ 일 경우, 고유값 $ c_{\mu}(\lambda) $ 는 세르게프-베셀로프의 이동 초잭 다항식의 평가값으로 주어진다.
• 루트 체계 $ \Sigma $ 가 유형 $ \mathsf{Q}(n) $ 일 경우, 고유값 $ c_{\mu}(\lambda) $ 는 옥운코프-이바노프의 팩터리얼 슈어 $ Q $-다항식의 평가값으로 주어진다.
• 초대수군 $ \mathbf{U}(\fg) $ 의 중심에서 $ \mathscr{PD}(V)^{\fg} $ 로의 자연스러운 사상은 $ J \cong \mathfrak{F} $ 인 10차원 예외적 조르단 초대수군을 제외한 모든 경우에 전성이다.
• 루트 체계의 구조와 웨일 군의 작용을 바탕으로, $ \mathscr{P}(V) $ 의 다중도가 1인 분해를 위한 $ \Sigma $ 에 대한 필요 및 충분 조건이 도출되었다.
• 고유값 $ c_{\mu}(\lambda) $ 는 하리시-찬드라 호모모르피즘을 통해 계산되며, 이는 $ D_{\mu} $ 가 $ V_{\lambda} $ 에 작용하는 방식을 최고 무게 $ \tilde{\lambda} $ 와 $ \tilde{\mathfrak{h}} $ 에서의 대칭 다항식과 연결한다.