Bounds on the F-Pure Threshold of Isolated Hypersurface Singularities

Résumé Technique : Bornes sur le Seuil F-pur de Singularités d'Hypersurfaces Isolées

Énoncé du Problème
L'article traite du problème de la détermination des bornes du seuil F-pur (fpt) des singularités d'hypersurfaces isolées définies sur un corps algébriquement clos $k$ de caractéristique positive $p > 0$. Le seuil F-pur est un invariant fondamental en algèbre commutative de caractéristique positive et en théorie des singularités, servant d'analogue au seuil canonique logarithmique (lct) en caractéristique zéro. Bien que le seuil F-pur soit bien compris pour les polynômes homogènes ou quasi-homogènes, l'obtention de bornes pour les singularités isolées générales en termes d'invariants classiques demeure un défi important. Plus précisément, l'auteur cherche à relier le fpt au nombre de Milnor ($\mu$) et au nombre de Tjurina ($\tau$), et à étendre ces résultats aux singularités de courbes en utilisant les semi-groupes de valeurs.

Méthodologie
L'article emploie une combinaison de techniques issues de l'algèbre locale, de la théorie des singularités et de la réduction modulo $p$.

1. Invariants Algébriques et Déterminance : L'auteur utilise les définitions de l'idéal jacobien, du nombre de Milnor et du nombre de Tjurina. Un outil central est la théorie de la déterminance par contact et par droite, qui établit que les singularités ayant un $\tau$ ou un $\mu$ finis sont déterminées par leurs troncatures à un certain ordre. Cela permet à l'auteur de traiter les séries de puissances comme des polynômes à des fins de calcul d'invariants.
2. Semi-groupes de Valuations : Pour les singularités de courbes ($n=2$), l'article tire parti du semi-groupe de valeurs $\Gamma(f)$. En analysant la suite minimale génératrice de ce semi-groupe, spécifiquement les deux premiers générateurs ($\beta_0, \beta_1$), l'auteur relie la géométrie de la singularité à la structure algébrique du seuil F-pur.
3. Approximation et Limites : Pour traiter les cas où le nombre de Milnor est infini mais le nombre de Tjurina est fini, l'auteur construit une séquence de perturbations $f_l = f + a^l$ qui rendent le nombre de Milnor fini. En prenant la limite lorsque $l \to \infty$ et en utilisant la semi-continuité inférieure du seuil F-pur, des bornes pour la singularité originale sont dérivées.
4. Réduction Modulo $p$ : Pour connecter les résultats en caractéristique positive au cas complexe, l'article utilise la relation entre le seuil F-pur d'une réduction $f_p$ et le seuil canonique logarithmique du polynôme entier original $f$. Cela implique le relèvement des singularités de la caractéristique $p$ vers la caractéristique zéro (ou $\mathbb{Z}$) tout en préservant la structure du semi-groupe de valeurs.

Contributions Clés et Résultats

• Bornes via les Nombres de Milnor et de Tjurina :
  L'article établit des bornes inférieures pour le seuil F-pur d'une singularité d'hypersurface isolée $f$ en termes de $\mu(f)$ et $\tau(f)$ :

  • Si $\mu(f) < \infty$, alors $\text{fpt}(f) \geq \frac{1}{\tau(f)} - \frac{1}{\mu(f)}$.
  • Si $\mu(f) = \infty$ (mais $\tau(f) < \infty$), alors $\text{fpt}(f) \geq \frac{1}{\tau(f)}$.
    Ces résultats généralisent les bornes précédentes et fournissent un cadre unifié pour les cas de nombres de Milnor finis et infinis.

• Singularités de Courbes et Semi-groupes de Valeurs :
  Pour les singularités de courbes irréductibles $f \in k[[x,y]]$, l'article fournit une borne supérieure et une formule de calcul exacte basée sur les générateurs minimaux $\beta_0, \beta_1$ du semi-groupe de valeurs $\Gamma(f)$ :

  • Borne Supérieure : $\text{fpt}(f) \leq \frac{1}{\beta_0} + \frac{1}{\beta_1}$.
  • Calcul Exact : Si $\Gamma(f)$ est généré par exactement deux éléments, alors $\text{fpt}(f) = \text{fpt}(x^{\beta_0} + y^{\beta_1})$. Cela réduit le calcul pour une large classe de singularités de courbes à celui des hypersurfaces diagonales (polynômes de type Fermat), pour lesquelles des formules explicites existent.

• Applications à la Caractéristique Zéro :
  En appliquant les bornes en caractéristique positive aux réductions de polynômes entiers, l'article dérive des résultats analogues pour le seuil canonique logarithmique (lct) et l'exposant de Briançon–Skoda ($e_{BS}$) des singularités d'hypersurfaces isolées complexes :

  • Seuil Canonique Logarithmique : Si $f \in \mathbb{Z}[[x]]$ a un $\mu(f)$ fini, alors $\text{lct}(f) \geq \frac{1}{\tau(f)} - \frac{1}{\mu(f)}$.
  • Exposant de Briançon–Skoda : L'article établit l'inégalité $\text{lct}(f) \cdot \mu(f) + 1 \geq e_{BS}(f)$.
  • Formule d'Igusa : L'article fournit un analogue en caractéristique positive de la formule d'Igusa pour le seuil canonique logarithmique des courbes planes irréductibles, montrant que $\text{lct}(f) \leq \frac{1}{\beta_0} + \frac{1}{\beta_1}$, avec égalité si le semi-groupe de valeurs est généré par deux éléments.

Signification et Revendications
L'auteur affirme que ce travail comble le fossé entre l'étude des singularités d'hypersurfaces isolées et le seuil F-pur, démontrant que les invariants classiques comme $\mu$ et $\tau$ sont des outils efficaces pour borner ce seuil.

• Analogue au Résultat d'Igusa : Une revendication primaire est l'établissement d'un analogue en caractéristique positive à la formule d'Igusa pour le seuil canonique logarithmique des courbes planes, en utilisant les générateurs du semi-groupe de valeurs.
• Réduction de la Complexité : Le résultat selon lequel les singularités de courbes avec des semi-groupes à deux générateurs ont le même seuil F-pur que les hypersurfaces diagonales simplifie considérablement le calcul de ces invariants.
• Unification : Le papier unifie le traitement des singularités à nombres de Milnor finis et infinis en montrant que la borne impliquant le nombre de Tjurina est universelle pour les singularités isolées, le terme de Milnor s'annulant dans le cas infini.

Le travail est présenté comme faisant partie de la thèse de doctorat de l'auteur, visant à fournir des bornes explicites et des méthodes de calcul pour le seuil F-pur, offrant ainsi de nouvelles perspectives sur la relation entre les invariants de singularités en caractéristique $p$ et en caractéristique $0$.