More Like this

1. Hypergeometric Integrals Modulo p and Hasse–Witt Matrices

   https://doi.org/10.1007/s40598-020-00168-2  

   Slinkin, Alexey; Varchenko, Alexander (January 2020, Arnold Mathematical Journal)

   null (Ed.)

   We consider the KZ differential equations over C in the case, when the hypergeometric solutions are one-dimensional integrals.We also consider the same differential equations over a finite field F_p. We study the space of polynomial solutions of these differential equations over F_p, constructed in a previous work by Schechtman and the second author. Using Hasse–Witt matrices, we identify the space of these polynomial solutions over F_p with the space dual to a certain subspace of regular differentials on an associated curve. We also relate these polynomial solutions over F_p and the hypergeometric solutions over C. 

   more » « less
2. Solutions of KZ differential equations modulo p

   https://doi.org/10.1007/s11139-018-0068-x  

   Schechtman, Vadim; Varchenko, Alexander (March 2019, The Ramanujan Journal)

   We construct polynomial solutions of the KZ differential equations over a finite field F_p as analogs of hypergeometric solutions. 

   more » « less
3. Notes on solutions of KZ equations modulo $p^s$ and $$p$$-adic limit $$s\to\infty$$

   Alexander Varchenko (January 2022, Contemporary mathematics)

   We consider the KZ equations over C in the case, when the hypergeometric solutions are hyperelliptic integrals of genus g. Then the space of solutions is a 2g-dimensional complex vector space. We also consider the same equations modulo ps, where p is an odd prime and s is a positive integer, and over the field Q_p of p-adic numbers. We construct polynomial solutions of the KZ equations modulo ps and study the space Mps of all constructed solutions. We show that the p-adic limit of Mps as s→∞ gives us a g-dimensional vector space of solutions of the KZ equations over Qp. The solutions over Qp are power series at a certain asymptotic zone of the KZ equations. In the appendix written jointly with Steven Sperber we consider all asymptotic zones of the KZ equations in the case g=1 of elliptic integrals. The p-adic limit of Mps as s→∞ gives us a one-dimensional space of solutions over Qp at every asymptotic zone. We apply Dwork's theory and show that our germs of solutions over Qp defined at different asymptotic zones analytically continue into a single global invariant line subbundle of the associated KZ connection. Notice that the corresponding KZ connection over C does not have proper nontrivial invariant subbundles, and therefore our invariant line subbundle is a new feature of the KZ equations over Qp. We describe the Frobenius transformations of solutions of the KZ equations for g=1 and then recover the unit roots of the zeta functions of the elliptic curves defined by the equations y2=βx(x−1)(x−α) over the finite field Fp. Here α,β∈F×p,α≠1 

   more » « less
4. A physicist's guide to the solution of Kummer's equation and confluent hypergeometric functions

   https://doi.org/10.5488/CMP.25.33203  

   Mathews, W. N.; Esrick, M. A.; Teoh, Z. Y.; Freericks, J. K. (January 2022, Condensed Matter Physics)

   The confluent hypergeometric equation, also known as Kummer's equation, is one of the most important differential equations in physics, chemistry, and engineering. Its two power series solutions are the Kummer function, M(a,b,z), often referred to as the confluent hypergeometric function of the first kind, and M ≡ z1-bM(1+a-b, 2-b,z), where a and b are parameters that appear in the differential equation. A third function, the Tricomi function, U(a,b,z), sometimes referred to as the confluent hypergeometric function of the second kind, is also a solution of the confluent hypergeometric equation that is routinely used. Contrary to common procedure, all three of these functions (and more) must be considered in a search for the two linearly independent solutions of the confluent hypergeometric equation. There are situations, when a, b, and a - b are integers, where one of these functions is not defined, or two of the functions are not linearly independent, or one of the linearly independent solutions of the differential equation is different from these three functions. Many of these special cases correspond precisely to cases needed to solve problems in physics. This leads to significant confusion about how to work with confluent hypergeometric equations, in spite of authoritative references such as the NIST Digital Library of Mathematical Functions. Here, we carefully describe all of the different cases one has to consider and what the explicit formulas are for the two linearly independent solutions of the confluent hypergeometric equation. The procedure to properly solve the confluent hypergeometric equation is summarized in a convenient table. As an example, we use these solutions to study the bound states of the hydrogenic atom, correcting the standard treatment in textbooks. We also briefly consider the cutoff Coulomb potential. We hope that this guide will aid physicists to properly solve problems that involve the confluent hypergeometric differential equation. 

   more » « less
5. Equivariant quantum differential equation and qKZ equations for a projective space: Stokes bases as exceptional collections, Stokes matrices as Gram matrices, and B-Theorem

   Giordano Cotti, Alexander Varchenko (January 2021, Proceedings of symposia in pure mathematics)

   Novikov, Krichever (Ed.)

   In [TV19a] the equivariant quantum differential equation (qDE) for a projective space was considered and a compatible system of difference qKZ equations was introduced; the space of solutions to the joint system of the qDE and qKZ equations was identified with the space of the equivariant K-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant K-theory algebra. This paper is a continuation of [TV19a]. We describe the relation between solutions to the joint system of the qDE and qKZ equations and the topological-enumerative solution to the qDE only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant K-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant K-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani. 

   more » « less