Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

Sintesi Tecnica: Geometria di Lipschitz delle Singolarità Miste di Pham-Brieskorn

Enunciato del Problema
Il lavoro indaga la geometria di Lipschitz delle singolarità miste di tipo Pham-Brieskorn. Queste sono definite da germi di funzione $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ della forma:
$$f_{a,b} = z_1^{a_1+b_1}\bar{z}_1^{b_1} + \dots + z_n^{a_n+b_n}\bar{z}_n^{b_n}$$
dove $a = (a_1, \dots, a_n)$ e $b = (b_1, \dots, b_n)$ sono vettori interi con $0 < a_1 \le \dots \le a_n$ e $b_i \ge 0$. Il polinomio di Pham-Brieskorn olomorfo associato è $g_a = z_1^{a_1} + \dots + z_n^{a_n}$.

Sebbene la relazione topologica tra $f_{a,b}$ e $g_a$ sia ben consolidata (essi sono topologicamente equivalenti sotto certe condizioni, e $f_{a,b}$ ammette una fibrazione di Milnor), il lavoro affronta il divario tra le classificazioni topologiche e analitiche. Nello specifico, si cerca di determinare le condizioni sotto le quali due germi misti di Pham-Brieskorn sono bi-Lipschitz equivalenti. La domanda centrale è se il tipo bi-Lipschitz sia determinato esclusivamente dai vettori degli esponenti $a$ e $b$, e se l'equivalenza topologica implichi l'equivalenza bi-Lipschitz all'interno di questa famiglia.

Metodologia
L'autore utilizza strumenti dalla geometria di Lipschitz, dalla teoria delle singolarità e dalla teoria dei germi omogenei pesati. La metodologia procede attraverso diversi passaggi chiave:

1. Forme Normali Topologiche: Il lavoro utilizza un omeomorfismo $\phi$ per relazionare $f_{a,b}$ a una "forma normale topologica". Se $a_i \ge 1$ per ogni $i$, $f_{a,b}$ è topologicamente equivalente a $g_a$. Se alcuni $a_i=0$, è equivalente a una forma mista che coinvolge norme reali $\|z_i\|^{2b_i}$.
2. Molteplicità e Scissione: Per analizzare l'equivalenza bi-Lipschitz, l'autore adatta una versione del "Lemma di Scissione" per le singolarità. Il Teorema 4.1 stabilisce che per germi di funzione lisci con variabili separate e singolarità isolate, se le molteplicità delle componenti sono strettamente ordinate, le molteplicità delle componenti corrispondenti in un germe bi-Lipschitz equivalente devono coincidere.
3. Coni Tangenti e Invarianti: Per il caso delle superfici miste ($n=2$), il lavoro analizza i coni tangenti degli insiemi di zeri $X_{a,b} = f_{a,b}^{-1}(0)$. Introduce l'invariante $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ per classificare la geometria del cono tangente.
4. Contatto di Archi e Metriche Interna/Esterna: La classificazione della geometria bi-Lipschitz interna si basa sull'ordine di contatto di archi semialgebrici (utilizzando la classificazione a corno $\beta$ di Birbrair). Per la geometria esterna, il lavoro esamina la proprietà di immersione normale di Lipschitz e il comportamento dei percorsi che collegano punti su rami diversi della singolarità.

Contributi e Risultati Chiave

• Classificazione Bi-Lipschitz dei Germi Misti di Pham-Brieskorn:
  Il lavoro dimostra che il tipo bi-Lipschitz di $f_{a,b}$ è determinato dai vettori $a$ e $b$.

  • Teorema 4.3: Se $f_{a,b}$ e $f_{c,d}$ sono bi-Lipschitz equivalenti, allora i vettori degli esponenti devono soddisfare specifiche relazioni di permutazione. Nello specifico, se $a_i, c_i \ge 2$, allora $a=c$ e le somme $a_i + 2b_i$ devono coincidere con $c_{\sigma(i)} + 2d_{\sigma(i)}$ per qualche permutazione $\sigma$.
  • Corollario 4.4: Un polinomio misto $f_{a,b}$ è bi-Lipschitz equivalente al suo corrispettivo olomorfo $g_c$ se e solo se $b=0$ (cioè il termine misto si annulla), eccetto nel caso delle subimmersioni topologiche dove valgono specifiche relazioni lineari.

• Trivialità Topologica vs. Tipi di Lipschitz Distinti:
  Un contributo maggiore è la costruzione di famiglie infinite di singolarità miste che sono topologicamente triviali (equivalenti a una forma standard) ma possiedono tipi bi-Lipschitz distinti.

  • Proposizione 5.1: Per un vettore fisso $a$, esistono sottofamiglie di $f_{a,b}$ (variando $b$) che sono tutte topologicamente equivalenti alla stessa forma normale ma contengono infinite classi bi-Lipschitz distinte. Ciò dimostra che la geometria di Lipschitz cattura invarianti più fini della sola topologia.

• Geometria delle Superfici Miste ($n=2$):
  Per le superfici definite da $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$, il lavoro fornisce una classificazione dettagliata basata sull'invariante $\mu_{a,b}$:

  • Coni Tangenti: La struttura del cono tangente $C(X_{a,b}, 0)$ è determinata da $\mu_{a,b}$ e dai valori di $a_1, a_2$. Ad esempio, se $\mu_{a,b} > 1$ e $a_1 \ge 1$, il cono tangente è il piano $\{z_1=0\}$.
  • Immersione Normale di Lipschitz: Il lavoro determina esattamente quando queste superfici sono immerse normalmente secondo Lipschitz (dove le metriche interna ed esterna sono equivalenti).
    • Le superfici di "Tipo (2)" e "Tipo (5)" (omogenee con singolarità isolate) sono normalmente immerse.
    • Le superfici di "Tipo (4)" con $a_2 \ge 2$ non sono normalmente immerse.
    • Le superfici di "Tipo (1)" con $a_1 + 2b_1$ pari non sono normalmente immerse.
  • Invariante di Geometria Esterna: Il Teorema 6.8 stabilisce che per le superfici di Tipo (1), il valore $\mu_{a,b}$ è un invariante della geometria bi-Lipschitz esterna subanalitica. Se $\mu_{a,b} \neq \mu_{c,d}$, le superfici non sono bi-Lipschitz equivalenti esterne.

• Geometria Interna:
  Il lavoro mostra che la maggior parte delle superfici miste è bi-Lipschitz internamente equivalente al cono metrico standard (il corno $\beta$ con $\beta=1$). Tuttavia, le superfici di Tipo (3) (dove $a_1=0$ e $\mu_{a,b} > 1$) sono internamente equivalenti a corni $\beta$ con $\beta = \mu_{a,b}$, fornendo una classificazione interna completa per questo caso specifico.

Significato e Affermazioni
Il lavoro afferma di fornire un quadro rigoroso per distinguere le singolarità miste di Pham-Brieskorn utilizzando invarianti di Lipschitz. Evidenzia che, sebbene queste singolarità condividano spesso lo stesso tipo topologico dei loro corrispettivi olomorfi (o di semplici forme reali), la loro geometria metrica è significativamente più ricca e più sensibile agli specifici esponenti $a$ e $b$.

Il significato risiede in:

1. Raffinamento della Classificazione: Andare oltre l'equivalenza topologica per mostrare che il "regno di Lipschitz" si colloca strettamente tra la topologia e la geometria analitica, offrendo un nuovo insieme di invarianti (come $\mu_{a,b}$ e le specifiche somme $a_i + 2b_i$).
2. Controesempi all'Intuizione: Dimostrare che la trivialità topologica non implica la trivialità bi-Lipschitz, anche all'interno di una famiglia altamente strutturata di polinomi.
3. Invarianti Geometrici: Identificare $\mu_{a,b}$ come un invariante concreto e calcolabile per la geometria esterna delle superfici miste, che è determinato esclusivamente dagli esponenti.

Il lavoro si basa su risultati consolidati riguardanti le fibrazioni di Milnor, la teoria dei coni tangenti (Whitney, Seade, Ruas) e la classificazione delle superfici semialgebriche (Birbrair), estendendoli al contesto delle funzioni miste. Non propone nuove applicazioni sperimentali, ma approfondisce la comprensione teorica della geometria delle singolarità.