Strong $F$-regularity and the Uniform Symbolic Topology Property (2411.01480v2)

Abstract: We investigate the containment problem of symbolic and ordinary powers of ideals in a commutative Noetherian domain $R$. Our main result states that if $R$ is a domain of prime characteristic $p>0$ that is $F$-finite or essentially of finite type over an excellent local ring and the non-strongly $F$-regular locus of $\mathrm{Spec}(R)$ consists only of isolated points, then there exists a constant $C$ such that for all ideals $I \subseteq R$ and $n \in \mathbb{N}$, the symbolic power $I^{(Cn)}$ is contained in the ordinary power $I^n$. In other words, $R$ enjoys the Uniform Symbolic Topology Property. Moreover, if $R$ is $F$-finite and strongly $F$-regular, then $R$ enjoys a property that is proven to be stronger: there exists a constant $e_0 \in \mathbb{N}$ such that for any ideal $I \subseteq R$ and all $e \in \mathbb{N}$, if $x \in R \setminus I^{[p^e]}$, then there exists an $R$-linear map $\varphi: F^{e+e_0}_*R \to R$ such that $\varphi(F^{e+e_0}_*x) \notin I$.