[논문 리뷰] Modular transformations of the elliptic hypergeometric functions, Macdonald polynomials, and the shift operator

Giovanni Felder, L. Stevens외 1명|ArXiv.org|2002. 03. 06.

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

한 줄 요약

이 논문은 타원 곡선 위의 $\mathfrak{sl}_2$ WZW 모델의 conformal block에 대한 모듈라 S-변환 작용에 대해 타원 하이퍼기하적 적분을 사용하여 명시적인 공식을 유도한다. 이는 모듈라 군의 행렬 원소와 루트 단위에서 평가된 $A_1$-Macdonald 다항식의 값 사이에 직접적인 연결을 수립하며, 적분에 스토크스 정리를 적용함으로써 이 다항식들의 재귀적 구조를 지배하는 이동 연산자가 드러나게 한다. 핵심 결과는 양자군의 상관관계자에 대한 재정규화된 추적 함수로 표현된 $S$-행렬의 닫힌 형태 표현이다.

ABSTRACT

We consider the space of elliptic hypergeometric functions of the sl_2 type associated with elliptic curves with one marked point. This space represents conformal blocks in the sl_2 WZW model of CFT. The modular group acts on this space. We give formulas for the matrices of the action in terms of values at roots of unity of Macdonald polynomials of the sl_2 type.

연구 동기 및 목표

• 타원 곡선 위의 $\mathfrak{sl}_2$ WZW 모델에 대한 conformal block 공간 위에서 모듈라 군 $\mathrm{SL}(2,\mathbb{Z})$ 의 작용을 계산하는 것.
• 변환 $\tau \mapsto -1/\tau$ 에 대응하는 $S$-변환의 행렬 원소와 루트 단위에서 평가된 $A_1$-Macdonald 다항식의 값 사이의 관계를 규명하는 것.
• 모듈라 표현 행렬이 직접 계산되며, 공轭에 의해 정의된 것 이상으로 계산되는 타원 하이퍼기하적 적분 해의 기저를 제공하는 것.
• 스토크스 정리를 적분 표현에 적용함으로써, 타원 하이퍼기하적 적분의 재귀적 구조에서 이동 연산자가 Macdonald 다항식의 재귀적 구성에 어떻게 나타나는지 명확히 하는 것.

제안 방법

• conformal block의 공간은 토러스 위의 KZB 열 방정정식의 해로 식별되며, 주기성, 준주기성 및 호모로지 조건으로 특징지어진다.
• 타원 하이퍼기하적 적분은 conformal block의 명시적 적분 표현을 제공하며, 해공간의 기저를 이룬다.
• 모듈라 $S$-변환은 타원 곡선의 모듈리 공간의 보편 커버의 코팅 변환에 대한 이러한 적분 해의 단일계속성(monodromy)을 분석하여 계산된다.
• $S$-변환의 행렬 원소는 $U_q(\mathfrak{sl}_2)$의 루트 단위에서의 양자군 상관관계자와 관련된 재정규화된 추적 함수 $\Psi^{(k)}(q^{-1}, \nu, \mu)$ 로 표현된다.
• 스토크스 정리를 기반으로 한 재귀적 절차가 적분에 적용되어, Macdonald 다항식 위에서 이동 연산자의 작용을 재현한다.
• $f_{m,n}^{(k)}$ 를 $\Psi^{(k)}$ 함수와 식별함으로써, $S$-행렬의 닫힌 형태 표현을 유도할 수 있다.

실험 결과

연구 질문

• RQ1 모듈라 군 $\mathrm{SL}(2,\mathbb{Z})$ 는 타원 곡선 위의 $\mathfrak{sl}_2$ WZW 모델의 conformal block 공간 위에 어떻게 프로젝티브로 작용하는가?
• RQ2 S-변환의 행렬 원소와 루트 단위에서 평가된 $A_1$-Macdonald 다항식의 값 사이의 정확한 관계는 무엇인가?
• RQ3 스토크스 정리를 타원 하이퍼기하적 적분에 적용함으로써, 재귀적 구조에서 이동 연산자는 어떻게 유도되는가?
• RQ4 공轭에 의해 정의된 것 이상으로, 표준 기저의 적분 해를 사용하여 $S$-행렬을 직접적으로 계산할 수 있는가?
• RQ5 양자군 상관관계자의 추적 함수와 conformal block의 모듈라 표현 사이의 연결 고리는 무엇인가?

주요 결과

• S-변환의 행렬 원소는 $\Psi^{(k)}$ 함수를 포함하는 공식으로 명시적으로 주어지며, 이는 $U_q(\mathfrak{sl}_2)$ 상관관계자의 루트 단위에서의 재정규화된 추적 함수이다.
• $S$-행렬은 $m$ 에 대한 합으로 표현되며, 계수로 $q^{pn - km - k(k+1)}$, 이항계수 $\begin{bmatrix}p\ k\end{bmatrix}^{-1}$, 그리고 $\Psi^{(k)}$ 함수의 차이를 포함한다.
• 이동 연산자는 $\Psi^{(k)}(q^{-1}, m, n)$ 에 대해 $D \Psi^{(k)} = q^{-k-1} \Psi^{(k+1)}$ 로 작용하여, Macdonald 다항식의 재귀적 구조와 정확히 일치한다.
• $A_1$-Macdonald 다항식의 루트 단위에서의 값이 특정 조합의 $\Psi^{(k)}$ 함수와 일치함을 보여주며, 키릴로프의 정리의 특수 케이스를 확인한다.
• Schur 다항식에서 Macdonald 다항식으로의 재귀적 구성은 타원 하이퍼기하적 적분에 대해 스토크스 정리를 적용함으로써 기하학적으로 실현된다.
• 직접적인 기저 $f_{m,n}^{(k)}$ 와 재정규화된 추적 함수 $\Psi^{(k)}$ 간의 식별을 통해 $S$-행렬 공식이 도출되었으며, 이는 모듈라 변환에 대한 닫힌 형태 표현을 이끌어낸다.