$F$-injectivity does not deform

Karl Schwede, Austyn Simpson

We show that there exists an $F$-finite four-dimensional local domain $(R,\mathfrak{m})$ of characteristic two which is not $F$-injective but which admits a nonzerodivisor $f\in \m…