TransWikia.com

Rings whose Frobenius is flat

MathOverflow Asked by anon1432 on December 30, 2020

Let $R$ be a ring of characteristic $p>0$. The (absolute) Frobenius is the map of rings $F_R:Rrightarrow R$ defined by $xmapsto x^p$.

I am interested in rings for which $F_R$ is flat (hence faithfully flat). Here are some families of examples of rings $R$ with this property.

-Regular rings (Kunz)

-Perfect rings (rings for which $F_R$ is an isomorphism)

-Valuation rings (see Theorem 3.1 of "Frobenius and valuation rings" -Datta, Smith)

In fact, Kunz famously showed that if $R$ is noetherian, then $F_R$ is flat if and only if $R$ is regular. Note that rings of the latter two types are rarely noetherian. Furthermore, it is not hard to see that the above list is by no means exhaustive.

I would like to know what is known about the class of rings with $F_R$ flat in general (without noetherian hypothesis). Specifically, is there is a non-tautological characterization of the class of (not necessarily noetherian) rings such that $F_R$ is flat (ala Kunz)? Or perhaps some characterization among a large class of rings properly containing the class of noetherian rings?

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP