Some lower bounds for the maximal number of A-singularities in algebraic surfaces. II

Titel: Enige ondergrenzen voor het maximale aantal A-singulariteiten in algebraïsche oppervlakken. II

Auteur: Juan García Escudero
Vakgebied: Algebraïsche meetkunde (14B05, 14J17, 14J70)

---

1. Probleemstelling

Een klassiek probleem in de algebraïsche meetkunde is het bepalen van het mogelijke aantal singulariteiten van een bepaald type op oppervlakken van graad $d$ in de complexe projectieve ruimte $\mathbb{P}^3(\mathbb{C})$.

• Doel: Het vinden van scherpe ondergrenzen voor het maximale aantal $A_\nu$-singulariteiten (waarbij $A_\nu$ verwijst naar singuliere punten van het type $A_\nu$, zoals knopen ($A_1$) en cuspissen ($A_2$)) op complexe algebraïsche oppervlakken.
• Context: Hoewel er al bovengrenzen en enkele ondergrenzen bekend zijn voor specifieke gevallen (vooral voor lage graden), is de exacte waarde van de bovengrenzen slechts voor een beperkt aantal gevallen bekend. Eerdere werken (zoals [14]) hebben constructies gepresenteerd voor oppervlakken met graad $d=3q$ met een groot aantal $A$-singulariteiten.
• Deze bijdrage: Het artikel breidt deze constructies uit om ondergrenzen te verkrijgen voor een reeks nieuwe gevallen die in eerdere studies niet werden behandeld.

2. Methodologie

De auteur gebruikt een constructieve benadering die gebaseerd is op de som van twee polynomen in de affiene vergelijkingen van de oppervlakken.

A. Polynoomconstructie en Belyi-polynomen

De oppervlakken worden gedefinieerd door vergelijkingen van de vorm $J(x,y) + P(w) = 0$, waarbij:

1. $J(x,y)$: Een bivariate polynoom is met drie kritieke waarden. Dit is gerelateerd aan de "folding polynomials" die corresponderen met het wortelrooster $A_2$.
2. $P(w)$: Een univariate polynoom (aangeduid als $G(w)$ in dit artikel) met precies twee kritieke waarden (vaak $-1$ en $1$).
   • Deze polynomen worden Belyi-polynomen genoemd en kunnen worden gerepresenteerd door bikleurige vlakke bomen (Black-White bomen).
   • De multipliciteiten van de kritieke punten worden bepaald door de graad van de knopen in deze bomen (aantal aangrenzende takken minus één).

B. Boomtransformaties en Taaltheorie

De kern van de methode ligt in het genereren van nieuwe polynomen $G(w)$ door transformaties toe te passen op de initiële bomen die corresponderen met bekende polynomen $B(w)$ uit eerdere werken.

• Initiële bomen: Gebaseerd op de polynomen $B^{(t)}_{d,\nu,\epsilon}$ uit [14].
• Transformaties: Er wordt een formeel taaltheoretisch kader gebruikt met een alfabet $\Sigma$ van transformaties (zoals $\alpha, \beta, \gamma, \delta, \bar{\delta}$).
  • Voor $t=1, 3$: Het alfabet is $\Sigma = \{\alpha, \beta\}$.
  • Voor $t=2$: Het alfabet is $\Sigma = \{\alpha, \beta, \gamma, \delta, \bar{\delta}\}$.
• E-toelaatbare woorden: Een woord (reeks transformaties) wordt "E-toelaatbaar" genoemd als de resulterende boom een polynoom genereert die voldoet aan een specifieke voorwaarde (E). Deze voorwaarde koppelt de graad $d$ van het oppervlak aan het aantal kritieke punten met multipliciteit $\nu$ en kritieke waarde $-1$($N_{-1}$) en $1$($N_1$):
  $$\lfloor \frac{d}{\nu+1} \rfloor = N_{-1}(G, \nu) \quad \text{en} \quad \lfloor \frac{d-1}{\nu} \rfloor - \lfloor \frac{d}{\nu+1} \rfloor = N_1(G, \nu)$$
• Door deze transformaties toe te passen, kan de auteur oneindige reeksen polynomen construeren die voldoen aan deze voorwaarden, wat leidt tot oppervlakken met geoptimaliseerde aantallen singulariteiten.

3. Belangrijkste Resultaten

A. Constructie van Nieuwe Families

De auteur definieert families van polynomen $G^{(t)}_{d,\nu,\epsilon}(w)$ die zijn afgeleid van de initiële $B$-polynomen via de gedefinieerde boomtransformaties.

• Voor $\nu = 2$ (cuspissen) en bepaalde waarden van $d$, wordt aangetoond dat de taal van toelaatbare woorden oneindig is, wat betekent dat er oneindig veel graden zijn waarvoor deze constructies werken.
• Voor $\nu > 2$ worden specifieke voorwaarden afgeleid voor het aantal transformaties $h$ zodat de voorwaarde (E) blijft gelden.

B. Ondergrenzen voor het Aantal Singulariteiten

Het hoofdstuk 3 presenteert de exacte formules voor het aantal $A_\nu$-singulariteiten op de geconstrueerde oppervlakken $S_J$.

Voor oppervlakken met graad $d=3q$ gedefinieerd door $J_d(u,v) + U^{(t)}_{d,\nu,\epsilon}(w) = 0$:

1. Voor $\nu > 2$:
   Het aantal $A_\nu$-singulariteiten wordt gegeven door:
   $$N(S_J, A_\nu) = \frac{d(d-1)}{2} \lfloor \frac{d}{\nu+1} \rfloor + \frac{d(d-3)}{3} + 1$$
   Dit resultaat is strikt beter dan eerdere ondergrenzen (zoals die voor oppervlakken $S_F$ uit [19]) omdat de constructie extra singulariteiten genereert.

2. Voor $\nu = 2$ (Cuspissen):
   Met $d = 3(h+3)$, wordt het aantal cuspissen gegeven door een complexere formule die afhankelijk is van $h$:
   $$N(S_J, A_2) = \frac{3(h+3)^2(3h+8)}{2} + (3(h+3)(h+2)+1)(1 + \lfloor \frac{h}{2} \rfloor)$$

C. Vergelijking met Bestaande Resultaten

De geconstrueerde oppervlakken $S_J$ hebben meer singulariteiten dan de eerder bekende oppervlakken $S_F$ (gebaseerd op Belyi-polynomen zonder de specifieke boomtransformaties).

• Voor $\nu > 2$ heeft $S_J$ precies één extra $A_\nu$-singulariteit.
• Voor $\nu = 2$ heeft $S_J$ $\lfloor h/2 \rfloor + 1$ extra cuspissen.
• Dit leidt tot de conclusie dat voor $\nu > 1$:
  $$\mu_{A_\nu}(d) \geq N(S_J, A_\nu)$$
  waarbij $\mu_{A_\nu}(d)$ het maximale aantal $A_\nu$-singulariteiten voor graad $d$ is.

4. Significatie en Conclusie

• Verbetering van Ondergrenzen: Het artikel levert significante verbeteringen op in de ondergrenzen voor het maximale aantal $A_\nu$-singulariteiten voor een brede reeks graden $d$, met name voor veelvouden van 3.
• Unificatie van Constructies: De methode toont aan dat eerdere resultaten over cuspissen en andere $A_\nu$-singulariteiten (uit [10, 11]) als speciale gevallen kunnen worden gezien binnen deze bredere constructie van boomtransformaties.
• Technische Innovatie: Door het combineren van de theorie van Belyi-polynomen, vlakke bomen en formele talen, biedt de auteur een systematische manier om nieuwe algebraïsche oppervlakken met hoge singulariteitsdichtheid te genereren.
• Toekomstperspectief: Hoewel de exacte bovengrenzen nog steeds onbekend zijn voor de meeste gevallen, verkleint dit werk de kloof tussen de bekende onder- en bovengrenzen en biedt het een robuust raamwerk voor verdere verkenning van de maximale singulariteiten in algebraïsche meetkunde.

Kortom, dit artikel biedt een krachtige, gegeneraliseerde constructie die de staat van de kunst voor het vinden van oppervlakken met veel singulariteiten aanzienlijk verbetert.