[논문 리뷰] The fundamental group of the complement of the singular locus of Lauricella's $F_C$

Yoshiaki Gotō, Jyoichi Kaneko|arXiv (Cornell University)|2017. 10. 26.

Nonlinear Waves and Solitons참고 문헌 1인용 수 3

한 줄 요약

이 논문은 라우리켈라의 초함수 $F_C$의 3변수에서의 특이 초곡면의 여집합의 기본군을 바르카펜-자르스키 정리와 라이드리슈타인-슐라이어 방법을 사용하여 완전히 제시한다. 논문은 $n=3$의 경우 기본군을 완전히 생성하는 세 가지 새로운 관계—(R_ij), (R_k), 및 (R_IJ)—를 규명하였으며, 이를 바탕으로 $2^3$-덮개 공간으로 확장하여, 11개의 생성자와 27개의 관계로 이루어진 덮개 공간의 기본군에 대한 명시적 표현을 도출한다.

ABSTRACT

We study the fundamental group of the complement of the singular locus of Lauricella's hypergeometric function $F_C$ of $n$ variables. The singular locus consists of $n$ hyperplanes and a hypersurface of degree $2^{n-1}$ in the complex $n$-space. We derive some relations that holds for general $n\geq 3$. We give an explicit presentation of the fundamental groupin the three-dimensional case. We also consider a presentation of the fundamental group of $2^3$-covering of this space. In the version 2, we omit some of the calculations. For all the calculations, refer to the version 1 (arXiv:1710.09594v1) of this article.

연구 동기 및 목표

• 3변수에서의 라우리켈라의 $F_C$의 특이 초곡면의 여집합의 기본군 $\pi_1(X^{(3)})$에 대한 완전한 정의 관계 집합을 규명하는 것.
• 이 표현을 $2^3$-덮개 공간 $\tilde{X}^{(3)}$로 확장하여, 이는 초평면의 여집합이 되도록 하는 것.
• $n \geq 3$의 경우, 특히 3차원의 경우 기존의 (R_ij)와 (R_k)를 초월한 새로운 관계—(R_IJ)를 식별하고 검증하여 군의 구조를 규명하는 것.
• 평면 절단과 직선의 매끄러운 패러미터화를 통한 모노드로미 관계의 체계적 계산을 통해 최소 생성자 및 관계 집합으로 축소하는 것.

제안 방법

• 특이 초곡면을 둘러싼 고리에 의한 모노드로미 관계를 분석하고, 공간을 열린 집합으로 분해함으로써 바르카펜-자르스키 정리를 사용하여 $\pi_1(X^{(3)})$를 계산하는 것.
• 좌표 초평면과 특이 초곡면 $S^{(3)}$를 둘러싼 기본 고리 $\gamma_0, \gamma_1, \gamma_2, \gamma_3$의 정의와 명시적 경로 구성.
• 서로소 인덱스 집합 $I, J$에 대해, $\gamma_0$의 공액을 포함하는 새로운 유형의 관계 (R_IJ) 도입. 이는 $p+q \leq n-1$ 조건을 만족할 때 유효하다.
• 라이드리슈타인-슐라이어 방법을 적용하여 $2^3$-덮개 공간 $\tilde{X}^{(3)}$의 기본군을 계산. 이는 특이 초곡면을 초평면 배열로 분해한다.
• $\tilde{X}^{(3)}$의 덮개 공간 내 고리에 대응하는 11개의 생성자 $\lambda_1, \lambda_2, \lambda_3, \lambda_0, \lambda_0^{(i)}, \lambda_0^{(ij)}, \lambda_0^{(123)}$ 식별.
• 공식 관계 27개의 검증: $\lambda_i$ 사이의 교환관계, $\lambda_0^{(i)}$ 사이의 교환관계, $\lambda_0^{(ij)}$와 공액된 $\lambda_i$ 사이의 혼합 교환관계, 그리고 $\lambda_0^{(123)}$를 포함하는 관계.

실험 결과

연구 질문

• RQ1 3 이상의 $n$에 대해, 기존의 (R_ij)와 (R_k)를 초월해 기본군 $\pi_1(X^{(n)})$를 지배하는 추가적인 관계는 무엇인가?
• RQ2 $\pi_1(X^{(3)})$가 (R_ij), (R_k), 그리고 새로운 (R_IJ) 관계만으로 완전히 표현될 수 있는가?
• RQ3 $2^3$-덮개 공간 $\tilde{X}^{(3)}$의 기본군은 원래 군 $\pi_1(X^{(3)})$와 어떻게 관련이 있는가?
• RQ4 $\tilde{X}^{(3)}$의 덮개 공간의 기본군의 구조는 무엇이며, 생성자와 관계를 명시적으로 제시할 수 있는가?

주요 결과

• 기본군 $\pi_1(X^{(3)})$는 생성자 $\gamma_0, \gamma_1, \gamma_2, \gamma_3$와 관계 (R_ij), (R_k), (R_IJ)로 완전히 표현되며, 추가 관계는 필요하지 않다.
• 새로운 관계 (R_IJ)는 $\{1,2,3\}$의 서로소 부분집합 $I, J$에 대해 $|I|, |J| \geq 1$ 및 $|I| + |J| \leq 2$ 조건을 만족할 때 유효하며, $n=3$의 경우 완전한 표현에 필수적이다.
• $2^3$-덮개 공간 $\tilde{X}^{(3)}$는 초평면 배열의 여집합이며, 그 기본군 $\pi_1(\tilde{X}^{(3)})$는 11개의 생성자와 27개의 정의 관계로 표현된다.
• $\pi_1(\tilde{X}^{(3)})$의 27개의 관계에는 $\lambda_i$ 간의 교환관계, $\lambda_0^{(i)}$ 간의 교환관계, $\lambda_0^{(ij)}$ 간의 교환관계, 그리고 공액 및 삼중 교차를 포함하는 혼합 교환관계가 포함되어 있다.
• (5.58)–(5.60)의 관계들은 덮개 공간 내 초평면의 기하적 교차에 기인하며, $X^{(3)}$의 평면 절단에서의 직선에 대응하며, 일관성을 확보하는 데 필수적이다.
• 저자들은 모든 모노드로미 관계가 제시된 집합으로 축소됨을 검증하여, $\tilde{X}^{(3)}$에 대한 군 표현의 완전성을 확인하였다.