Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

On a Class of Hypergeometric Diagonals

Abstract : We prove that the diagonal of any finite product of algebraic functions of the form $ {(1-x_1- \dots -x_n)^R}, \; R\in\mathbb{Q}$, is a generalized hypergeometric function, and we provide explicit description of its parameters. The particular case $(1-x-y)^R/(1-x-y-z)$ corresponds to the main identity of Abdelaziz, Koutschan and Maillard in [AKM, §3.2]. Our result is useful in both directions: on the one hand it shows that Christol's conjecture holds true for a large class of hypergeometric functions, on the other hand it allows for a very explicit and general viewpoint on the diagonals of algebraic functions of the type above. Finally, in contrast to [AKM], our proof is completely elementary and does not require any algorithmic help.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas
Contributor : Alin Bostan <>
Submitted on : Monday, December 21, 2020 - 11:58:21 AM
Last modification on : Tuesday, December 22, 2020 - 3:35:26 AM


Files produced by the author(s)


  • HAL Id : hal-03084672, version 1
  • ARXIV : 2008.12809



Alin Bostan, Sergey Yurkevich. On a Class of Hypergeometric Diagonals. 2020. ⟨hal-03084672⟩



Record views


Files downloads