FROBENIUS SPLITTING, STRONG F-REGULARITY, AND SMALL COHEN-MACAULAY MODULES

Let symbolscript be a finitely generated module over an (F-finite local) ring symbolscript of prime characteristic symbolscript symbolscript 0. Let symbolscript denote the result of restricting scalars using the map symbolscript : symbolscript symbolscript symbolscript the symbolscript th iteration of the Frobenius endomorphism. Motivated in part by the fact that in certain circumstances the splitting of symbolscript as symbolscript grows can be used to prove the existence of small (i.e., finitely generated) maximal Cohen-Macaulay modules, we study splitting phenomena for symbolscript from several points of view. In consequence, we are able to prove new results about when one has such splittings that generalize results previously known only in low dimension, we give new characterizations of when a ring is strongly F-regular, and we are able to prove new results on the existence of small maximal Cohen-Macaulay modules in the multi-graded case. In addition, we study certain corresponding questions when the ring is no longer assumed F -finite and purity is considered in place of splitting. We also answer a question, raised by Datta and Smith, by showing that a regular Noetherian domain, even in dimension 2, need not be very strongly F-regular.