Uniform Harbourne-Huneke bounds via flat extensions

DOI10.1016/J.JALGEBRA.2018.08.024zbMATH Open1401.13074arXiv1608.02320OpenAlexW2519401284MaRDI QIDQ1799014FDOQ1799014

Publication date: 18 October 2018

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Over an arbitrary field

m a t h b b F

, Harbourne conjectured that

I^{(N (r-1)+1)} subseteq I^r

for all

r > 0

and all homogeneous ideals

I

in

S = m a t h b b F [m a t h b b P^{N}] = m a t h b b F [x_{0}, l d o t s, x_{N}]

. The conjecture has been disproven for select values of

N g e 2

: first by Dumnicki, Szemberg, and Tutaj-Gasi'{n}ska in characteristic zero, and then by Harbourne and Seceleanu in odd positive characteristic. However, the ideal containments above do hold when, for instance,

I

is a monomial ideal in

S

. As a sequel to (arXiv:1510.02993), we present criteria for containments of type

I^{(N (r - 1) + 1)} s u b s e t e q I^{r}

for all

r > 0

and certain classes of ideals

I

in a prodigious class of normal rings. Of particular interest is a result for monomial primes in tensor products of affine semigroup rings. Indeed, we explain how to give effective multipliers