[논문 리뷰] The affine VW supercategory

Martina Balagović, Zajj Daugherty외 8명|arXiv (Cornell University)|2018. 01. 12.

Algebraic structures and combinatorial models참고 문헌 25인용 수 6

한 줄 요약

이 논문은 $\mathfrak{p}(n)$의 분류화를 위한 아핀 VW 초수학적 범주를 도입한다. 이는 $\mathfrak{p}(n)\otimes\mathfrak{p}(n)$에서 진정한 이차 카시미르가 존재하지 않기 때문에, 가짜 카시미르 연산자 $\Omega$를 통해 다항식 생성자 $Y_j$를 구성함으로써 이루어진다. 핵심 결과는 아핀 VW 초수학적 범주와 그 몫인 브라우어 초수학적 범주의 사상 공간에 대한 명시적 기저 정리로, 이는 그 구조와 중심에 대한 완전한 기술을 가능하게 한다.

ABSTRACT

We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine Hecke algebras in the context of representations of the general linear group; the main obstacle was the lack of a quadratic Casimir element in $\mathfrak{p}(n)\otimes \mathfrak{p}(n)$. When $M$ is the trivial representation, the action factors through the Brauer supercategory $\mathit{s}\mathcal{B}\mathit{r}$. Our main result is an explicit basis theorem for the morphism spaces of $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$ and, as a consequence, of $\mathit{s}\mathcal{B}\mathit{r}$. The proof utilises the close connection with the representation theory of $\mathfrak{p}(n)$. As an application we explicitly describe the centre of all endomorphism algebras, and show that it behaves well under the passage to the associated graded and under deformation.

연구 동기 및 목표

• 데기너레이트 아핀 허크 알제브라가 $\mathfrak{gl}_n$에 대해 작동하는 것과 유사하게, $\mathfrak{p}(n)$의 분류화를 구축하는 것.
• $\mathfrak{p}(n)\otimes\mathfrak{p}(n)$에서 이차 카시미르가 존재하지 않는 문제를 해결하기 위해 '가짜' 카시미르 연산자 $\Omega$를 도입하는 것.
• $\Omega$를 사용하여 $M\otimes V^{\otimes a}$의 내부자 연산자 대수에서 다항식 생성자 $Y_j$를 정의함으로써 주키스-머피 원소를 일반화하는 것.
• 아핀 VW 초수학적 범주와 그 몫인 브라우어 초수학적 범주의 사상 공간에 대한 명시적 기저를 확립하는 것.
• 모든 내부자 대수의 중심을 기술하고, 그 것이 그라디에이션과 변형과의 호환성을 보여주는 것.

제안 방법

• $\mathfrak{gl}(n|n)\otimes\mathfrak{gl}(n|n)$에서 $\Omega = \sum_{x \in \mathcal{X}} x \otimes x^*$로 정의된 가짜 카시미르 연산자 $\Omega$를 정의하며, 이는 $\mathfrak{p}(n)$의 원소 $y$에 대해 코곱 $\Delta(y)$와 교환됨을 보인다.
• $\Omega$가 $\operatorname{End}_{\mathfrak{p}(n)}(M\otimes V)$에 제한됨을 증명하여 $\mathfrak{p}(n)$-작용과의 호환성을 확보한다.
• $\Omega_{ij}$가 $i$-번째 및 $j$-번째 텐서 인자에 작용함을 고려하여, 주키스-머피 형 원소 $Y_j = \sum_{i=0}^{j-1} \Omega_{ij}$를 정의한다.
• 코작용 성질과 $\Omega$의 중심성에 기반해 $Y_j$들이 상호 교환됨을 보인다.
• 표현 이론적 기법을 활용하여 아핀 VW 초수학적 범주의 사상 공간이 명시적 기저를 가짐을 증명한다.
• 이 기저를 활용해 내부자 대수의 중심을 계산하고, 그라디에이션과 변형에 대한 행동을 분석한다.

실험 결과

연구 질문

• RQ1 진정한 이차 카시미르가 $\mathfrak{p}(n)\otimes\mathfrak{p}(n)$에 존재하지 않는다는 점을 감안할 때, $\mathfrak{p}(n)$에 대해 데기너레이트 아핀 허크 대수 유사한 구조를 구성할 수 있는가?
• RQ2 임의의 $\mathfrak{p}(n)$-모듈 $M$에 대해 내부자 대수 $\operatorname{End}_{\mathfrak{p}(n)}(M\otimes V^{\otimes a})$의 구조는 어떻게 되는가?
• RQ3 이 맥락에서 다항식 생성자 $Y_j$는 어떻게 정의할 수 있으며, 주키스-머피 원소를 일반화하는가?
• RQ4 아핀 VW 초수학적 범주와 그 몫인 브라우어 초수학적 범주의 사상 공간에 대한 명시적 기저는 무엇인가?
• RQ5 내부자 대수의 중심은 그라디에이션과 변형 하에서 어떻게 행동하는가?

주요 결과

• 아핀 VW 초수학적 범주 $\mathit{s}\bigdoublevee$는 $\mathfrak{p}(n)$와 가환하는 $M\otimes V^{\otimes a}$의 내부자 범주로 정의되며, 사상 공간은 $Y_j$와 브라우어 관계로 생성된다.
• 아핀 VW 초수학적 범주의 사상 공간에 대한 명시적 기저가 구성되었으며, 이는 데기너레이트 아핀 허크 대수의 기저를 일반화한다.
• 기저 정리는 $M$이 자명할 때 몫이 되는 브라우어 초수학적 범주 $\mathit{s}\mathcal{B}\mathit{r}$에도 적용된다.
• $\mathit{s}\bigdoublevee$의 모든 내부자 대수의 중심이 명시적으로 기술되었으며, 그라디에이션과 변형과의 호환성이 입증되었다.
• 가짜 카시미르 연산자 $\Omega$가 모든 $y \in \mathfrak{p}(n)$에 대해 코곱 $\Delta(y)$와 교환됨을 보여, $Y_j$의 구성이 가능함을 입증하였다.
• $V\otimes V$에서 $\Omega$의 작용이 $\sigma + \beta^*\beta$로 계산되어, 카시미르의 초트레이스 기반 대체 역할을 확인하였다.