Ulrich wildness of some decomposable threefold scrolls over $\mathbb F_a$

Technische Samenvatting: Ulrich-wildheid van sommige decomposibele driedimensionale scrolls over $\mathbb{F}_a$

Probleemstelling
Het artikel onderzoekt de existentie en structurele eigenschappen van Ulrich-bundels op driedimensionale scrolls $X$ over Hirzebruch-oppervlakken $\mathbb{F}_a$ ($a \geq 0$). Hoewel Ulrich-bundels goed gekarakteriseerd zijn voor curven en bepaalde oppervlakken, blijven hun existentie en rangclassificatie grotendeels open voor variëteiten van dimensie $n \geq 3$. Specifiek adresseren de auteurs de "Ulrich-wildheid" van $X$, een eigenschap die aangeeft dat de variëteit willekeurig grote families van onderling niet-isomorfe, indecomposibele Ulrich-bundels ondersteunt.

Vorig werk [9] stelde vast dat voor $0 \leq a \leq b \leq 1$ de moduli-ruimten van Ulrich-bundels op deze scrolls generieke gladde componenten bevatten die voortkomen uit iteratieve extensies van specifieke lijnbundels. Echter, dit eerdere werk werd beperkt door modulaire obstructies in gevallen waar $a$ en $b$ buiten dit bereik vallen, wat de constructie van gladde modulaire families voor hogere-rang bundels verhinderde. Dit artikel beoogt de resterende gevallen op te lossen, waarbij onderscheid wordt gemaakt tussen scenario's waar bundels "geërfd" worden van het basisoppervlak en scenario's waar "obstructies" de gladde moduli verhinderen, maar waar wildheid nog steeds standhoudt.

Methodologie
De auteurs analyseren de driedimensionale scroll $X = \mathbb{P}_{\mathbb{F}_a}(E^b_a)$, waarbij $E^b_a = \mathcal{O}_{\mathbb{F}_a} \oplus \mathcal{O}_{\mathbb{F}_a}(0, -b)$, ingebed via een zeer ample divisor $h = \mathcal{O}_a(1, 1, c)$ met $c \geq a + b + 1$. De methodologie berust op de constructie van rang-$r$ Ulrich-bundels via recursieve extensies van specifieke lijnbundels en het analyseren van de dimensie van de resulterende extensieruimten en moduli-componenten.

De aanpak is verdeeld in twee primaire regimes gebaseerd op de parameters $a$ en $b$:

1. Het Geërfde Geval ($b \geq 0 = a$):

   • De auteurs beschouwen deformaties van iteratieve extensies van het paar lijnbundels $(L, L^U)$, die getwiste pullbacks zijn van de basis $\mathbb{F}_0$.
   • Zij construeren rang-$r$ bundels $G_r$ via exacte sequenties $0 \to G_{r-1} \to G_r \to L_{\epsilon_r} \to 0$, waarbij afgewisseld wordt tussen $L$ en $L^U$.
   • Om stabiliteit en eenvoud voor $r \geq 3$ te garanderen, vervangen de auteurs de strikt semistabiele middelste termen van de recursieve constructie door helling-stabiele bundels $U_{r-1}$ uit de eerder geconstrueerde modulaire component.
   • Zij berekenen de Chern-klassen recursief en bepalen de dimensie van de moduli-ruimte met behulp van de Euler-karakteristiek van de endomorfisme-bundel.
   • Unirationaliteit van de moduli-componenten wordt vastgesteld door de bundels op $X$ te relateren aan Ulrich-bundels op de basis $\mathbb{F}_0$ via een morfisme van de moduli-ruimte van bundels op $\mathbb{F}_0$, die bekend is als unirationeel.

2. Het Geobstrueerde Geval ($b \geq a \geq 0$, exclusief specifieke kleine gevallen):

   • Dit regime betreft het paar $(N, N^U)$, waarbij cohomologische obstructies (specifiek niet-verdwijnende $H^2$-groepen) de existentie van generiek gladde modulaire componenten voor de iteratieve extensies verhinderen.
   • Ondanks deze obstructies bewijzen de auteurs Ulrich-wildheid door de existentie van families van indecomposibele bundels aan te tonen.
   • Zij maken gebruik van een alternerende extensiestrategie vergelijkbaar met het geërfde geval, maar werken met bundels die strikt semistabel blijven.
   • Cruciaal voor het bewijs is het aantonen dat voor algemene extensieklassen de resulterende middelste term een indecomposibele bundel is. Dit wordt bereikt door de werking van de automorfisme-groep $\text{Aut}(G_{r-1}) \times \text{Aut}(N_{\epsilon_r})$ op de extensieruimte $\text{Ext}^1(G_{r-1}, N_{\epsilon_r})$ te analyseren.
   • Door inductief de dimensies van $\text{Hom}$- en $\text{End}$-groepen te berekenen, tonen zij aan dat de dimensie van de extensieruimte strikt groter is dan de dimensie van de baan onder de actie van de automorfisme-groep. Dit garandeert dat een algemene extensie een niet-isomorfe, indecomposibele bundel oplevert.

Kernbijdragen en Resultaten

• Hoofdstelling (Deel 1): Voor het geval $b \geq 0 = a$ en $c \geq b + 1$ bevat de moduli-ruimte van rang-$r$ Ulrich-bundels op $X$ een generiek gladde, unirationale component $M(r)$ voor elke $r \geq 2$.

  • De dimensie van $M(r)$ wordt expliciet berekend: $(r^2 - 1)(2c - b - 1)$ voor oneven $r$, en $r^2(2c - b - 1) + 1$ voor even $r$.
  • Het algemene punt van $M(r)$ komt overeen met een helling-stabiele Ulrich-bundel.
  • Concluderend wordt aangetoond dat $X$ geometrisch $h$-Ulrich wild is met geen gaten in de rangen van helling-stabiele Ulrich-bundels ($U_r(X) = \mathbb{N}^*$).

• Hoofdstelling (Deel 2): Voor gevallen waar $0 \leq a \leq 1, b \geq 2$ of $b \geq a \geq 1$ (exclusief $(1,1)$), is $X$ geometrisch $h$-Ulrich wild.

  • Hoewel generiek gladde modulaire componenten mogelijk niet bestaan vanwege cohomologische obstructies, bewijst het artikel de existentie van families van indecomposibele Ulrich-bundels van willekeurige rang $r \geq 2$.
  • Dit vestigt dat er geen gaten zijn in de rangen van indecomposibele Ulrich-bundels ($U_r(X) = \mathbb{N}^*$), zelfs in aanwezigheid van modulaire obstructies.

• Chern-klasse Formules: Het artikel biedt expliciete recursieve formules voor de Chern-klassen $c_1, c_2, c_3$ van de geconstrueerde rang-$r$ Ulrich-bundels, waarbij onderscheid wordt gemaakt tussen oneven en even rangen.

Betekenis
Het artikel breidt het begrip van Ulrich-bundels uit naar hogere-dimensionale variëteiten waar modulaire obstructies typisch de classificatie bemoeilijken. Door onderscheid te maken tussen "geërfde" en "obstrueerde" gevallen, tonen de auteurs aan dat de eigenschap van Ulrich-wildheid robuust is; deze blijft bestaan, zelfs wanneer de standaard machinerie voor het construeren van gladde moduli-ruimten faalt. De resultaten bevestigen dat decomposibele driedimensionale scrolls over Hirzebruch-oppervlakken rijke interne geometrieën ondersteunen, gekenmerkt door grote families van indecomposibele Ulrich-bundels, waarmee een gat in de classificatie van Ulrich-bundels voor $n \geq 3$ wordt opgevuld. Het werk leunt op en breidt de fundamentele resultaten van [9] uit, specifiek door de gevallen aan te pakken waarbij de parameters $a$ en $b$ het eerder bestudeerde bereik van $0 \leq a \leq b \leq 1$ overschrijden.