Determinant of F_p-hypergeometric solutions under ample reduction

DOI10.1090/CONM/780/15694MaRDI QIDQ5040458zbMATH OpenOpenAlexFDO

Authors A. Varchenko

Publication date 14 October 2022

Published in Hypergeometry, Integrability and Lie Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.11275

zbMATH Keywords

KZ equationsreduction to characteristic \(p,\mathbb{F}_p\)-hypergeometric solutions

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Hypergeometric integrals and functions defined by them ((E), (G), (H) and (I) functions) (33C60) Period matrices, variation of Hodge structure; degenerations (32G20)

Abstract: We consider the KZ differential equations over $mathbbC$ in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $mathbb{F}_p$. We study the polynomial solutions of these differential equations over $mathbb{F}_p$, constructed in a previous work joint with V.,Schechtman and called the $mathbb{F}_p$-hypergeometric solutions. The dimension of the space of $mathbb{F}_p$-hypergeometric solutions depends on the prime number $p$. We say that the KZ equations have ample reduction for a prime $p$, if the dimension of the space of $mathbb{F}_p$-hypergeometric solutions is maximal possible, that is, equal to the dimension of the space of solutions of the corresponding KZ equations over $mathbbC$. Under the assumption of ample reduction, we prove a determinant formula for the matrix of coordinates of basis $mathbb{F}_p$-hypergeometric solutions. The formula is analogous to the corresponding formula for the determinant of the matrix of coordinates of basis complex hypergeometric solutions, in which binomials $(z_i-z_j{)}^{M_i+M_j}$ are replaced with $(z_i-z_j{)}^{M_i+M_j-p}$ and the Euler gamma function $Gamma(x)$ is replaced with a suitable $mathbb{F}_p$-analog $Gamm{a}_{mathbb{F}_p}(x)$ defined on $mathbb{F}_p$.

Recommendations

• Hypergeometric integrals modulo \(p\) and Hasse-Witt matrices
• On the number of \(p\)-hypergeometric solutions of KZ equations
• The \({{\mathbb{F}}}_p\)-Selberg integral
• Hyperelliptic integrals modulo \(p\) and Cartier-Manin matrices
• Notes on solutions of KZ equations modulo 𝑝^{𝑠} and 𝑝-adic limit 𝑠→∞

Cites work

• scientific article; zbMATH DE number 27072 (Why is no real title available?)
• scientific article; zbMATH DE number 2038299 (Why is no real title available?)
• scientific article; zbMATH DE number 3107108 (Why is no real title available?)
• An invariant subbundle of the KZ connection mod \(p\) and reducibility of \(\widehat{{\mathfrak{sl}_2}}\) Verma modules mod \(p\)
• Arrangements of hyperplanes and Lie algebra homology
• Conformal blocks in the tensor product of vector representations and localization formulas
• Current algebras and Wess-Zumino model in two dimensions
• Hyperelliptic integrals modulo \(p\) and Cartier-Manin matrices
• Hypergeometric integrals modulo \(p\) and Hasse-Witt matrices
• Remarks on the Gaudin model modulo \(p\)
• Solutions modulo \(p\) of Gauss-Manin differential equations for multidimensional hypergeometric integrals and associated Bethe ansatz
• Solutions of KZ differential equations modulo \(p\)
• The \(\mathbb{F}_p\)-Selberg integral of type \(A_n\)

Cited in

(2)

• Hypergeometric integrals modulo \(p\) and Hasse-Witt matrices
• On the number of \(p\)-hypergeometric solutions of KZ equations

This page was built for publication: Determinant of \(\mathbb{F}_p\)-hypergeometric solutions under ample reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040458)