The Complete Intersection Discrepancy of a Curve II: Families of Curves

Resumo Técnico: A Discrepância de Interseção Completa de uma Curva II: Famílias de Curvas

1. Problema e Contexto

O artigo estuda a equisingularidade de famílias de curvas analíticas reduzidas sobre espaços de parâmetros suaves de dimensão arbitrária (positiva). O foco central é estabelecer critérios numéricos e geométricos para determinar quando uma família de curvas singulares mantém uma estrutura topológica ou analítica constante ao longo da variação dos parâmetros.

Historicamente, resultados como os de Teissier, Lê, Greuel e Buchweitz caracterizaram a equisingularidade de Whitney (ou resolução simultânea forte) para famílias de curvas planas ou famílias de um parâmetro ($\dim Y = 1$), utilizando invariantes como o número de Milnor ($\mu$) e a multiplicidade ($m$). O problema aberto abordado neste trabalho é estender essas caracterizações para famílias onde o espaço de parâmetros $Y$ tem dimensão $k > 1$, sem assumir a existência de uma seção que parametrize os pontos singulares.

2. Metodologia e Ferramentas Principais

Os autores utilizam uma abordagem que combina geometria algébrica, teoria de singularidades e topologia diferencial. As ferramentas centrais incluem:

• Discrepância de Interseção Completa (CID): Um invariante introduzido na Parte I do trabalho ([BLR25]), definido como o número de interseção $cid(X_0, 0) = I_0(X_0, W_0)$, onde $W_0$ é o complemento de $X_0$ em uma curva de interseção completa $Z_0$ que o contém.
• Multiplicidade do Ideal Jacobiano: A multiplicidade de Hilbert-Samuel do ideal Jacobiano, $e(Jac(X_0))$.
• Variedades Polares Relativas: Definição de $\Gamma^k_h(X)$, a variedade polar relativa de dimensão $k$, como o fecho do conjunto de pontos críticos de uma funcional linear restrita às partes suaves das fibras.
• Espaços Conormais e Blow-ups de Nash: Uso do espaço conormal relativo $C_h(X)$ e do blow-up de Nash relativo $N_h(X)$ para caracterizar geometricamente a equisingularidade.
• Multiplicidade de Buchsbaum-Rim: Utilizada para relacionar módulos de Jacobiano com invariantes de interseção.
• Fórmula de Riemann-Hurwitz para Curvas Singulares: Uma nova fórmula derivada para relacionar a característica de Euler, o grau de uma projeção e os pontos críticos/singulares.

3. Contribuições e Resultados Chave

A. Teorema Principal de Variação Numérica (Teorema 1.2)
Os autores estabelecem uma relação fundamental sobre como a diferença entre a multiplicidade do ideal Jacobiano e a discrepância de interseção completa varia em uma família plana:
$$e(Jac(X_0)) - cid(X_0) - (e(Jac(X_y)) - cid(X_y)) = \deg_Y \Gamma^k_h(X)$$
Para $y$ em um aberto de Zariski de $Y$, o termo da direita é o grau da variedade polar relativa. Isso generaliza resultados conhecidos para famílias de um parâmetro.

B. Caracterização da Equisingularidade de Whitney (Teorema 1.3)
O trabalho prova que, para famílias de curvas reduzidas, as seguintes condições são equivalentes:

1. A função $y \mapsto e(Jac(X_y, 0)) - cid(X_y, 0)$ é constante.
2. Para cada $y$, o único ponto singular de $X_y$ é a origem e a variedade polar relativa $\Gamma^k_h(X)$ é vazia (o que equivale a dizer que as fibras do espaço conormal relativo e do blow-up de Nash relativo são equidimensionais).
3. A família é Whitney equisingular (satisfaz a condição B de Whitney).
4. A família admite resolução simultânea forte.

Significância: Isso resolve um problema aberto ao mostrar que a constância de invariantes numéricos (ajustados pela CID) caracteriza a equisingularidade de Whitney em qualquer dimensão de parâmetro, não apenas para $k=1$.

C. Semicontinuidade Superior de Zariski do Número de Milnor (Teorema 6.5)
Os autores provam que a função $y \mapsto \mu_y$ (soma dos números de Milnor nas fibras) é semicontínua superiormente no sentido de Zariski para famílias de curvas reduzidas em qualquer dimensão de parâmetro.
$$\mu_0 \geq \mu_y$$
Além disso, estabelecem a relação:
$$\mu_0 - \mu_y = 1 - \chi(X_y)$$
onde $\chi(X_y)$ é a característica de Euler da fibra.

D. Equisingularidade Topológica (Teorema 1.4)
O artigo demonstra que, sob certas condições de conectividade das fibras (componentes irredutíveis se intersectando em um único ponto), a constância do número de Milnor ao longo da família é equivalente à equisingularidade topológica (existência de um homeomorfismo que trivializa a família).

• Isso generaliza resultados de Buchweitz e Greuel, removendo a necessidade de uma seção parametrizando os pontos singulares.

E. Fórmula de Riemann-Hurwitz (Seção 5)
Derivam uma fórmula para curvas singulares que relaciona a característica de Euler da curva, o grau de uma projeção linear e o número de pontos críticos e singulares:
$$\chi(X) = d - \left( \#Crit(F|_{X_{sm}}) + \sum_{x \in X_{sing}} (m_x - 1) \right)$$
Esta fórmula é crucial para conectar os invariantes algébricos (multiplicidade) com os topológicos (característica de Euler).

4. Significância e Impacto

1. Generalização de Dimensão: O trabalho supera a barreira da dimensão do espaço de parâmetros. Resultados anteriores sobre equisingularidade de Whitney e resolução simultânea eram restritos a famílias de um parâmetro. Este artigo fornece uma prova puramente algebro-geométrica válida para $\dim Y \geq 1$.
2. Papel da Discrepância (CID): Demonstra que a multiplicidade do ideal Jacobiano sozinha não é um invariante de equisingularidade para curvas não-Gorenstein ou não-completas interseções. A correção fornecida pela Complete Intersection Discrepancy (CID) é essencial para obter um critério numérico preciso. O Exemplo 7.8 ilustra explicitamente como a constância de $e(Jac)$ não implica equisingularidade sem o termo corretivo $cid$.
3. Conexão entre Álgebra e Topologia: O artigo estabelece uma ponte robusta entre invariantes locais complexos (multiplicidade, número de Milnor) e propriedades globais topológicas (característica de Euler, trivialidade topológica), validando que a constância do número de Milnor é suficiente para garantir a trivialidade topológica em configurações específicas de curvas.
4. Geometria Conormal: Oferece uma nova perspectiva geométrica, mostrando que a equisingularidade de Whitney é controlada pela equidimensionalidade das fibras do espaço conormal relativo e pela vacuidade da variedade polar relativa.

Em suma, o artigo fornece uma teoria completa e unificada para a equisingularidade de famílias de curvas reduzidas em dimensões arbitrárias, utilizando a discrepância de interseção completa como a peça-chave para corrigir e refinar os invariantes clássicos de singularidade.