🔢 mathematics

Existence and maximal corank of simple $Z_p$ -invariant germs

Cet article améliore la borne supérieure sur la corang des singularités équivariamment stables pour les groupes d'ordre premier et démontre que le corang maximal des germes simples invariants sous $\mathbb{Z}_p$ croît indéfiniment à mesure que le nombre premier $p$ augmente.

Auteurs originaux : Ivan Proskurnin

Publié 2026-04-30

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ivan Proskurnin

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un architecte tentant de construire les structures les plus simples possibles à partir d'un matériau spécial et rigide. Dans le monde des mathématiques, ces « structures » sont appelées singularités — des points où une surface lisse se plie, se tord ou se brise soudainement.

Ce papier traite de la détermination des limites de la complexité que ces structures « simples » peuvent atteindre lorsqu'elles sont construites sous des règles strictes de symétrie. Plus précisément, l'auteur, Ivan Proskurnin, examine des formes qui doivent rester identiques après une rotation d'un nombre spécifique d'étapes (comme la main d'une horloge se déplaçant $p$ fois pour revenir au départ, où $p$ est un nombre premier).

Voici la décomposition des découvertes du papier en utilisant des analogies du quotidien :

1. L'ancien code de règles (La « mauvaise nouvelle »)

Avant ce papier, les mathématiciens disposaient d'un code de règles (Théorème 1.1) qui tentait de limiter à quel point ces formes simples pouvaient être « désordonnées ». La règle stipulait :

« Si vous souhaitez une forme simple respectant ces règles de rotation, le nombre de dimensions « désordonnées » (appelé corang) ne peut pas être trop élevé. Il est plafonné par une formule spécifique impliquant le nombre d'étapes de rotation ( $p$ ). »

L'auteur estimait que cette règle était trop pessimiste. Elle impliquait que, peu importe le nombre d'étapes de rotation, il existait un plafond rigide à la complexité d'une forme « simple ». L'auteur soupçonnait que ce plafond n'existait pas réellement.

2. La nouvelle découverte : le plafond a disparu

Le papier démontre deux points principaux qui changent la donne :

A. Le plafond est réel, mais seulement pour certaines règles (Théorème 1.2)
L'auteur a affiné le code de règles. Il a montré que la limite de « désordre » ne s'applique que si les règles de rotation sont « réelles » (une propriété mathématique spécifique). Si les règles sont « imaginaires » (dans un sens technique), l'ancienne limite ne s'applique pas de la même manière.

Analogie : Imaginez que vous construisez une tour avec des blocs. L'ancienne règle disait : « Vous ne pouvez jamais empiler plus de 10 blocs de hauteur. » La nouvelle règle dit : « En fait, vous ne pouvez empiler que 10 blocs de hauteur si vous utilisez des blocs rouges. Si vous utilisez des blocs bleus, la règle est différente. »

B. Le « désordre » peut être infini (Théorème 1.3)
C'est la grande nouvelle. L'auteur prouve que pour n'importe quel nombre $N$ auquel vous pouvez penser (10, 1 000, 1 000 000), il existe un nombre premier $p$ (une règle de rotation spécifique) permettant de construire une forme « simple » plus désordonnée que $N$ .

Analogie : Considérez le « corang » comme le nombre de fils lâches sur un pull. La croyance ancienne était qu'un pull « simple » ne pouvait avoir que quelques fils lâches. Proskurnin prouve que si vous choisissez le bon motif (le bon nombre premier $p$ ), vous pouvez fabriquer un pull « simple » avec 100 fils lâches, ou 1 000, ou un million. Il n'y a pas de limite maximale. À mesure que les étapes de rotation ( $p$ ) augmentent, le potentiel de complexité croît sans borne.

3. Comment l'a-t-il prouvé ? (La recette magique)

Pour prouver qu'il est possible d'obtenir des formes « simples » infiniment complexes, l'auteur n'a pas simplement deviné ; il a élaboré une recette spécifique.

Les ingrédients : Il a choisi un grand nombre premier $p$ .
La construction : Il a décomposé le nombre $p-1$ en de nombreux facteurs plus petits (comme découper une grande pizza en de nombreuses parts).
La forme : Il a utilisé ces facteurs pour créer une formule mathématique spécifique (un polynôme) qui agit comme une boucle.
Le résultat : Cette formule crée une forme qui est « stable » (elle ne s'effondre pas facilement) et « simple » (elle ne présente pas de complications inutiles), tout en possédant un grand nombre de dimensions (un corang élevé).

Il a utilisé un célèbre théorème mathématique d'Erdős (concernant la manière dont les nombres premiers sont constitués de nombreux facteurs plus petits) pour garantir que, pour des $p$ suffisamment grands, on peut toujours trouver assez de « parts » pour construire une structure massive et complexe.

Résumé

Le problème : Les mathématiciens voulaient savoir s'il existait une limite à la complexité d'une forme symétrique « simple ».
L'ancienne réponse : Oui, il existe une limite.
La nouvelle réponse : Non, il n'y a pas de limite. Tant que vous choisissez le bon type de symétrie (un nombre premier suffisamment grand), vous pouvez créer des formes « simples » arbitrairement complexes.
L'essentiel : L'univers de ces formes mathématiques est bien plus sauvage et moins restreint qu'on ne le pensait précédemment. Les formes les plus « simples » peuvent en réalité être incroyablement complexes, à condition d'avoir le bon nombre d'étapes de rotation pour travailler.

1. Énoncé du Problème

Le papier traite de la classification des singularités simples équivariantes sous l'action d'un groupe cyclique d'ordre premier, $\mathbb{Z}_p$ , agissant sur l'espace complexe $(\mathbb{C}^n, 0)$ .

Contexte : Des travaux antérieurs (référencés comme [1]) ont établi une borne supérieure sur le corang (défini comme $n - \text{rk}(\tau)$ , où $\text{rk}(\tau)$ est le rang maximal d'une forme quadratique $\tau$ -invariante) pour de telles singularités. La borne précédente suggérait que, pour un nombre premier $p$ fixé, le corang est borné par des fonctions logarithmiques de $p$ (spécifiquement $\log_2(p+1)$ ou $\log_2(2p-1)$ ).
Le Conflit : Une classification « douce » (tame) de toutes les singularités simples nécessite généralement une borne supérieure constante sur le corang, indépendante des paramètres spécifiques du groupe. L'auteur examine si une telle borne existe ou si le corang peut croître arbitrairement lorsque $p$ augmente.
Question Centrale : Le corang d'un germe simple $\mathbb{Z}_p$ -invariant peut-il devenir arbitrairement grand lorsque $p \to \infty$ ? De plus, quelles sont les contraintes précises sur l'action du groupe (spécifiquement le déterminant de la représentation) pour qu'une telle singularité existe ?

2. Méthodologie

L'auteur emploie des techniques issues de la théorie des singularités, de la théorie des représentations et de la théorie des nombres.

Linéarisation et Diagonalisation : Puisque toute action analytique d'un groupe fini sur $(\mathbb{C}^n, 0)$ est linéarisable, et que les représentations des groupes abéliens finis sont diagonalisables, l'étude est réduite à des actions linéaires de la forme $g \cdot (x_1, \dots, x_n) = (\chi_1(g)x_1, \dots, \chi_n(g)x_n)$ , où $\chi_i$ sont des caractères de $\mathbb{Z}_p$ .
Algèbre Jacobienne Équivariante : Le papier utilise l'algèbre jacobienne $Q_f = \mathbb{C}\{x_1, \dots, x_n\} / J_f$ (où $J_f$ est l'idéal jacobien). Le groupe $G$ agit sur $Q_f$ , et le nombre de Milnor équivariant $\mu_G(f)$ est défini comme la représentation de $G$ sur cette algèbre.
Critères de Stabilité : L'auteur s'appuie sur la caractérisation selon laquelle un germe est stable équivariamment si et seulement si la dimension de l'espace des éléments invariants dans $Q_f$ (notée $\nu(f)$ ) est égale à 1.
Lemme de Décomposition : L'analyse utilise le lemme de décomposition pour décomposer un germe stable $f$ en une partie quadratique non dégénérée (de rang $\text{rk}(\tau)$ ) et une partie résiduelle $h$ avec $j^2(h)=0$ . Cela permet de réduire le problème à l'analyse du corang de $h$ .
Construction Théorique des Nombres : Pour prouver l'existence d'exemples à corang élevé, l'auteur construit des polynômes spécifiques (polynômes inversibles de type boucle) et utilise le théorème d'Erdős sur la distribution des diviseurs premiers de $p-1$ pour montrer que, pour de grands nombres premiers, $p-1$ peut être factorisé en un grand nombre d'entiers.

3. Contributions Clés et Théorèmes

A. Raffinement des Conditions d'Existence (Théorème 1.2)

Le papier améliore les conditions sous lesquelles des germes simples équivariants peuvent exister.

Résultat Antérieur : Des germes simples pouvaient exister si $\det(\tau) \neq 1$ (avec une borne $\log_2(p+1)$ ) ou si $\det(\tau) = 1$ (avec une borne $\log_2(2p-1)$ ).
Nouveau Résultat : L'auteur prouve que si $\det(\tau) = 1$ , des germes simples ne peuvent pas exister à moins que l'action ne soit une action de groupe réel (admettant une forme quadratique invariante de rang plein $n$ ).
Implication : Cela réduit considérablement la gamme des actions de groupe possibles. Pour les actions complexes avec $\det(\tau)=1$ , les singularités simples sont impossibles.

B. Preuve du Corang Non Borné (Théorème 1.3)

Il s'agit de la contribution principale du papier.

Énoncé : Pour tout entier $N$ , il existe un nombre premier $p$ et un germe simple $\mathbb{Z}_p$ -invariant $f: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ avec $j^2(f)=0$ et un corang $n > N$ .
Signification : Cela réfute l'espoir d'une borne supérieure constante sur le corang des singularités simples. Le corang maximal tend vers l'infini lorsque $p$ augmente.

C. Classification des Nombres de Milnor Équivariants (Théorèmes 3.3 & 4.1)

L'auteur classe les classes d'isomorphisme possibles du nombre de Milnor équivariant $\mu_{\mathbb{Z}_p}(f)$ pour les germes stables.

Il est démontré que la classe $\tilde{\mathbb{C}} \oplus 2W$ (où $W$ est la restriction de la représentation régulière) ne peut pas se produire pour des germes stables.
Cette élimination est cruciale pour la preuve du Théorème 1.2, car elle restreint les dimensions possibles de l'algèbre jacobienne, forçant le corang à être borné dans des cas spécifiques mais non borné dans d'autres.

4. Résultats et Construction

Construction d'Exemples à Corang Élevé :
Pour prouver le Théorème 1.3, l'auteur construit une famille spécifique de polynômes :
$f = x_1^{d_1}x_2 + x_2^{d_2}x_3 + \dots + x_{n-1}^{d_{n-1}}x_n + x_n^{d_n}x_1$

Action du Groupe : Un générateur $g$ de $\mathbb{Z}_p$ (où $p = d_1 \dots d_n + 1$ ) agit sur les coordonnées avec des poids spécifiques impliquant une racine primitive de l'unité.
Propriétés : Ce polynôme est un polynôme inversible de « type boucle », connu pour avoir un point critique isolé. Il est démontré qu'il est stable équivariamment.
Corang : Le corang est déterminé par le nombre de variables $n$ .
Lien avec la Théorie des Nombres : L'auteur invoque le Théorème d'Erdős, qui stipule que pour « presque tous » les nombres premiers $p$ , le nombre de diviseurs premiers distincts de $p-1$ croît comme $\log(\log(p))$ . En choisissant $p$ tel que $p-1$ ait de nombreux facteurs, on peut construire une décomposition $p-1 = d_1 \dots d_n$ avec un $n$ arbitrairement grand.
Comportement Asymptotique : Le corang maximal pour un nombre premier $p$ est d'au moins $O(\log(\log(p)))$ .

5. Signification

Résolution des Limites de Classification : Le papier répond définitivement qu'une classification « douce » de toutes les singularités simples $\mathbb{Z}_p$ -invariantes (avec une borne uniforme sur le corang) est impossible. La complexité de la classification croît avec l'ordre premier du groupe.
Raffinement de la Théorie de la Stabilité : En prouvant que $\det(\tau)=1$ exclut généralement les singularités simples (sauf pour les actions réelles), le papier clarifie les contraintes géométriques requises pour la stabilité dans le cadre équivariant.
Connexion Interdisciplinaire : Ce travail relie avec succès la théorie des singularités à la théorie analytique des nombres, utilisant la distribution des facteurs premiers pour construire des contre-exemples géométriques aux conjectures de bornitude.
Fondement pour les Travaux Futurs : En restreignant les conditions d'existence (Théorème 1.2) et en établissant le taux de croissance du corang (Théorème 1.3), le papier prépare le terrain pour une classification plus nuancée qui prend en compte la dépendance du corang vis-à-vis du nombre premier $p$ .

En résumé, Proskurnin démontre que si les singularités simples sont rares pour les petits nombres premiers ou des conditions de déterminant spécifiques, elles deviennent de plus en plus complexes (corang plus élevé) à mesure que le nombre premier $p$ croît, modifiant fondamentalement les attentes concernant la classification des singularités équivariantes.