What properties define open loci in families? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:26:13Z http://mathoverflow.net/feeds/question/57802 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57802/what-properties-define-open-loci-in-families What properties define open loci in families? Piotr Achinger 2011-03-08T09:44:23Z 2011-03-11T15:13:26Z <p>This question is somehow related to the question <a href="http://mathoverflow.net/questions/16235/what-properties-define-open-loci-in-excellent-schemes%20%22What%20properties%20define%20open%20loci%20in%20excellent%20schemes?%22" rel="nofollow">What properties define open loci in excellent schemes?</a>.</p> <p>Let $f:X\to S$ be a proper (or even projective) morphism between schemes (of finite type over a field or over $\mathbb{Z}$). For $t\in S$, $X_t$ is the fiber of $f$ over $t$. Let $P$ be a property of schemes. We consider the locus: $$U_P = \{ t\in S : X_t \text{ has property } P \}.$$</p> <blockquote> <p>For which properties $P$ is the set $U_P$ open if</p> <ol> <li>$f$ is flat,</li> <li>$f$ is smooth?</li> </ol> </blockquote> <p>Examples of such $P$'s I know or suspect to be open in flat families are "being geometrically reduced", "being geometrically smooth" or "being $S_n$". In smooth families, a nice example is that of "being Frobenius split" (we assume that $S$ has characteristic $p$).</p> <p>Copy-paste from the aforementioned thread:</p> <p><strong>Question 1:</strong> Do you know other interesting classes of open properties?</p> <p><strong>Question 2:</strong> Are there good heuristic reasons for why a certain property should be open? Phrased a bit more ambitiously, are there common techniques for proving openness for certain class of properties? </p> <p>More specific questions:</p> <ul> <li>how about properties $R_n$ and normality? </li> <li>is being Frobenius split open in flat families?</li> <li>in general take a property local rings $Q$ and consider $P =$ "all local rings of $X$ satisfy $Q$". Which of the properties $Q$ listed in the cited thread give $P$'s which are open in flat families?</li> </ul> http://mathoverflow.net/questions/57802/what-properties-define-open-loci-in-families/57827#57827 Answer by Karl Schwede for What properties define open loci in families? Karl Schwede 2011-03-08T13:52:48Z 2011-03-08T19:43:46Z <p>Piotr,</p> <p>Here are some answers for a slightly different question (although nearly a special case of your question), I'm assuming that $S$ is regular and 1 dimension (for example a curve), which one can often reduce to (especially if the original $S$ was a smooth variety). However, for what I'm about to say I don't need properness / projectiveness of the family (<strong>EDIT:</strong> although as pointed out in the comments, you do need something).</p> <p>In particular, I know some answers to the question that if $R/f$ has P then $R$ has property P near the vanishing locus of $f$ assuming $f$ is a regular element. (<strong>EDIT:</strong> This is basically the affine case as mentioned in the comments.) Now, if $R$ has the property $P$, then Bertini-type theorems can often imply that the other (non-special) fibers have the desired property too (especially in characteristic zero).</p> <ul> <li>Normality is open, this is in EGA somewhere I don't remember, but it's also in the paper of Heitmann I'm about to cite. </li> <li>Seminormality is open, although this isn't trivial. See "Lifting Seminormality" by Ray Heitmann. I don't know if <em>weak normality</em> is open in this way. </li> <li>Frobenius split is not open in the families I mention. If the total space is $\mathbb{Q}$-Gorenstein with index not divisible by the characteristic, it is open. See the paper $F$-purity and rational singularity'' by Richard Fedder, as well as some papers by Anurag Singh on "deformation". You can jazz these examples up to projective families without much work. By working with cones, you can find a projective family of smooth varieties whose special fiber is $F$-split, but not the general fibers.</li> <li>The Frobenius split answer is quite closely related to the question of whether log canonical singularities deform, which leads you to a series of papers on Inversion of adjunction'', in particular culminating in a paper on that topic by Kawakita from about 5 years ago.</li> <li>It is an open question whether Du Bois singularities deform in this way, it is known that it is true in the Gorenstein case by Kawakita's inversion of adjunction. </li> <li>In characteristic $p$, Du Bois singularities are related to $F$-injective singularities (a weakening of $F$-split). It is known that Cohen-Macaulay $F$-injective singularities deform in the way I describe, but it is an open question in general. </li> <li>Rational singularities deform by a result of Elkik. </li> </ul> <p>I'm sure there are many things that I'm forgetting too. </p> http://mathoverflow.net/questions/57802/what-properties-define-open-loci-in-families/57831#57831 Answer by Sebastian Petersen for What properties define open loci in families? Sebastian Petersen 2011-03-08T14:12:20Z 2011-03-11T15:13:26Z <p>You find plenty of theorems of this type in EGA IV/Part 3, see especially EGA IV.9. </p> <p>Let $f: X\to S$ be a morphism of finite presentation. (We do not have to make a flatness or properness assumption in what follows.) For example let $P$ be one of the following properties:</p> <ul> <li>being geometrically irreducible</li> <li>being geometrically connected</li> <li>being geometrically regular</li> <li>being geometrically normal</li> <li>being geometrically reduced</li> <li>having property R_k geometrically</li> </ul> <p>Let $U$ be the set of points $s\in S$ such that $X_s/k(s)$ has property P.</p> <p>Then $U$ is at least locally constructible. (cf. IV.9.7.7 and IV.9.9.4)</p> <p>Hence: If $S$ is irreducible and noetherian and $U$ contains the generic point of $S$, then $U$ contains a nonempty open set. </p> <p>(But in EGA IV / Part 3 there are much more results of that flavour...)</p> http://mathoverflow.net/questions/57802/what-properties-define-open-loci-in-families/57854#57854 Answer by Karl Schwede for What properties define open loci in families? Karl Schwede 2011-03-08T16:40:02Z 2011-03-08T16:40:02Z <p>With regards to the original question, and not my original answer, one place where $F$-splitting was studied in this context is:</p> <p>K. Shimomoto and Wenliang Zhang, <a href="http://arxiv.org/pdf/0710.3782v3" rel="nofollow">On the localization theorem for $F$-pure rings</a></p> <p>In a ring of characteristic $p > 0$ where the Frobenius map is a finite morphism (ie, geometric contexts) $F$-pure is equivalent to $F$-split.</p> http://mathoverflow.net/questions/57802/what-properties-define-open-loci-in-families/57867#57867 Answer by Denis Chaperon de Lauzières for What properties define open loci in families? Denis Chaperon de Lauzières 2011-03-08T18:07:41Z 2011-03-08T18:07:41Z <p>The recentish book of Görtz and Wedhorn (see <a href="http://www.algebraic-geometry.de/" rel="nofollow">http://www.algebraic-geometry.de/</a> ) has an Appendix E which gives a long list of properties of morphisms for which the corresponding set of the base is open or constructible (when only constructibility holds), together with references for the proofs (either to their book or to EGA/SGA).</p>