$F$-injectivity does not deform

Abstract

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 \mathfrak{m}$ such that $R/fR$ is $F$-injective.

19 pages, comments welcome