2023/07/07 by Quinlan-Gallego, Eamon, Simpson, Austyn, Singh, Anurag K. · 2 citations
#Commutative Algebra (math.AC) #FOS: Mathematics
paper · doi:10.48550/arxiv.2307.03785
For each positive prime integer p we construct a standard graded F-rational ring R, over a field K of characteristic p, such that R⊗KK is not F-rational. By localizing we obtain a flat local homomorphism (R, \mathfrakm) → (S, \mathfrakn) such that R is F-rational, S/\mathfrakm S is regular (in fact, a field), but S is not F-rational. In the process we also obtain standard graded F-rational rings R for which R⊗K R is not F-rational.