Formal groups and -modules
En palabras de los autores
Let be a finite unramified extension of -adic local fields, and let be a one-dimensional formal -module of finite height over . We introduce the exponential period map of and use it to construct a complete regular local ring with imperfect residue field, an endomorphism , and a commuting action of . We prove an equivalence of categories between finitely generated -modules with a continuous -action and \'{e}tale -modules over . This recovers the classical cyclotomic and Lubin-Tate equivalences in the corresponding cases. In general, can have Krull dimension greater than one, and need not lift the -power Frobenius modulo . The proof uses -dynamical systems over , which combine contraction modulo with Frobenius on the residue field. For every flat -dynamical system, we establish an equivalence of categories between \'{e}tale -modules and continuous representations of the absolute Galois group of the residue field on finitely generated -modules.
Apareció: lunes, 28 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 81 pages. Comments welcome!