Hilbert's Theorem 90 and algebraic spaces
classification
🧮 math.AG
keywords
algebraicexamplehilbertpropersitesmoothspacestheorem
read the original abstract
In modern form, Hilbert's Theorem 90 tells us that R^1f_*(G_m)=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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.