[논문 리뷰] Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions

Alyson Deines, Jenny G. Fuselier외 3명|arXiv (Cornell University)|2015. 01. 15.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 5

한 줄 요약

이 논문은 고차원 레지오드 곡선의 일반화를 통해 초함수급수, 절단된 초함수급수, 그리고 가우스 초함수함수 사이의 깊은 연결 고리를 수립한다. 이는 소수 $ p^3 $ 또는 $ p^2 $ 모듈로에서 절단된 초함수급수와 $ p $-진 감마 함수 값, 자코비 합 사이의 대응을 증명하며, 산술기하학에서 주기, 갈루아 표현, 단위근을 통합하는 합동식을 드러낸다.

ABSTRACT

In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.

연구 동기 및 목표

• 고차원 레지오드 곡선의 일반화 맥락에서 초함수급수, 절단된 초함수급수, 가우스 초함수함수 간의 상호작용을 조사한다.
• 특히 매개수 $ rac{1}{3} $ 및 $ rac{2}{3} $ 에서 $ p $-진 감마 함수 값의 표면적 공액성에 대한 모순을 산술기하학과 $ p $-진 해석을 통해 명확히 한다.
• 절단된 초함수급수와 $ p $-진 감마 함수 값 사이의 슈퍼합동식을 $ p^3 $, $ p^4 $, 또는 $ p^5 $ 모듈로에서 수립하며, 이를 자코비 합과 모듈러 형식과 연결한다.
• 이전의 [15]의 프레임워크를 $ {}_2F_1 $ 에서 고차원에서의 $ {}_nF_{n-1} $ 초함수함수로 확장하여 주기, 갈루아 표현, 단위근을 연결한다.

제안 방법

• 유한체 초함수함수(가우스 초함수함수)를 사용하여 레지오드 곡선의 고차원 일반화인 $ C_{n, ho} $ 의 유리점 수를 세는 데 활용한다.
• 그로스-코블리츠 공식을 적용하여 $ p $-진 감마 함수를 가우스 합과 자코비 합과 연결함으로써 $ p $-진 합동식을 가능하게 한다.
• 드워크의 절단된 초함수급수의 $ p $-진 해석적 계속을 활용하여 $ p $-진 감마 함수 값을 도출하는 극한을 유도한다.
• 그린의 유한체 초함수함수와 캐릭터 합을 사용하여 $ F_q $ 위에서 $ C_{n, ho} $ 의 점 수를 $ {}_nF_{n-1} $ 급수로 표현한다.
• 두거올의 공식과 $ p $-진 감마 함수의 성질을 활용하여 $ p^3 $, $ p^4 $, $ p^5 $ 모듈로에서 슈퍼합동식을 증명한다.
• 모듈러 형식과 히케 고유형식(예: $ f_n(z) $)을 활용하여 국소 균일화자를 통한 계수와 절단된 초함수급수 사이의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 매개수 $ rac{1}{3} $ 및 $ rac{2}{3} $ 에서 $ p^3 $ 또는 $ p^2 $ 모듈로에서 절단된 초함수급수는 $ p $-진 감마 함수 값과 자코비 합과 어떻게 관련이 있는가?
• RQ2 표면적으로 $ ilde{ au}(rac{1}{3})^6 $ 과 $ - ilde{ au}(rac{1}{3})^3 $ 사이의 '공액성'은 갈루아 표현과 고차원 다양체의 주기로 어떻게 설명될 수 있는가?
• RQ3 $ n=3,4,5 $ 에서 $ {}_nF_{n-1} $ 절단된 초함수급수와 $ p $-진 감마 함수 값 사이의 정확한 산술적 관계는 무엇이며, 이는 $ C_{n,1} $ 의 국소 제타 함수에 어떻게 반영되는가?
• RQ4 항 $ inom{-a}{k}^n $ 과 $ p^k $ 를 포함하는 관찰된 슈퍼합동식은 $ p^3 $, $ p^4 $, 또는 $ p^5 $ 모듈로에서 성립하는가? 그리고 그 증명은 그로스-코블리츠 공식과 캐릭터 합 항등식을 통해 가능할 수 있는가?
• RQ5 $ C_{5,1} $ 의 국소 제타 함수는 $ C_{3,1} $ 과 $ C_{4,1} $ 에서처럼 $ p $-진 초함수함수 및 감마 함수 자료로부터 재구성될 수 있는가?

주요 결과

• 모든 소수 $ p ot\neq 3 $ 및 $ p ot\neq 5 $ 에 대해, 절단된 초함수급수 $ {}_3F_2\big[\begin{smallmatrix}\frac{1}{3}&\frac{1}{3}&\frac{1}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \not\to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $ 이며, 이는 $ p^3 $ 모듈로에서 슈퍼합동식을 확인한다.
• 절단된 급수 $ {}_3F_2\big[\begin{smallmatrix}\frac{2}{3}&\frac{2}{3}&\frac{2}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{3})^3 \bmod p^2 $ 이며, 본 논문은 이 결과를 $ p^2 $ 모듈로에서 증명하여 이전 결과를 확장한다.
• 모든 소수 $ p \not\neq 5 $ 에 대해, 항등식 $ {}_5F_4\big[\begin{smallmatrix}\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5} \\ &1&1&1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{5})^5 \tilde{\tau}(\frac{2}{5})^5 \bmod p^5 $ 는 $ p^4 $ 모듈로에서 성립하며, $ p^5 $ 모듈로에 대한 추측이 제기된다.
• 합 $ \textstyle\binom{-\frac{1}{3}}{k}^3 (-1)^k $ 가 $ k=0 $ 에서 $ p-1 $ 까지의 범위에서 $ \textstyle\frac{1}{p^3} \text{sum} \to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $ 를 만족하며, 이는 절단된 급수와 $ p $-진 감마 함수 값 사이의 연결고리가 된다.
• 모든 $ n=3,4,6 $ 에 대해, 잭비안 $ J_{\rho}^{\text{new}} $ 의 신규 부분의 엔도모르피즘 대수는 $ \bQ $ 위에서 4차원 대수를 포함한다. 이는 베타 함수의 비율이 $ \bar{\bQ} $ 에 속할 때에 한하여 성립하며, 기하학적 성질과 특수값 간의 연결고리가 된다.
• 에이젠스타인 급수로 정의된 임의의 $ f_n(z) $ 의 $ p $-번째 계수는 $ p^2 $ 모듈로에서 절단된 초함수급수와 일치하며, 이는 이러한 합동식의 모듈러 기원을 시사한다.