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

Resumo Técnico: Autointerseções de superfícies que contêm dois círculos através de cada ponto

Enunciado do Problema
O artigo aborda um problema fundamental na geometria algébrica real e na geometria de Möbius: caracterizar os loci de autointerseção de superfícies em $\mathbb{R}^3$ (e seus equivalentes na 3-esfera unitária $S^3$) que contêm pelo menos dois círculos passando por quase todos os pontos. Enquanto superfícies que contêm duas retas através de cada ponto são bem compreendidas como quadricas duplamente regradas (ex: o hiperboloide de uma folha) sem autointerseções, o problema análogo para círculos é significativamente mais complexo. O autor busca classificar a topologia e a geometria dos loci singulares (autointerseções) de tais "superfícies celestiais", especificamente as de grau 8, e compreender como os círculos que compõem a superfície interagem com essas singularidades.

Metodologia
A investigação emprega uma síntese de geometria de Möbius, geometria algébrica e topologia. O arcabouço metodológico central envolve:

1. Equivalência de Möbius e Modelos: O estudo é conduzido na quadrica de Möbius $S^3 \subset \mathbb{P}^4$. As superfícies são analisadas via seus modelos euclidianos (via projeção estereográfica) e modelos esféricos (via identificação de $S^3$ com quatérnios unitários). O artigo distingue entre superfícies "Bohemian" (somas pontuais de círculos em $\mathbb{R}^3$) e superfícies "Cliffordian" (produtos pontuais de círculos em $S^3$, relacionadas a translações de Clifford).
2. Geometria Algébrica de Superfícies de Del Pezzo: Superfícies celestiais de grau 8 são identificadas como projeções lineares de superfícies de Del Pezzo de grau 8. O autor utiliza a rede Néron-Severi $N(X)$ do modelo suave $O(X) \cong \mathbb{P}^1 \times \mathbb{P}^1$ para classificar classes de divisores. Os círculos na superfície correspondem a classes específicas ($\ell_0, \ell_1$), e os componentes singulares são analisados via suas bidegrees e propriedades de interseção dentro desta rede.
3. Projeções Estereográficas e Singularidades: O artigo analisa projeções lineares complexas da superfície $X$ a partir de pontos $p$ em seu locus singular para $\mathbb{P}^3$. Ao estudar as superfícies projetadas resultantes (que também são superfícies de Del Pezzo de grau inferior) e sua "ciclidade" (multiplicidade da cônica absoluta), o autor deriva restrições sobre o número de retas complexas concorrentes passando por pontos singulares.
4. Invariantes Delta e Classificação Topológica: O "invariante delta seccional" é usado para relacionar os gêneros aritmético e geométrico da superfície aos seus componentes singulares. Isso permite a classificação dos "tipos pseudo singulares" (relações de incidência de componentes singulares) e a subsequente determinação dos "tipos visíveis" (a topologia do locus singular real).
5. Verificação Computacional: Parametrizações explícitas de superfícies celestiais são geradas usando mapas racionais definidos por parâmetros $(\tau_i, \mu_i)$. Computações de base de Gröbner são empregadas para determinar os tipos singulares e tipos visíveis de exemplos específicos, verificando as classificações teóricas.

Principais Contribuições e Resultados

• Classificação de Tipos Singulares (Teorema I): O artigo prova que, para uma superfície celestial $X \subset S^3$ de grau 8, o tipo singular é restrito a uma de cinco classes: $D_1, D_2, D_3, D_4,$ ou $D_5$. Estes tipos são definidos pelas relações de incidência de curvas duplas complexas (ex: curvas de Viviani, quarticas torcidas, cônicas ou pares de círculos) e suas multiplicidades.
  • $D_1$ e $D_2$ correspondem a superfícies Bohemian.
  • $D_3, D_4,$ e $D_5$ correspondem a superfícies Cliffordian.
• Classificação Topológica de Loci Visíveis (Corolário III): O artigo classifica os tipos de homeomorfismo dos loci singulares visíveis (a autointerseção real). Os possíveis tipos topológicos são representados pelos símbolos: $=$, $+$, $\circ$, $-$, $\infty$, $\alpha$, e $\sigma$. Por exemplo, uma superfície do tipo $D_4$ pode ter um locus visível homeomorfo a um símbolo de infinito ($\infty$), uma cruz ($+$), ou um arco ($\alpha$).
• Relação entre Geometria e Topologia: O autor caracteriza como um círculo na superfície encontra o locus singular conforme ele se move em seu feixe. Por exemplo, em uma superfície do tipo $D_4[\infty]$, um círculo genérico encontra o círculo duplo da singularidade em dois pontos, enquanto em $D_4[\alpha]$, ele pode encontrá-lo tangencialmente em um ponto.
• Parametrizações Explícitas: O artigo fornece um tupla de "tipo paramétrico" $(\tau_0, \dots, \tau_3; \mu_0, \dots, \mu_3)$ que codifica parametrizações racionais explícitas para superfícies celestiais de grau 8. As Tabelas 2, 3 e 4 listam exemplos específicos mapeando esses parâmetros para os tipos singulares e visíveis classificados.
• Identificação Algorítmica: O artigo apresenta algoritmos (Observações 45–47) para computar os tipos singulares e visíveis de uma superfície dados dois círculos geradores $A$ e $B$ (para superfícies Cliffordian) ou dois círculos em $\mathbb{R}^3$ (para superfícies Bohemian), utilizando ideais de eliminação e bases de Gröbner.

Significância e Alegações
O artigo alega fornecer uma classificação completa dos loci singulares para superfícies celestiais reais de grau 8, uma classe de superfícies que generaliza as conhecidas ciclídes de Darboux (grau 4). A significância reside em:

1. Refinamento de Trabalhos Anteriores: Refina a classificação das superfícies celestiais de Skopenkov e Krasauskas [29] ao distinguir entre tipos Bohemian e Cliffordian com base em suas estruturas singulares.
2. Insight Topológico: Oferece uma compreensão detalhada da topologia das autointerseções, indo além de singularidades isoladas para classificar curvas de autointerseção e sua interação com os círculos geradores da superfície.
3. Unificação de Geometrias: O trabalho unifica as geometrias euclidiana, esférica e de Möbius ao mostrar como as propriedades de superfícies em $\mathbb{R}^3$ se traduzem em propriedades de superfícies em $S^3$ e seus modelos algébricos em $\mathbb{P}^4$.
4. Utilidade Computacional: Ao fornecer parametrizações e algoritmos explícitos, o artigo permite a construção e visualização dessas superfícies complexas, facilitando o estudo posterior em modelagem geométrica e cinemática.

O autor observa que, embora a classificação dos tipos singulares seja provada, a classificação dos tipos visíveis para certos casos (especificamente $D_4[\sigma]$, $D_4[=]$, e $D_4[-]$) permanece uma conjectura (Conjectura 2), sugerindo que estas configurações topológicas podem não ser realizáveis por superfícies celestiais reais.