p-Integrality of canonical coordinates

Abstract: Let

L = d e l t a^{n} + s u m_{i = 0}^{n - 1} a_{i} (z) d e l t a^{i}

be a differential operator with coefficients in

m a t h b b Q (z)

of order

n g e q 2

, where

d e l t a = z d / d z

. Suppose that

L

has maximal unipotent monodromy at zero. In this paper we give a sufficient condition for the canonical coordinate of

L

belongs to

m a t h b b Z_{p} [[z]]

. This sufficient condition relies on the notion of Frobenius structure. As a consequence of the main result we prove that if

n = 4

and

L

is an irreducible Picard-Fuchs equation with maximal unipotent monodromy at zero having a strong B-incarnation, then there is an integer

N > 0

such that the canonical coordinate of

L

belongs to

m a t h b b Z [1 / N] [[z]]

.

This page was built for publication: p-Integrality of canonical coordinates