Timeline for Can the strongest Hensel lemma over integer rings imply smoothness over $\mathbb Z_p$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2020 at 22:10 | comment | added | R. van Dobben de Bruyn | Yeah, that's an interesting question. I would also be interested to see what happens if you drop flatness. It seems the assumption gets pretty close to the infinitesimal lifting property for smooth morphisms, but I can't quite tell how close. | |
| Nov 9, 2020 at 21:39 | comment | added | loos | You're right, maybe any unramified extension... | |
| Nov 9, 2020 at 18:34 | comment | added | R. van Dobben de Bruyn | @loos then the assumption could be vacuous, e.g. if $X_0$ has no $\mathbf F_p$-points. | |
| Nov 9, 2020 at 6:39 | comment | added | loos | Thank you for this answer. I shall assume $X_{\mathbb Q_p}$ is smooth. What if we only work with $K=\mathbb Q_p$ ? | |
| Nov 9, 2020 at 6:18 | history | answered | R. van Dobben de Bruyn | CC BY-SA 4.0 |