Plane rectifiable curves: old and new

Resumo Técnico: Curvas Planas Retificáveis: Antigas e Novas

Enunciação do Problema
O artigo aborda o problema clássico da retificabilidade algébrica para curvas algébricas planas. Uma curva é definida como algébricamente retificável se o seu comprimento de arco, visto como uma função dos pontos extremos, for uma função algébrica. Embora existam exemplos historicamente significativos (como a parábola semicúbica), os critérios gerais para determinar quando uma curva algébrica arbitrária possui essa propriedade foram formulados principalmente através de construções geométricas como evolutas. Os autores buscam reformular este problema utilizando a linguagem de diferenciais meromorfos na normalização de curvas algébricas, visando fornecer critérios intrínsecos e unificar a teoria com o estudo de estratos de diferenciais.

Metodologia
Os autores empregam a teoria de diferenciais meromorfos em superfícies de Riemann compactas. Sua principal mudança metodológica envolve associar uma curva plana algébrica $\Gamma$ a um diferencial quadrático específico $ds^2 = dx^2 + dy^2$ definido em sua normalização $\tilde{\Gamma}$.

1. Formulação Diferencial: Eles definem a 1-forma de comprimento de arco $ds$ e o diferencial quadrático associado $ds^2$ na normalização. Analisam o divisor de zeros e polos deste diferencial, relacionando-os a tangências isotrópicas (tangentes que passam pelos pontos circulares no infinito) e ao comportamento no infinito.
2. Critérios de Realização: O artigo investiga quais diferenciais quadráticos em uma superfície de Riemann real $(X, \rho)$ podem ser realizados como o diferencial de comprimento de arco de um mapa plano meromorfo real. Isso envolve decompor o diferencial quadrático $q$ em 1-formas conjugadas $q = \omega \rho^*\omega$ e impor condições de exatidão (períodos nulos) em $\omega$.
3. Generalização de Ordem Superior: O quadro teórico é estendido para $k$-diferenciais. Os autores definem $k$-diferenciais "exatos" por meio da exatidão da $k$-cobertura canônica e relacionam isso à algébricidade das integrais abelianas $\int \phi^{1/k}$.
4. Análogo Afim: A metodologia é adaptada à geometria afim especial, substituindo o diferencial quadrático euclidiano por um diferencial cúbico afim $(\gamma' \wedge \gamma'')dt^3$.

Principais Contribuições e Resultados

• Critério Intrínseco de Realização (Teorema 4): Os autores estabelecem que um diferencial quadrático $\rho$-real $q$ em uma superfície de Riemann real compacta $X$ é induzido por um mapa plano meromorfo real se e somente se $q$ admitir um meio-divisor exato admissível. Isso significa que $q$ deve se decompor como $\omega \rho^*\omega$, onde $\omega$ é uma 1-forma meromorfa exata (ou seja, $\omega = dz$ para uma função meromorfa $z$). Isso separa o problema de existência em uma condição teórica de divisores e uma condição de períodos.
• Unicidade (Proposição 5): Para uma decomposição fixa (divisor), a realização é única a menos de um movimento euclidiano direto. Se o diferencial for escalado por uma constante positiva, a realização é única a menos de uma semelhança euclidiana.
• Equivalência de Condições de Retificabilidade (Teorema 12): O artigo prova que, para uma curva algébrica plana não linear, o seguinte é equivalente:
  1. A curva é algébricamente retificável.
  2. A cobertura dupla canônica do diferencial quadrático de comprimento de arco é exata.
  3. As involutas da curva são algébricas.
  4. A curva é a evoluta de uma curva algébrica.
     Este resultado reinterpreta o teorema clássico de Humbert (que afirma que uma curva é retificável se e somente se for uma evoluta) como a manifestação geométrica do critério de exatidão para o diferencial de comprimento de arco.
• Classificação de Curvas Racionais (Teorema 13): Para curvas planas reais racionais não lineares, se o diferencial quadrático de comprimento de arco tiver exatamente duas singularidades, a curva deve ser um círculo (a menos de semelhança euclidiana e reparametrização). Se as singularidades forem reais, a curva é uma linha reta.
• Exatidão de Diferenciais de Ordem Superior (Teorema 7): Os autores provam que, para um $k$-diferencial meromorfo $\phi$, a exatidão de sua $k$-cobertura canônica é equivalente à algébricidade da integral abeliana $\int \phi^{1/k}$ e à representação $\phi = f (df/f)^k$ para alguma função meromorfa $f$.
• Retificabilidade Afim (Proposição 15): Um resultado análogo é fornecido para a geometria afim: as involutas afins são algébricas se e somente se o diferencial cúbico afim tiver uma cobertura canônica exata.

Exemplos e Cálculos
O artigo calcula e classifica os diferenciais de comprimento de arco para várias curvas específicas, situando-os nos estratos apropriados de diferenciais meromorfos ($\Omega^2 M_g$):

• Cônicas: Círculos são as únicas cônicas retificáveis. Hipérboles e elipses não circulares produzem diferenciais com quatro zeros simples e dois polos de ordem quatro. Parábolas produzem diferenciais com dois zeros simples e um polo de ordem seis.
• Lemniscata de Bernoulli: O diferencial de comprimento de arco possui quatro polos simples e nenhum zero, correspondendo a uma superfície plana do tipo "almofada".
• Parábola Semicúbica: Um exemplo clássico retificável onde o diferencial é exato, pertencendo a um estrato específico com um zero de ordem dois e um polo de ordem oito.
• Curvas de Hodógrafo Pitagórico: O artigo discute uma curva de hodógrafo pitagórico de quinto grau, demonstrando uma curva suave e retificável que surge de uma identidade não linear, distinta da parábola semicúbica singular.

Significado
O artigo afirma fornecer uma "ponte útil" entre a geometria projetiva clássica e a teoria moderna dos estratos de diferenciais meromorfos. Ao reformular a retificabilidade algébrica na linguagem de diferenciais exatos, os autores oferecem um quadro unificado que:

1. Esclarece a relação entre retificabilidade, evolutas e involutas.
2. Generaliza o conceito para diferenciais de ordem superior e geometria afim.
3. Fornece critérios intrínsecos, de natureza teórica de divisores, para determinar a retificabilidade, indo além de caracterizações puramente geométricas.

O trabalho não propõe novas aplicações experimentais, mas sim refina a compreensão teórica de quando a métrica euclidiana (ou afim) restrita a uma curva algébrica se torna integrável algebricamente. Conecta resultados históricos de Serret, Laguerre e Humbert com desenvolvimentos modernos nos espaços de módulos de diferenciais e curvas de hodógrafo pitagórico.