English

Ideal Containments under Flat Extensions

Algebraic Geometry 2017-07-19 v2 Commutative Algebra

Abstract

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

Keywords

Cite

@article{arxiv.1512.08053,
  title  = {Ideal Containments under Flat Extensions},
  author = {Solomon Akesseh},
  journal= {arXiv preprint arXiv:1512.08053},
  year   = {2017}
}

Comments

7 pages

R2 v1 2026-06-22T12:18:07.361Z