Abstract:We consider the KZ connection associated with a family of hyperelliptic curves of genus $g$ over the ring of $p$-adic integers $\mathbb{Z}_p$. Then the dual connection is the Gauss-Manin connection of that family. We observe that the Gauss-Manin connection has an ordinary $F$-crystal structure and its unit root subcrystal is of rank $g$. We prove that all local flat sections of the KZ connection annihilate the unite root subcrystal, and the space of all local flat sections of the KZ connection is a free $\mathbb{Z}_p$-module of rank $g$. We also consider the reduction modulo $p^s$ of the unit root subcrystal for any $s\geq 1$. We prove that its annihilator is generated by the so-called $p^s$-hypergeometric flat sections of the KZ connection. In particular, that means that the reduction modulo $p^s$ of an arbitrary local flat section of the KZ connection over $\mathbb{Z}_p$ is a linear combination of the $p^s$-hypergeometric flat sections.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the solutions of the Knizhnik - Zamolodchikov (KZ) equations in the $p$-adic framework and explore the relationship between these solutions and the ordinary F - crystal structure related to the Gauss - Manin connection. Specifically, the authors focus on: 1. **The relationship between the KZ connection and the Gauss - Manin connection**: By studying the KZ connection on the family of hyperelliptic curves and its dual connection (i.e., the Gauss - Manin connection), the intrinsic connection between the two is revealed. 2. **F - crystal structure**: It is proved that the Gauss - Manin connection has an ordinary F - crystal structure, and the rank of its unit root sub - crystal is $g$ (where $g$ is the genus of the hyperelliptic curve). 3. **Properties of local flat sections**: It is proved that all local flat sections of the KZ connection annihilate the unit root sub - crystal, and the space of these local flat sections is a free $\mathbb{Z}_p$-module with rank $g$. 4. **$p^s$-hypergeometric solutions**: Consider the reduction of the unit root sub - crystal modulo $p^s$ and prove that its annihilator is generated by $p^s$-hypergeometric flat sections. This shows that any local flat section can be represented as a linear combination of $p^s$-hypergeometric solutions modulo $p^s$. 5. **$p$-adic limit**: Analyze the $p$-adic limit of $p^s$-hypergeometric solutions and show how these solutions converge to a KZ - invariant sub - bundle $W$ with rank $g$. 6. **Generation of local flat sections**: Prove that the space of local flat sections is generated by $p^s$-hypergeometric solutions, and these solutions form a Lagrangian sub - bundle. In summary, this paper aims to establish a profound connection between the $p$-adic solutions of the KZ equations and the F - crystal structure of the Gauss - Manin connection, and achieve this goal through specific mathematical tools and techniques (such as $p^s$-hypergeometric solutions, Cartier maps, etc.).

On $p$-adic solutions to KZ equations, ordinary crystals, and $p^s$-hypergeometric solutions

Finding all solutions to the KZ equations in characteristic $p$

Frobenius structure and $p$-adic zeta function

P-Adic GKZ Hypergeometric Complex

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

The $p$-adic Gelfand-Kapranov-Zelevinsky hypergeometric complex

Metallic spin glasses

Prismatic crystals and $p$-adic Riemann--Hilbert correspondence

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Crystalline prisms: Reflections and diffractions, present and past

Polynomial Solutions Modulo $p^s$ of Differential KZ and Dynamical Equations

$p$-adic multiple zeta values at roots of unity and $p$-adic pro-unipotent harmonic actions - IV-1 : $p$-adic multiple zeta values at roots of unity extended to sequences of integers of any sign

Differential Equations Compatible with KZ Equations

On the $p$-adic limit of class numbers along a pro-$p$-extension

A prismatic approach to crystalline local systems

Reductions of some two-dimensional crystalline representations via Kisin modules

On the $K$-theory of $\mathbf{Z}/p^n$

On the prismatization of $O_K$ beyond the Hodge-Tate locus

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

On $p$-refined Friedberg-Jacquet integrals and the classical symplectic locus in the $\mathrm{GL}_{2n}$ eigenvariety