[논문 리뷰] Weyl denominator identity for the affine Lie superalgebra gl(2|2)^

Maria Gorelik|arXiv (Cornell University)|2010. 07. 25.

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

한 줄 요약

이 논문은 Kac와 Wakimoto가 추측한 아핀 리 초대수 $τ{gl}(2|2)\hat{}$에 대한 Weyl 분모 항등식을 카시미르 연산자와 Z에 영감을 받은 해석 기법을 사용하여 증명한다 — 이 방법은 정수를 8개의 제곱수의 합으로 나타내는 방법의 수에 대한 고전적 자코비 항등식에 대한 새로운 증명을 제공한다.

ABSTRACT

We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.

연구 동기 및 목표

• 아핀 리 초대수 $τ{gl}(2|2)\hat{}$에 대한 Weyl 분모 항등식을 증명하는 것 — Kac와 Wakimoto가 [KW]에서 추측한 바이다.
• 기존의 아핀 리 초대수에 대한 분모 항등식 프레임워크를, 이중 코크세터 수가 0인 $τ{gl}(2|2)\hat{}$의 경우로 확장하는 것 — 이는 표준 분류 외부에 속하기 때문이다.
• 분모 항등식을 이용해 정수를 8개의 제곱수의 합으로 나타내는 방법의 수에 대한 자코비 항등식에 대한 새로운 해석적 증명을 제공하는 것.
• 모듈러 형식의 무한 곱 항등식과 아핀 리 초대수의 표현 이론적 구조 사이의 연결 고리를 설정하는 것.

제안 방법

• 아핀 리 초대수 $τ{gl}(2|2)\hat{}$에 존재하는 카시미르 연산자를 이용해 Weyl 분모의 구조를 분석한다.
• 0 < q < 1 인 경우에 대해 $(1+x)_q^\infty = \prod_{n=0}^\infty (1 + q^n x)$ 와 $(1-x)_q^\infty = \prod_{n=0}^\infty (1 - q^n x)$ 형태의 무한 곱 전개를 사용하여 $x, y_1, y_2$ 에 대한 형식적 멱급수를 정의한다.
• 해석적 계속성과 유리형 함수 이론을 적용하여 $q < |y_1/y_2| < q^{-1}$ 영역에서 분모 항등식을 평가하고, 유리형 인자를 $f_n(y)$ 에 대한 급수로 전개한다.
• 편미분 아핀 리 초대수의 경우에 대해 [Z]의 방법을 활용하고, 함수 방정식과 잔여치 분석을 통해 $τ{gl}(2|2)\hat{}$의 경우로 이를 적응시킨다.
• 비율 $AB / \hat{R}(y)$ 가 $y \mapsto qy$ 에 대해 $q$-불변이며 해석적임을 보여 $y=1$ 에서 정규화함으로써 이 비율이 상수 함수임을 증명한다.
• 분모 항등식을 $y_1 = y_2 = 1$ 에서 평가하고 $x \to 1$ 의 극한을 취하며, 가우스의 항등식 $\square(-q) = (1-q)_q^\infty / (1+q)_q^\infty$ 를 사용하여 자코비의 8제곱수 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 아핀 리 초대수 $τ{gl}(2|2)\hat{}$에 대한 Weyl 분모 항등식의 명시적 형태는 무엇인가?
• RQ2 이중 코크세터 수가 0인 경우에 카시미르 연산자와 해석적 계속 기법을 어떻게 사용하여 분모 항등식을 증명할 수 있는가?
• RQ3 $τ{gl}(2|2)\hat{}$에 대한 분모 항등식을 평가하여 자코비의 8제곱수 정리와 같은 기존의 수론적 항등식을 복원할 수 있는가?
• RQ4 무한 곱 $\prod_{n=0}^\infty (1 \pm q^n x)$ 는 아핀 리 초대수의 표현 이론적 자료를 어떻게 코딩하는가?
• RQ5 $τ{gl}(2|2)\hat{}$의 분모 항등식의 구조는 카르탕 부분대수의 랭크 차이로 인해 $τ{sl}(2|2)\hat{}$와 어떻게 다를까?

주요 결과

• $τ{gl}(2|2)\hat{}$에 대한 Weyl 분모 항등식은 $q$, $x$, $y_1, y_2$ 를 포함하는 비자명한 무한 곱과 급수 항등식의 형태로 증명된다.
• 분모 항등식은 $y_1 = y_2 = 1$ 에서 평가되었을 때 자코비의 8제곱수 항등식으로 간소화되며, $\square(q)^8 = 1 + 16\sum_{j,k=1}^\infty (-1)^{(j+1)k} k^3 q^{jk}$ 를 유도한다. 여기서 $\square(q) = \sum_{j\in\mathbb{Z}} q^{j^2}$ 이다.
• $\square(q)^8$ 에서 $q^m$ 의 계수는 $m$ 이 8개의 제곱수의 합으로 나타나는 방법의 수를 세며, 순서와 부호를 고려한다.
• 비율 $AB / \hat{R}(y)$ 가 $0 < |y|$ 의 구멍이 난 디스크에서 항상 1임을 증명하였으며, 이는 이 비율이 해석적이고 $q$-불변이며 $y=1$ 에서 정규화되었기 때문이다.
• $\frac{((1-q)_q^\infty)^2}{(1-qy_1^{-1}y_2)_q^\infty (1-qy_1y_2^{-1})_q^\infty}$ 의 전개는 계수 $f_n(y) = (y^n + y^{-n} - y^{n-1} - y^{1-n}) \sum_{j=0}^\infty (-1)^j q^{(j+1)(j+2n)/2}$ 를 가진 급수 $1 + \sum_{n=1}^\infty f_n(y_1/y_2)$ 를 제공한다.
• $τ{sl}(2|2)\hat{}$의 분모 항등식은 $y_1 = y_2$ 로 설정함으로써 $τ{gl}(2|2)\hat{}$의 것에서 유도되며, 카르탕 부분대수가 한 치수 작기 때문에 좌변에 추가로 $(1-q)_q^\infty$ 인자가 나타난다.