Uniform symbolic topologies via multinomial expansions
HTML articles powered by AMS MathViewer
- by Robert M. Walker PDF
- Proc. Amer. Math. Soc. 146 (2018), 3735-3746 Request permission
Abstract:
When does a Noetherian commutative ring $R$ have uniform symbolic topologies on primes–read, when does there exist an integer $D>0$ such that the symbolic power $P^{(Dr)} \subseteq P^r$ for all prime ideals $P \subseteq R$ and all $r >0$? Groundbreaking work of Ein-Lazarsfeld-Smith, as extended by Hochster and Huneke, and by Ma and Schwede in turn, provides a beautiful answer in the setting of finite-dimensional excellent regular rings. It is natural to then search for analogues where the ring $R$ is non-regular, or where the above ideal containments can be improved using a linear function whose growth rate is slower. This manuscript falls under the overlap of these research directions. Working with a prescribed type of prime ideal $Q$ inside of tensor products of domains of finite type over an algebraically closed field $\mathbb {F}$, we present binomial and multinomial expansion criteria for containments of type $Q^{(E r)} \subseteq Q^r$, or even better, of type $Q^{(E (r-1)+1)} \subseteq Q^r$ for all $r>0$. The final section consolidates remarks on how often we can utilize these criteria, presenting an example.References
- Solomon Akesseh, Ideal containments under flat extensions, J. Algebra 492 (2017), 44–51. MR 3709140, DOI 10.1016/j.jalgebra.2017.07.026
- A. Altman and S. Kleiman, A Term of Commutative Algebra, Worldwide Center of Mathematics LLC, Cambridge, MA, 2014.
- Stacks Project authors, The Stacks Project, Open source textbook Online Link, 2016.
- Thomas Bauer, Sandra Di Rocco, Brian Harbourne, MichałKapustka, Andreas Knutsen, Wioletta Syzdek, and Tomasz Szemberg, A primer on Seshadri constants, Interactions of classical and numerical algebraic geometry, Contemp. Math., vol. 496, Amer. Math. Soc., Providence, RI, 2009, pp. 33–70. MR 2555949, DOI 10.1090/conm/496/09718
- Cristiano Bocci, Susan Cooper, Elena Guardo, Brian Harbourne, Mike Janssen, Uwe Nagel, Alexandra Seceleanu, Adam Van Tuyl, and Thanh Vu, The Waldschmidt constant for squarefree monomial ideals, J. Algebraic Combin. 44 (2016), no. 4, 875–904. MR 3566223, DOI 10.1007/s10801-016-0693-7
- David A. Cox, John B. Little, and Henry K. Schenck, Toric varieties, Graduate Studies in Mathematics, vol. 124, American Mathematical Society, Providence, RI, 2011. MR 2810322, DOI 10.1090/gsm/124
- H. Dao, A. De Stefani, E. Grifo, C. Huneke, and L. Núñez-Betancourt, Symbolic Powers of Ideals, To appear in Advances in Singularities and Foliations: Geometry, Topology and Applications, Springer Proceedings in Mathematics & Statistics. arXiv/1708.03010, 2017.
- Marcin Dumnicki, Tomasz Szemberg, and Halszka Tutaj-Gasińska, Counterexamples to the $I^{(3)}\subset I^2$ containment, J. Algebra 393 (2013), 24–29. MR 3090054, DOI 10.1016/j.jalgebra.2013.06.039
- Lawrence Ein, Robert Lazarsfeld, and Karen E. Smith, Uniform bounds and symbolic powers on smooth varieties, Invent. Math. 144 (2001), no. 2, 241–252. MR 1826369, DOI 10.1007/s002220100121
- William Fulton, Introduction to toric varieties, Annals of Mathematics Studies, vol. 131, Princeton University Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry. MR 1234037, DOI 10.1515/9781400882526
- E. Grifo and C. Huneke, Symbolic powers of ideals defining F-pure and strongly F-regular rings, To appear in IMRN. arXiv/1702.06876, 2017.
- H. T. Hà, H. D. Nguyen, N. V. Trung, and T. N. Trung, Symbolic Powers of Sums of Ideals, arXiv preprint, 2017.
- Brian Harbourne and Alexandra Seceleanu, Containment counterexamples for ideals of various configurations of points in $\mathbf {P}^N$, J. Pure Appl. Algebra 219 (2015), no. 4, 1062–1072. MR 3282125, DOI 10.1016/j.jpaa.2014.05.034
- Melvin Hochster and Craig Huneke, Comparison of symbolic and ordinary powers of ideals, Invent. Math. 147 (2002), no. 2, 349–369. MR 1881923, DOI 10.1007/s002220100176
- Craig Huneke, Uniform bounds in Noetherian rings, Invent. Math. 107 (1992), no. 1, 203–223. MR 1135470, DOI 10.1007/BF01231887
- Craig Huneke, Daniel Katz, and Javid Validashti, Uniform equivalence of symbolic and adic topologies, Illinois J. Math. 53 (2009), no. 1, 325–338. MR 2584949
- Craig Huneke, Daniel Katz, and Javid Validashti, Uniform symbolic topologies and finite extensions, J. Pure Appl. Algebra 219 (2015), no. 3, 543–550. MR 3279373, DOI 10.1016/j.jpaa.2014.05.012
- L. Ma and K. Schwede, Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers, arXiv/1705.02300, 2017.
- J.S. Milne, Algebraic Geometry, Lecture Notes, Version 5.22. Online Link, 2013.
- Ajinkya A. More, Uniform bounds on symbolic powers, J. Algebra 383 (2013), 29–41. MR 3037965, DOI 10.1016/j.jalgebra.2013.02.026
- Robert M. Walker, Rational singularities and uniform symbolic topologies, Illinois J. Math. 60 (2016), no. 2, 541–550. MR 3680547
- R. M. Walker, Uniform Harbourne-Huneke Bounds via Flat Extensions, arXiv/1608.02320, 2016.
- R. M. Walker, Uniform Symbolic Topologies in Normal Toric Rings, arXiv/1706.06576, 2017.
Additional Information
- Robert M. Walker
- Affiliation: Department of Mathematics, University of Michigan, Ann Arbor, Michigan, 48109
- MR Author ID: 1031098
- Email: robmarsw@umich.edu
- Received by editor(s): May 11, 2017
- Received by editor(s) in revised form: December 5, 2017
- Published electronically: June 13, 2018
- Communicated by: Irena Peeva
- © Copyright 2018 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 146 (2018), 3735-3746
- MSC (2010): Primary 13H10; Secondary 14C20, 14M25
- DOI: https://doi.org/10.1090/proc/14073
- MathSciNet review: 3825829