[논문 리뷰] A Selberg Integral Type Formula for an sl_2 One-Dimensional Space of Conformal Blocks

Alexander Varchenko|ArXiv.org|2008. 10. 19.

Advanced Topics in Algebra참고 문헌 8인용 수 8

한 줄 요약

이 논문은 리만 구면 위의 $ \mathfrak{sl}_2 $ 순수 블록 공간에서 수준 1의 세르베르크 적분 유형 공식을 유도한다. $ 2N $개의 변수에 대해 선형이며 $ \mathfrak{sl}_2 $-불변인 동차 다항식 $ P(\boldsymbol{y};\boldsymbol{z}) $를 구성하며, 이는 $ \boldsymbol{y}=\boldsymbol{z} $에서 차수 $ N-1 $으로 영이 된다. 또한 다변수 세르베르크 유형 적분을 통한 평탄한 섹션의 초함수 적분 표현을 제공하고, 감마 함수와 원주율의 근을 이용한 정확한 정규화 상수 $ C $를 도출한다.

ABSTRACT

For distinct complex numbers $z_1,...,z_{2N}$, we give a polynomial $P(y_1,...,y_{2N})$ in the variables $y_1,...,y_{2N}$, which is homogeneous of degree $N$, linear with respect to each variable, $sl_2$-invariant with respect to a natural $sl_2$-action, and is of order $N-1$ at $(y_1,...,y_{2N})=(z_1,...,z_{2N})$. We give also a Selberg integral type formula for the associated one-dimensional space of conformal blocks.

연구 동기 및 목표

• 리만 구면 위의 $ \mathfrak{sl}_2 $ 순수 블록 공간에서 수준 1의 1차원 공간에 대한 명시적 생성자를 구성한다.
• 이 배럴 위의 켄지크니츠-자몰로드치코프(Knizhnik-Zamolodchikov) 접속의 평탄한 섹션에 대한 초함수 적분 표현의 닫힌 형태 표현을 제공한다.
• 관련 초함수 적분의 渐近적 행동과 단일계승 성질을 분석하여 순수 블록에 대한 세르베르크 적분 유형 공식을 수립한다.
• 적분과 다항식 생성자 $ P(\boldsymbol{y};\boldsymbol{z}) $를 연결하는 정확한 정규화 상수 $ C $를 결정한다.

제안 방법

• 다항식 $ P(\boldsymbol{y};\boldsymbol{z}) = \det_{1\leq a,b\leq N}\left(\frac{y_a - y_{N+b}}{z_a - z_{N+b}}\right) $를 구성하며, 이는 차수 $ N $의 동차 다항식이며 각 변수에 대해 선형이며 $ \mathfrak{sl}_2 $-불변이다.
• 순수 블록 배럴 위의 KZ 접속을 사용하여 평탄한 섹션을 $ \tilde{s}(\boldsymbol{z}) = \tilde{A}(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $로 표현하며, $ \tilde{A}(\boldsymbol{z}) $는 연결의 정칙 특이점에 의해 결정되는 다가값 함수이다.
• 적분 $ I_\gamma(\boldsymbol{z}) $의 渐近적 행동을 분석하여 $ z_{N+a} - z_a \to 0 $일 때 단일계승 인자 $ \prod_{a<b}(z_b - z_a)^{\alpha_{a,b}} $의 지수 $ \alpha_{a,b} $를 결정한다.
• 적분 $ I_\gamma(\boldsymbol{z}) $의 渐近적 행동을 $ \tilde{A}(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $와 비교하여 정규화를 고정하고, $ \alpha_{a,N+a} = 1/2 $임을 도출하며 $ A(\boldsymbol{z}) $의 전체 형태를 규명한다.
• 감마 함수 항등식과 단일계승 자료를 이용하여 정규화 상수 $ C = e^{-\pi i N^2/3} (3e^{\pi i/6} \Gamma(2/3)^3 \sin(\pi/3)/\pi)^N $를 도출한다.
• 적분의 $ y_1 \cdots y_N $ 계수를 비교하여 식 (5.5)의 세르베르크 유형 공식을 수립한다.

실험 결과

연구 질문

• RQ1 리만 구면 위의 $ 2N $개의 지정점에서 수준 1의 $ \mathfrak{sl}_2 $ 순수 블록 공간에 대한 1차원 공간의 명시적 생성자의 형태는 무엇인가?
• RQ2 이 경우 켄지크니츠-자몰로드치코프 접속의 평탄한 섹션에 대한 초함수 적분 표현은 어떻게 명시적으로 평가할 수 있는가?
• RQ3 다변수 초함수 적분과 $ \mathfrak{sl}_2 $-불변 다항식 생성자 사이의 정확한 정규화 상수는 무엇인가?
• RQ4 적분의 단일계승 성질과 渐近적 행동은 순수 블록 섹션의 구조를 어떻게 결정하는가?

주요 결과

• 다항식 $ P(\boldsymbol{y};\boldsymbol{z}) = \sum_{\sigma \in S_N} (-1)^\sigma \prod_{a=1}^N \frac{y_{\sigma_a} - y_{N+a}}{z_{\sigma_a} - z_{N+a}} $는 수준 1의 $ \mathfrak{sl}_2 $ 순수 블록 공간을 생성한다.
• KZ 접속의 평탄한 섹션은 $ s(\boldsymbol{z}) = A(\boldsymbol{z}) P(\boldsymbol{y};\boldsymbol{z}) $로 주어지며, 여기서 $ A(\boldsymbol{z}) = \prod_{1\leq a<b\leq 2N} (z_b - z_a)^{\alpha_{a,b}} $이며, $ \alpha_{a,N+a} = 1/2 $이고 나머지는 0이다.
• 세르베르크 유형 공식의 정규화 상수는 $ C = e^{-\pi i N^2/3} (3e^{\pi i/6} \Gamma(2/3)^3 \sin(\pi/3)/\pi)^N $이며, 이는 渐近적 분석과 감마 함수 항등식으로부터 유도된다.
• 초함수 적분 $ I_\gamma(\boldsymbol{z}) $는 $ C \cdot s(\boldsymbol{z}) $와 같으며, 양변의 $ y_1 \cdots y_N $ 계수는 정확히 일치한다.
• 식 (5.5)는 $ N $중 적분의 곱을 $ \mathfrak{sl}_2 $-불변 다항식과 차이 $ z_b - z_a $의 거듭제곱으로 표현하는 유한합으로 나타내며, 세르베르크 유형의 구조를 확인한다.
• 결과적으로 순수 블록 공간이 1차원임을 확인하고, 특수 함수를 포함하는 닫힌 형태 표현을 통해 관련 초함수 적분을 완전히 명시적으로 평가함을 보여준다.