Constructibility and openness of F-rational fibers over higher-dimensional bases

At least 7 years old · documented by

Let DD be a higher-dimensional base and let X→Spec⁡DX\to\operatorname{Spec}D be a general finite type family. For t∈mSpecDt\in\mathfrak{mSpec}D, consider the property that the fiber XtX_t is FF-rational.

F-rational fiber-locus conjecture. The locus of t∈mSpecDt\in\mathfrak{mSpec}D for which XtX_t is FF-rational is constructible. If the family is flat and proper, or sufficiently local, then this locus is open.

This conjecture extends openness results for FF-rational fibers over spectra of Dedekind domains to higher-dimensional bases. The source does not provide a resolution.

References

Primary source

Linquan Ma and Karl Schwede, “Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras”, arXiv:1806.09567 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.