Local-global principles for semi-integral points on Markoff orbifold pairs

Resumo Técnico: Princípios Local-Global para Pontos Semi-Integrais em Pares de Orbifolds de Markoff

Enunciado do Problema
Este artigo investiga os princípios local-global para pontos semi-integrais em pares de orbifolds associados a superfícies de Markoff. Embora a aritmética de pontos racionais e integrais em superfícies de Markoff ($u_1^2 + u_2^2 + u_3^2 - u_1u_2u_3 = m$) tenha sido extensamente estudada — particularmente em relação ao princípio de Hasse e à densidade de pontos integrais — este trabalho estende a análise para pontos "semi-integrais". Estes pontos, introduzidos por Campana e Darmon, interpolam entre pontos racionais e integrais ao impor condições de divisibilidade específicas sobre as multiplicidades de interseção com os divisores de fronteira. Os autores abordam especificamente o comportamento destes pontos no par de orbifold $(X_m, D_\omega)$, onde $X_m$ é a compactificação suave da superfície de Markoff e $D_\omega$ é um divisor de fronteira com pesos atribuídos $\omega_i \in \mathbb{Z}_{\ge 2} \cup \{\infty\}$. As questões centrais referem-se à validade da aproximação fraca, aproximação forte e o princípio de Hasse para estes pontos semi-integrais, e com que frequência existem pontos semi-integrais estritos na ausência de pontos integrais.

Metodologia
Os autores empregam uma combinação de geometria aritmética, teoria de formas quadráticas e o arcabouço da obstrução de Brauer–Manin adaptado para pontos semi-integrais (conforme definido em [MNS24]).

1. Configuração de Orbifold e Definições: O estudo utiliza a definição de pontos de Campana e Darmon em pares de orbifolds. Um ponto é semi-integral se sua multiplicidade de interseção com os componentes de fronteira $D_i$ satisfaz condições específicas baseadas no peso $\omega_i$: para pontos de Campana, a multiplicidade deve ser em $\mathbb{Z}_{\ge \omega_i} \cup \{0, \infty\}$; para pontos de Darmon, deve ser em $\omega_i\mathbb{Z}_{\ge 0} \cup \{ \infty \}$.
2. Análise Local-Global: Os autores analisam a densidade de pontos semi-integrais no espaço adelico. Eles distinguem entre pontos "estritos" (que residem na parte afim $U = X \setminus D_{red}$) e pontos "não estritos" (que residem na fronteira). A falha da aproximação fraca fraca (WWA) é estabelecida para pares com múltiplos pesos finitos usando argumentos de integridade geométrica e as estimativas de Lang–Weil.
3. Obstrução de Brauer–Manin: O artigo calcula os valores dos mapas de invariantes locais para geradores do grupo de Brauer da superfície de Markoff. Ao construir pontos adelicos explícitos com valores de invariante local específicos, os autores determinam a presença ou ausência de obstruções de Brauer–Manin para o princípio de Hasse e propriedades de aproximação.
4. Construção Explícita via Formas Quadráticas: Para abordar a existência de pontos semi-integrais estritos quando pontos integrais estão ausentes, os autores reduzem o problema à representação de inteiros por formas quadráticas binárias. Eles utilizam a teoria do gênero e propriedades do grupo de classes de discriminantes específicos (por exemplo, 117, $p^2+4$, 28) para provar a existência de soluções para a equação de Markoff sob condições de congruência específicas em $m$.

Principais Contribuições e Resultados

• Falha de Aproximação para Múltiplos Pesos: O artigo prova que, se pelo menos dois dos pesos $\omega_1, \omega_2, \omega_3$ forem finitos, o par de orbifold $(X_m, D_\omega)$ falha na aproximação fraca fraca para pontos semi-integrais. Este é o primeiro resultado deste tipo para orbifolds de Campana com múltiplos componentes de fronteira irredutíveis.
• Aproximação com Peso Finito Único: No caso em que exatamente um peso é finito, o comportamento depende da aritmética de $m-4$. Se $m-4$ for um quadrado em $\mathbb{Q}$, a aproximação fraca ocorre. Se não for, o par falha na aproximação fraca de Campana; se o peso finito for par, também falha na aproximação fraca de Darmon. Estas falhas são atribuídas a obstruções de Brauer–Manin.
• Aproximação Forte: Os autores demonstram que a aproximação forte fora de qualquer conjunto finito falha se pelo menos dois pesos forem finitos. Além disso, se $m-4$ não for um quadrado e pelo menos um peso for finito, a aproximação forte falha fora de qualquer conjunto finito $T$ contido no conjunto de primos onde $m-4$ é um quadrado.
• Princípio de Hasse para Pontos Estritos: O estudo mostra que a família de pares de orbifolds de Markoff satisfaz o princípio de Hasse semi-integral. Diferente do caso integral, onde obstruções locais podem impedir a existência de pontos globais (como mostrado em [GS22], [LM21]), o princípio de Hasse semi-integral estrito ocorre porque o ponto $(0:0:1:1)$ é sempre semi-integral.
• Ausência de Obstrução de Brauer–Manin: Para pontos semi-integrais estritos, os autores provam que não há obstrução de Brauer–Manin algébrica ao princípio de Hasse. Sob uma condição aritmética específica em $m$ (relacionada ao corpo $\mathbb{Q}(\sqrt{m}, \sqrt{m-4})$), também não há obstrução de Brauer–Manin transcendental.
• Existência de Pontos Semi-Integrais Estritos sem Pontos Integrais: Uma contribuição significativa é a construção de famílias explícitas de pares de orbifolds de Markoff que possuem pontos semi-integrais estritos, mas carecem de pontos integrais.
  • Teorema 1.7: Os autores estabelecem um limite inferior para o número de tais inteiros $m$ com $|m| \le B$. Especificamente, se um peso for finito, o número de tais $m$ é $\gg B / (\log B)^{1/2}$.
  • Famílias Explícitas: O artigo fornece construções específicas (Teoremas 4.1, 4.2, 4.5) usando formas quadráticas binárias para gerar estes exemplos. Por exemplo, para $m = 6d$ com condições de congruência específicas, pontos semi-integrais estritos existem enquanto $U_m(\mathbb{Z}) = \emptyset$.

Significância e Alegações
O artigo afirma ser o primeiro a estudar sistematicamente os princípios local-global para orbifolds de Campana com múltiplos componentes de fronteira irredutíveis. Ele destaca uma discrepância fundamental entre o comportamento de pontos integrais e pontos semi-integrais estritos: enquanto pontos integrais em superfícies de Markoff frequentemente falham no princípio de Hasse (existindo localmente, mas não globalmente), os correspondentes pontos semi-integrais estritos nos pares de orbifolds satisfazem o princípio de Hasse.

Os autores posicionam seu trabalho como um passo para compreender as falhas dos princípios local-global em famílias de variedades afins. Ao quantificar a frequência de casos onde pontos semi-integrais estritos existem apesar da ausência de pontos integrais, eles fornecem um subconjunto concreto de pares de orbifolds de Markoff que serve como um caso de teste para a falta de uma teoria geral que preveja falhas de Hasse para pontos integrais. Os resultados sugerem que pontos semi-integrais podem "reparar" a falha do princípio de Hasse observada no cenário integral, oferecendo uma nova perspectiva sobre a aritmética das superfícies de Markoff. O artigo não pretende fornecer uma teoria geral para todas as variedades afins, mas oferece resultados específicos e ilustrativos para o caso de Markoff que podem informar futuras generalizações.