Plane rectifiable curves: old and new

Resumen Técnico: Curvas Planas Rectificables: Viejas y Nuevas

Enunciado del Problema
El artículo aborda el problema clásico de la rectificabilidad algebraica para curvas algebraicas planas. Una curva se define como algebraicamente rectificable si su longitud de arco, vista como función de los extremos, es una función algebraica. Si bien existen ejemplos históricamente significativos (como la parábola semicúbica), los criterios generales para determinar cuándo una curva algebraica arbitraria posee esta propiedad se han enmarcado principalmente a través de construcciones geométricas como las evolutas. Los autores buscan reformular este problema utilizando el lenguaje de las diferenciales meromorfas sobre la normalización de curvas algebraicas, con el objetivo de proporcionar criterios intrínsecos y unificar la teoría con el estudio de los estratos de diferenciales.

Metodología
Los autores emplean la teoría de diferenciales meromorfas sobre superficies de Riemann compactas. Su principal cambio metodológico consiste en asociar una curva algebraica plana $\Gamma$ con una diferencial cuadrática específica $ds^2 = dx^2 + dy^2$ definida sobre su normalización $\tilde{\Gamma}$.

1. Formulación Diferencial: Definen la 1-forma de longitud de arco $ds$ y la diferencial cuadrática asociada $ds^2$ sobre la normalización. Analizan el divisor de ceros y polos de esta diferencial, relacionándolos con las tangencias isotrópicas (tangentes que pasan por los puntos circulares en el infinito) y el comportamiento en el infinito.
2. Criterios de Realización: El artículo investiga qué diferenciales cuadráticas sobre una superficie de Riemann real $(X, \rho)$ pueden realizarse como la diferencial de longitud de arco de un mapa plano meromorfo real. Esto implica descomponer la diferencial cuadrática $q$ en 1-formas conjugadas $q = \omega \rho^*\omega$ e imponer condiciones de exactitud (períodos nulos) sobre $\omega$.
3. Generalización de Orden Superior: El marco se extiende a $k$-diferenciales. Los autores definen "$k$-diferenciales exactas" mediante la exactitud de la $k$-cobertura canónica y relacionan esto con la algebraicidad de las integrales abelianas $\int \phi^{1/k}$.
4. Análogo Afín: La metodología se adapta a la geometría afín especial, reemplazando la diferencial cuadrática euclidiana por una diferencial cúbica afín $(\gamma' \wedge \gamma'')dt^3$.

Contribuciones y Resultados Clave

• Criterio Intrínseco de Realización (Teorema 4): Los autores establecen que una diferencial cuadrática $\rho$-real $q$ sobre una superficie de Riemann real compacta $X$ es inducida por un mapa plano meromorfo real si y solo si $q$ admite un semidivisor admisible exacto. Esto significa que $q$ debe descomponerse como $\omega \rho^*\omega$ donde $\omega$ es una 1-forma meromorfa exacta (es decir, $\omega = dz$ para una función meromorfa $z$). Esto separa el problema de existencia en una condición teórica de divisores y una condición de períodos.
• Unicidad (Proposición 5): Para una descomposición fija (divisor), la realización es única salvo movimiento euclidiano directo. Si la diferencial se escala por una constante positiva, la realización es única salvo similitud euclidiana.
• Equivalencia de Condiciones de Rectificabilidad (Teorema 12): El artículo demuestra que para una curva algebraica plana no lineal, son equivalentes:
  1. La curva es algebraicamente rectificable.
  2. La doble cobertura canónica de la diferencial cuadrática de longitud de arco es exacta.
  3. Las involutas de la curva son algebraicas.
  4. La curva es la evoluta de una curva algebraica.
     Este resultado reinterpreta el teorema clásico de Humbert (que establece que una curva es rectificable si y solo si es una evoluta) como la manifestación geométrica del criterio de exactitud para la diferencial de longitud de arco.
• Clasificación de Curvas Racionales (Teorema 13): Para curvas planas reales racionales no lineales, si la diferencial cuadrática de longitud de arco tiene exactamente dos singularidades, la curva debe ser un círculo (salvo similitud euclidiana y reparametrización). Si las singularidades son reales, la curva es una línea recta.
• Exactitud de Diferenciales de Orden Superior (Teorema 7): Los autores demuestran que para una $k$-diferencial meromorfa $\phi$, la exactitud de su $k$-cobertura canónica es equivalente a la algebraicidad de la integral abeliana $\int \phi^{1/k}$ y a la representación $\phi = f (df/f)^k$ para alguna función meromorfa $f$.
• Rectificabilidad Afín (Proposición 15): Se proporciona un resultado análogo para la geometría afín: las involutas afines son algebraicas si y solo si la diferencial cúbica afín tiene una cobertura canónica exacta.

Ejemplos y Cálculos
El artículo calcula y clasifica las diferenciales de longitud de arco para varias curvas específicas, ubicándolas dentro de los estratos apropiados de diferenciales meromorfas ($\Omega^2 M_g$):

• Cónicas: Los círculos son las únicas cónicas rectificables. Las hipérbolas y elipses no circulares producen diferenciales con cuatro ceros simples y dos polos de orden cuatro. Las parábolas producen diferenciales con dos ceros simples y un polo de orden seis.
• Lemniscata de Bernoulli: La diferencial de longitud de arco tiene cuatro polos simples y ningún cero, correspondiendo a una superficie plana de "funda de almohada".
• Parábola Semicúbica: Un ejemplo clásico rectificable donde la diferencial es exacta, perteneciendo a un estrato específico con un cero de orden dos y un polo de orden ocho.
• Curvas de Hodógrafo Pitagórico: El artículo discute una curva de hodógrafo pitagórico de quinto grado, demostrando una curva suave y rectificable que surge de una identidad no lineal, distinta de la parábola semicúbica singular.

Significado
El artículo afirma proporcionar un "puente útil" entre la geometría proyectiva clásica y la teoría moderna de los estratos de diferenciales meromorfas. Al reformular la rectificabilidad algebraica en el lenguaje de diferenciales exactas, los autores ofrecen un marco uniforme que:

1. Clarifica la relación entre rectificabilidad, evolutas e involutas.
2. Generaliza el concepto a diferenciales de orden superior y geometría afín.
3. Proporciona criterios intrínsecos, teóricos de divisores, para determinar la rectificabilidad, avanzando más allá de las caracterizaciones puramente geométricas.

El trabajo no propone nuevas aplicaciones experimentales, sino que refina la comprensión teórica de cuándo la métrica euclidiana (o afín) restringida a una curva algebraica se vuelve algebraicamente integrable. Conecta resultados históricos de Serret, Laguerre y Humbert con desarrollos modernos en los espacios de módulos de diferenciales y curvas de hodógrafo pitagórico.