Ideal Containments under Flat Extensions

Abstract

Let $φ: S = k[y_0,..., y_n] \to R = k[y_0,...,y_n]$ be given by $y_i \to f_i$ where $f_0,...,f_n$ is an $R$-regular sequence of homogeneous elements of the same degree. A recent paper shows for ideals, $I_Δ\subseteq S$, of matroids, $Δ$, that $I_Δ^{(m)} \subseteq I^r$ if and only if $φ_*(I_Δ)^{(m)} \subseteq φ_*(I_Δ)^r$ where $φ_*(I_Δ)$ is the ideal generated in $R$ by $φ(I_Δ)$. We prove this result for saturated homogeneous ideals $I$ of configurations of points in $\mathbb{P}^n$ and use it to obtain many new counterexamples to $I^{(rn - n + 1)} \subseteq I^r$ from previously known counterexamples.