A short note on Du Bois singularities

Technische Samenvatting: Een Korte Notitie over Du Bois-singulariteiten

Probleemstelling
Deze notitie onderzoekt het gedrag van Du Bois-singulariteiten onder fundamentele geometrische constructies, specifiek basisverandering (veldvergroting) en vezelproducten. Hoewel Du Bois-singulariteiten goed gedefinieerd zijn via de Deligne–Du Bois-complex en gunstige Hodge-theoretische eigenschappen bezitten, is hun stabiliteit onder deze operaties niet volledig begrepen. Het artikel adresseert twee primaire vragen:

1. Descenderen Du Bois-singulariteiten vanuit een veldvergroting? Dat wil zeggen: als een variëteit $Y$ over een veld $k$ Du Bois wordt na het uitbreiden van de scalairen naar een veld $L$, is $Y$ zelf dan ook Du Bois?
2. Zijn Du Bois-singulariteiten stabiel onder producten? Specifiek: als één factor rationale singulariteiten heeft en de andere Du Bois-singulariteiten heeft, behoudt het product dan Du Bois-singulariteiten? Bovendien, heeft het product van twee variëteiten met Du Bois-singulariteiten noodzakelijkerwijs Du Bois-singulariteiten?

Methodologie
De auteur werkt binnen het kader van afgeleide categorieën van coherente schubben ($D^b_{\text{coh}}(X)$) en maakt gebruik van de theorie van de Du Bois-complex $\Omega^\bullet_X$. De bewijzen steunen op recente ontwikkelingen in het vakgebied, specifiek:

• Murayama's Resultaten: Het gebruik van [Mur24] met betrekking tot het gedrag van de Du Bois-complex onder gladde morfismen en vlakke basisverandering.
• Nieuwe Karakterisering: Het toepassen van een recente karakterisering van Du Bois-singulariteiten uit [LV25], die de eigenschap relateert aan de splitsing van de natuurlijke morfisme $O_X \to R p_* O_E$ in de afgeleide categorie.
• Technieken uit de Afgeleide Categorie: De argumenten maken gebruik van vlakke basisverandering, de projectieformule en de analyse van directe sommen binnen triangulierte categorieën. De bewijzen omvatmen vaak het construeren van commutatieve diagrammen van gefibreerde vierkanten en het analyseren van de cohomologie van de resulterende complexen.

Kernresultaten

• Descent van Du Bois-singulariteiten (Propositie 1.1):
  Voor een inbedbare variëteit $Y$ over een veld $k$ van karakter nul, zijn de volgende zaken equivalent:

  1. $Y$ heeft Du Bois-singulariteiten.
  2. $Y_L = \text{Spec}(L) \times_k Y$ heeft Du Bois-singulariteiten voor sommige veldvergroting $L/k$.
  3. $Y_L$ heeft Du Bois-singulariteiten voor elke veldvergroting $L/k$.
     Het bewijs stelt vast dat als de eigenschap standhoudt na een enkele uitbreiding, de oorspronkelijke variëteit deze ook moet bezitten. Dit berust op het aantonen dat $O_Y$ een directe som is van $\Omega^0_Y$ in $D_{\text{qc}}(Y)$, een conditie die gegarandeerd wordt door het gedrag van de complex onder basisverandering en de nieuwe karakterisering in [LV25].

• Stabiliteit onder Producten met Rationale Singulariteiten (Propositie 1.2):
  Laat $Y_1$ en $Y_2$ inbedbare variëteiten zijn over een veld $k$ van karakter nul. Als $Y_1$ rationale singulariteiten heeft en $Y_2$ Du Bois-singulariteiten heeft, dan heeft het product $Y_1 \times_k Y_2$ Du Bois-singulariteiten.
  Het bewijs construeert een modificatie $f_1: \tilde{Y}_1 \to Y_1$ waarbij $\tilde{Y}_1$ glad is. Door de vezelproduct $\tilde{Y}_1 \times_k Y_2$ te analyseren, toont de auteur aan dat deze Du Bois-singulariteiten heeft (gebruikmakend van de gladheid van de projectie). Een keten van isomorfismen involving de afgeleide pushforward $R(f'_1)_*$ demonstreert vervolgens dat $Y_1 \times_k Y_2$ de Du Bois-eigenschap erft.

• Het Geval van Krommen (Opmerking 2.1):
  Het artikel geeft een positief antwoord op de algemene productvraag (Vraag 1.3) in het specifieke geval waar beide factoren krommen zijn (Krull-dimensie één). Als $X$ en $Y$ krommen zijn met Du Bois-singulariteiten, dan heeft hun product $X \times_k Y$ eveneens Du Bois-singulariteiten. Dit wordt vastgesteld door aan te tonen dat het product van seminormale variëteiten seminormaal is en door de cohomologische concentratie van de Du Bois-complex te analyseren via een onderscheiden driehoek involving de singulariteitslocatie en de normalisatie.

Betekenis en Claims
De auteur positioneert dit werk als een bescheiden uitbreiding van bestaande stabiliteitseigenschappen voor Du Bois-singulariteiten.

• Het descent-resultaat (Propositie 1.1) verheldert dat Du Bois-singulariteiten detecteerbaar zijn na een enkele veldvergroting voor inbedbare variëteiten, een niet-triviaal resultaat dat recente instrumenten vereist.
• Het product-resultaat (Propositie 1.2) wordt opgemerkt als iets dat niet expliciet in de literatuur voorkomt, zelfs niet in karakter nul, waarmee een gat wordt gevuld met betrekking tot de interactie tussen rationale en Du Bois-singulariteiten.
• Het artikel erkent expliciet een open probleem: het blijft onduidelijk of de hypothese in Propositie 1.2 kan worden verzwakt om toe te staan dat beide factoren slechts Du Bois-singulariteiten hebben (in plaats van dat één factor rationale singulariteiten heeft). Het positieve resultaat voor krommen suggereert dat dit mogelijk waar is in lage dimensies, maar de algemene zaak blijft een open vraag (Vraag 1.3).

Het artikel stelt geen nieuwe toepassingen of toekomstige experimentele richtingen voor, maar consolideert eerder het theoretische begrip van deze singulariteiten onder standaard geometrische operaties.