Rigid cohomology over Laurent series fields II: Finiteness and Poincar\'e duality for smooth curves

Publication date 17 December 2014

Abstract: In this paper we prove that the

m a t h c a l E^{d} a g g e r_{K}

-valued cohomology, introduced in [9] is finite dimensional for smooth curves over Laurent series fields

k ((t))

in positive characteristic, and forms an

m a t h c a l E^{d} a g g e r_{K}

-lattice inside `classical'

m a t h c a l E_{K}

-valued rigid cohomology. We do so by proving a suitable version of the p-adic local monodromy theory over

m a t h c a l E^{d} a g g e r_{K}

, and then using an '{e}tale pushforward for smooth curves to reduce to the case of

m a t h b b A^{1}

. We then introduce

m a t h c a l E^{d} a g g e r_{K}

-valued cohomology with compact supports, and again prove that for smooth curves, this is finite dimensional and forms an

m a t h c a l E^{d} a g g e r_{K}

-lattice in

m a t h c a l E_{K}

-valued cohomology with compact supports. Finally, we prove Poincar'{e} duality for smooth curves, but with restrictions on the coefficients.

This page was built for publication: Rigid cohomology over Laurent series fields II: Finiteness and Poincar\'e duality for smooth curves