Caractéristiques d'Euler locales des singularités $A_n$ et leurs applications à l'hyperbolicité

Informations fondamentales

• ID de l'article: 2312.01722
• Titre: Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity
• Auteurs: Nils Bruin (Simon Fraser University), Nathan Ilten (Simon Fraser University), Zhe Xu (University of Oregon)
• Classification: math.AG (géométrie algébrique), math.NT (théorie des nombres)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 2
• Lien de l'article: https://arxiv.org/abs/2312.01722

Résumé

Cet article utilise les outils de la géométrie torique pour étudier les caractéristiques d'Euler locales des fibrés de différentielles symétriques des singularités de surface isolées de type $A_n$. Les auteurs établissent une formule explicite pour la caractéristique d'Euler locale de la $m$-ième puissance symétrique du fibré cotangent, qui s'avère être un quasi-polynôme de période $n+1$ en $m$. Ils expriment également les composantes de la caractéristique d'Euler locale comme comptage de points entiers dans des polyèdres non-convexes, confirmant à nouveau la nature quasi-polynomiale. En appliquant ces résultats, les auteurs obtiennent de nouveaux exemples de surfaces quasi-hyperboliques algébriques de bas degré dans $\mathbb{P}^3$, et démontrent que la famille de surfaces explicites construite par Labs, possédant de nombreuses singularités, ne contient pas de courbes de genre 0 pour les degrés au moins 8, et pas de courbes de genre 0 ou 1 pour les degrés au moins 10.

Contexte et motivation de la recherche

Importance du problème

L'hyperbolicité quasi-algébrique est un concept important en géométrie algébrique. Une surface projective non-singulière $Y$ est dite quasi-hyperbolique algébriquement si elle ne contient qu'un nombre fini de courbes de genre 0 et 1. Coskun et Riedl ont prouvé que les surfaces « très générales » de degré $d \geq 5$ dans $\mathbb{P}^3$ sont algébriquement hyperboliques, mais aucune surface « très générale » n'est définie sur un corps de nombres, laissant ouverte la question de la quasi-hyperbolicité pour les surfaces concrètes.

Limitations des méthodes existantes

Pour les surfaces de type général, Bogomolov a prouvé que si le fibré cotangent est « grand », alors la surface est quasi-hyperbolique algébriquement. Cependant, le fibré cotangent des surfaces non-singulières dans $\mathbb{P}^3$ n'est jamais grand. Bogomolov et de Oliveira ont observé que si une surface normale $X$ possède suffisamment de singularités, le fibré cotangent de sa résolution minimale $Y$ peut être grand.

Motivation de la recherche

La clé réside dans l'utilisation de la caractéristique d'Euler locale définie par Wahl pour exprimer la différence de caractéristiques d'Euler. Pour un lieu singulier $S$ composé de singularités ADE, on a : $\chi(X,F') = \chi(Y,F) + \sum_{s \in S} \chi_{\text{loc}}(s,F)$

où $\chi_{\text{loc}}(s,F) = \chi^0(s,F) + \chi^1(s,F)$. Ceci fournit un outil de calcul pour étudier la quasi-hyperbolicité des surfaces concrètes.

Contributions principales

1. Formule explicite: Établissement d'une formule explicite pour la caractéristique d'Euler locale des fibrés de différentielles symétriques aux singularités $A_n$ (Théorème 1.3)
2. Représentation par comptage de points entiers: Expression de la composante $\chi^0$ comme comptage de points entiers dans des polyèdres non-convexes (Théorème 1.5)
3. Propriétés de monotonie et asymptotiques: Preuve de la monotonie de $\chi^0$ par rapport à $n$ et $m$, ainsi que des bornes asymptotiques (Proposition 1.6)
4. Applications concrètes: Détermination des bornes inférieures du nombre de singularités garantissant la quasi-hyperbolicité des surfaces, avec tableaux de valeurs numériques
5. Nouveaux exemples de bas degré: Preuve que la famille de surfaces de Labs fournit les exemples explicites les plus bas degré (degré 8) de surfaces quasi-hyperboliques algébriques connues

Détails de la méthode

Définition de la tâche

Étude de la caractéristique d'Euler locale du fibré de différentielles symétriques $S^m\Omega^1_Y$ à la singularité $A_n$ $s_n$ : $\chi_{\text{loc}}(s_n, S^m\Omega^1_Y) = \chi^0(s_n, S^m\Omega^1_Y) + \chi^1(s_n, S^m\Omega^1_Y)$

Méthode de géométrie torique

Structure torique de la singularité $A_n$

Représentation de la singularité $A_n$ comme variété torique : $X: x_1x_2 = x_3^{n+1} \subset \mathbb{A}^3$, dont la résolution minimale $Y$ est également une variété torique.

Application de la théorie de Klyachko

Utilisation de la théorie équivariante des fibrés réflexifs de Klyachko, décomposant les groupes de cohomologie en parties graduées paramétrées par le réseau de caractères $M$ : $H^p(X_{\Sigma}, F) = \bigoplus_{u \in M} H^p(X_{\Sigma}, F)_u$

Pour $u \in M$, on a : $H^0(X_{\Sigma}, F)_u \cong \bigcap_{\rho \in \Sigma(1)} V^{\rho}_F(\rho(u))$

Formule de récurrence

Établissement de la relation de récurrence : $\chi(n,m) - \chi(n-1,m) = \delta_n(m)$

où $\delta_n(m,u)$ peut être calculé explicitement via des fonctions linéaires par morceaux.

Méthode de comptage de points entiers

Construction de polyèdres non-convexes

Définition des sommets :

• $P_i = (-\frac{1}{i+1}, 0, 0)$
• $Q_i = (-\frac{2}{(i+1)(i+2)}, -\frac{i}{i+2}, \frac{i}{i+2})$
• $Z = (0, -1, 0)$

Construction du polyèdre semi-ouvert convexe : $\mathcal{P}_i = \text{Conv}\{P_{i-1}, Q_{i-1}, P_i, Q_i, Z\} \setminus \text{Conv}\{P_i, Q_i, Z\} \setminus \text{Conv}\{P_{i-1}, P_i, Z\}$

Expression du résultat principal

$\chi^0(s_n, S^m\Omega^1_Y) = L(\mathcal{C}_n, m+1) + 2\sum_{i=1}^n L(\mathcal{P}_i, m+1)$

où $L(P,t) = \#(tP \cap \mathbb{Z}^3)$ est la fonction d'Ehrhart.

Configuration expérimentale

Vérification théorique

Vérification de la correction de la formule de comptage de points entiers par la méthode des fonctions génératrices, utilisant les transformations de points entiers sur les cônes : $S_C(z) = \frac{S_{\Pi(C)}}{(1-z^{w_1})\cdots(1-z^{w_k})}$

Calcul numérique

Calcul des fonctions génératrices explicites pour les petites valeurs de $n$, vérification de la périodicité du quasi-polynôme et de ses coefficients.

Résultats expérimentaux

Résultats des théorèmes principaux

Théorème 1.3: Pour la singularité $A_n$ $s_n$, on a : $\chi_{\text{loc}}(s_n, S^m\Omega^1_Y) = \frac{(n+1)^2-1}{(n+1)}\left(\frac{1}{6}m^3 + \frac{1}{2}m^2 + \frac{1}{4}m\right) + \frac{b_n(m)}{4(n+1)} \cdot m + \frac{c_n(m)}{12(n+1)}$

où $b_n(m)$ et $c_n(m)$ sont des fonctions périodiques dépendant de la valeur de $m \bmod (n+1)$.

Proposition 1.6:

1. $\chi^0(s_n, S^m\Omega^1_Y)$ est monotone non-décroissante par rapport à $n$ et $m$
2. Pour $n$ fixé, cette fonction est constante par rapport à $n$ lorsque $n > m$
3. Borne asymptotique : $\chi^0(s_n, S^m\Omega^1_Y) \leq (\frac{2}{9}\pi^2 - 2)(m+1)^3 + O(m^2)$

Résultats des applications

Borne inférieure du nombre de singularités

Pour une surface de degré $d$ dans $\mathbb{P}^3$ possédant $r$ singularités de type $A_n$, calcul des valeurs $r(d,n)$ garantissant la quasi-hyperbolicité :

Application aux surfaces de Labs

Théorème 1.8: Pour la surface de degré $d=2k$ construite par Labs $X_k$ :

• Lorsque $k \geq 4$, $X_k$ ne contient pas de courbes de genre 0
• Lorsque $k \geq 5$, $X_k$ ne contient pas de courbes de genre 0 ou 1

Ceci fournit les exemples explicites de surfaces quasi-hyperboliques algébriques du plus bas degré connu (degré 8).

Travaux connexes

Développement historique

• Bogomolov-de Oliveira ont d'abord considéré l'hyperbolicité quasi-algébrique des hypersurfaces avec singularités $A_1$
• Bruin-Thomas-Várilly-Alvarado ont corrigé les erreurs dans les calculs antérieurs
• Roulleau-Rousseau ont utilisé la méthode de pliage d'orbites pour donner une approximation de la caractéristique d'Euler locale aux singularités $A_n$

Améliorations techniques

Les améliorations principales de cet article par rapport aux travaux antérieurs :

1. Fourniture de formules quasi-polynomiales exactes plutôt que des approximations
2. Utilisation de la géométrie torique pour fournir une méthode de calcul systématique
3. Preuve d'inégalités plus fortes, améliorant l'efficacité des applications

Conclusions et discussion

Conclusions principales

1. Résolution complète du problème du calcul de la caractéristique d'Euler locale des fibrés de différentielles symétriques aux singularités de type $A_n$
2. Établissement de nouvelles connexions entre la géométrie torique et la théorie des singularités
3. Fourniture d'une méthode efficace pour construire des surfaces quasi-hyperboliques algébriques de bas degré

Limitations

1. La méthode s'applique principalement aux singularités de type ADE ; la généralisation à d'autres types de singularités nécessite des recherches supplémentaires
2. Bien que des bornes théoriques soient fournies, la recherche d'exemples concrets atteignant ces bornes reste difficile
3. La complexité de calcul croît rapidement avec $n$

Directions futures

1. Généralisation à d'autres types de singularités ($D_n$, $E_6$, $E_7$, $E_8$)
2. Étude du cas des intersections complètes
3. Exploration des connexions avec la géométrie arithmétique

Évaluation approfondie

Avantages

1. Innovativité de la méthode: Application ingénieuse des outils de géométrie torique à la théorie des singularités, fournissant un cadre de calcul systématique
2. Complétude des résultats: Fourniture de formules quasi-polynomiales exactes plutôt que de simples estimations asymptotiques
3. Valeur applicative: Fourniture d'une méthode efficace pour construire des surfaces quasi-hyperboliques concrètes de bas degré
4. Profondeur technique: Utilisation synthétique de techniques approfondies provenant de plusieurs domaines : géométrie algébrique, géométrie torique, géométrie combinatoire

Insuffisances

1. Complexité de calcul: Bien que des formules théoriques soient fournies, le calcul réel reste complexe pour les grandes valeurs de $n$
2. Limitations de généralisation: La méthode s'applique principalement aux singularités de type $A_n$ ; l'applicabilité à d'autres types de singularités est limitée
3. Intuition géométrique: Certains détails techniques manquent d'explication géométrique intuitive

Influence

1. Contribution théorique: Fourniture de nouveaux outils de calcul pour la théorie des singularités et la géométrie algébrique
2. Perspectives d'application: Ouverture de nouvelles voies pour la recherche de surfaces quasi-hyperboliques algébriques concrètes
3. Valeur méthodologique: Démonstration du potentiel puissant d'application de la géométrie torique aux problèmes classiques de géométrie algébrique

Scénarios d'application

1. Étude des propriétés géométriques des surfaces algébriques possédant plusieurs singularités de type $A_n$
2. Construction de surfaces quasi-hyperboliques algébriques possédant des propriétés spécifiques
3. Calcul d'autres invariants géométriques locaux aux singularités

Références

L'article cite 28 références importantes couvrant plusieurs domaines : géométrie torique, théorie des singularités, géométrie algébrique, etc., avec des résultats classiques et récents. La théorie équivariante des fibrés réflexifs de Klyachko et la théorie de la caractéristique d'Euler locale de Wahl fournissent les fondations théoriques essentielles de cet article.