Timeline for Curves of genus 0 over a DVR determined by fibers?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2021 at 0:56 | comment | added | naf | Regularity implies that the vertices of the dual graph are always (-1)-curves so they can be blown down to get something that is still regular. I also assumed implicitly that $X_k$ is reduced. If both fibres are $\mathbb{P}^1$ then the class of a section in the Picard group of $X$ is a relatively very ample bundle which gives a map to $\mathbb{P}^1_S$ which is an isomorphism. | |
| Jan 18, 2021 at 19:34 | history | edited | PrimeRibeyeDeal | CC BY-SA 4.0 |
added 32 characters in body
|
| Jan 18, 2021 at 18:11 | history | edited | PrimeRibeyeDeal | CC BY-SA 4.0 |
added extra condition to rule out counterexample
|
| Jan 18, 2021 at 18:02 | comment | added | PrimeRibeyeDeal | @naf Thank you for the response. That does seem like a promising strategy, but I'm afraid I don't see exactly how you're using the conditions 1, 3, 4. As for the minimal cases, I'm not sure how to proceed even in those cases. What if we know special fiber is irreducible? Or even suppose special and generic fibers are all $\cong \mathbb{P}^1$? How to show isomorphism then? | |
| Jan 18, 2021 at 17:57 | comment | added | PrimeRibeyeDeal | @WillSawin Ah yes, you're right. Thank you very much. I had forgotten about that example. I think I may need to modify the question to include regularity. By birational, you mean as schemes, so, as long as the generic fibers are isomorphic? Also, do you have a favorite reference for the classification of genus 0 curves? | |
| Jan 18, 2021 at 8:36 | comment | added | naf | Assuming the first, third and fourth conditions (for both $X$ and $X'$, it does seem likely that if $X_k$ is isomorphic to $X_k'$ then $X$ is isomorphic to $X'$. You can see this if $k$ is algebraically closed by iteratively blowing down $X$ and $X'$ at at the curves corresponding to degree one vertices of the dual graph of the special fibre to get to the case where the special fibre is irreducible. Over a more general field, one can blow down Galois orbits of such curves as long as they are disjoint, so one can reduce to some simple minimal cases which could be analyzed further. | |
| Jan 18, 2021 at 2:18 | comment | added | Will Sawin | 1) The curve in $\mathbb P^2$ given by $xy = p^n z^2$ shows that without the $X$ regular condition, isomorphic special fibers do not imply $S$-isomorphisms. 2) A nice such $Y$ exists when $X$ and $X'$ are birational - take the closure of a birational map - which you can use the classification of genus $0$ curves over fields to investigate. | |
| Jan 17, 2021 at 23:53 | history | asked | PrimeRibeyeDeal | CC BY-SA 4.0 |