Envelopes and evolutes

Título: Envelopes and Evolutes (Envoltórias e Evolutas)

Autor: Ragni Piene
Contexto: Geometria Algébrica Complexa, Singularidades de Aplicações, Teoria de Classes de Ciclos.

1. O Problema e o Contexto Histórico

O artigo aborda a generalização e a formalização moderna do conceito de evoluta de curvas e variedades, um tema clássico que remonta a Huygens (para curvas planas) e foi expandido por Monge, Darboux e Salmon (para curvas espaciais e superfícies).

• Definição Clássica: A evoluta de uma curva plana é o lugar geométrico dos seus centros de curvatura (ou o envoltório das suas normais). Para curvas espaciais, a generalização natural envolve o lugar dos centros de curvatura esférica ou a aresta de rebroussement (singularidade) do envoltório dos planos normais.
• O Desafio: George Salmon, no século XIX, estudou curvas e superfícies projetivas complexas, fornecendo fórmulas enumerativas para os graus e números de singularidades das suas evolutas. No entanto, uma definição unificada e rigorosa para variedades projetivas complexas de dimensão arbitrária, capaz de recuperar e generalizar as fórmulas de Salmon, ainda carecia de uma estrutura teórica moderna baseada na teoria de singularidades.
• Objetivo do Artigo: Definir evolutas para variedades projetivas complexas de qualquer dimensão utilizando a teoria de singularidades de Thom-Boardman e calcular suas classes de ciclo (graus, números de singularidades) através de polinômios de Thom.

2. Metodologia

O autor emprega uma abordagem combinada de geometria algébrica e teoria de singularidades:

1. Definição de Envoltórias (Envelopes):

   • Define-se uma família de espaços lineares em um espaço projetivo $\mathbb{P}(V)$.
   • A envoltória dessa família é identificada como o lugar de ramificação (branch locus) da morfismo $\psi: \mathbb{P}(F) \to \mathbb{P}(V)$, onde $F$ é um feixe localmente livre sobre uma variedade $X$.
   • Do ponto de vista das singularidades, a envoltória corresponde à imagem da singularidade de Thom-Boardman $\Sigma_1$ (onde a derivada tem posto reduzido).

2. Estrutura Euclidiana e Espaços Normais:

   • Para definir "normais" no contexto projetivo, o autor introduz uma estrutura euclidiana via uma hiperplano no infinito $H_\infty$ e uma quadrica não singular $Q_\infty \subset H_\infty$.
   • Isso permite definir o fibrado normal euclidiano $E$ de uma variedade $X$, cujas fibras são os espaços normais (ortogonais aos espaços tangentes em relação a $Q_\infty$).

3. Definição de Evoluta:

   • A evoluta de uma variedade $X$ de dimensão $r$ em $\mathbb{P}^n$ é definida como a imagem da singularidade de Thom-Boardman de ordem $(n-r)$ do mapa $\psi: \mathbb{P}(E) \to \mathbb{P}(V)$, onde $E$ é o fibrado normal.
   • Para uma hipersuperfície ($r=n-1$), a evoluta é a envoltória das linhas normais.
   • Para curvas e superfícies, as evolutas correspondem a lugares cuspidais iterados (singularidades $\Sigma_{1,1}$, $\Sigma_{1,1,1}$, etc.).

4. Cálculo de Classes de Ciclo:

   • Utiliza-se a teoria de Polinômios de Thom para calcular as classes de cohomologia (ou Chow) dos lugares singulares ($\Sigma_1, \Sigma_{1,1}, \dots$).
   • As fórmulas são expressas em termos das classes de Chern do fibrado tangente de $X$, do fibrado normal $E$ e da classe de hiperplano.
   • Aplica-se a fórmula de projeção para obter graus numéricos em termos de invariantes clássicos (grau $d$, gênero $g$, e índices de estacionariedade $k_i$).

3. Principais Contribuições e Resultados

A. Generalização Teórica

• O artigo estabelece uma definição rigorosa de evoluta para variedades projetivas complexas de dimensão arbitrária, unificando os casos de curvas e superfícies.
• Demonstra que as evolutas são casos particulares de singularidades de Thom-Boardman de ordem superior, permitindo o uso de ferramentas computacionais modernas (polinômios de Thom) para resolver problemas enumerativos clássicos.

B. Fórmulas para Curvas (Seção 4)

Para uma curva $X$ de grau $d$ e gênero $g$ em $\mathbb{P}^n$:

• Grau da Envoltória ($EE$): O autor deriva uma fórmula para o grau da envoltória das linhas normais (ou espaços normais).
  • Resultado chave: $\deg(E_E) = 6(d + g - 1) - 2k_0$, onde $k_0$ é o número ponderado de cúspides.
• Verificação com Salmon: No caso de curvas em $\mathbb{P}^3$, o autor verifica que suas fórmulas coincidem exatamente com as de Salmon (considerando correções para pontos de inflexão).
• Aresta Cuspidal e Vértices:
  • Calcula-se o grau da aresta cuspidal da envoltória (que é a evoluta da curva em $\mathbb{P}^3$).
  • O autor identifica que os cúspides da evoluta correspondem aos vértices da curva original. O número de vértices é calculado como o grau da singularidade $\Sigma_{1,1,1}$ (para curvas em $\mathbb{P}^3$).
  • Exemplo: Para uma cúbica torcida, a envoltória tem grau 12, a evoluta tem grau 15 e possui 16 cúspides.

C. Fórmulas para Superfícies (Seção 5)

Para uma superfície $X$ em $\mathbb{P}^3$:

• Superfície de Centros (Evoluta): O autor calcula o grau da evoluta (chamada por Salmon de "superfície de centros").
  • Fórmula geral em termos de classes de Chern: $\deg(E_E) = 2d(d-1)(2d-1)$.
  • Para uma superfície de grau $d=2$ (quádrica), o grau é 12, confirmando resultados clássicos.
• Curva Cuspidal e Cúspides:
  • Calcula-se o grau da curva cuspidal na evoluta e o número de cúspides dessa curva.
  • Fórmulas explícitas são dadas para $\deg(CE)$ e $\deg(\kappa_E)$ em função de $d$.
• Pontos Umbílicos: O artigo discute os pontos umbílicos (onde os focos coincidem) e analisa a discrepância entre as fórmulas clássicas de Salmon e tentativas de cálculo via polinômios de Thom para singularidades $D_4$, sugerindo que a abordagem direta via singularidades do mapa de distâncias pode ser necessária.

D. Desenvolvidas Osculantes (Seção 6)

• O autor estuda as envoltórias dos espaços osculantes (planos osculantes, hiperplanos osculantes).
• Demonstra que a envoltória dos hiperplanos osculantes de ordem $n-1$ é a união da $(n-2)$-ésima desenvolvida osculante e os hiperplanos hiperosculantes.
• Fornece uma verificação numérica consistente entre os graus calculados via polinômios de Thom e as fórmulas conhecidas para curvas reais e complexas.

4. Significado e Impacto

1. Revisão e Generalização de Salmon: O trabalho valida e generaliza as fórmulas enumerativas de George Salmon (século XIX) para o contexto moderno da geometria algébrica complexa, fornecendo uma base teórica sólida para resultados que antes eram puramente empíricos ou baseados em geometria sintética.
2. Conexão com Singularidades: Ao interpretar evolutas e seus componentes (cúspides, arestas) como singularidades de Thom-Boardman, o artigo conecta a geometria clássica de curvas e superfícies com a teoria moderna de singularidades de aplicações. Isso permite o uso de algoritmos computacionais (como os de Rimanyi e outros) para calcular graus de variedades complexas.
3. Unificação: A metodologia unifica o tratamento de curvas, superfícies e variedades de dimensão superior, mostrando que a estrutura subjacente (fibrados normais e singularidades de mapas) é a mesma, independentemente da dimensão.
4. Ferramentas para Pesquisa Futura: As fórmulas derivadas servem como base para o estudo de propriedades locais e globais de variedades projetivas, incluindo a análise de pontos especiais como umbílicos e vértices, com aplicações potenciais em geometria diferencial e topologia.

Em resumo, o artigo de Ragni Piene é um trabalho fundamental que traduz conceitos clássicos de geometria diferencial projetiva para a linguagem da geometria algébrica moderna, utilizando a teoria de Thom-Boardman para resolver problemas enumerativos complexos e generalizar resultados históricos de forma rigorosa.