[논문 리뷰] On Siegel's problem for E-functions

Stéphane Fischler, Tanguy Rivoal|arXiv (Cornell University)|2019. 10. 15.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 2

한 줄 요약

이 논문은 1949년 시겔이 제기한 문제, 즉 모든 E-함수는 유리수 계수를 가진 초기하함수 E-함수의 다항식으로 표현될 수 있는가를 조사한다. 점점 커지는 값의 점근 전개와 G-함수 및 H-환의 성질(대수적 수, 1/π, 감마 함수 도함수의 값으로 생성된 환)을 사용하여, 만약 시겔의 질문에 대한 답이 양의일 경우, 대수적 점에서 G-함수의 값으로 이루어진 환 G는 H에 포함되어야 한다고 증명한다. 이 포함관계는 일반적인 추측에 기반할 경우 매우 불가능시되며, 이는 일반적인 E-함수에 대해 부정적인 답을 암시한다.

ABSTRACT

Siegel defined in 1929 two classes of power series, the E-functions and G-functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. In 1949, he asked whether any E-function can be represented as a polynomial with algebraic coefficients in a finite number of hypergeometric E-functions with rational parameters. The case of E-functions of differential order less than 2 was settled in the affirmative by Gorelov in 2004, but Siegel's question is open for higher order. We prove here that if Siegel's question has a positive answer, then the ring G of values taken by analytic continuations of G-functions at algebraic points must be a subring of the relatively "small" ring H generated by algebraic numbers, $1/π$ and the values of the derivatives of the Gamma function at rational points. Because that inclusion seems unlikely (and contradicts standard conjectures), this points towards a negative answer to Siegel's question in general. As intermediate steps, we first prove that any element of G is a coefficient of the asymptotic expansion of a suitable E-function, which completes previous results of ours. We then prove (in two steps) that the coefficients of the asymptotic expansion of an hypergeometric E-function with rational parameters are in H. Finally, we prove a similar result for G-functions.

연구 동기 및 목표

• 1949년 시겔의 질문, 즉 모든 E-함수는 유리수 계수를 가진 초기하함수 E-함수의 다항식으로 표현될 수 있는가를 해결하는 것.
• G-함수의 대수적 점에서의 값인 G-값의 대수적 구조와 특정 환 H에 대한 포함 가능성 조사.
• E-함수의 점근 전개 계수와 환 H 사이의 연관성, 특히 유리수 계수를 가진 초기하함수 E-함수의 경우에 초점을 맞추는 것.
• 만약 시겔의 질문에 대한 답이 양의일 경우, G-값의 환 G는 H에 포함되어야 하며, 이는 표준 추측과 모순됨을 보이는 것.
• G-함수의 해석적 계속성과 계수 환의 구조에 대한 유사 결과를 증명함으로써 분석을 확장하는 것.

제안 방법

• G-값의 환 G에 속하는 모든 원소가 어떤 E-함수의 점근 전개 계수로 나타남을 증명하여 이전 결과를 완성하는 것.
• 유리수 계수를 가진 초기하함수 E-함수의 점근 전개 계수가 H에 속함을 보여주는 것. 여기서 H는 대수적 수, 1/π, 그리고 유리수 점에서 감마 함수 도함수의 값을 포함하는 환으로 정의된다.
• 잔류 계산과 푸아제의 전개를 사용하여 pFp에서 일반적인 pFq(z^{q−p+1}) 급수로 H-포함성 결과를 일반화하는 것.
• 자르기 평면에서 G-함수의 해석적 계속성의 구조, 특히 무한대와 유한한 특이점에서의 국소 전개를 분석하는 것.
• 안드레, 쿠드노브스키, 카츠의 미분 갈로아 이론 결과를 적용하여 연결 상수와 단형 불변량의 산술적 성질을 제어하는 것.
• 이러한 결과들을 종합하여, 만약 시겔의 질문에 대한 답이 양의일 경우 G ⊆ H가 성립해야 하며, 이는 초전성수 이론의 표준 추측에 기반할 경우 매우 불가능하다는 것을 보이는 것.

실험 결과

연구 질문

• RQ1 모든 E-함수는 대수적 계수를 가진 유한 개의 초기하함수 E-함수 pFq의 다항식으로 표현될 수 있는가?
• RQ2 G-함수가 대수적 점에서 취하는 값의 집합인 G-값의 환의 산술적 구조는 무엇인가?
• RQ3 G-값의 환 G는 대수적 수, 1/π, 그리고 유리수 점에서 감마 함수 도함수의 값으로 생성된 환 H에 포함되는가?
• RQ4 E-함수와 G-함수의 점근 전개는 그 계수의 산술적 성질과 어떻게 관련이 있는가?
• RQ5 G ⊆ H 포함관계는 초전성수 이론의 표준 추측과 모순되는가? 이는 시겔 문제에 대해 어떤 함의를 갖는가?

주요 결과

• G-값의 환 G에 속하는 모든 원소는 어떤 E-함수의 점근 전개 계수로 나타나며, 이는 이전 결과를 완성한다.
• 유리수 계수를 가진 초기하함수 E-함수의 점근 전개 계수는 H에 속하며, H는 대수적 수, 1/π, 그리고 r ∈ Q \√Z≤0에 대해 Γ(n)(r)의 값을 포함하는 환으로 정의된다.
• 잔류 계산과 푸아제의 전개를 통해 이 H-포함성 결과는 유리수 계수를 가진 일반적인 pFq(z^{q−p+1}) 급수로 확장된다.
• 적절한 조건 하에서, 어떤 G-함수의 무한대에서의 해석적 계속성은 ∑ ce,k,n z^{-e-n} log(1/z)^k 형태의 국소 전개를 가지며, 계수는 H에 속한다.
• 만약 시겔의 질문에 대한 답이 양의일 경우, G ⊆ H가 성립해야 하며, 그러나 이 포함관계는 초전성수 이론의 표준 추측에 기반할 경우 매우 불가능하다고 간주된다.
• 논문은 시겔 문제에 대해 부정적인 답이 거의 확실시되며, G ⊆ H가 널리 수용된 추측(예: 주기와 L-함수의 특수값과 관련된 추측)과 모순됨을 종합적으로 결론짓는다.