Timeline for Regularity of schemes under base change
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2017 at 11:29 | vote | accept | Chitrabhanu | ||
| Jan 6, 2017 at 18:13 | comment | added | nfdc23 | The basic issue is that regularity is not a relative notion (it is a miracle that for schemes locally of finite type over a perfect field $k$, it coincides with the relative notion of smoothness over the base field, and so in those cases is well-behaved under base change). You could pose the same question about normality, and again away from where the structure map or the base change are smooth (or etale) there will be big problems in general. As Jason Starr notes, semistable curves provide interesting examples (though for which normality is preserved under such Dedekind base change). | |
| Jan 6, 2017 at 12:31 | comment | added | Jason Starr | As both the example of Kevin Buzzard and my example make clear, if the critical locus of the morphism $X\to S$ (the closed complement of the maximal open subscheme over which the morphism is smooth) is disjoint from the ramification locus of $S'\to S$, then the base change $X'\to S'$ is regular. Without specifying more about the critical points and the ramification, it is difficult to say what type of singularities will occur, apart from the fact that they will be hypersurface singularities. | |
| Jan 6, 2017 at 11:43 | answer | added | Kevin Buzzard | timeline score: 3 | |
| Jan 6, 2017 at 11:43 | comment | added | Jason Starr | The base change need not be regular. For instance, inside $\text{Proj}\ R[t,u,v]$, and for $a\in R\setminus\{0\}$, define $X_a$ to be the closed subscheme with defining ideal $\langle tv-au^2\rangle$. This is regular if and only if the valuation of $a$ with respect to each nonzero prime is $0$ or $1$. Even if this is true for valuations of $K$, it can easily fail for $K'$. | |
| Jan 6, 2017 at 11:37 | history | asked | Chitrabhanu | CC BY-SA 3.0 |