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

Resumen Técnico: Principios Local-Global para Puntos Semi-Integrales en Pares de Orbifolds de Markoff

Planteamiento del Problema
Este artículo investiga los principios local-global para puntos semi-integrales en pares de orbifolds asociados con superficies de Markoff. Si bien la aritmética de puntos racionales e integrales en superficies de Markoff ($u_1^2 + u_2^2 + u_3^2 - u_1u_2u_3 = m$) ha sido ampliamente estudiada —particularmente en lo que respecta al principio de Hasse y la densidad de puntos integrales—, este trabajo extiende el análisis a los puntos "semi-integrales". Estos puntos, introducidos por Campana y Darmon, interpolan entre puntos racionales e integrales al imponer condiciones de divisibilidad específicas sobre las multiplicidades de intersección con los divisores de frontera. Los autores abordan específicamente el comportamiento de estos puntos en pares de orbifolds $(X_m, D_\omega)$, donde $X_m$ es la compactificación suave de la superficie de Markoff y $D_\omega$ es un divisor de frontera con pesos asignados $\omega_i \in \mathbb{Z}_{\ge 2} \cup \{\infty\}$. Las cuestiones centrales versan sobre la validez de la aproximación débil, la aproximación fuerte y el principio de Hasse para estos puntos semi-integrales, y qué tan frecuentemente existen puntos semi-integrales estrictos en ausencia de puntos integrales.

Metodología
Los autores emplean una combinación de geometría aritmética, la teoría de formas cuadráticas y el marco de la obstrucción de Brauer–Manin adaptado para puntos semi-integrales (según se define en [MNS24]).

1. Configuración de Orbifold y Definiciones: El estudio utiliza la definición de puntos de Campana y Darmon en pares de orbifolds. Un punto es semi-integral si su multiplicidad de intersección con los componentes de la frontera $D_i$ satisface condiciones específicas basadas en el peso $\omega_i$: para los puntos de Campana, la multiplicidad debe estar en $\mathbb{Z}_{\ge \omega_i} \cup \{0, \infty\}$; para los puntos de Darmon, debe estar en $\omega_i\mathbb{Z}_{\ge 0} \cup \{ \infty \}$.
2. Análisis Local-Global: Los autores analizan la densidad de los puntos semi-integrales en el espacio adelico. Distinguen entre puntos "estrictos" (que yacen en la parte afín $U = X \setminus D_{red}$) y puntos "no estrictos" (que yacen en la frontera). Se establece el fallo de la aproximación débil débil (WWA) para pares con múltiples pesos finitos utilizando argumentos de integralidad geométrica y las estimaciones de Lang–Weil.
3. Obstrucción de Brauer–Manin: El artículo calcula los valores de los mapas de invariantes locales para los generadores del grupo de Brauer de la superficie de Markoff. Mediante la construcción de puntos adelicos explícitos con valores de invariantes locales específicos, los autores determinan la presencia o ausencia de obstrucciones de Braier–Manin para el principio de Hasse y las propiedades de aproximación.
4. Construcción Explícita vía Formas Cuadráticas: Para abordar la existencia de puntos semi-integrales estrictos cuando los puntos integrales están ausentes, los autores reducen el problema a la representación de enteros por formas cuadráticas binarias. Utilizan la teoría de género y las propiedades del grupo de clases de discriminantes específicos (por ejemplo, 117, $p^2+4$, 28) para probar la existencia de soluciones a la ecuación de Markoff bajo condiciones de congruencia específicas sobre $m$.

Contribuciones Clave y Resultados

• Fallo de Aproximación para Múltiples Pesos: El artículo demuestra que, si al menos dos de los pesos $\omega_1, \omega_2, \omega_3$ son finitos, el par de orbifold $(X_m, D_\omega)$ falla la aproximación débil débil para puntos semi-integrales. Este es el primer resultado de su tipo para orbifolds de Campana con múltiples componentes de frontera irreducibles.
• Aproximación con Peso Finito Único: En el caso donde exactamente un peso es finito, el comportamiento depende de la aritmética de $m-4$. Si $m-4$ es un cuadrado en $\mathbb{Q}$, la aproximación débil se cumple. Si no lo es, el par falla la aproximación débil de Campana; si el peso finito es par, también falla la aproximación débil de Darmon. Estos fallos se atribuyen a obstrucciones de Brauer–Manin.
• Aproximación Fuerte: Los autores demuestran que la aproximación fuerte fuera de cualquier conjunto finito falla si al menos dos pesos son finitos. Además, si $m-4$ no es un cuadrado y al menos un peso es finito, la aproximación fuerte falla fuera de cualquier conjunto finito $T$ contenido en el conjunto de primos donde $m-4$ es un cuadrado.
• Principio de Hasse para Puntos Estrictos: El estudio muestra que la familia de pares de orbifolds de Markoff satisface el principio de Hasse semi-integral. A diferencia del caso integral, donde las obstrucciones locales pueden prevenir la existencia de puntos globales (como se muestra en [GS22], [LM21]), el principio de Hasse para puntos semi-integrales estrictos se cumple porque el punto $(0:0:1:1)$ es siempre semi-integral.
• Ausencia de Obstrucción de Brauer–Manin: Para puntos semi-integrales estrictos, los autores prueban que no hay obstrucción de Brauer–Manin algebraica al principio de Hasse. Bajo una condición aritmética específica sobre $m$ (relacionada con el cuerpo $\mathbb{Q}(\sqrt{m}, \sqrt{m-4})$), tampoco hay una obstrucción de Brauer–Manin trascendental.
• Existencia de Puntos Semi-Integrales Estrictos sin Puntos Integrales: Una contribución significativa es la construcción de familias explícitas de pares de orbifolds de Markoff que poseen puntos semi-integrales estrictos pero carecen de puntos integrales.
  • Teorema 1.7: Los autores establecen un límite inferior para el número de tales enteros $m$ con $|m| \le B$. Específicamente, si un peso es finito, el número de tales $m$ es $\gg B / (\log B)^{1/2}$.
  • Familias Explícitas: El artículo proporciona construcciones específicas (Teoremas 4.1, 4.2, 4.5) utilizando formas cuadráticas binarias para generar estos ejemplos. Por ejemplo, para $m = 6d$ con condiciones de congruencia específicas, existen puntos semi-integrales estrictos mientras que $U_m(\mathbb{Z}) = \emptyset$.

Significado y Reivindicaciones
El artículo afirma ser el primero en estudiar sistemáticamente los principios local-global para orbifolds de Campana con múltiples componentes de frontera irreducibles. Destaca una discrepancia fundamental entre el comportamiento de los puntos integrales y los puntos semi-integrales estrictos: mientras que los puntos integrales en superficies de Markoff frecuentemente fallan el principio de Hasse (existiendo localmente pero no globalmente), los correspondientes puntos semi-integrales estrictos en los pares de orbifolds satisfacen el principio de Hasse.

Los autores posicionan su trabajo como un paso hacia la comprensión de los fallos de los principios local-global en familias de variedades afines. Al cuantificar la frecuencia de los casos donde existen puntos semi-integrales estrictos a pesar de la ausencia de puntos integrales, proporcionan un subconjunto concreto de pares de orbifolds de Markoff que sirve como caso de prueba para la falta de una teoría general que prediga fallos de Hasse para puntos integrales. Los resultados sugieren que los puntos semi-integrales pueden "reparar" el fallo del principio de Hasse observado en el entorno integral, ofreciendo una nueva perspectiva sobre la aritmética de las superficies de Markoff. El artículo no pretende proporcionar una teoría general para todas las variedades afines, sino que ofrece resultados específicos e ilustrativos para el caso de Markoff que pueden informar futuras generalizaciones.