[논문 리뷰] Intersection numbers and twisted period relations for the generalized hypergeometric function ${}_{m+1} F_m$

Yoshiaki Gotō|arXiv (Cornell University)|2014. 06. 29.

Nonlinear Waves and Solitons참고 문헌 10인용 수 6

한 줄 요약

이 논문은 비틀린 (co)homology 군과 교차 이론을 사용하여 일반화된 초함수적 함수 ${}_{m+1}F_m$에 대한 비틀린 주기 관계를 수립한다. 특성적인 해를 나타내는 비틀린 순환을 구성하고 특이점의 해소를 통해 그들의 교차 수를 계산함으로써, ${}_{m+1}F_m$ 급수 간의 명시적인 이차 관계를 도출한다. 대각선 교차 행렬을 통해 관계는 닫힌 형태의 초함수적 함수와 감마 인자들의 곱으로 단순화된다.

ABSTRACT

We study the generalized hypergeometric function ${}_{m+1} F_m$ and the differential equation ${}_{m+1}E_m$ satisfied by it. We use the twisted (co)homology groups associated with an integral representation of Euler type. We evaluate the intersection numbers of some twisted cocycles which are defined as $m$-th exterior products of logarithmic $1$-forms. We also give twisted cycles corresponding to the series solutions to ${}_{m+1}E_m$, and evaluate the intersection numbers of them. These intersection numbers of the twisted (co)cycles lead twisted period relations which give relations for two fundamental systems of solutions to ${}_{m+1}E_m$.

연구 동기 및 목표

• 비틀린 (co)homology의 교차 이론을 사용하여 일반화된 초함수적 함수 ${}_{m+1}F_m$에 대한 비틀린 주기 관계를 수립한다.
• 유진형 적분 표현의 비정상적으로 교차하는 특이점 집합을 단계적 블로우업과 조합적 분할 구조를 활용하여 해소한다.
• ${}_{m+1}E_m$ 미분방정식의 $m+1$ 개의 기본 해를 나타내는 명시적인 비틀린 순환을 구성한다.
• 이 순환과 그 쌍대의 교차 수를 계산하여 ${}_{m+1}F_m$ 급수 간의 이차 관계를 도출한다.

제안 방법

• 특이점 분할을 제외한 $\mathbb{C}^m$ 위에서 정의된 다가값 인테그란드 $u$를 사용한 ${}_{m+1}F_m$의 유크형 적분 표현을 사용한다.
• 로그형 1-형식의 $m$차 외적에 대한 국소계 $\nabla_\omega$ 계수를 갖는 비틀린 (co)homology 이론을 적용한다.
• 완전한 해소에서의 분할의 조합적 구조를 활용하여 인테그란드의 특이점 집합을 체계적인 블로우업 과정을 통해 해소한다.
• 유한한 칸과 비표준 정규화를 사용하여 ${}_{m+1}E_m$의 $m+1$ 개 해에 대응하는 비틀린 순환 $\Delta_k$와 그 쌍대 $\Delta_k^\vee$를 구성한다.
• 식 [12]에서 유도된 공식을 사용하여 교차 수 $I_h(\Delta_k, \Delta_l^\vee)$를 계산하며, 비대칭 항이 사라지고 대칭 항은 $\alpha_j = e^{2\pi i a_j}$, $\beta_j = e^{2\pi i b_j}$에 따라 명시적으로 기술됨을 보인다.
• 교차 형식과 적분 쌍대를 조합하여 비틀린 주기 관계를 유도하며, 이를 ${}_{m+1}F_m$ 급수 간의 이차 항등식으로 단순화한다.

실험 결과

연구 질문

• RQ1 비정상적으로 교차하지 않는 특이점 집합을 가진 일반화된 초함수적 함수 ${}_{m+1}F_m$에 대해 비틀린 코호모로지 순환의 교차 수는 어떻게 계산할 수 있는가?
• RQ2 ${}_{m+1}E_m$ 미분방정식의 $m+1$ 개 기본 해에 대응하는 비틀린 순환의 교차 수의 명시적 형태는 무엇인가?
• RQ3 비틀린 주기 관계가 ${}_{m+1}F_m$ 급수 간의 이차 관계로 어떻게 단순화되는가?
• RQ4 비틀린 순환의 교차 행렬은 주기 관계를 단순화할 수 있도록 대각화될 수 있는가?
• RQ5 이 논문에서의 비틀린 순환과 이전 문헌에서 실 칸을 통해 구성된 순환 사이의 정확한 대응 관계는 무엇인가?

주요 결과

• 교차 수 $I_h(\Delta_k, \Delta_l^\vee)$는 $k \neq l$일 때 0이며, 자기 교차 수는 $\alpha_j = e^{2\pi i a_j}$와 $\beta_j = e^{2\pi i b_j}$를 포함하는 감마 유사 인자들의 곱으로 명시적으로 계산된다.
• 특히 $\Delta_0$의 자기 교차 수는 $\prod_{i=1}^m \frac{\alpha_i(1 - \beta_i)}{(1 - \alpha_i)(\alpha_i - \beta_i)}$이며, $\Delta_r$ ($1 \leq r \leq m$)의 경우 $\prod_{j \neq r} \frac{\alpha_j(\beta_r - \beta_j)}{(\beta_r - \alpha_j)(\alpha_j - \beta_j)} \cdot \frac{\alpha_0 - \beta_r}{(1 - \beta_r)(\alpha_0 - 1)}$로 주어진다.
• 비틀린 순환 $\Delta_0, \ldots, \Delta_m$은 교차 행렬의 행렬식이 0이 아니므로 비틀린 호모로지 군 $H_m(\mathcal{C}_\bullet(M, u))$의 기저를 이룬다.
• 비틀린 주기 관계 (20)는 이차 항등식으로 단순화되며, ${}_{m+1}F_m$와 그 쌍대의 곱이 $x^2$, $a_0$, $b_r$, $a_l - b_r$를 포함한 계수를 가진 이동된 ${}_{m+1}F_m$ 급수의 합으로 표현됨을 보여준다.
• 관례 5.2는 $\prod_{l=1}^m \frac{b_l - b_0}{a_l - b_0}$가 이동된 매개수 $\boldsymbol{a}^{r,\pm}, \boldsymbol{b}^{r,\pm}$를 가진 ${}_{m+1}F_m$ 함수의 곱의 합과 등가임을 제시한다.
• 이 논문의 순환 $\Delta_k$와 [10]에서의 순환 사이의 대응은 좌표 변환 $p: (t_1,\ldots,t_m) \mapsto (1/t_1,\ldots,1/t_m)$을 통해 명시적으로 기술되며, 부호 및 인자 보정을 거쳐 스칼라 등가성을 보여준다.