Symbolic power of an ideal
In algebra and algebraic geometry, given a commutative Noetherian ring and an ideal in it, the n-th symbolic power of is the ideal
where is the localization of at , we set is the canonical map from a ring to its localization, and the intersection runs through all of the associated primes of .
Though this definition does not require to be prime, this assumption is often worked with because in the case of a prime ideal, the symbolic power can be equivalently defined as the -primary component of . Very roughly, it consists of functions with zeros of order n along the variety defined by . We have: and if is a maximal ideal, then .
Symbolic powers induce the following chain of ideals:
Uses
The study and use of symbolic powers has a long history in commutative algebra. Krull’s famous proof of his principal ideal theorem uses them in an essential way. They first arose after primary decompositions were proved for Noetherian rings. Zariski used symbolic powers in his study of the analytic normality of algebraic varieties. Chevalley's famous lemma comparing topologies states that in a complete local domain the symbolic powers topology of any prime is finer than the m-adic topology. A crucial step in the vanishing theorem on local cohomology of Hartshorne and Lichtenbaum uses that for a prime defining a curve in a complete local domain, the powers of are cofinal with the symbolic powers of . This important property of being cofinal was further developed by Schenzel in the 1970s.[1]
In algebraic geometry
Though generators for ordinary powers of are well understood when is given in terms of its generators as , it is still very difficult in many cases to determine the generators of symbolic powers of . But in the geometric setting, there is a clear geometric interpretation in the case when is a radical ideal over an algebraically closed field of characteristic zero.
If is an irreducible variety whose ideal of vanishing is , then the differential power of consists of all the functions in that vanish to order ≥ n on , i.e.
Or equivalently, if is the maximal ideal for a point , .
Theorem (Nagata, Zariski)[2] Let be a prime ideal in a polynomial ring over an algebraically closed field. Then
This result can be extended to any radical ideal.[3] This formulation is very useful because, in characteristic zero, we can compute the differential powers in terms of generators as:
For another formulation, we can consider the case when the base ring is a polynomial ring over a field. In this case, we can interpret the n-th symbolic power as the sheaf of all function germs over In fact, if is a smooth variety over a perfect field, then
Containments
It is natural to consider whether or not symbolic powers agree with ordinary powers, i.e. does hold? In general this is not the case. One example of this is the prime ideal . Here we have that .[1] However, does hold and the generalization of this inclusion is well understood. Indeed, the containment follows from the definition. Further, it is known that if and only if . The proof follows from Nakayama's lemma.[4]
There has been extensive study into the other containment, when symbolic powers are contained in ordinary powers of ideals, referred to as the Containment Problem. Once again this has an easily stated answer summarized in the following theorem. It was developed by Ein, Lazarfeld, and Smith in characteristic zero [5] and was expanded to positive characteristic by Hochster and Huneke.[6] Their papers both build upon the results of Irena Swanson in Linear Equivalence of Ideal Topologies (2000).[7]
Theorem (Ein, Lazarfeld, Smith; Hochster, Huneke) Let be a homogeneous ideal. Then the inclusion
- holds for all
It was later verified that the bound of in the theorem cannot be tightened for general ideals.[8] However, following a question posed[8] by Bocci, Harbourne, and Huneke, it was discovered that a better bound exists in some cases.
Theorem The inclusion for all holds
- for arbitrary ideals in characteristic 2;[9]
- for monomial ideals in arbitrary characteristic[4]
- for ideals of d-stars[8]
- for ideals of general points in [10][11]
References
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b7/Sz2010a.jpg/220px-Sz2010a.jpg)
- ^ a b c Dao, Hailong; De Stefani, Alessandro; Grifo, Eloísa; Huneke, Craig; Núñez-Betancourt, Luis (2017-08-09). "Symbolic powers of ideals". arXiv:1708.03010 [math.AC].
- ^ David Eisenbud. Commutative Algebra: with a view toward algebraic geometry, volume 150. Springer Science & Business Media, 2013.
- ^ Sidman, Jessica; Sullivant, Seth (2006). "Prolongations and computational algebra". arXiv:math/0611696.
- ^ a b Bauer, Thomas; Di Rocco, Sandra; Harbourne, Brian; Kapustka, Michał; Knutsen, Andreas; Syzdek, Wioletta; Szemberg, Tomasz (2009). "A primer on Seshadri constants". In Bates, Daniel J.; Besana, GianMario; Di Rocco, Sandra; Wampler, Charles W. (eds.). Interactions of classical and numerical algebraic geometry: Papers from the conference in honor of Andrew Sommese held at the University of Notre Dame, Notre Dame, IN, May 22–24, 2008. Contemporary Mathematics. Vol. 496. Providence, Rhode Island: American Mathematical Society. pp. 33–70. doi:10.1090/conm/496/09718. MR 2555949.
- ^ Lawrence Ein, Robert Lazarsfeld, and Karen E Smith. Uniform bounds and symbolic powers on smooth varieties. Inventiones mathematicae, 144(2):241–252, 2001
- ^ Melvin Hochster and Craig Huneke. Comparison of symbolic and ordinary powers of ideals. Inventiones mathematicae, 147(2):349–369, 2002.
- ^ Irena Swanson. Linear equivalence of ideal topologies. Mathematische Zeitschrift, 234(4):755–775, 2000
- ^ a b c Bocci, Cristiano; Harbourne, Brian (2007). "Comparing powers and symbolic powers of ideals". arXiv:0706.3707 [math.AG].
- ^ Tomasz Szemberg and Justyna Szpond. On the containment problem. Rendiconti del Circolo Matematico di Palermo Series 2, pages 1–13, 2016.
- ^ Marcin Dumnicki. Containments of symbolic powers of ideals of generic points in P 3 . Proceedings of the American Mathematical Society, 143(2):513–530, 2015.
- ^ Harbourne, Brian; Huneke, Craig (2011). "Are symbolic powers highly evolved?". arXiv:1103.5809 [math.AC].