Triangulation et cohomologie \'etale sur une courbe analytique

Abstract

Let k be a non-archimedean complete valued field and let X be a smooth Berkovich analytic k-curve. Let F be a finite locally constant \'etale sheaf on k whose torsion is prime to the residue characteristic. We denote by |X| the underlying topological space and by π the canonical map from the \'etale site to |X|. In this text we define a triangulation of X, we show that it always exists and use it to compute H0(|X|,Rqπ\*F) and H1(|X|,Rqπ\*F). If X is the analytification of an algebraic curve we give sufficient conditions so that those groups are isomorphic to their algebraic counterparts ; if the cohomology of k has a dualizing sheaf in some degree d (e.g k is p-adic, or k=C((t))) then we prove a duality theorem between H0(|X|,Rqπ\*F) and H1\ c(|X|,Rd+1π\*G) where G is the tensor product of the dual sheaf of F with the dualizing sheaf and the sheaf of n-th roots of unity.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…