Some reducible and irreducible Brill-Noether loci

Samenvatting: Reducibiliteit en Irreducibiliteit van Brill–Noether Loci

Probleemstelling
Het artikel onderzoekt de structuur van Brill–Noether loci, aangeduid als $M^r_{g,d}$, die de verzameling vormen van krommen van genus $g$ die een lineaire reeks van graad $d$ en dimensie $r$ bezitten. De verwachte dimensie van deze ruimte wordt gegeven door de Brill–Noether-getal $\rho(g, r, d) = g - (r+1)(g-d+r)$.
Hoewel bekend is dat voor $\rho \geq 0$ de ruimte op een generieke kromme niet leeg en irreducibel is, is de situatie in het negatieve bereik ($\rho < 0$) complexer. In dit bereik vormen de krommen met een $g^r_d$ een proper deel van de moduli ruimte $M_g$. De centrale vraag is of deze Brill–Noether loci irreducibel zijn of dat ze meerdere componenten hebben (reducibel zijn). Vooral de relatie tussen deze loci en de Hilbert-schemes van krommen in projectieve ruimte is relevant.

Methodologie
De auteurs maken gebruik van de theorie van limiet-lineaire series op ketens van elliptische krommen.

1. Ketens van elliptische krommen: Ze construeren specifieke singuliere krommen bestaande uit een keten van $g$ elliptische krommen die in punten worden samengevoegd.
2. Young-tableaus en vullingen: Er bestaat een bijectie tussen verfijnde limiet-lineaire series op deze ketens en bepaalde vullingen van rechthoeken (Young-tableaus) met getallen. De structuur van deze vullingen bepaalt de torsievoorwaarden op de elliptische componenten.
3. Gladdings (Smoothing): Door te analyseren wanneer deze limiet-lineaire series kunnen worden "geglad" tot lineaire series op niet-singuliere krommen nabij de keten, kunnen ze de existentie en dimensie van componenten in de moduli ruimte aantonen.
4. Symmetrie en Torsie: Ze onderscheiden tussen symmetrische vullingen (die corresponderen met theta-kenmerken, waarbij de lineaire reeks half-canoniek is) en asymmetrische vullingen.

Kernbijdragen en Resultaten

1. Existentie van Theta-kenmerken met secties (Theorema 1)
De auteurs bewijzen een conjectuur van Farkas over de existentie van krommen met een theta-kenmerk (een lijnbundel $L$ met $L^{\otimes 2} \cong K_C$) van dimensie $r$.

• Resultaat: Voor $g \geq \binom{r+2}{2}$ is de locus $T^r_g$ (krommen met een theta-kenmerk met $r+1$ secties) niet leeg en heeft het een component met de verwachte codimensie $\binom{r+1}{2}$ in $M_g$.
• Techniek: Ze bieden een eenvoudiger bewijs dan eerdere werken door een specifieke constructie te gebruiken waarbij een paar elliptische krommen in de keten wordt vervangen door een kromme van genus 2 met Weierstrass-punten. Dit elimineert een "te grote" familie van limiet-series die anders zou leiden tot een lagere codimensie dan verwacht.

2. Reducibiliteit van Brill–Noether Loci (Theorema 2)
Voor $r \geq 3$ en $g = \binom{r+2}{2}$ tonen ze aan dat de locus $M^r_{g, g-1}$ reducibel is.

• Component 1 ($ET^r_g$): Bestaat uit krommen met een theta-kenmerk (half-canonieke reeks). Deze komt voort uit symmetrische vullingen.
• Component 2 ($N^r_{g, g-1}$): Bestaat uit krommen met een $g^r_{g-1}$ die geen theta-kenmerk is. Deze komt voort uit asymmetrische vullingen.
• Gevolg: Omdat deze twee componenten verschillend zijn (de algemene kromme in de tweede component heeft geen theta-kenmerk), is de Hilbert-scheme voor deze parameters ook reducibel. Dit levert een tegenvoorbeeld op voor de intuïtie dat Hilbert-schemes goed gedragen zijn.

3. Loci met ten minste drie componenten (Theorema 3)
Voor specifieke waarden van $r$ (namelijk $r=3, 5, 7$ of $r \geq 8$) en $g = \binom{r+2}{2}$, tonen ze aan dat $M^r_{g, g-1}$ minimaal drie componenten heeft.

• De derde component bevat krommen met een specifieke gonality (de $M^1_{g, \kappa}$ locus, waarbij $\kappa$ gerelateerd is aan $r$).
• Ze bewijzen dat deze gonality-component niet bevat is in de andere twee componenten door analyse van de torsievoorwaarden en de dimensie van de ruimte.

4. Irreducibiliteit voor $r=2$ (Propositie 5.2)
In tegenstelling tot de hogere dimensies, geven ze optimale grenzen voor irreducibiliteit wanneer $r=2$.

• Als $d > \frac{g+4}{2}$ (of specifieke gevallen voor $d = \frac{g+4}{2}$), dan is $M^2_{g,d}$ irreducibel, mits de componenten geen basepunten hebben.
• Ze tonen aan dat deze grens scherp is: voor kleinere waarden van $d$ (bijv. $M^2_{11,7}$, $M^2_{12,8}$) wordt de locus reducibel door de aanwezigheid van componenten die voortkomen uit overdekkingen van krommen van lagere genus (zoals $M^1_{g,k} \subset M^2_{g,d}$).

Significantie

• Oplossing van een conjectuur: Het paper levert een nieuw, vereenvoudigd bewijs voor de existentie van theta-kenmerken met secties, een fundamenteel resultaat in de theorie van moduli van krommen.
• Structuur van Hilbert-schemes: Het onthult dat Hilbert-schemes van krommen in projectieve ruimte ($r \geq 3$) veel complexer zijn dan eerder gedacht, met meerdere componenten die niet door elkaar worden gedekt. Dit ondermijnt de "naieve" verwachting van irreducibiliteit in bepaalde bereiken.
• Methodologische doorbraak: Het gebruik van ketens van elliptische krommen met gecontroleerde torsie (via de vervanging door genus 2) biedt een krachtig instrument om de existentie van specifieke componenten in Brill–Noether loci te construeren en te onderscheiden.
• Grenzen van irreducibiliteit: Het biedt precieze criteria voor wanneer $M^2_{g,d}$ irreducibel is versus wanneer het reducibel wordt, wat essentieel is voor het begrijpen van de globale structuur van de moduli ruimte van krommen met lineaire series.

Kortom, het artikel illustreert dat in het negatieve bereik van de Brill–Noether-getallen de geometrie van de moduli ruimte rijk is aan verschillende componenten, waarvan sommige corresponderen met krommen met speciale symmetrieën (theta-kenmerken) en andere met krommen met specifieke gonality-eigenschappen.