The Cartier core map for Cartier algebras (Q6162853)

In this very nice article, the author introduces the Cartier core of an ideal \(J\), \(C_{\mathcal{D}}(J)\), for a Cartier subalgebra \(\mathcal{D}\) of the Cartier algebra \(\mathcal{C}_R\). She shows for an \(F\)-finite pair \((R, \mathcal{D})\), the properness of the Cartier core at a prime ideal \(P\) of \(R\) is equivalent to \((R_P, \mathcal{D}_P)\) being \(F\)-pure and containment of \(C_{\mathcal{D}}(P)\) in a minimal prime is equivalent to \((R_P, \mathcal{D}_P)\) being strongly \(F\)-regular. The Cartier core satisfies several nice properties: (1) It is order preserving on ideals of the ring. (2) It behaves well with respect to intersections and localizations. (3) It is idempotent and inclusive when \((R,\mathcal{D})\) is \(F\)-finite and \(F\)-pure. Furthermore, when \((R,\mathcal{D})\) is \(F\)-finite and \(F\)-pure, the set of Cartier cores is a finite set and it is precisely the set of \(\mathcal{D}\)-compatible ideals. She obtains a nice colon formula the Cartier core of an ideal in a quotient of an \(F\)-finite regular ring and applies this formula to obtain the Cartier core of any ideal in a Stanley-Reisner ring \(R\) as a sum of certain intersections of the minimal primes of \(R\).