Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

Technische Samenvatting: Lipschitz-geometrie van gemengde Pham-Brieskorn-singulariteiten

Probleemstelling
Het artikel onderzoekt de Lipschitz-geometrie van gemengde singulariteiten van Pham-Brieskorn-type. Deze worden gedefinieerd door functiegermen $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ van de vorm:
$$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}$$
waarbij $a = (a_1, \dots, a_n)$ en $b = (b_1, \dots, b_n)$ geheeltallige vectoren zijn met $0 < a_1 \le \dots \le a_n$ en $b_i \ge 0$. De bijbehorende holomorfe Pham-Brieskorn-polynoom is $g_a = z_1^{a_1} + \dots + z_n^{a_n}$.

Hoewel de topologische relatie tussen $f_{a,b}$ en $g_a$ goed vaststaat (ze zijn onder bepaalde voorwaarden topologisch equivalent, en $f_{a,b}$ staat een Milnor-fibratie toe), adresseert het artikel de kloof tussen topologische en analytische classificaties. Specifiek streeft het ernaar voorwaarden te bepalen waaronder twee gemengde Pham-Brieskorn-germen bi-Lipschitz-equivalent zijn. De centrale vraag is of het bi-Lipschitz-type uitsluitend wordt bepaald door de exponentvectoren $a$ en $b$, en of topologische equivalentie bi-Lipschitz-equivalentie impliceert binnen deze familie.

Methodologie
De auteur hanteert instrumenten uit de Lipschitz-geometrie, singulariteitentheorie en de theorie van gewogen homogene germen. De methodologie verloopt via enkele sleutelpunten:

1. Topologische Normaalvormen: Het artikel maakt gebruik van een homeomorfisme $\phi$ om $f_{a,b}$ te relateren aan een "topologische normaalvorm". Als $a_i \ge 1$ voor alle $i$, is $f_{a,b}$ topologisch equivalent aan $g_a$. Als sommige $a_i=0$, is het equivalent aan een gemengde vorm die reële normen $\|z_i\|^{2b_i}$ bevat.
2. Multipliciteit en Opsplitsing: Om bi-Lipschitz-equivalentie te analyseren, past de auteur een versie van het "Splitting Lemma" voor singulariteiten toe. Stelling 4.1 stelt dat voor gladde functiegermen met gescheiden variabelen en geïsoleerde singulariteiten, als de multipliciteiten van de componenten strikt geordend zijn, de multipliciteiten van overeenkomstige componenten in een bi-Lipschitz-equivalent germoet overeenkomen.
3. Raakkegels en Invarianten: Voor het geval van gemengde oppervlakken ($n=2$) analyseert het artikel de raakkegels van de nulpuntenverzamelingen $X_{a,b} = f_{a,b}^{-1}(0)$. Het introduceert de invariant $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ om de geometrie van de raakkegel te classificeren.
4. Boogcontact en Inwendige/Buitenste Metrieken: De classificatie van inwendige bi-Lipschitz-geometrie berust op de contactorde van semialgebraïsche bogen (met gebruik van de $\beta$-hoorn-classificatie van Birbrair). Voor de buitenste geometrie onderzoekt het artikel de eigenschap van Lipschitz-normaal ingebouwd zijn en het gedrag van paden die punten op verschillende takken van de singulariteit verbinden.

Belangrijkste Bijdragen en Resultaten

• Bi-Lipschitz-classificatie van gemengde Pham-Brieskorn-germen:
  Het artikel bewijst dat het bi-Lipschitz-type van $f_{a,b}$ wordt bepaald door de vectoren $a$ en $b$.

  • Stelling 4.3: Als $f_{a,b}$ en $f_{c,d}$ bi-Lipschitz-equivalent zijn, dan moeten de exponentvectoren specifieke permutatierelaties voldoen. Specifiek, als $a_i, c_i \ge 2$, dan geldt $a=c$ en moeten de sommen $a_i + 2b_i$ overeenkomen met $c_{\sigma(i)} + 2d_{\sigma(i)}$ voor een bepaalde permutatie $\sigma$.
  • Corollarium 4.4: Een gemengde polynoom $f_{a,b}$ is bi-Lipschitz-equivalent aan zijn holomorfe tegenhanger $g_c$ dan en slechts dan als $b=0$ (d.w.z. de gemengde term verdwijnt), behalve in het geval van topologische submersies waar specifieke lineaire relaties gelden.

• Topologische trivialiteit versus Distincte Lipschitz-types:
  Een belangrijke bijdrage is de constructie van oneindige families van gemengde singulariteiten die topologisch triviaal zijn (equivalent aan een standaardvorm) maar distincte bi-Lipschitz-types bezitten.

  • Propositie 5.1: Voor een vaste vector $a$ bestaan er subfamilies van $f_{a,b}$ (variërend $b$) die allemaal topologisch equivalent zijn aan dezelfde normaalvorm, maar oneindig veel distincte bi-Lipschitz-klassen bevatten. Dit demonstreert dat Lipschitz-geometrie fijnere invarianten vastlegt dan de topologie alleen.

• Geometrie van Gemengde Oppervlakken ($n=2$):
  Voor oppervlakken gedefinieerd door $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$, biedt het artikel een gedetailleerde classificatie gebaseerd op de invariant $\mu_{a,b}$:

  • Raakkegels: De structuur van de raakkegel $C(X_{a,b}, 0)$ wordt bepaald door $\mu_{a,b}$ en de waarden van $a_1, a_2$. Bijvoorbeeld, als $\mu_{a,b} > 1$ en $a_1 \ge 1$, is de raakkegel het vlak $\{z_1=0\}$.
  • Lipschitz-normaal ingebouwd zijn: Het artikel bepaalt exact wanneer deze oppervlakken Lipschitz-normaal ingebouwd zijn (waarbij de inwendige en buitenste metrieken equivalent zijn).
    • Oppervlakken van "Type (2)" en "Type (5)" (homogeen met geïsoleerde singulariteiten) zijn normaal ingebouwd.
    • Oppervlakken van "Type (4)" met $a_2 \ge 2$ zijn niet normaal ingebouwd.
    • Oppervlakken van "Type (1)" met $a_1 + 2b_1$ even zijn niet normaal ingebouwd.
  • Invariant van de Buitenste Geometrie: Stelling 6.8 stelt dat voor oppervlakken van Type (1), de waarde $\mu_{a,b}$ een invariant is van de subanalytische buitenste bi-Lipschitz-geometrie. Als $\mu_{a,b} \neq \mu_{c,d}$, zijn de oppervlakken niet buitenste bi-Lipschitz-equivalent.

• Inwendige Geometrie:
  Het artikel toont aan dat de meeste gemengde oppervlakken inwendig bi-Lipschitz-equivalent zijn aan de standaard metrische kegel (de $\beta$-hoorn met $\beta=1$). Echter, oppervlakken van Type (3) (waarbij $a_1=0$ en $\mu_{a,b} > 1$) zijn inwendig equivalent aan $\beta$-hoorns met $\beta = \mu_{a,b}$, wat een volledige inwendige classificatie voor dit specifieke geval biedt.

Betekenis en Aanspraken
Het artikel claimt een rigoureus kader te bieden voor het onderscheiden van gemengde Pham-Brieskorn-singulariteiten met behulp van Lipschitz-invarianten. Het benadrukt dat hoewel deze singulariteiten vaak hetzelfde topologische type delen als hun holomorfe tegenhangers (of eenvoudige reële vormen), hun metrische geometrie aanzienlijk rijker is en gevoeliger voor de specifieke exponenten $a$ en $b$.

De betekenis ligt in:

1. Verfijning van Classificatie: Het overstijgen van topologische equivalentie om aan te tonen dat het "Lipschitz-domein" strikt tussen de topologie en de analytische geometrie ligt, en een nieuwe set invarianten biedt (zoals $\mu_{a,b}$ en de specifieke sommen $a_i + 2b_i$).
2. Tegenvoorbeelden aan Intuïtie: Het demonstreren dat topologische trivialiteit niet bi-Lipschitz-trivialiteit impliceert, zelfs niet binnen een sterk gestructureerde familie van polynomen.
3. Geometrische Invarianten: Het identificeren van $\mu_{a,b}$ als een concrete, berekenbare invariant voor de buitenste geometrie van gemengde oppervlakken, die uitsluitend wordt bepaald door de exponenten.

Het werk steunt op gevestigde resultaten uit Milnor-fibraties, raakkegeltheorie (Whitney, Seade, Ruas) en de classificatie van semialgebraïsche oppervlakken (Birbrair), en breidt deze uit naar de context van gemengde functies. Het stelt geen nieuwe experimentele toepassingen voor, maar verdiept het theoretische begrip van de geometrie van singulariteiten.