Self-intersections of surfaces that contain two circles through each point

Resumen Técnico: Autointersecciones de superficies que contienen dos círculos en cada punto

Planteamiento del Problema
El artículo aborda un problema fundamental en la geometría algebraica real y la geometría de Möbius: caracterizar los loci de autointersección de superficies en $\mathbb{R}^3$ (y sus contrapartes en la 3-esfera unitaria $S^3$) que contienen al menos dos círculos que pasan por casi todos sus puntos. Mientras que las superficies que contienen dos líneas en cada punto están bien comprendidas como cuádricas doblemente regladas (por ejemplo, el hiperboloide de una hoja) sin autointersecciones, el problema análogo para los círculos es significativamente más complejo. El autor busca clasificar la topología y la geometría de los loci singulares (autointersecciones) de tales "superficies celestiales", específicamente aquellas de grado 8, y comprender cómo los círculos que componen la superficie interactúan con estas singularidades.

Metodología
La investigación emplea una síntesis de geometría de Möbius, geometría algebraica y topología. El marco metodológico central involucra:

1. Equivalencia de Möbius y Modelos: El estudio se lleva a cabo en la cuádrica de Möbius $S^3 \subset \mathbb{P}^4$. Las superficies se analizan mediante sus modelos euclidianos (vía proyección estereográfica) y sus modelos esféricos (vía la identificación de $S^3$ con los cuaterniones unitarios). El artículo distingue entre superficies "Bohemian" (sumas puntuales de círculos en $\mathbb{R}^3$) y superficies "Cliffordian" (productos puntuales de círculos en $S^3$, relacionadas con traslaciones de Clifford).
2. Geometría Algebraica de Superficies de Del Pezzo: Las superficies celestiales de grado 8 se identifican como proyecciones lineales de superficies de Del Pezzo de grado 8. El autor utiliza la red de Néron-Severi $N(X)$ del modelo suave $O(X) \cong \mathbb{P}^1 \times \mathbb{P}^1$ para clasificar las clases de divisores. Los círculos en la superficie corresponden a clases específicas ($\ell_0, \ell_1$), y los componentes singulares se analizan mediante sus grados bidegree y propiedades de intersección dentro de esta red.
3. Proyecciones Estereográficas y Singularidades: El artículo analiza proyecciones lineales complejas de la superficie $X$ desde puntos $p$ en su locus singular hacia $\mathbb{P}^3$. Al estudiar las superficies proyectadas resultantes (que también son superficies de Del Pezzo de grado menor) y su "ciclicidad" (multiplicidad de la conica absoluta), el autor deriva restricciones sobre el número de líneas complejas concurrentes que pasan por los puntos singulares.
4. Invariantes Delta y Clasificación Topológica: Se utiliza el "invariante delta seccional" para relacionar los géneros aritmético y geométrico de la superficie con sus componentes singulares. Esto permite la clasificación de los "tipos pseudo singulares" (relaciones de incidencia de los componentes singulares) y la determinación subsiguiente de los "tipos visibles" (la topología del locus singular real).
5. Verificación Computacional: Se generan parametrizaciones explícitas de superficies celestiales utilizando mapas racionales definidos por parámetros $(\tau_i, \mu_i)$. Se emplean computaciones de bases de Gröbner para determinar los tipos singulares y los tipos visibles de ejemplos específicos, verificando las clasificaciones teóricas.

Contribuciones Clave y Resultados

• Clasificación de Tipos Singulares (Teorema I): El artículo demuestra que para una superficie celestial $X \subset S^3$ de grado 8, el tipo singular está restringido a una de cinco clases: $D_1, D_2, D_3, D_4,$ o $D_5$. Estos tipos están definidos por las relaciones de incidencia de las curvas dobles complejas (curvas de Viviani, cuárticas torcidas, cónicas o pares de círculos) y sus multiplicidades.
  • $D_1$ y $D_2$ corresponden a superficies Bohemian.
  • $D_3, D_4,$ y $D_5$ corresponden a superficies Cliffordian.
• Clasificación Topológica de los Loci Visibles (Corolario III): El artículo clasifica los tipos de homeomorfismo de los loci singulares visibles (la autointersección real). Los posibles tipos topológicos están representados por los símbolos: $=$, $+$, $\circ$, $-$, $\infty$, $\alpha$, y $\sigma$. Por ejemplo, una superficie de tipo $D_4$ puede tener un locus visible homeomorfo a un símbolo de infinito ($\infty$), una cruz ($+$), o un arco ($\alpha$).
• Relación entre Geometría y Topología: El autor caracteriza cómo un círculo en la superficie encuentra al locus singular a medida que se mueve en su haz. Por ejemplo, en una superficie de tipo $D_4[\infty]$, un círculo genérico encuentra al círculo doble de la singularidad en dos puntos, mientras que en $D_4[\alpha]$, puede encontrarlo tangencialmente en un punto.
• Parametrizaciones Explícitas: El artículo proporciona una tupla de "tipo paramétrico" $(\tau_0, \dots, \tau_3; \mu_0, \dots, \mu_3)$ que codifica parametrizaciones racionales explícitas para superficies celestiales de grado 8. Las tablas 2, 3 y 4 enumeran ejemplos específicos que mapean estos parámetros a los tipos singulares y visibles clasificados.
• Identificación Algorítmica: El artículo presenta algoritmos (Observaciones 45–47) para computar los tipos singulares y visibles de una superficie dados dos círculos generadores $A$ y $B$ (para superficies Cliffordian) o dos círculos en $\mathbb{R}^3$ (para superficies Bohemian), utilizando ideales de eliminación y bases de Gröbner.

Significancia y Reivindicaciones
El artículo afirma proporcionar una clasificación completa de los loci singulares para superficies celestiales reales de grado 8, una clase de superficies que generaliza los bien conocidos ciclides de Darboux (grado 4). La significancia radica en:

1. Refinamiento del Trabajo Previo: Refina la clasificación de las superficies celestiales de Skopenkov y Krasauskas [29] al distinguir entre tipos Bohemian y Cliffordian basándose en sus estructuras singulares.
2. Perspectiva Topológica: Ofrece una comprensión detallada de la topología de las autointersecciones, yendo más allá de las singularidades aisladas para clasificar las curvas de autointersección y su interacción con los círculos generadores de la superficie.
3. Unificación de Geometrías: El trabajo unifica las geometrías euclidiana, esférica y de Möbius al mostrar cómo las propiedades de las superficies en $\mathbb{R}^3$ se traducen a propiedades de superficies en $S^3$ y sus modelos algebraicos en $\mathbb{P}^4$.
4. Utilidad Computacional: Al proporcionar parametrizaciones explícitas y algoritmos, el artículo permite la construcción y visualización de estas complejas superficies, facilitando el estudio posterior en modelado geométrico y cinemática.

El autor señala que, si bien la clasificación de los tipos singulares está probada, la clasificación de los tipos visibles para ciertos casos (específicamente $D_4[\sigma]$, $D_4[=]$, y $D_4[-]$) sigue siendo una conjetura (Conjetura 2), lo que sugiere que estas configuraciones topológicas podrían no ser realizables por superficies celestiales reales.