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

1. Probleemstelling

Het artikel behandelt de classificatie van equivariante eenvoudige singulariteiten onder de werking van een cyclische groep van priemorde, $\mathbb{Z}_p$, die werkt op de complexe ruimte $(\mathbb{C}^n, 0)$.

• Context: Eerder werk (verwezen naar als [1]) stelde een bovengrens vast voor de corank (gedefinieerd als $n - \text{rk}(\tau)$, waarbij $\text{rk}(\tau)$ de maximale rang is van een $\tau$-invariante kwadratische vorm) voor dergelijke singulariteiten. De eerdere bovengrens suggereerde dat voor een vaste priem $p$, de corank begrensd is door logaritmische functies van $p$ (specifiek $\log_2(p+1)$ of $\log_2(2p-1)$).
• Het Conflict: Een "tamme" classificatie van alle eenvoudige singulariteiten vereist over het algemeen een constante bovengrens voor de corank, onafhankelijk van de specifieke groepsparameters. De auteur onderzoekt of een dergelijke grens bestaat of dat de corank willekeurig groot kan worden naarmate $p$ toeneemt.
• Kernvraag: Kan de corank van een eenvoudige $\mathbb{Z}_p$-invariante kiem willekeurig groot worden naarmate $p \to \infty$? Bovendien, wat zijn de precieze beperkingen voor de groepswerking (specifiek de determinant van de representatie) opdat dergelijke singulariteiten kunnen bestaan?

2. Methodologie

De auteur maakt gebruik van technieken uit de singulariteitstheorie, representatietheorie en getaltheorie.

• Linearisatie en Diagonalisatie: Aangezien elke analytische werking van een eindige groep op $(\mathbb{C}^n, 0)$ lineariseerbaar is, en representaties van eindige abelse groepen diagonaliseerbaar zijn, wordt de studie teruggebracht tot lineaire werkingen van de vorm $g \cdot (x_1, \dots, x_n) = (\chi_1(g)x_1, \dots, \chi_n(g)x_n)$, waarbij $\chi_i$ karakters zijn van $\mathbb{Z}_p$.
• Equivariante Jacobiaanse Algebra: Het artikel maakt gebruik van de Jacobiaanse algebra $Q_f = \mathbb{C}\{x_1, \dots, x_n\} / J_f$ (waarbij $J_f$ het Jacobiaanse ideaal is). De groep $G$ werkt op $Q_f$, en het equivariante Milnor-getal $\mu_G(f)$ wordt gedefinieerd als de representatie van $G$ op deze algebra.
• Stabiliteitscriteria: De auteur vertrouwt op de karakterisering dat een kiem equivariant stabiel is dan en slechts dan als de dimensie van de ruimte van invariante elementen in $Q_f$ (aangeduid als $\nu(f)$) gelijk is aan 1.
• Splitting Lemma: De analyse maakt gebruik van het splitting lemma om een stabiele kiem $f$ te ontbinden in een niet-gecentreerd kwadratisch deel (van rang $\text{rk}(\tau)$) en een residu-deel $h$ met $j^2(h)=0$. Dit stelt het probleem in staat om gereduceerd te worden tot het analyseren van de corank van $h$.
• Getaltheoretische Constructie: Om het bestaan van voorbeelden met hoge corank te bewijzen, construeert de auteur specifieke polynomen (inverteerbare polynomen van het "loop-type") en maakt gebruik van de stelling van Erdős over de verdeling van priemdelers van $p-1$ om aan te tonen dat voor grote priemgetallen, $p-1$ kan worden ontbonden in een groot aantal gehele getallen.

3. Belangrijkste Bijdragen en Stellingen

A. Verfijning van Bestaansvoorwaarden (Stelling 1.2)

Het artikel verbetert de voorwaarden waaronder equivariante eenvoudige kiemen kunnen bestaan.

• Eerder Resultaat: Eenvoudige kiemen konden bestaan als $\det(\tau) \neq 1$ (met bovengrens $\log_2(p+1)$) of als $\det(\tau) = 1$ (met bovengrens $\log_2(2p-1)$).
• Nieuw Resultaat: De auteur bewijst dat als $\det(\tau) = 1$, eenvoudige kiemen niet kunnen bestaan tenzij de werking een reële groepswerking is (die een invariante kwadratische vorm van volledige rang $n$ toestaat).
• Implicatie: Dit versmalt het bereik van mogelijke groepswerkingen aanzienlijk. Voor complexe werkingen met $\det(\tau)=1$ zijn eenvoudige singulariteiten onmogelijk.

B. Bewijs van Onbegrensde Corank (Stelling 1.3)

Dit is de primaire bijdrage van het artikel.

• Stelling: Voor elk geheel getal $N$ bestaat er een priemgetal $p$ en een $\mathbb{Z}_p$-invariante eenvoudige kiem $f: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ met $j^2(f)=0$ en corank $n > N$.
• Betekenis: Dit weerlegt de hoop op een constante bovengrens voor de corank van eenvoudige singulariteiten. De maximale corank neigt naar oneindig naarmate $p$ toeneemt.

C. Classificatie van Equivariante Milnor-getallen (Stelling 3.3 & 4.1)

De auteur classificeert de mogelijke isomorfismeklassen van het equivariante Milnor-getal $\mu_{\mathbb{Z}_p}(f)$ voor stabiele kiemen.

• Er wordt aangetoond dat de klasse $\tilde{\mathbb{C}} \oplus 2W$ (waarbij $W$ de restrictie is van de reguliere representatie) niet kan voorkomen voor stabiele kiemen.
• Deze eliminatie is cruciaal voor het bewijs van Stelling 1.2, aangezien het de mogelijke dimensies van de Jacobiaanse algebra beperkt, waardoor de corank in specifieke gevallen begrensd is maar in andere gevallen onbegrensd.

4. Resultaten en Constructie

Constructie van Voorbeelden met Hoge Corank:
Om Stelling 1.3 te bewijzen, construeert de auteur een specifieke familie van polynomen:
$$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$$

• Groepswerking: Een generator $g$ van $\mathbb{Z}_p$ (waarbij $p = d_1 \dots d_n + 1$) werkt op coördinaten met specifieke gewichten die een primitieve eenheidswortel bevatten.
• Eigenschappen: Dit polynoom is een inverteerbaar polynoom van het "loop-type", bekend om een geïsoleerd kritiek punt te hebben. Het is bewezen equivariant stabiel te zijn.
• Corank: De corank wordt bepaald door het aantal variabelen $n$.
• Link met Getaltheorie: De auteur roept de stelling van Erdős aan, die stelt dat voor "bijna alle" priemgetallen $p$, het aantal verschillende priemdelers van $p-1$ groeit als $\log(\log(p))$. Door $p$ zo te kiezen dat $p-1$ veel factoren heeft, kan men een ontbinding $p-1 = d_1 \dots d_n$ construeren met willekeurig grote $n$.
• Asymptotisch Gedrag: De maximale corank voor een priemgetal $p$ is ten minste $O(\log(\log(p)))$.

5. Betekenis

1. Oplossing van Classificatiegrenzen: Het artikel geeft een definitief antwoord dat een "tamme" classificatie van alle $\mathbb{Z}_p$-invariante eenvoudige singulariteiten (met een uniforme grens voor de corank) onmogelijk is. De complexiteit van de classificatie groeit met de priemorde van de groep.
2. Verfijning van Stabiliteitstheorie: Door te bewijzen dat $\det(\tau)=1$ over het algemeen eenvoudige singulariteiten uitsluit (behalve voor reële werkingen), verduidelijkt het artikel de geometrische beperkingen die vereist zijn voor stabiliteit in de equivariante setting.
3. Interdisciplinaire Connectie: Het werk slaagt erin singulariteitstheorie te verbinden met analytische getaltheorie, door de verdeling van priemfactoren te gebruiken om geometrische tegenvoorbeelden te construeren voor begrensdheidsveronderstellingen.
4. Fundering voor Toekomstig Werk: Door de bestaansvoorwaarden te versmallen (Stelling 1.2) en de groeisnelheid van de corank vast te stellen (Stelling 1.3), legt het artikel de basis voor een meer genuanceerde classificatie die rekening houdt met de afhankelijkheid van de corank van de priem $p$.

Samenvattend toont Proskurnin aan dat terwijl eenvoudige singulariteiten zeldzaam zijn voor kleine priemgetallen of specifieke determinantvoorwaarden, ze steeds complexer worden (hogere corank) naarmate de priem $p$ groeit, wat de verwachtingen voor de classificatie van equivariante singulariteiten fundamenteel verandert.