Uniform Harbourne-Huneke bounds via flat extensions

DOI10.1016/J.JALGEBRA.2018.08.024MaRDI QIDQ1799014zbMATH OpenOpenAlexFDO

Authors Robert M. Walker

Publication date 18 October 2018

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

Full work available at URL https://arxiv.org/abs/1608.02320

zbMATH Keywords

symbolic powersdivisor class groupflat extensionsnormal toric ring

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Divisors, linear systems, invertible sheaves (14C20) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Over an arbitrary field $mathbbF$, Harbourne conjectured that ${\displaystyle }$I^{(N (r-1)+1)} subseteq I^r${\displaystyle }$ for all $r>0$ and all homogeneous ideals $I$ in $S=mathbbF[mathbb{P}^N]=mathbbF[x_0,ldots,x_N]$. The conjecture has been disproven for select values of $Nge2$: 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)}subseteq{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 $N$ in several cases including: the $D$-th Veronese subring of any polynomial ring $mathbbF[x_1,ldots,x_n]$ $(nge1)$; and the extension ring $mathbbF[x_1,ldots,x_n,z]/(z^D-x_{1}cdots{x}_n)$ of $mathbbF[x_1,ldots,x_n]$.

Recommendations

• Uniform symbolic topologies via multinomial expansions
• Ideal containments under flat extensions
• A stable version of Harbourne's conjecture and the containment problem for space monomial curves
• Chudnovsky's conjecture and the stable Harbourne-Huneke containment
• Containments of symbolic powers of ideals of generic points in \(\mathbb{P}^{3}\)

Cites work

• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• A primer on Seshadri constants
• Comparing powers and symbolic powers of ideals
• Comparison of symbolic and ordinary powers of ideals.
• Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
• Counterexamples to the \(I^{(3)}\subset I^2\) containment
• Divisor class groups of graded hypersurfaces
• Ideal containments under flat extensions
• Introduction to Toric Varieties. (AM-131)
• On the containment problem
• Rational singularities and uniform symbolic topologies
• Rational singularities, with applications to algebraic surfaces and unique factorization
• Symbolic powers of ideals
• Toric varieties
• Uniform bounds and symbolic powers on smooth varieties
• Uniform symbolic topologies via multinomial expansions

Cited in

(4)

• Uniform symbolic topologies in normal toric rings
• Singular loci of reflection arrangements and the containment problem
• Symbolic power containments in singular rings in positive characteristic
• Uniform symbolic topologies via multinomial expansions

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Uniform Harbourne-Huneke bounds via flat extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799014)