donde es la localización de en , establecemos el mapa canónico de un anillo a su localización, y la intersección pasa por todos los primos asociados de .
Aunque esta definición no requiere ser primo , a menudo se trabaja con esta suposición porque en el caso de un ideal primo , la potencia simbólica se puede definir de manera equivalente como el componente primario de . De manera muy general, consiste en funciones con ceros de orden n a lo largo de la variedad definida por . Tenemos: y si es un ideal maximal , entonces .
Los poderes simbólicos inducen la siguiente cadena de ideales:
Aunque los generadores de potencias ordinarias de se entienden bien cuando se da en términos de sus generadores como , sigue siendo muy difícil en muchos casos determinar los generadores de potencias simbólicas de . Pero en el contexto geométrico , hay una interpretación geométrica clara en el caso cuando es un ideal radical sobre un cuerpo algebraicamente cerrado de característica cero .
O equivalentemente, si es el ideal máximo para un punto , .
Teorema (Nagata, Zariski) [2] Sea un ideal primo en un anillo de polinomios sobre un cuerpo algebraicamente cerrado. Entonces
Este resultado se puede extender a cualquier ideal radical . [3] Esta formulación es muy útil porque, en característica cero , podemos calcular las potencias diferenciales en términos de generadores como:
Para otra formulación, podemos considerar el caso en el que el anillo base es un anillo polinomial sobre un cuerpo . En este caso, podemos interpretar la n -ésima potencia simbólica como el haz de todos los gérmenes de función sobre
De hecho, si es una variedad suave sobre un cuerpo perfecto , entonces
[1]
Contenciones
Es natural considerar si los poderes simbólicos concuerdan o no con los poderes ordinarios, es decir, ¿se cumple? En general, este no es el caso. Un ejemplo de esto es el ideal primo . Aquí tenemos que . [1] Sin embargo, se cumple y la generalización de esta inclusión se entiende bien. De hecho, la contención se sigue de la definición. Además, se sabe que si y solo si . La prueba se sigue del lema de Nakayama . [4]
Se ha estudiado extensamente el otro tipo de contención, cuando los poderes simbólicos están contenidos en los poderes ordinarios de los ideales, conocido como el problema de la contención. Una vez más, este problema tiene una respuesta fácil de formular que se resume en el siguiente teorema. Fue desarrollado por Ein, Lazarfeld y Smith en la característica cero [5] y fue ampliado a la característica positiva por Hochster y Huneke [6] . Ambos artículos se basan en los resultados de Irena Swanson en Equivalencia lineal de topologías ideales (2000). [7]
Teorema (Ein, Lazarfeld, Smith; Hochster, Huneke) Sea un ideal homogéneo . Entonces la inclusión
válido para todos
Más tarde se verificó que el límite del teorema no se puede ajustar para ideales generales. [8] Sin embargo, a raíz de una pregunta planteada [8] por Bocci, Harbourne y Huneke, se descubrió que existe un límite mejor en algunos casos.
Teorema La inclusión para todos se cumple
para ideales arbitrarios en la característica 2; [9]
^ ab Bauer, Thomas; Di Rocco, Sandra ; Harbourne, Brian; Kapustka, Michał; Knutsen, Andreas; Syzdek, Wioletta; Szemberg, Tomasz (2009). "Introducción a las constantes de Seshadri". En Bates, Daniel J.; Besana, GianMario; Di Rocco, Sandra; Wampler, Charles W. (eds.). Interacciones de geometría algebraica numérica y clásica: artículos de la conferencia en honor a Andrew Sommese celebrada en la Universidad de Notre Dame, Notre Dame, IN, del 22 al 24 de mayo de 2008 . Matemáticas Contemporáneas. vol. 496. Providence, Rhode Island: Sociedad Matemática Estadounidense. págs. 33–70. arXiv : 0810.0728 . doi :10.1090/conm/496/09718. Señor 2555949.
^ Lawrence Ein, Robert Lazarsfeld y Karen E Smith. Límites uniformes y potencias simbólicas en variedades suaves. Inventiones mathematicae, 144(2):241–252, 2001
^ Melvin Hochster y Craig Huneke. Comparación de los poderes simbólicos y ordinarios de los ideales. Inventiones mathematicae, 147(2):349–369, 2002.
^ Irena Swanson . Equivalencia lineal de topologías ideales. Mathematische Zeitschrift, 234(4):755–775, 2000
^ abc Bocci, Cristiano; Harbourne, Brian (2007). "Comparación de poderes y poderes simbólicos de ideales". arXiv : 0706.3707 [math.AG].
^ Tomasz Szemberg y Justyna Szpond. Sobre el problema de la contención. Rediconti del Circolo Matematico di Palermo Serie 2, páginas 1–13, 2016.
^ Marcin Dumnicki. Contenciones de poderes simbólicos de ideales de puntos genéricos en P 3 . Actas de la American Mathematical Society, 143(2):513–530, 2015.