English

Flat morphisms with regular fibers do not preserve $F$-rationality

Commutative Algebra 2024-06-04 v2

Abstract

For each positive prime integer pp we construct a standard graded FF-rational ring RR, over a field KK of characteristic pp, such that RKKR\otimes_K\overline{K} is not FF-rational. By localizing we obtain a flat local homomorphism (R,m)(S,n)(R, \mathfrak{m}) \to (S, \mathfrak{n}) such that RR is FF-rational, S/mSS/\mathfrak{m} S is regular (in fact, a field), but SS is not FF-rational. In the process we also obtain standard graded FF-rational rings RR for which RKRR\otimes_K R is not FF-rational.

Keywords

Cite

@article{arxiv.2307.03785,
  title  = {Flat morphisms with regular fibers do not preserve $F$-rationality},
  author = {Eamon Quinlan-Gallego and Austyn Simpson and Anurag K. Singh},
  journal= {arXiv preprint arXiv:2307.03785},
  year   = {2024}
}