Skip to main content
6 events
when toggle format what by license comment
Jan 2, 2022 at 13:40 comment added Jason Starr No, it is not possible to find such an example for a smooth quadric surface (or a "twist" of a smooth quadric surface). The cycle class map is injective in this case, and the smooth and proper base change theorems allow to describe the etale cohomology in terms of the generic fiber with its Galois action (so the same for both possible specializations). That is also another way to see that my previous comment is wrong. Any valid example would "arise" from the kernel of the cycle class map.
Jan 2, 2022 at 12:16 comment added user39380 Thanks! Would it be possible to find such example for quardic surfaces? (If we can pick degenerations with separated/Galois conjugate rulings?)
Jan 2, 2022 at 12:04 comment added Jason Starr My previous comment is wrong. The moduli space is indeed over the nonseparated “arithmetic line”. However it is very nonproper. Every valuation ring that extends over one of the doubled points in characteristic 2, in fact, does not extend over the other doubled point.
Jan 1, 2022 at 12:49 comment added Jason Starr . . . I will try to expand this to an answer when I have time. (I am happy if somebody else writes an answer before that!)
Jan 1, 2022 at 12:46 comment added Jason Starr I am replacing my previous comment with a precise reference. Your question is answered by Liedtke's analysis of the moduli stack of polarized Enriques surface over $\text{Spec}(\mathbb{Z})$, cf. arxiv.org/pdf/1007.0787.pdf Theorem 4.14 is particularly relevant since the $\mathbb{G}_m$-quotient of the scheme $\text{Spec} \mathbb{Z}[x,y]/\langle xy-2 \rangle \setminus \{\langle 2,\overline{x},\overline{y}\rangle\}$ is the line with doubled origin.
Dec 21, 2021 at 23:03 history asked user39380 CC BY-SA 4.0