Confocal families of plane algebraic curves

1. Formulação do Problema

O artigo aborda o problema deformacional de identificar quais famílias de curvas algébricas reais planas admitem deformações confocais não triviais. Especificamente, os autores investigam:

• Famílias Confocais: Famílias de dimensão positiva de curvas que compartilham exatamente o mesmo conjunto de focos reais.
• A Questão Central: Dado um conjunto de focos reais prescritos, existe uma família contínua de curvas (de um grau e classe específicos) que compartilham esses focos, ou os focos determinam unicamente a curva (ou um conjunto finito de curvas)?
• Contexto Histórico: Embora os focos tenham sido classicamente definidos para cônicas (elipses, parábolas, hipérboles) e generalizados para curvas de grau superior por Plücker em 1832, o estudo sistemático de famílias de curvas que compartilham focos via teoria da deformação não havia sido anteriormente estabelecido.

2. Metodologia e Estrutura

Os autores empregam uma combinação de geometria algébrica clássica, teoria da dualidade e teoria da deformação moderna.

A. Definição de Focos via Dualidade

O artigo utiliza a definição clássica de focos baseada em linhas isotrópicas (linhas que passam pelos pontos circulares no infinito $p_\pm = (1 : \pm i : 0)$).

• Para uma curva $C$ de classe $c$, existem $c$ tangentes de $p_+$ e $c$ tangentes de $p_-$.
• As interseções dessas tangentes definem os focos.
• Formulação Dual: Seja $G(u, v, w) = 0$ a equação da curva dual. Os focos são codificados pelos polinômios obtidos restringindo $G$ às linhas isotrópicas:
  $$G_+(w) = G(-1, -i, w) \quad \text{e} \quad G_-(w) = G(-1, i, w)$$
  Para uma curva real, $G_-$ é o conjugado complexo de $G_+$. Um foco real corresponde a um par de raízes complexas conjugadas de $G_+$.

B. O Mapa Focal

A contribuição conceitual central é a introdução do Mapa Focal $\Phi$ em famílias equiclássicas.

• Seja $W_{c,g,d}$ a família equiclássica de curvas planas irredutíveis de grau $d$, gênero $g$ e classe $c$.
• O mapa $\Phi$ envia uma curva (representada pelo seu polinômio dual $G$) para os coeficientes do polinômio $G_+(w)$.
• Insight Chave: Duas curvas são confocais se e somente se mapeiam para o mesmo ponto sob $\Phi$ (ou seja, compartilham o mesmo $G_+$). Assim, as famílias confocais são as fibras deste mapa.

C. Análise Dimensional

Os autores analisam a dimensão dessas fibras usando a Fórmula da Dimensão da Fibra:
$$\dim(\text{Lócus Confocal}) = \dim(W) - \text{rank}(d\Phi)$$

• A dimensão esperada da família equiclássica é $d - g + c + 1$.
• Fixar $c$ focos impõe $2c$ condições reais (pois cada foco fixa um par de raízes).
• A dimensão esperada do lócus confocal é, portanto, $d - g - c + 1$.
• Condição de Rango Máximo: Uma família confocal de dimensão positiva existe se e somente se o diferencial do mapa focal $d\Phi$ não tiver rango máximo ($2c$) em um ponto geral.

3. Contribuições e Resultados Principais

A. Critérios Gerais de Existência

O artigo estabelece que, para curvas suaves gerais de grau $d \geq 3$, a dimensão esperada do lócus confocal é negativa.

• Resultado: Curvas suaves gerais de grau $d \geq 3$ não admitem famílias confocais de dimensão positiva.
• Exceção: Apenas as cônicas ($d=2$) entre curvas suaves admitem tais famílias.
• Implicação: Curvas que admitem famílias confocais devem ser singulares e possuir uma classe anormalmente pequena em relação ao seu grau.

B. O Caso Racional ($g=0$)

Os autores focam em curvas racionais, onde a desigualdade $c \leq d$ permite a possibilidade de famílias confocais.

• Para uma curva racional nodal-cuspida com $\delta$ nós e $\kappa] cúspides, a classe é$c = 2(d-1) - \kappa$.
• A dimensão esperada do lócus confocal é $3 - d + \kappa$.
• Condição: Uma família confocal de dimensão positiva existe apenas se $\kappa \geq d - 2$.
  • $d=2$ (Cônicas): Sempre admite uma família 1D.
  • $d=3$ (Cúbicas): Requer $\kappa \geq 1$ (cuspida).
  • $d \geq 4$: Requer altos números de cúspides.

C. O Mapa Focal e Cohomologia (Teoremas 3.4 & 3.6)

O artigo prova que o rango do mapa focal é controlado pela cohomologia da normalização da curva dual.

• Teorema 3.4: Para curvas racionais ($g=0$), o mapa focal tem rango máximo ($2c$) em um ponto suave geral. Isso implica que, para curvas racionais gerais, o lócus confocal tem a dimensão esperada (frequentemente negativa ou zero).
• Conjectura 3.6: O diferencial do mapa focal tem rango máximo se e somente se o fibrado de classe $A$ na normalização da curva dual for não-especial (ou seja, $H^1(A) = 0$).
• Proposição 3.7: Esta conjectura é provada para graus $d=2, 3$ e quárticas singulares ($d=4$).

D. Classificação de Exemplos

O artigo fornece construções explícitas e contagens dimensionais para casos específicos:

1. Curvas Racionais:

   • $d=2$: Família confocal 1D (Cônicas).
   • $d=3$: Conjunto finito de curvas (0D) para focos gerais.
   • $d \geq 4$: Não existem tais curvas para focos gerais.

2. Curvas de Classe Mínima ($c$):

   • Proposição 4.1: Para quaisquer $c$ pontos reais distintos, existe uma curva real de classe $c$ tendo esses pontos como focos.
   • O espaço de tais curvas forma um espaço afim de dimensão $\binom{c}{2}$.
   • Conclusão: Focos prescritos nunca determinam uma curva única de classe mínima (exceto se $c=1$, o que é trivial). Os focos definem uma grande família confocal.

3. Exemplos Específicos:

   • Cônicas ($c=2$): 2 focos $\implies$ família 1D.
   • Classe 3 ($c=3$): 3 focos $\implies$ família 3D de curvas.
   • Curvas de Siebeck: Estas são curvas únicas determinadas por um conjunto de pontos $z_1, \dots, z_n$ (via condições de tangência). No entanto, o artigo esclarece que as curvas de Siebeck não são unicamente determinadas apenas por seus focos. Os focos definem uma grande família confocal, e a construção de Siebeck seleciona um membro específico (dimensão 0) dentro dessa família impondo restrições extras de tangência.
   • Curvas de Poncelet: Curvas completas de Poncelet de classe mínima são unicamente determinadas por seus focos (dimensão 0), contrastando com o caso geral de classe mínima onde a família é de dimensão positiva.

4. Significado

• Unificação Teórica: O artigo unifica o estudo de focos com a teoria da deformação, fornecendo uma estrutura rigorosa (o mapa focal) para analisar quando os focos restringem uma curva unicamente versus quando permitem deformação contínua.
• Resolução da Unicidade: Ele esclarece um equívoco comum na literatura (por exemplo, em relação às curvas de Siebeck). Embora certas construções geométricas produzam curvas únicas para um conjunto dado de pontos, os focos sozinhos geralmente não determinam uma curva única; eles definem uma família de alta dimensão. A unicidade surge apenas quando restrições adicionais (como condições específicas de tangência ou propriedades de Poncelet) são impostas.
• Insight Cohomológico: Ao vincular o rango do mapa focal ao desaparecimento de $H^1$ do fibrado de classe, o artigo conecta a geometria dos focos a resultados profundos na teoria de Brill-Noether de curvas algébricas.
• Classificação: Fornece uma contagem dimensional completa para curvas racionais e estabelece que famílias confocais não triviais são raras entre curvas suaves, mas abundantes entre curvas singulares específicas de classe mínima.

Em resumo, Piene e Shapiro demonstram que a confocalidade é uma propriedade da classe da curva e não apenas do seu grau, e que, para a maioria das curvas, os focos são insuficientes para fixar a curva unicamente; em vez disso, eles definem uma fibra em um espaço de módulos de alta dimensão, cuja dimensão é governada pelas singularidades da curva e pela cohomologia de sua dual.