Exercise 111.43.5. Let f : X \to Y be a finite locally free morphism of degree 2. Assume that X and Y are integral schemes and that 2 is invertible in the structure sheaf of Y, i.e., 2 \in \Gamma (Y, \mathcal{O}_ Y) is invertible. Show that the \mathcal{O}_ Y-module map
has a left inverse, i.e., there is an \mathcal{O}_ Y-module map \tau : f_*\mathcal{O}_ X \to \mathcal{O}_ Y with \tau \circ f^\sharp = \text{id}. Conclude that H^ n(Y, \mathcal{O}_ Y) \to H^ n(X, \mathcal{O}_ X) is injective1.
Comments (0)