Duality for asymptotic invariants of graded families

Resumen Técnico: Dualidad para Invariantes Asintóticos de Familias Graduadas

Planteamiento del Problema
El artículo investiga la dualidad entre secuencias de números naturales que surgen en el álgebra conmutativa y la geometría algebraica, centrándose específicamente en familias graduadas de ideales. El problema central es comprender la relación entre secuencias subaditivas (como los grados iniciales de potencias simbólicas) y secuencias superaditivas (como los valores de la regularidad de Castelnuovo-Mumford o los índices de separación de jets). Aunque estas secuencias suelen aparecer en contextos relacionados, sus factores de crecimiento asintótico —como la constante de Waldschmidt y la regularidad asintótica— se han estudiado históricamente de forma algo independiente. Los autores pretenden establecer un marco de dualidad riguroso que intercambie estos tipos de secuencias, invierta sus constantes de crecimiento asintótico y proporcione reformulaciones homológicas para conjeturas de larga data sobre configuraciones de puntos en el espacio proyectivo.

Metodología
Los autores emplean un enfoque multifacético que combina la teoría de secuencias combinatorias, la teoría de sistemas inversos y la teoría de inventarios geométricos:

1. Marco de Dualidad de Secuencias: La base se establece en la Sección 2, donde los autores generalizan las transformaciones en secuencias de números naturales. Para una secuencia $\alpha = \{\alpha_n\}$, definen secuencias duales $\overleftarrow{\alpha}_n = \inf\{d \mid \alpha_d \geq n\}$ y $\overrightarrow{\alpha}_n = \sup\{d \mid \alpha_d \leq n\}$. Demuestran que estas transformaciones son inversas mutuas y, crucialmente, que intercambian las clases de secuencias subaditivas y superaditivas. Bajo hipótesis moderadas, estas transformaciones reciprocan los factores de crecimiento asintótico ($\lim \alpha_n/n$).

2. Filtraciones Diferencialmente Cerradas: En la Sección 4, los autores introducen el concepto de filtraciones graduadas diferencialmente cerradas de ideales. Una filtración $\mathcal{I} = \{I_n\}$ es diferencialmente cerrada si la aplicación de operadores diferenciales de orden $k$ a elementos en $I_n$ produce elementos en $I_{n-k}$. Esta clase incluye potencias ordinarias, potencias simbólicas (vía el teorema de Zariski-Nagata), potencias diferenciales y potencias de Frobenius integrales.

3. Sistemas Inversos y Dualidad de Macaulay-Matlis: Los autores utilizan la teoría de sistemas inversos (dualidad de Macaulay). Para una filtración diferencialmente cerrada $\mathcal{I}$, construyen una secuencia de ideales $L_s(\mathcal{I})$ en el anillo dual (ya sea el álgebra de potencias divididas $D$ o el anillo polinomial $S$ en característica cero). Demuestran que $L_s(\mathcal{I})$ es un ideal si y solo si $\mathcal{I}$ es diferencialmente cerrada. Esta construcción vincula los grados iniciales de la filtración con la regularidad del cociente por los ideales del sistema inverso.

4. Aplicaciones Geométricas: La metodología se aplica a entornos geométricos específicos, incluyendo la secuencia de separación de jets para conjuntos de puntos y la constante de Seshadri. Los autores relacionan la regularidad de las potencias simbólicas con los índices de separación de jets mediante las transformaciones de dualidad establecidas en la Sección 2.

Contribuciones Clave y Resultados

• Dualidad de Secuencias Generalizada (Teoremas 2.5 y 2.6): El artículo establece que las transformaciones $\overleftarrow{\cdot}$ y $\overrightarrow{\cdot}$ mapean secuencias subaditivas a secuencias superaditivas (y viceversa) e invierten sus factores de crecimiento asintótico. Específicamente, si $\alpha$ es subaditiva con factor de crecimiento $\hat{\alpha}$, entonces $\overrightarrow{\alpha}$ es superaditiva con factor de crecimiento $\hat{\alpha}^{-1}$.

• Dualidad para Filtraciones Diferencialmente Cerradas (Teoremas 4.9 y 4.20): Los autores demuestran que, para una filtración diferencialmente cerrada $\mathcal{I} = \{I_n\}$, la secuencia de grados iniciales $\alpha_n = \alpha(I_n)$ es subaditiva, mientras que la secuencia de grados finales de los cocientes del sistema inverso $\beta_s = \text{end}(D/L_s(\mathcal{I}))$ es superaditiva. Estas secuencias son duales entre sí (desplazadas por $n$), y sus factores de crecimiento asintótico satisfacen la relación recíproca:
  $$\hat{\beta} = \frac{\hat{\alpha}}{\hat{\alpha} - 1} \quad \text{y} \quad \hat{\alpha} = \frac{\hat{\beta}}{\hat{\beta} - 1}$$
  Esto generaliza los resultados previos de Emsalem e Iarrobino respecto a las potencias simbólicas de ideales radicales.

• Reciprocidad de las Constantes de Seshadri y la Regularidad Asintótica (Teoremas 5.5, 5.7, Corolario 5.8): Para un conjunto finito de puntos $X \subset \mathbb{P}^N$, el artículo establece una dualidad entre la secuencia de índices de separación de jets $s(X, d)$ y la secuencia de regularidades de Castelnuovo-Mumford de las potencias simbólicas $\text{reg}(I(X)^{(k)})$. Consecuentemente, la constante de Seshadri multipunto $\varepsilon(X)$ se muestra como el recíproco de la regularidad asintótica:
  $$\varepsilon(X) = \lim_{d \to \infty} \frac{s(X, d)}{d} = \left( \lim_{k \to \infty} \frac{\text{reg}(I(X)^{(k)})}{k} \right)^{-1}$$
  Esto proporciona una explicación estructural para una conocida relación de reciprocidad.

• Reformulaciones Homológicas de las Conjeturas de Nagata–Iarrobino (Sección 6): Los autores reformulan la conjetura de Nagata (respecto a la constante de Waldschmidt para puntos muy generales en $\mathbb{P}^2$) y la conjetura de Iarrobino (para dimensiones superiores) en términos de sistemas inversos. Específicamente, muestran que las conjeturas son equivalentes a la afirmación de que la regularidad asintótica de los ideales del sistema inverso $L_s(X)$ crece a un ritmo de $\frac{\sqrt[N]{r}}{\sqrt[N]{r} - 1}$. Además, proponen una reformulación homológica (Conjetura 6.2) que establece que, para puntos muy generales, la constante de Waldschmidt es igual a la regularidad asintótica ($\hat{\alpha} = \widehat{\text{reg}}$).

Significancia y Pretensiones
El artículo pretende proporcionar un principio unificador para diversos invariantes asintóticos en la geometría algebraica. Al enmarcar la relación entre los grados iniciales y la regularidad como una dualidad de secuencias, los autores ofrecen una nueva perspectiva sobre el problema de contención entre potencias ordinarias y simbólicas, la resurgencia de los ideales y la geometría de las configuraciones de puntos.

La significancia radica en:

1. Unificación: Conectar la constante de Waldschmidt, la resurgencia asintótica, las constantes de Seshadri y la regularidad asintótica a través de un único mecanismo de dualidad.
2. Generalización: Extender los resultados clásicos de Emsalem-Iarrobino sobre sistemas inversos de potencias simbólicas a la clase más amplia de filtraciones diferencialmente cerradas.
3. Reformulación: Ofrecer reformulaciones basadas en sistemas inversos y homológicos de las conjeturas de Nagata e Iarrobino, lo que potencialmente abre nuevas vías de ataque mediante el estudio de los ideales $L_s(X)$.

Los autores señalan explícitamente que, si bien recuperan relaciones de reciprocidad conocidas (por ejemplo, entre constantes de Seshadri y regularidad asintótica), su contribución es identificar la dualidad de secuencias subyacente que hace necesaria esta relación. Concluyen planteando varias preguntas abiertas sobre la subaditividad de las secuencias de regularidad para ideales radicales generales y la interpretación geométrica de los generadores de $L_s(\mathcal{I})$ en contextos más amplios.