The complex projective plane as a ball quotient

Resumo Técnico: O Plano Projetivo Complexo como um Quociente de Bola

Enunciado do Problema
Este artigo aborda a classificação de estruturas de "quociente de bola" no plano projetivo complexo $\mathbb{P}^2$. Especificamente, investiga quais divisores $D$ em $\mathbb{P}^2$ podem surgir como o divisor de ramificação de um mapa quociente $B^2 \to \mathbb{P}^2$, onde $B^2$ é a 2-bola complexa e o quociente é tomado por uma rede $\Gamma < \text{PU}(1,2)$. O estudo é restrito ao caso em que o divisor $D$ é um arranjo de curvas suaves que são pairwise normal-crossing (ou seja, quaisquer duas componentes intersectam-se transversalmente, embora três ou mais possam intersectar-se em um ponto). O objetivo é determinar todos os pares $(\mathbb{P}^2, D)$ que formam um orbifold de quociente de bola. Este problema é apresentado como o análogo natural de dimensão 2 da classificação de Poincaré de 1882 para quocientes de bola em $\mathbb{P}^1$.

Metodologia
O artigo emprega uma combinação de restrições numéricas derivadas da geometria hiperbólica complexa e da teoria dos grupos de reflexão complexos. A metodologia central envolve:

1. Invariantes Numéricos: O autor utiliza a proporcionalidade de Hirzebruch e os resultados de Enoki para curvas para definir invariantes numéricos para orbifolds compactos suaves $(X, D)$. Especificamente, o artigo define um invariante de proporcionalidade de orbifold $\text{Prop}(X, D)$ e um invariante específico de curva $\text{prop}_{(X,D)}(D_i)$. Para um orbifold de quociente de bola compacto suave, estes invariantes devem ser nulos (Proposição 3.9). Estes invariantes são expressos em termos da classe canônica $K_X$, do divisor $D$ e de contribuições locais de singularidades.
2. Classificação de Singularidades: A análise baseia-se fortemente no fato de que as singularidades de divisores de orbifold em superfícies suaves devem ser "singularidades de grupos de reflexão". Pelo teorema de Chevalley–Shephard–Todd, o grupo local em qualquer singularidade é um grupo de reflexão complexa. O artigo utiliza a classificação de Shephard–Todd desses grupos na dimensão 2 para enumerar todos os possíveis tipos de singularidade local (Tabela 1) e computar suas contribuições numéricas específicas ($\lambda_{x,D}$ e $\alpha_{x,D}$) para os invariantes globais.
3. Teorema de Uniformização: Para verificar se candidatos específicos são de fato quocientes de bola, o artigo aplica o teorema de Kobayashi–Nakamura–Sakai (Teorema 3.12), um análogo de orbifold do teorema de uniformização de Yau. Este teorema afirma que um orbifold compacto suave $(X, D)$ é um quociente de bola se, e somente se, $K_X + D$ é amplo e os números de Chern de orbifold satisfazem $c_1^2(X, D) = 3c_2(X, D)$.
4. Análise de Casos: A prova procede pela redução do problema geral para casos específicos baseados no número de retas e seus pesos. O autor primeiro prova que qualquer tal divisor deve ser um arranjo de retas (Proposição 4.2). Subsequentes proposições restringem os possíveis pesos (Proposição 4.3) e enumeram as configurações específicas de retas e singularidades que satisfazem as condições de nulidade dos invariantes.

Principais Resultados
O resultado principal, Teorema 1.1, fornece uma classificação completa de divisores de quociente de bola em $\mathbb{P}^2$ sob a hipótese de que as componentes são suaves e pairwise normal-crossing. O teorema afirma que tal par $(\mathbb{P}^2, D)$ é um orbifold de quociente de bola se, e somente se, $D$ é projetivamente equivalente a um dos dois arranjos seguintes:

1. O Exemplo de Deligne–Mostow ($D_Q$): Um quadrilátero completo consistindo de 6 retas com 4 pontos triplos. Três retas que se encontram em um ponto triplo têm peso 3, enquanto as outras três retas têm peso 2. Isto corresponde aos pesos $(\frac{5}{6}, \frac{5}{12}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4})$ na construção de Deligne–Mostow.
2. O Arranjo de Hesse Dual ($D_H$): Um arranjo de 9 retas com 12 pontos triplos, onde cada reta tem peso 2. Esta estrutura é realizada como um recobrimento de orbifold de grau 9 do exemplo de Deligne–Mostow via o mapa $(X:Y:Z) \mapsto (X^3:Y^3:Z^3)$.

O artigo exclui explicitamente todas as outras configurações, incluindo arranjos de retas com menos de 5 retas, arranjos com pesos diferentes de 2 ou 3 (com exceções específicas que falham nas condições de amplitude ou nulidade), e arranjos com diferentes configurações de singularidade.

Significância e Alegações
O artigo alega fornecer a primeira prova direta de que o exemplo de Deligne–Mostow ($D_Q$) e o arranjo de Hesse dual ($D_H$) são os únicos divisores de quociente de bola em $\mathbb{P}^2$ satisfazendo a condição pairwise normal-crossing. Embora o fato de $D_Q$ e $D_H$ serem quocientes de bola já fosse conhecido (via a construção do espaço de módulos de Deligne–Mostow e o trabalho de Thomas Höfer), a não existência de quaisquer outros tais estruturas nesta classe é um novo resultado.

O autor observa que a hipótese de "pairwise normal-crossing" é estritamente mais fraca do que assumir que o divisor é um divisor normal-crossing (o que proibiria pontos triplos). Uma consequência da classificação é que nenhum divisor normal-crossing suave em $\mathbb{P}^2$ pode ser um divisor de quociente de bola. O artigo também reconhece que divisores de quociente de bola com singularidades mais complexas (por exemplo, envolvendo cónicas ou arranjos não pairwise normal-crossing) existem, mas fogem do escopo desta classificação específica, exigindo métodos diferentes para serem tratados.

O trabalho generaliza a classificação de Poincaré de $\mathbb{P}^1$ para a dimensão 2 e estabelece uma restrição estrutural rígida sobre orbifolds de quociente de bola no plano projetivo, contrastando com as construções mais flexíveis em blow-ups de $\mathbb{P}^2$ estudadas por Hirzebruch e outros.