[논문 리뷰] Casimir operators for Lie superalgebras

Dimitry Leites, A. N. Sergeev|ArXiv.org|2002. 02. 18.

Algebraic structures and combinatorial models참고 문헌 8인용 수 5

한 줄 요약

이 논문은 변형 양자화를 통해 나머지 고전적 리 초대수대수—특히 ${\mathfrak{po}}(0|2n)$ 및 ${\mathfrak{po}}(0|2n-1)$—에 대한 카시미르 연산자를 구성한다: ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 및 ${\mathfrak{q}}(2^{n-1})$의 카시미르 연산자의 $\hbar$-전개에서 가장 낮은 차수 항들이 각각 ${\mathfrak{po}}(0|2n)$ 및 ${\mathfrak{po}}(0|2n-1)$의 파울리 초대수대수에 대한 카시미르 연산자가 된다. 이 추측은 $m \leq 6$인 경우에 증명된다.

ABSTRACT

Casimir operators -- the generators of the center of the enveloping algebra -- are described for simple or close to them ``classical'' finite dimensional Lie superalgebras with nondegenerate symmetric even bilinear form in Sergeev A., The invariant polynomials on simple Lie superalgebras. Represent. Theory 3 (1999), 250--280; math-RT/9810111 and for the ``queer'' series in Sergeev A., The centre of enveloping algebra for Lie superalgebra Q(n, C). Lett. Math. Phys. 7, no. 3, 1983, 177--179. Here we consider the remaining cases, and state conjectures proved for small values of parameter. Under deformation (quantization) the Poisson Lie superalgebra po(0|2n) on purely odd superspace turns into gl(2^{n-1}|2^{n-1}) and, conjecturally, the lowest terms of the Taylor series expansion with respect to the deformation parameter (Planck's constant) of the Casimir operators for gl(2^{n-1}|2^{n-1}) are the Casimir operators for po(0|2n). Similarly, quantization sends po(0|2n-1) into q(2^{n-1}) and the above procedure makes Casimir operators for q(2^{n-1}) into same for po(0|2n-1). Casimir operators for the Lie superalgebra vect(0|m) of vector fields on purely odd superspace are only constants for m>2. Conjecturally, same is true for the Lie superalgebra svect(0|m) of divergence free vector fields, and its deform, for m>3. Invariant polynomials on po(0|2n-1) are also described. They do not correspond to Casimir operators.

연구 동기 및 목표

• 유한차원 고전적 리 초대수대수에 대한 카시미르 연산자의 분류를 완성하기 위해 누락된 케이스인 ${\mathfrak{po}}(0|m)$ 및 그 유사체를 다루는 것.
• 양자화된 초대수대수(${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 및 ${\mathfrak{q}}(2^{n-1})$)의 카시미르 연산자와 파울리 초대수대수 ${\mathfrak{po}}(0|m)$의 카시미르 연산자 사이의 대응을 확립하는 것.
• ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 또는 ${\mathfrak{q}}(2^{n-1})$의 관측치의 $\hbar$-전개에서 가장 낮은 차수 항이 ${\mathfrak{po}}(0|m)$ 위의 모든 불변 다항식을 생성한다는 추측을 증명하는 것.
• ${\mathfrak{po}}(0|m)$에서 생성되는 불변 다항식의 구조를 명확히 하기 위해 초트레이스로 생성되는 다항식과 그라스만 변수에 대한 적분으로 유도되는 다항식 간의 차이를 분석하는 것, 특히 $m \geq 4$인 경우에 중점적으로 다룸.

제안 방법

• 변형 양자화를 활용: 파arameter $\hbar$를 통해 파울리 초대수대수 ${\mathfrak{po}}(0|2n)$를 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$로, ${\mathfrak{po}}(0|2n-1)$을 ${\mathfrak{q}}(2^{n-1})$로 변형한다.
• 함수를 클리포드 대수의 연산자로 옮기는 사상 $Q$를 적용하여, 파울리 괄호를 $\hbar$ 보정항까지 유지한다.
• ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 및 ${\mathfrak{q}}(2^{n-1})$에서 알려진 카시미르 연산자의 가장 낮은 차수 $\hbar$-항을 추출하여 ${\mathfrak{po}}(0|m)$ 위의 관측치 후보를 도출한다.
• 레마 $[Q(f), Q(g)] = \hbar \{f,g\} + \mathcal{O}(\hbar^2)$를 사용하여 이러한 후보가 실제로 ${\mathfrak{po}}(0|m)$ 위의 불변 다항식임을 검증한다.
• ${\operatorname{str}}(Q(f)^k) = \frac{1}{k} \int f^k \operatorname{vol} \cdot \hbar^n + \mathcal{O}(\hbar^n)$라는 사실을 활용하여 초트레이스 관측치와 적분 관측치를 연결한다.
• $m = 2n \leq 6$인 경우에 직접 계산을 통해 추측을 증명하며, 모든 관측치가 이 양자화 절차로부터 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 파울리 초대수대수 ${\mathfrak{po}}(0|2n)$에 대한 카시미르 연산자는 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$의 $\hbar$-전개에서 유도된 카시미르 연산자의 가장 낮은 차수 항으로 구성될 수 있는가?
• RQ2 유사한 양자화 절차를 통해 ${\mathfrak{q}}(2^{n-1})$에서 유도된 모든 ${\mathfrak{po}}(0|2n-1)$ 위의 불변 다항식이 생성되는가?
• RQ3 ${\mathfrak{po}}(0|2n)$에서 $n \geq 2$일 때 표준 초트레이스 관측치 $P_{k,\rho} = \operatorname{str}(\rho(X)^k)$가 모든 관측치를 생성하지 못하는 이유는 무엇인가?
• RQ4 ${\mathfrak{po}}(0|m)$ 위의 전체 관측치 대수를 생성하는 데 있어 적분 관측치 $r_k = \int f^k \operatorname{vol}$의 역할은 무엇인가?
• RQ5 모든 ${\mathfrak{po}}(0|m)$ 위의 관측치가 ${\mathfrak{gl}}$ 또는 ${\mathfrak{q}}$ 관측치의 $\hbar$-전개에서 가장 낮은 차수 항으로 유도된다는 추측은 일반적으로 참인가?

주요 결과

• ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$의 카시미르 연산자에서 유도된 가장 낮은 차수 $\hbar$-항은 ${\mathfrak{po}}(0|2n)$ 위의 불변 다항식을 생성하며, 마찬가지로 ${\mathfrak{q}}(2^{n-1})$의 경우 ${\mathfrak{po}}(0|2n-1)$에 대해 적용된다.
• $m = 2n \leq 6$인 경우, ${\mathfrak{po}}(0|m)$ 위의 모든 불변 다항식이 이 양자화 절차로부터 유도됨을 증명하였다.
• 다항식 $r_k = \int f^k \operatorname{vol}$는 $n \geq 2$일 때 전체 관측치 대수를 생성하지 못하며, 반례로 반경 방향에서 $x_1^2x_2^2(x_1^2 - x_2^2)$인 경우를 제시하였다.
• ${\mathfrak{po}}(0|2n)$ 위의 관측치 대수는 초트레이스 관측치 $P_{k,\rho}$와 적분 관측치 $r_k$로 생성되는 대수를 엄밀히 포함하고 있어 더 풍부한 구조를 가짐을 시사한다.
• 양자화 사상 $Q$는 $\mathcal{O}(\hbar^2)$까지 파울리 괄호를 유지하므로, ${\mathfrak{po}}(0|m)$ 위의 관측치의 $Q$-이미지는 양자화 초대수대수 위의 관측치가 된다.
• ${\operatorname{str}}(Q(f)^k)$는 $\frac{1}{k} \int f^k \operatorname{vol} \cdot \hbar^n + \mathcal{O}(\hbar^n)$로 전개되며, 이는 적분 관측치와 연산자 관측치를 연결한다.