Resumo Técnico: Pacote LipschitzSaturation

Declaração do Problema

O artigo aborda os desafios computacionais associados à determinação de saturações de Lipschitz em geometria analítica complexa e variedades toricas. Embora o arcabouço teórico para a saturação de Lipschitz — ligando a equisingularidade bi-Lipschitz à normalização algébrica — tenha sido estabelecido por Pham, Teissier, Lipman e outros, a verificação prática permanece difícil.

O problema central reside na intratabilidade computacional dos métodos algébicos padrão. Verificar a pertinência em uma saturação de Lipschitz tipicamente requer testes complexos de pertinência de ideais via reduções de base de Gröbner. À medida que o número de variáveis ou os graus dos geradores aumentam, esses cálculos tornam-se proibitivamente caros, frequentemente levando à exaustão de memória ou tempos de espera excessivos (timeouts). Isso é particularmente agudo para famílias paramétricas onde os graus dos geradores crescem, causando uma explosão combinatória no algoritmo de Buchberger.

Metodologia

O pacote LipschitzSaturation para Macaulay2 (versão 1.22+) implementa algoritmos para computar três distinções de saturação para módulos e um algoritmo de construção para singularidades tóricas. A metodologia é dividida em dois domínios primários:

1. Saturação de Módulos

Para um submódulo $\mathcal{O}_X$-submódulo $M \subseteq \mathcal{O}_X^p$, o pacote computa três níveis de saturação ($MS^1, MS^2, MS^3$) e um "módulo duplo" auxiliar $M^D$.

• Construção do Módulo Duplo ($M^D$): O pacote constrói o módulo duplo $M^D \subseteq \mathcal{O}_{X \times X}^{2p}$ usando geradores derivados dos geradores originais do módulo e diferenças de coordenadas $(z_i \circ \pi_1 - z_i \circ \pi_2)$. Isso reduz o conjunto infinito de elementos a um conjunto finito de geradores.
• Saturação 1-Lipschitz ($MS^1$):
  • Critério Algébrico: O pacote utiliza o funtor $\rho$ para traduzir a pertinência de módulo em um problema de pertinência de ideal dentro de um anel polinomial maior. Em vez de computar o fechamento integral completo (que consome muita memória), ele utiliza o critério de redução de Northcott–Rees. Isso transforma o problema em verificar se $J^k \subseteq I \cdot J^{k-1}$ para $J = I + \langle z \rangle$, uma tarefa lidada eficientemente pela aritmética de base de Gröbner.
  • Critério Geométrico/Baseado em Curvas: Para contornar a complexidade exponencial do método algébrico para famílias paramétricas, o pacote implementa isMS1ElementOnCurve. Este método puxa o cálculo ao longo de uma curva analítica fornecida pelo usuário $\phi: (\mathbb{C}, 0) \to (X \times X, (x, x))$. Ao mapear o problema para um anel univariado $\mathbb{Q}[t]$, o teste de pertinência é resolvido via divisão de polinômios, alcançando um tempo de execução quase constante, independentemente do parâmetro de grau.
• Saturação 2-Lipschitz ($MS^2$): Esta saturação é testada verificando se a contração de $h$ com cada forma linear $\psi$ resulta em um elemento na saturação 1-Lipschitz do módulo contraído. Para módulos de posto 2, isso é implementado via o ideal de menores $2 \times 2$ ($J_2(h, M) \subseteq J_2(M)$).
• Saturação 3-Lipschitz ($MS^3$): Esta é definida via a contenção de ideais de menores máximos: $J_k(h, M) \subseteq (J_k(M))^S$. A implementação utiliza os comandos minors e integralClosure do Macaulay2 para testar isso diretamente.

2. Singularidades Tóricas

Para variedades tóricas, o objetivo é construir o gerador da álgebra saturada $\Gamma^S$ dado uma matriz de geradores de semigrupo $\Gamma$.

• Espaço de Busca Finito: O algoritmo opera dentro de uma grade de rede (lattice grid) finita determinada pelos valores máximos de coordenadas dos geradores originais e o cone dual $\sigma^\vee$.
• Pipeline de Filtragem: Os candidatos são filtrados através de três critérios rigorosos:
  1. Limites de Projeção: Garantir que a projeção do candidato nas faces do cone não exceda a projeção máxima dos geradores originais.
  2. Verificação do Poliedro de Newton: Mapear o problema para um cone homogeneizado em $\mathbb{Z}^{d+1}$ para eliminar elementos abaixo da fronteira característica.
  3. Verificação do Mapa de Módulo: Usar uma restrição homológica via um mapa de módulo $\phi: \mathbb{Z}^n \to \mathbb{Z}^d$ para verificar se o candidato é uma combinação linear inteira válida de geradores, evitando falhas aritméticas inerentes aos testes de módulo escalar padrão.

Principais Contribuições

1. Implementação de Três Níveis de Saturação: O pacote fornece a primeira implementação sistemática para computar $MS^1$, $MS^2$ e $MS^3$ para módulos, incluindo a construção auxiliar necessária do módulo duplo.
2. Otimização Baseada em Curvas: A introdução de isMS1ElementOnCurve aborda o principal gargalo da abordagem algébrica. Testes de desempenho na família de Fernandes–Ruas demonstram que, enquanto o método algébrico sofre timeout para parâmetros $n \geq 10$, o método baseado em curvas mantém um tempo de execução de aproximadamente 0,1–0,2 segundos mesmo para $n=100$.
3. Algoritmo de Saturação Tórica: O pacote estende a teoria da saturação de Lipschitz para singularidades tóricas ao fornecer um algoritmo que constrói geradores saturados através de uma abordagem de filtragem multidimensional, escalando de forma mais eficiente do que buscas exaustivas ingênuas.

Resultados

• Desempenho: No cenário de módulos, o teste de pertinência baseado em curvas atinge complexidade de tempo quase constante para famílias paramétricas, enquanto o método puramente algébrico exibe crescimento exponencial em tempo de execução e uso de memória.
• Corretude: O pacote distingue corretamente os três níveis de saturação. Por exemplo, no estudo de caso fornecido, um elemento $h$ foi encontrado como pertencente a $MS^2$ e $MS^3$, mas não a $MS^1$, confirmando a inclusão estrita $MS^1 \subsetneq MS^2 \subseteq MS^3$.
• Validação Tórica: O algoritmo identificou com sucesso geradores monoais faltantes (ex: $[3, 3, 0]^T$) em uma singularidade não isolada 3D, confirmando as expectativas teóricas para dimensões arbitrárias.

Significância

O artigo posiciona o LipschitzSaturation como uma ferramenta necessária para preencher a lacuna entre a teoria abstrata da equisingularidade de Lipschitz e a computação prática. Ao encapsular o custo computacional das reduções de base de Gröbner e oferecer uma alternativa especializada baseada em curvas, o pacote torna a verificação de propriedades de saturação de Lipschitz viável para exemplos que eram anteriormente intratáveis computacionalmente. Ele fornece uma interface limpa e voltada para o usuário para pesquisadores que trabalham com equisingularidade bi-Lipschitz, normalização e singularidades tóricas, permitindo testar a pertinência e construir álgebras saturadas sem gerenciar manualmente a complexa maquinaria algébrica subjacente.