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

Résumé technique : Principes locaux-globaux pour les points semi-intégraux sur les paires d'orbifold de Markoff

Énoncé du problème
Cet article étudie les principes locaux-globaux pour les points semi-intégraux sur les paires d'orbifold associées aux surfaces de Markoff. Alors que l'arithmétique des points rationnels et intégraux sur les surfaces de Markoff ($u_1^2 + u_2^2 + u_3^2 - u_1u_2u_3 = m$) a été largement étudiée — particulièrement concernant le principe de Hasse et la densité des points intégraux — ce travail étend l'analyse aux points « semi-intégraux ». Ces points, introduits par Campana et Darmon, interpolent entre les points rationnels et les points intégraux en imposant des conditions de divisibilité spécifiques sur les multiplicités d'intersection avec les diviseurs de bord. Les auteurs traitent spécifiquement du comportement de ces points sur des paires d'orbifold $(X_m, D_\omega)$, où $X_m$ est la compactification lisse de la surface de Markoff et $D_\omega$ est un diviseur de bord avec des poids assignés $\omega_i \in \mathbb{Z}_{\ge 2} \cup \{\infty\}$. Les questions centrales concernent la validité de l'approximation faible, de l'approximation forte et du principe de Hasse pour ces points semi-intégraux, ainsi que la fréquence à laquelle des points semi-intégraux stricts existent en l'absence de points intégraux.

Méthodologie
Les auteurs emploient une combinaison de géométrie arithmétique, de la théorie des formes quadratiques et du cadre de l'obstruction de Brauer–Manin adapté aux points semi-intégraux (tels que définis dans [MNS24]).

1. Configuration de l'orbifold et définitions : L'étude utilise la définition des points de Campana et Darmon sur les paires d'orbifold. Un point est semi-intégral si sa multiplicité d'intersection avec les composantes de bord $D_i$ satisfait des conditions spécifiques basées sur le poids $\omega_i$ : pour les points de Campana, la multiplicité doit être dans $\mathbb{Z}_{\ge \omega_i} \cup \{0, \infty\}$ ; pour les points de Darmon, elle doit être dans $\omega_i\mathbb{Z}_{\ge 0} \cup \{ \infty \}$.
2. Analyse local-globale : Les auteurs analysent la densité des points semi-intégraux dans l'espace adélique. Ils distinguent les points « stricts » (situés dans la partie affine $U = X \setminus D_{red}$) des points « non stricts » (situés sur le bord). L'échec de l'approximation faible (WWA) est établi pour les paires avec plusieurs poids finis en utilisant des arguments d'intégralité géométrique et les estimations de Lang–Weil.
3. Obstruction de Brauer–Manin : L'article calcule les valeurs des applications d'invariants locaux pour les générateurs du groupe de Brauer de la surface de Markoff. En construisant des points adéliques explicites avec des valeurs d'invariants locaux spécifiques, les auteurs déterminent la présence ou l'absence d'obstructions de Brauer–Manin au principe de Hasse et aux propriétés d'approximation.
4. Construction explicite via les formes quadratiques : Pour aborder l'existence de points semi-intégraux stricts en l'absence de points intégraux, les auteurs réduisent le problème à la représentation d'entiers par des formes quadratiques binaires. Ils utilisent la théorie du genre et les propriétés du groupe de classes de discriminants spécifiques (par exemple, 117, $p^2+4$, 28) pour prouver l'existence de solutions à l'équation de Markoff sous certaines conditions de congruence sur $m$.

Contributions clés et résultats

• Échec de l'approximation pour des poids multiples : L'article prouve que si au moins deux des poids $\omega_1, \omega_2, \omega_3$ sont finis, la paire d'orbifold $(X_m, D_\omega)$ échoue à l'approximation faible pour les points semi-intégraux. C'est le premier résultat de ce type pour les orbifolds de Campana avec plusieurs composantes de bord irréductibles.
• Approximation avec un seul poids fini : Dans le cas où exactement un poids est fini, le comportement dépend de l'arithmétique de $m-4$. Si $m-4$ est un carré dans $\mathbb{Q}$, l'approximation faible est vérifiée. Si ce n'est pas le cas, la paire échoue à l'approximation faible de Campana ; si le poids fini est pair, elle échoue également à l'approximation faible de Darmon. Ces échecs sont attribués à des obstructions de Brauer–Manin.
• Approximation forte : Les auteurs démontrent que l'approximation forte hors de tout ensemble fini échoue si au moins deux poids sont finis. De plus, si $m-4$ n'est pas un carré et qu'au moins un poids est fini, l'approximation forte échoue hors de tout ensemble fini $T$ contenu dans l'ensemble des nombres premiers où $m-4$ est un carré.
• Principe de Hasse pour les points stricts : L'étude montre que la famille de paires d'orbifold de Markoff satisfait le principe de Hasse semi-intégral. Contrairement au cas intégral, où des obstructions locales peuvent empêcher l'existence de points globaux (comme montré dans [GS22], [LM21]), le principe de Hasse semi-intégral strict est vérifié car le point $(0:0:1:1)$ est toujours semi-intégral.
• Absence d'obstruction de Brauer–Manin : Pour les points semi-intégraux stricts, les auteurs prouvent qu'il n'y a pas d'obstruction de Brauer–Manin algébrique au principe de Hasse. Sous une condition arithmétique spécifique sur $m$ (liée au corps $\mathbb{Q}(\sqrt{m}, \sqrt{m-4})$), il n'y a également pas d'obstruction de Brauer–Manin transcendante.
• Existence de points semi-intégraux stricts sans points intégraux : Une contribution significative est la construction de familles explicites de paires d'orbifold de Markoff qui possèdent des points semi-intégraux stricts mais manquent de points intégraux.
  • Théorème 1.7 : Les auteurs établissent une borne inférieure pour le nombre de ces entiers $m$ avec $|m| \le B$. Spécifiquement, si un poids est fini, le nombre de tels $m$ est $\gg B / (\log B)^{1/2}$.
  • Familles explicites : L'article fournit des constructions spécifiques (Théorèmes 4.1, 4.2, 4.5) utilisant des formes quadratiques binaires pour générer ces exemples. Par exemple, pour $m = 6d$ avec des conditions de congruence spécifiques, des points semi-intégraux stricts existent alors que $U_m(\mathbb{Z}) = \emptyset$.

Signification et affirmations
L'article prétend être le premier à étudier systématiquement les principes locaux-globaux pour les orbifolds de Campana avec plusieurs composantes de bord irréductibles. Il souligne une divergence fondamentale entre le comportement des points intégraux et des points semi-intégraux stricts : alors que les points intégraux sur les surfaces de Markoff échouent fréquemment au principe de Hasse (existant localement mais pas globalement), les points semi-intégraux stricts correspondants sur les paires d'orbifold satisfont le principe de Hasse.

Les auteurs positionnent leur travail comme une étape vers la compréhension des échecs des principes locaux-globaux dans les familles de variétés affines. En quantifiant la fréquence des cas où des points semi-intégraux stricts existent malgré l'absence de points intégraux, ils fournissent un sous-ensemble concret de paires d'orbifold de Markoff qui sert de cas de test pour l'absence d'une théorie générale prédisant les échecs de Hasse pour les points intégraux. Les résultats suggèrent que les points semi-intégraux peuvent « réparer » l'échec du principe de Hasse observé dans le cadre intégral, offrant une nouvelle perspective sur l'arithmétique des surfaces de Markoff. L'article ne prétend pas fournir une théorie générale pour toutes les variétés affines, mais propose des résultats spécifiques et illustratifs pour le cas de Markoff qui peuvent éclairer de futures généralisations.