On some invariants of hypersurface singularities

Titel: Over enkele invarianten van hypersone singulariteiten

Auteur: Mircea Mustat¸˘a
Toegewijd aan: Bernard Teissier (ter ere van zijn 80e verjaardag)

---

1. Probleemstelling en Context

Het artikel onderzoekt de relatie tussen verschillende invarianten die de zwaarte van singulariteiten van een hypersone $Z$ gedefinieerd door een functie $f$ in een gladde complexe algebraïsche variëteit $X$ meten. De focus ligt op een punt $P \in Z$.

De centrale invarianten in dit onderzoek zijn:

• Logarithmische Canonele Drempel ($lct_P(f)$): Een maat voor de ernst van de singulariteit, gedefinieerd als de grootste $t > 0$ waarvoor het paar $(X, tZ)$ log-canonical is.
• Minimale Exponent ($e\alpha_P(f)$): Een verfijning van de $lct$, geïntroduceerd door Saito. Deze is gerelateerd aan de Bernstein-Sato polynoom $b_f(s)$. De relatie is gegeven door $lct_P(f) = \min\{e\alpha_P(f), 1\}$. De minimale exponent is vooral interessant wanneer $e\alpha_P(f) > 1$ (d.w.z. wanneer $Z$ rationale singulariteiten heeft).
• De Invariant $\beta_P(f)$: Een nieuwe invariant geïntroduceerd in dit artikel, gedefinieerd als de log-canonele drempel van het ideaal $m_P \cdot J_f$, waarbij $m_P$ het maximale ideaal in $P$ is en $J_f$ het Jacobiaanse ideaal van $f$.

Het Kernvraagstuk:
Dano Kim ([Kim21]) stelde de volgende vraag (Vraag 1.1):

Geldt voor een singulair punt $P \in Z$ altijd de ongelijkheid:
$$e\alpha_P(f) \leq lct_P(m_P J_f) = \beta_P(f)?$$

Een positief antwoord zou betekenen dat $\beta_P(f)$ een bovengrens biedt voor de minimale exponent. Dit is significant omdat het berekenen van $lct_P(m_P J_f)$ conceptueel eenvoudiger kan zijn dan het bepalen van de minimale exponent, terwijl ondergrenzen voor $e\alpha_P(f)$ al bekend zijn (via log-resoluties), maar bovengrenzen vaak ontbreken.

---

2. Methodologie

Mustat¸˘a hanteert een combinatie van technieken uit de birationale meetkunde, de theorie van multiplier-idealen en de theorie van Bernstein-Sato polynomen.

1. Analyse van de Invariant $\beta_P(f)$:

   • De auteur definieert $\beta_P(f) = lct_P(m_P J_f)$ en onderzoekt de formele eigenschappen ervan.
   • Er wordt gebruik gemaakt van bekende eigenschappen van log-canonele drempels van idealen in families (gebaseerd op werk van Mustat¸˘a en anderen) om te bewijzen dat $\beta_P$ zich gedraagt als een "goede" invariant (bijv. eindigheid van de waarden, openheid van de verzameling waar $\beta_P \geq c$).

2. Vergelijking met Bestaande Resultaten:

   • Er wordt gekeken naar de relatie tussen $f$ en het ideaal $m_P J_f$. Omdat $f$ in de integrale sluiting van $m_P J_f$ ligt, geldt triviaal dat $lct_P(f) \leq \beta_P(f)$.
   • De auteur onderzoekt specifieke gevallen (zoals monomiale idealen, gewogen homogene polynomen en determinanten) om de ongelijkheid $e\alpha_P(f) \leq \beta_P(f)$ te testen.

3. Constructie van Hulpfuncties en Projecties:

   • Voor het bewijs van de zwakkere ongelijkheid (Theorema 3.8) wordt een constructie gebruikt waarbij een nieuwe functie $g$ wordt gedefinieerd op een productruimte $Y = X \times \mathbb{A}^r$.
   • Door eigenschappen van de minimale exponent onder doorsnede met hypersone en onder projectie te gebruiken, wordt een relatie gelegd tussen $e\alpha_P(f)$ en de log-canonele drempel van een onderliggend ideaal.

4. Gebruik van Semicontinuiteit:

   • De semicontinuiteit van de minimale exponent (een resultaat uit [MP20]) wordt gebruikt om te redeneren over "generieke" lineaire combinaties van generators van idealen.

---

3. Belangrijkste Bijdragen en Resultaten

A. Eigenschappen van $\beta_P(f)$

De auteur toont aan dat $\beta_P(f)$ veel van dezelfde formele eigenschappen bezit als de log-canonele drempel:

• Eindigheid: De verzameling van waarden $\{\beta_P(Z) \mid P \in Z\}$ is eindig.
• Openheid: De verzameling $\{P \in Z \mid \beta_P(Z) \geq c\}$ is open in $Z$.
• Gedrag in Families: Voor een familie van hypersone is de functie die de parameter $t$ koppelt aan $\beta_{s(t)}(Z_t)$ semicontinu (in de zin dat de verzameling waar de waarde $\geq \beta$ is, open is).
• Stabiliteit: Als $f$ en $g$ overeenkomen tot op orde $d$ ($f-g \in m_P^d$), dan is $|\beta_P(f) - \beta_P(g)| \leq n/d$.

B. Antwoorden op de Vragen

1. Vraag 1.1 (De ongelijkheid $e\alpha_P(f) \leq \beta_P(f)$):

   • De auteur geeft geen volledig positief antwoord voor het algemene geval, maar levert welk bewijsmateriaal en voorbeelden.
   • Positieve gevallen: De ongelijkheid geldt voor:
     • Gewone singulariteiten (ordinary singularities).
     • Gewogen homogene polynomen met geïsoleerde singulariteiten.
     • Determinanten van generieke matrices.
   • Redenering: In deze gevallen wordt de ongelijkheid bewezen door expliciete berekeningen van zowel de minimale exponent (via Bernstein-Sato polynomen) als $\beta_P(f)$ (via log-resoluties of torische methoden).

2. Vraag 1.2 en 3.6 (Verzameling van idealen):

   • Vraag 3.6 (een optimistische versie): Als $f \in m_P \mathfrak{a}$, geldt dan $e\alpha_P(f) \leq lct_P(m_P \mathfrak{a})$?
   • Vraag 1.2: Als $f \in m_P \mathfrak{a}$, geldt dan $e\alpha_P(f) \leq lct_P(m_P \mathfrak{a})$? (Hier wordt de integrale sluiting vervangen door het product).
   • Resultaat (Theorema 3.8): De auteur bewijst een zwakkere ongelijkheid:
     $$e\alpha_P(f) \leq lct_P(\mathfrak{a})$$
     (Merk op dat dit sterker is dan de vraag, aangezien $lct_P(\mathfrak{a}) \leq lct_P(m_P \mathfrak{a})$).
     Dit bewijs maakt gebruik van een constructie op $X \times \mathbb{A}^r$ en eigenschappen van de minimale exponent onder restrictie.

3. Monomiale Idealen (Voorbeeld 3.10):

   • Voor monomiale idealen $\mathfrak{a}$ wordt bewezen dat voor elke $h \in \mathfrak{a}$ geldt: $e\alpha_0(h) \leq lct_0(\mathfrak{a})$. Dit geeft een positief antwoord op Vraag 1.2 en 3.6 in het geval van monomiale idealen.

C. Ondergrenzen en Schattingen

• Er wordt een ondergrenze voor $\beta_P(Z)$ afgeleid in termen van het Milnor-getal $\mu_P(Z)$ voor geïsoleerde singulariteiten:
  $$\beta_P(Z) \geq \frac{n}{1 + \mu_P(Z)^{1/n}}$$
  Dit is een analogie met een bekende schatting voor de minimale exponent.

---

4. Betekenis en Conclusie

• Theoretische Impact: Het artikel introduceert en bestudeert systematisch de invariant $\beta_P(f) = lct_P(m_P J_f)$. Hoewel deze invariant al impliciet in het werk van Dano Kim voorkwam, wordt hier de structuur en de relatie met de minimale exponent expliciet onderzocht.
• Beperkingen: De centrale vraag of $\beta_P(f)$ altijd een bovengrens is voor $e\alpha_P(f)$ blijft open voor het algemene geval. De auteur toont aan dat het antwoord positief is voor een breed scala aan belangrijke voorbeelden (gewone singulariteiten, monomiale gevallen, etc.), maar een tegenvoorbeeld of een algemeen bewijs ontbreekt.
• Methodologische Vooruitgang: De afleiding van de ongelijkheid $e\alpha_P(f) \leq lct_P(\mathfrak{a})$ (Theorema 3.8) is een significant technisch resultaat dat een verband legt tussen de minimale exponent en de log-canonele drempel van het "onderliggende" ideaal, zonder de maximale macht van $m_P$ te hoeven meenemen in de drempelberekening.
• Toekomstige Richting: Het werk suggereert dat de studie van $\beta_P(f)$ een waardevol hulpmiddel kan zijn om bovengrenzen voor de minimale exponent te vinden, een probleem dat historisch gezien lastiger is dan het vinden van ondergrenzen.

Samenvattend biedt dit artikel een grondige analyse van een nieuwe invariant voor hypersone singulariteiten, levert het bewijzen voor specifieke gevallen van een belangrijke ongelijkheid, en stelt het nieuwe, scherpere vragen over de relatie tussen Jacobiaanse idealen en de Bernstein-Sato theorie.