Rational singularities and uniform symbolic topologies

MaRDI QIDQ2362698zbMATH OpenFDO

Authors Robert M. Walker

Publication date 11 July 2017

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.02993, https://projecteuclid.org/euclid.ijm/1499760021

zbMATH Keywords

divisor class grouprational double pointrational singularitiessimplicial toric surfacesymbolic powersuniform symbolic topologies

Mathematics Subject Classification ID

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

Abstract: Take $(R,mathfrakm)$ any normal Noetherian domain, either local or $mathbbN$-graded over a field. We study the question of when $R$ satisfies the uniform symbolic topology property (USTP) of Huneke, Katz, and Validashti: namely, that there exists an integer $D>0$ such that for all prime ideals $PsubseteqR$, the symbolic power $P^{(Da)}subseteq{P}^a$ for all $a>0$. Reinterpreting results of Lipman, we deduce that when $R$ is a two-dimensional rational singularity, then it satisfies the USTP. Emphasizing the non-regular setting, we produce explicit, effective multipliers $D$, working in two classes of surface singularities in equal characteristic over an algebraically closed field, using: (1) the volume of a parallelogram in $mathbb{R}^2$ when $R$ is the coordinate ring of a simplicial toric surface; or (2) known invariants of du Val isolated singularities in characteristic zero due to Lipman.

Review text

Let \((R,\mathfrak m)\) be a normal Noetherian domain with \(R\) local or graded over a field. The ring \(R\) satisfies the uniform symbolic topology property (USTP) of \textit{C. Huneke} et al. [J. Pure Appl. Algebra 219, No. 3, 543--550 (2015; Zbl 1304.13002)] if there exists a positive integer \(D\) such that the symbolic power \(P^{(aD)}\) is contained in the ordinary power \(P^a\) for all prime ideals \(P\) in \(R\) and all positive integers \(a\). Theorems of \textit{L. Ein} et al. [Invent. Math. 144, No. 2, 241--252 (2001; Zbl 1076.13501)], \textit{M. Hochster} and \textit{C. Huneke} [Invent. Math. 147, No. 2, 349--369 (2002; Zbl 1061.13005)], and \textit{L. Ma} and \textit{K. Schwede} [``Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers, Preprint, \url{arXiv:1705.02300}] show that regular rings (in all characteristics, including mixed characteristic) satisfy the USTP. The present paper reinterprets results of Lipman, to deduce that when \(R\) is a two-dimensional rational singularity, then it satisfies the USTP. An effective multiplier \(D\) is obtained when \(R\) is the coordinate ring of a simplicial toric surface and when \(R\) is coordinate ring of a rational double point.

Recommendations

• The uniform symbolic topology property for diagonally \(F\)-regular algebras
• Uniform equivalence of symbolic and adic topologies
• Uniform symbolic topologies in normal toric rings
• Uniform bounds and symbolic powers on smooth varieties
• On powers of prime ideals and rational singularities

Cited in

(9)

• Uniform symbolic topologies in normal toric rings
• Uniform Harbourne-Huneke bounds via flat extensions
• The uniform symbolic topology property for diagonally \(F\)-regular algebras
• Uniform stable radius, Lê numbers and topological triviality for line singularities
• Symbolic power containments in singular rings in positive characteristic
• Uniform symbolic topologies via multinomial expansions
• Uniform symbolic topologies in abelian extensions
• Symbolic Rees algebras
• Uniform symbolic topologies and hypersurfaces

This page was built for publication: Rational singularities and uniform symbolic topologies

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