{"id":"arxiv/2610.10200","url":"https://arxiv.org/abs/2610.10200","tags":["math.AC"],"score":0,"title":"On an ideal membership problem","domain":"math.AC","source":"arxiv","authors":["Melvin Hochster","Jack Jeffries","Nawaj KC","Anurag K. Singh"],"reviews":0,"subject":"math.AC","summary":"Suppose $f_1, \\dots, f_{n+1}$ are elements of a regular ring $R$, where $n := \\dim R$. The first author proved that $f_1^n \\cdots f_{n+1}^n \\in (f_1^{n+1}, \\dots, f_{n+1}^{n+1})R$; this uses the Brian\\c con-Skoda theorem --- no simpler proof is known, as far as we are aware. We show here that this result is optimal in many respects. On the other hand, when the $f_i$ are homogeneous general polynomials of a fixed degree in $R := \\mathbb{F}[x_1,\\dots,x_n]$, for $\\mathbb{F}$ a field of characteristic zero, we prove that $f_1 \\cdots f_{n+1} \\in (f_1^2, \\dots, f_{n+1}^2)R$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}