A matrix version of Dwork's congruences
In this article we give an example of a matrix version of the famous congruence for hypergeometric functions found by Dwork in 'p-adic cycles'.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Frits Beukers contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this article we give an example of a matrix version of the famous congruence for hypergeometric functions found by Dwork in 'p-adic cycles'.
In this note we prove results of the following types. Let be given distinct complex numbers $z_j$ satisfying the conditions $|z_j| = 1, z_j \not= 1$ for $j=1,..., n$ and for every $z_j$ there exists an $ i$ such that $z_i = \bar{z_j}. $ Then $$\inf_{k} \sum_{j=1}^n z_j^k \leq - 1. $$ If, moreover, none of the numbers $z_j$ is a root of unity, then $$\inf_{k} \sum_{j=1}^n z_j^k \leq - \frac {2} {π^3} \log n. $$ The constant -1 in the former result is the best possible. The above results are special cases of upper bounds for $\inf_{k} \sum_{j=1}^n b_jz_j^k$ obtained in this paper.
We formulate and prove a combinatorial criterion to decide if an A-hypergeometric system of differential equations has a full set of algebraic solutions or not. This criterion generalises the so-called interlacing criterion in the case of hypergeometric functions of one variable.