Numerical characterizations for integral dependence of graded modules

Resumen Técnico: Caracterizaciones Numéricas para la Dependencia Integral de Módulos Graduados

Enunciado del Problema
El objetivo principal de este trabajo es establecer un nuevo criterio numérico para detectar la dependencia integral de módulos graduados arbitrarios definidos sobre un dominio noetheriano graduado estándar $A$ sobre un cuerpo $k$. Si bien la caracterización de la dependencia integral mediante invariantes numéricos fue pionera por Rees para ideales, y posteriormente extendida a ideales en contextos graduados por los autores en trabajos previos [5, 6], este artículo aborda el caso más complejo de módulos $N$-graduados $A$-módulos $M$ finitamente generados, sin torsión y de rango $e$. Los autores buscan construir funciones de densidad específicas y utilizarlas para derivar condiciones necesarias y suficientes para que un submódulo graduado $N \subseteq M$ sea una reducción de $M$.

Metodología y Configuración
El artículo opera dentro del marco de un dominio graduado estándar $A = \bigoplus_{m \ge 0} A_m$ de dimensión $d \ge 2$ sobre un cuerpo $k$. El módulo $M$ es un $A$-módulo finitamente generado, sin torsión y de rango $e$. Para definir el álgebra de Rees $A[Mt]$, los autores fijan una inmersión graduada $M \hookrightarrow F$, donde $F$ es un $A$-módulo libre graduado de rango finito. El álgebra de Rees se define como la imagen del mapa del álgebra simétrica: $A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

La metodología central implica la construcción y el análisis de tres funciones de densidad distintas derivadas del comportamiento asintótico de las longitudes de los componentes graduados de $M$, su saturación y el cociente entre ellos. Los autores utilizan la bigraduación natural en el álgebra de Rees $A[Mt]$, donde los generadores tienen bidegrees $(d_i, 1)$ y los elementos de $A$ tienen bidegree $(1, 0)$.

Las herramientas técnicas clave empleadas incluyen:

1. Análisis Asintótico de Longitudes: Los autores analizan la función de longitud $\ell_k((M_n)_m)$ cuando $n \to \infty$, utilizando la estructura del álgebra de Rees como cociente de un anillo de polinomios bigraduado.
2. Cua sipolinomios y Conos: Basándose en resultados de [5], los autores dividen el dominio de la función de longitud en conos $C_j$ generados por los grados de los generadores de $M$. Dentro de estos conos, se demuestra que la función de longitud se comporta como un cuasipolinomio, que eventualmente se estabiliza en un polinomio.
3. Saturación y funciones $\epsilon$: Los autores definen la saturación de $M_n$ como $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$. Introducen la función de densidad $\epsilon$ para medir la diferencia entre los módulos saturados y adicos (originales).
4. Interpretación Geométrica: Las demostraciones aprovechan la función de volumen de divisores en variedades proyectivas (específicamente $X = \text{Proj}_V B$ donde $B$ es el álgebra de Rees) y teoremas de Riemann-Roch asintóticos para establecer la continuidad y la naturaleza polinómica de las funciones de densidad.
5. Subálgebras Diagonales: Para manejar los criterios de dependencia integral, los autores consideran subálgebras diagonales $(c, 1)$ $A[Mt]_{\Delta(c,1)}$ y sus extensiones $S[Mt]_{\Delta(c,1)}$ donde $S = A[y]$, relacionando sus multiplicidades con las funciones de densidad.

Contribuciones y Resultados Clave

1. Construcción de Funciones de Densidad:

   • Función de Densidad Adica ($f_M$): Definida como $f_M(x) = \lim_{n \to \infty} \frac{\ell_k((M_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. El Teorema 3.2 establece que $f_M$ es una función polinómica a trozos bien definida, continua en todas partes excepto posiblemente en $x=d_1$ (el grado mínimo de un generador). Su soporte está en $[d_1, \infty)$.
   • Función de Densidad Saturada ($\tilde{f}_M$): Definida como $\tilde{f}_M(x) = \lim_{n \to \infty} \frac{\ell_k((\widetilde{M}_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. El Teorema 4.3 prueba que esta es una función continua con soporte en $[-c_0, \infty)$ para alguna constante $c_0$. Crucialmente, para $x \ge d_M$, $\tilde{f}_M(x)$ coincide con $f_M(x)$ y viene dada por un polinomio que involucra multiplicidades mixtas del álgebra de Rees.
   • Función de Densidad $\epsilon$ ($f_\epsilon(M)$): Definida como la diferencia $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$. El Teorema 5.2 muestra que esta función tiene soporte compacto en $[-c_0, d_M]$ y es continua en $\mathbb{R} \setminus \{d_1\}$. Se demuestra que la integral de esta función, $\epsilon(M)$, existe como un límite, proporcionando un invariante numérico que mide el "defecto" entre el módulo y su saturación.

2. Criterios Numéricos para la Dependencia Integral:
   El artículo culmina en el Teorema 6.6, que proporciona un conjunto de condiciones equivalentes para que un submódulo graduado $N \subseteq M$ (con $\text{rango } N = \text{rango } M = e$) sea una reducción de $M$. Las siguientes afirmaciones son equivalentes:

   • $N$ es una reducción de $M$.
   • Las funciones de densidad adica y saturada coinciden: $f_M \equiv f_N$ y $\tilde{f}_M \equiv \tilde{f}_N$.
   • Los invariantes $\epsilon$ son iguales ($\epsilon(M) = \epsilon(N)$) y las multiplicidades de las subálgebras diagonales $(c, 1)$ son iguales para algún $c > d_{N,M}$.
   • Las multiplicidades mixtas de las álgebras de Rees $S[Mt]$y$S[Nt]$ coinciden para todo $0 \le i \le d$.

Significado y Afirmaciones
El artículo afirma extender la caracterización numérica de la dependencia integral desde el ámbito de los ideales graduados (como se trató en [5] y [6]) al contexto más general de los módulos graduados. Los autores señalan que esta extensión no es trivial porque, a diferencia del caso de ideales donde $A^n = A$, los componentes $F^n$ del módulo libre varían con $n$, y los invariantes de $F^n$ no son constantes.

El significado del trabajo radica en:

• Generalización: Proporcionar un marco unificado para detectar la dependencia integral en módulos utilizando invariantes asintóticos.
• Nuevos Invariantes: Introducir la función de densidad $\epsilon$ y el invariante asociado $\epsilon(M)$ como una herramienta para medir la diferencia entre un módulo y su saturación en un contexto graduado.
• Límites Rigurosos: Establecer la existencia de límites para estas funciones de densidad y el invariante $\epsilon$ en la configuración graduada, complementando resultados previos en contextos locales [3, 20].
• Criterios Computacionales: Ofrecer criterios numéricos concretos y verificables (que involucran multiplicidades de subálgebras diagonales y multiplicidades mixtas) que son necesarios y suficientes para la reducción, los cuales son esenciales para aplicaciones algorítmicas en álgebra conmutativa y teoría de singularidades.

Los autores mantienen un tono modesto, enmarcando los resultados como una extensión de teorías existentes para ideales a módulos, utilizando estrategias similares pero adaptadas (como cotas de regularidad lineal para potencias de módulos) para superar las diferencias estructurales entre ideales y módulos.