Rigidity of Graded Integral Domains and of their Veronese Subrings

Resumen Técnico: Rigidez de Dominios Integrales Graduados y de sus Subanillos de Veronese

Planteamiento del Problema
El artículo investiga las propiedades de rigidez de dominios integrales conmutativos $B$ graduados por un grupo abeliano $G$. Un anillo se define como rígido si no admite derivaciones localmente nilpotentes (LND) distintas de cero, y como graduado-rígido si no admite LNDs homogéneas distintas de cero. El problema central es comprender la relación entre la rigidez de un dominio graduado $B$ y la rigidez de sus subanillos $B(H) = \bigoplus_{i \in H} B_i$, donde $H$ es un subgrupo de $G$. Específicamente, el autor aborda:

1. ¿Implica la no-rigidez de $B$ la no-rigidez de $B(H)$?
2. ¿Bajo qué condiciones puede una derivación de $B(H)$ extenderse a $B$?
3. ¿Cuál es la estructura del conjunto de subgrupos $H$ para los cuales $B(H)$ no es graduado-rígido?
4. ¿Cómo se relacionan estas propiedades con el índice de saturación y la geometría de la variedad proyectiva asociada (específicamente respecto a la existencia de "cilindros básicos")?

Metodología
El trabajo es puramente algebraico, utilizando la teoría de las derivaciones localmente nilpotentes, los anillos graduados y el álgebra conmutativa. La metodología involucra:

• Definición de Invariantes: El autor introduce dos subgrupos clave del grupo de graduación $G$: $G(B)$, generado por los grados de elementos homogéneos no nulos, y $\bar{G}(B)$, definido a través de los submonoides de grados asociados a ideales primos homogéneos de altura 1. El subgrupo $\bar{G}(B)$ generaliza el concepto de "índice de saturación en codimensión 1".
• Teoremas de Descenso y Extensión: El artículo establece teoremas que relacionan las derivaciones en $B$ con las de los subanillos $B(H)$. Un "Teorema de Descenso" muestra que si $B$ tiene una LND homogénea no nula, entonces $B(H)$ también la tiene para ciertos subgrupos. Inversamente, un "Teorema de Extensión" proporciona condiciones bajo las cuales las derivaciones en $B(H)$ se extienden de forma única a $B$.
• Análisis de Poset: El conjunto de subgrupos $H$ para los cuales $B(H)$ es no-rígido se analiza como un conjunto parcialmente ordenado (poset). El autor caracteriza este conjunto identificando sus elementos maximales, denotados como $\mathcal{M}(B)$.
• Casos Especiales: La teoría se aplica a graduaciones $\mathbb{Z}$ (donde los subgrupos corresponden a subanillos de Veronese $B(d)$) y anillos de Pham-Brieskorn (cocientes de anillos polinomiales por sumas de potencias).
• Conexiones Geométricas: Los resultados algebraicos se vinculan con la existencia de "cilindros básicos" en $\text{Spec}(B)$ y $\text{Proj}(B)$, utilizando resultados conocidos que conectan las LNDs con las acciones de $\mathbb{G}_a$.

Contribuciones Clave y Resultados

1. Los Subgrupos $G(B)$ y $\bar{G}(B)$:
   El artículo define $\bar{G}(B)$ como el subgrupo generado por los conjuntos de grados de todos los ideales primos homogéneos de altura 1. Demuestra que para cualquier LND homogénea no nula $D$, el grupo de grados del $\ker(D)$ se encuentra entre $\bar{G}(B)$ y $G(B)$. Si $B$ es "saturado en codimensión 1" (es decir, $\bar{G}(B) = G(B)$), entonces el núcleo de cualquier LND homogénea posee el grupo de grados completo $G(B)$.

2. Descenso y Extensión de Derivaciones:

• Descenso: Si $B$ es un dominio afín sobre un cuerpo de característica 0 y $H$ pertenece a una clase específica de subgrupos $T_p(B)$ (donde el cociente de los grupos de grados es un grupo de torsión), la existencia de una LND homogénea no nula en $B$ implica la existencia de una en $B(H)$.
• Extensión: Si $B$ es un dominio afín normal, cualquier derivación en $B(H)$ se extiende de forma única a $B(H + \bar{G}(B))$. Si $B$ es saturado en codimensión 1, las derivaciones en $B(H)$ se extienden a $B$.

3. Caracterización de Subanillos No Rígidos ($\mathcal{X}(B)$):
   Sea $\mathcal{X}(B)$ el conjunto de subgrupos $H$ tales que $B(H)$ no es graduado-rígido. El artículo demuestra que $\mathcal{X}(B)$ es la unión de los cierres descendentes de sus elementos maximales, $\mathcal{M}(B)$.

• Si $B$ es normal y saturado en codimensión 1, entonces $\mathcal{X}(B)$ es o bien el conjunto vacío o el conjunto completo $T_p(B)$. Esto implica que, para tales anillos, todos los subanillos de Veronese son rígidos o ninguno lo es.
• Si $B$ no es saturado, el conjunto $\mathcal{X}(B)$ puede ser más complejo, pero sigue estando restringido por la estructura de $\bar{G}(B)$.

4. Aplicaciones a $\mathbb{Z}$-Graduaciones y Subanillos de Veronese:
   Para dominios graduados por $\mathbb{Z}$, los subgrupos corresponden a enteros $d$ (subanillos de Veronese $B(d)$). El artículo define el conjunto $NR(B) = \{d \in \mathbb{N}_{>0} \mid B(d) \text{ es no-rígido}\}$.

• Si $B$ es normal y saturado en codimensión 1, $NR(B)$ es o bien vacío o todo $\mathbb{N}_{>0}$.
• El artículo proporciona una descripción completa de $NR(B)$ para anillos de Pham-Brieskorn $B = k[X_1, \dots, X_n]/(X_1^{a_1} + \dots + X_n^{a_n})$ bajo el supuesto de una conjetura sobre su rigidez. El conjunto de índices no rígidos se describe explícitamente en términos de los exponentes $a_i$.

5. Relación con Cilindros y Variedades Proyectivas:
   El artículo generaliza los resultados conocidos que vinculan la existencia de cilindros básicos en $\text{Spec}(B)$ con la no-rigidez de $B$. Establece un resultado análogo para $\text{Proj}(B)$: $\text{Proj}(B)$ tiene un cilindro básico si y solo si algún subanillo de Veronese $B(d)$ es no-rígido. Si $B$ es normal y saturado en codimensión 1, esto es equivalente a que $B$ sea no-rígido.

6. Invariante de Makar-Limanov y Grado de Trascendencia:
   Un resultado significativo relaciona el invariante de Makar-Limanov $ML(B)$ (la intersección de los núcleos de todas las LNDs) con el rango del grupo cociente $G(B)/\bar{G}(B)$. El artículo demuestra que si $B$ es un dominio afín normal, existe un cuerpo $K$ tal que $ML(B) \subseteq K \subseteq \text{Frac}(B)$ y $\text{Frac}(B)$ es una extensión puramente trascendental de $K$ de grado $r = \text{rank}(G(B)/\bar{G}(B))$. Consecuentemente, $\text{trdeg}(B : ML(B)) \ge r$.

7. Fibras de Polinomios Homogéneos:
   El artículo demuestra que si $R$ es un anillo de polinomios con una graduación $\mathbb{N}$ y $f$ es un elemento primo homogéneo, entonces la rigidez de la fibra $R/(f-c)$ está implicada por la rigidez del cono $R/fR$, siempre que $f$ satisfaga ciertas condiciones de grado. Esto se aplica a cúbicas de Fermat y anillos de Pham-Brieskorn.

Significancia y Reivindicaciones
El autor posiciona este trabajo como una unificación y generalización de los resultados existentes en la teoría de las derivaciones localmente nilpotentes sobre anillos graduados.

• Generalización: Los resultados generalizan teoremas previos respecto a los subanillos de Veronese y la rigidez (por ejemplo, de los trabajos de Daigle, Dubouloz y otros) a graduaciones por grupos abelianos arbitrarios y anillos no saturados.
• Perspectiva Estructural: La introducción de $\bar{G}(B)$ proporciona un nuevo invariante algebraico que controla precisamente el comportamiento de las derivaciones y la saturación de la graduación.
• Completitud para Clases Específicas: Para los anillos de Pham-Brieskorn, el artículo ofrece una descripción completa del conjunto de subanillos de Veronese no rígidos, supeditada a la validez de la conjetura de rigidez para estos anillos en dimensiones superiores.
• Interpretación Geométrica: El artículo clarifica las condiciones algebraicas (saturación en codimensión 1) bajo las cuales la propiedad geométrica de poseer un "cilindro" en la variedad proyectiva es equivalente a la propiedad algebraica de no-rigidez.

El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de las implicaciones matemáticas de los teoremas probados. Se mantiene como una contribución teórica a la álgebra conmutativa y la geometría algebraica, centrándose en las propiedades estructurales de los dominios graduados y sus derivaciones.