Hilbert's Theorem 90 and algebraic spaces

Abstract

In modern form, Hilbert's Theorem 90 tells us that R1f*(Gm)=0, where f is the canonical map between the etale site and the Zariski site of a scheme X. I construct examples showing that the corresponding statement for algebraic spaces does not hold. The first example is a nonseparated smooth 1-dimensional bug-eyed cover in Kollar's sense. The second example is a nonnormal proper algebraic space obtained by identifying points on suitable nonprojective smooth proper schemes.

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…