Numerical characterizations for integral dependence of graded modules

Resumo Técnico: Caracterizações Numéricas para Dependência Integral de Módulos Gradados

Enunciado do Problema
O objetivo principal deste trabalho é estabelecer um novo critério numérico para detectar a dependência integral de módulos gradados arbitrários definidos sobre um domínio de Noether gradado padrão $A$ sobre um corpo $k$. Embora a caracterização da dependência integral por meio de invariantes numéricos tenha sido pioneira por Rees para ideais, e subsequentemente estendida para ideais em contextos graduados pelos autores em trabalhos anteriores [5, 6], este artigo aborda o caso mais complexo de $A$-módulos $N$-graduados $M$, finitamente gerados e sem torção, de posto $e$. Os autores visam construir funções de densidade específicas e utilizá-las para derivar condições necessárias e suficientes para que um submódulo gradado $N \subseteq M$ seja uma redução de $M$.

Metodologia e Configuração
O artigo opera no âmbito de um domínio gradado padrão $A = \bigoplus_{m \ge 0} A_m$ de dimensão $d \ge 2$ sobre um corpo $k$. O módulo $M$ é um $A$-módulo finitamente gerado, sem torção, de posto $e$. Para definir a álgebra de Rees $A[Mt]$, os autores fixam um mergulho gradado $M \hookrightarrow F$, onde $F$ é um $A$-módulo gradado livre de posto finito. A álgebra de Rees é definida como a imagem do mapa da álgebra simétrica: $A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

A metodologia central envolve a construção e análise de três funções de densidade distintas derivadas do comportamento assintótico dos comprimentos das componentes graduadas de $M$, de sua saturação e do quociente entre elas. Os autores utilizam a bigraduação natural na álgebra de Rees $A[Mt]$, onde os geradores têm bigrau $(d_i, 1)$ e os elementos de $A$ têm bigrau $(1, 0)$.

As principais ferramentas técnicas empregadas incluem:

1. Análise Assintótica dos Comprimentos: Os autores analisam a função de comprimento $\ell_k((M_n)_m)$ quando $n \to \infty$, utilizando a estrutura da álgebra de Rees como um quociente de um anel de polinômios bigraduado.
2. Quase-polinômios e Cones: Baseando-se em resultados de [5], os autores particionam o domínio da função de comprimento em cones $C_j$ gerados pelos graus dos geradores de $M$. Dentro desses cones, demonstra-se que a função de comprimento comporta-se como um quase-polinômio, que eventualmente se estabiliza em um polinômio.
3. Saturação e Funções $\epsilon$: Os autores definem a saturação de $M_n$ como $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$. Introduzem a função de densidade $\epsilon$ para medir a diferença entre os módulos saturados e adicos (originais).
4. Interpretação Geométrica: As provas aproveitam a função de volume de divisores em variedades projetivas (especificamente $X = \text{Proj}_V B$ onde $B$ é a álgebra de Rees) e teoremas de Riemann-Roch assintóticos para estabelecer a continuidade e a natureza polinomial das funções de densidade.
5. Subálgebras Diagonais: Para lidar com os critérios de dependência integral, os autores consideram subálgebras diagonais $(c, 1)$ $A[Mt]_{\Delta(c,1)}$ e suas extensões $S[Mt]_{\Delta(c,1)}$ onde $S = A[y]$, relacionando suas multiplicidades às funções de densidade.

Principais Contribuições e Resultados

1. Construção de Funções de Densidade:

   • Função de Densidade 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)!}$. O Teorema 3.2 estabelece que $f_M$ é uma função bem definida, polinomial por partes, contínua em todos os pontos, exceto possivelmente em $x=d_1$ (o grau mínimo de um gerador). Seu suporte é $[d_1, \infty)$.
   • Função de Densidade 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)!}$. O Teorema 4.3 prova que esta é uma função contínua com suporte em $[-c_0, \infty)$ para alguma constante $c_0$. Crucialmente, para $x \ge d_M$, $\tilde{f}_M(x)$ coincide com $f_M(x)$ e é dada por um polinômio envolvendo multiplicidades mistas da álgebra de Rees.
   • Função de Densidade $\epsilon$ ($f_\epsilon(M)$): Definida como a diferença $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$. O Teorema 5.2 mostra que esta função tem suporte compacto em $[-c_0, d_M]$ e é contínua em $\mathbb{R} \setminus \{d_1\}$. A integral desta função, $\epsilon(M)$, demonstra existir como um limite, fornecendo um invariante numérico que mede o "defeito" entre o módulo e sua saturação.

2. Critérios Numéricos para Dependência Integral:
   O artigo culmina no Teorema 6.6, que fornece um conjunto de condições equivalentes para que um submódulo gradado $N \subseteq M$ (com $\text{posto } N = \text{posto } M = e$) seja uma redução de $M$. As seguintes afirmações são equivalentes:

   • $N$ é uma redução de $M$.
   • As funções de densidade adica e saturada coincidem: $f_M \equiv f_N$ e $\tilde{f}_M \equiv \tilde{f}_N$.
   • Os invariantes $\epsilon$ são iguais ($\epsilon(M) = \epsilon(N)$) e as multiplicidades das subálgebras diagonais $(c, 1)$ são iguais para algum $c > d_{N,M}$.
   • As multiplicidades mistas das álgebras de Rees $S[Mt]$e$S[Nt]$ coincidem para todos os $0 \le i \le d$.

Significado e Alegações
O artigo alega estender a caracterização numérica da dependência integral do domínio dos ideais graduados (como tratado em [5] e [6]) para o contexto mais geral de módulos graduados. Os autores observam que esta extensão é não trivial porque, ao contrário do caso de ideais onde $A^n = A$, as componentes $F^n$ do módulo livre variam com $n$, e os invariantes de $F^n$ não são constantes.

O significado do trabalho reside em:

• Generalização: Fornecer um quadro unificado para detectar dependência integral em módulos usando invariantes assintóticos.
• Novos Invariantes: Introduzir a função de densidade $\epsilon$ e o invariante associado $\epsilon(M)$ como uma ferramenta para medir a diferença entre um módulo e sua saturação em um contexto gradado.
• Limites Rigorosos: Estabelecer a existência de limites para essas funções de densidade e para o invariante $\epsilon$ na configuração gradada, complementando resultados anteriores em contextos locais [3, 20].
• Critérios Computacionais: Oferecer critérios numéricos concretos e verificáveis (envolvendo multiplicidades de subálgebras diagonais e multiplicidades mistas) que são necessários e suficientes para a redução, essenciais para aplicações algorítmicas em álgebra comutativa e teoria das singularidades.

Os autores mantêm um tom modesto, enquadrando os resultados como uma extensão de teorias existentes para ideais aos módulos, utilizando estratégias semelhantes, mas adaptadas (como limites de regularidade linear para potências de módulos) para superar as diferenças estruturais entre ideais e módulos.