Equimultiplicity theory of strongly \(F\)-regular rings (Q2075267)

For a ring of prime characteristics \(p>0\), the Frobenius endomorphism plays an important role in studying singularities. Indeed Kunz's classical result characterizes regular rings in terms of flatness of Frobenius endomorphism. Using the action of Frobenius, several kinds of numerical invariants have been introduced and they serve as a measurement of singularities. In this paper under review the authors consider some of those numerical invariants namely Hilbert-Kunz multiplicity, \(F\)-signature, Frobenius Betti numbers, Frobenius Euler characteristics and study conditions for which the above invariants are unchanged under locallizations. They prove: For an \(F\)-finite and strongly \(F\)-regular local ring of prime characteristics \(p>0\), Hilbert-Kunz multiplicity, \(F\)-signature, Frobenius Betti numbers, Frobenius Euler characteristics remain unchanged under localizations. Prior to this paper it was known that Hilbert-Kunz multiplicity, \(F\)-signature, Frobenius Betti numbers, First Frobenius Euler characteristic serve as a measurement of singularities. In this paper the authors give a characterization of an \(F\)-finite and strongly \(F\)-regular local ring of prime characteristic to be regular in terms of its Frobenius Euler characteristics. In addition the authors also prove an associativity formula for \(F\)-signature.