A Formalism of F-modules for Rings with Complete Local Finite F-Representation Type

Abstract We develop a formalism of unit F-modules in the style of Lyubeznik and Emerton-Kisin for rings that have finite F-representation type after localization and completion at every prime ideal. As applications, we show that if R is such a ring then the iterated local cohomology modules H^n₁₈_₁ H^nₒ₈_ₒ (R) have finitely many associated primes, and that all local cohomology modules H^n₈ (R / gR) have closed support when g is a nonzerodivisor on R.