Picard bundles and Twisted Picard bundles on the Jacobian of a curve

Titel: Picard-bundels en gedraaide Picard-bundels op de Jacobiaan van een kromme

Auteur: Usha N. Bhosle

---

1. Probleemstelling en Context

Het artikel onderzoekt de meetkundige eigenschappen van Picard-bundels en hun gedraaide varianten op de gecompactificeerde Jacobiaan $J(Y)$ van een irreducibele projectieve kromme $Y$. De kromme $Y$ is gedefinieerd over een algebraïsch gesloten veld van karakteristiek 0 en heeft hoogstens knooppunten (nodes) als singulariteiten.

De centrale vragen zijn:

1. Onder welke omstandigheden zijn deze bundels ACM-bundels (Arithmetically Cohen-Macaulay)?
2. Kunnen deze bundels worden gebruikt om een inbedding van de (gegeneraliseerde) Jacobiaan $J(Y)$ te definiëren in de moduli-ruimte van stabiele vectorbundels op $Y$?
3. Wat is de stabiliteit van de restrictie van universele bundels en Picard-bundels op deze inbedding?

Specifiek wordt aandacht besteed aan het geval waar het genus $g=2$, en aan de relatie tussen de restrictie van de theta-divisor op de moduli-ruimte en de theta-divisor op de Jacobiaan zelf.

2. Methodologie

De auteur hanteert een combinatie van technieken uit de algebraïsche meetkunde en de theorie van vectorbundels:

• Fourier-Mukai-transformatie: Er wordt gebruik gemaakt van de Poincaré-sheaf $\mathcal{P}$ op $J(Y) \times J(Y)$ en de daaruit voortvloeiende transformatie om bundels op $J(Y)$ te relateren aan punten op de kromme.
• Cohomologische berekeningen: De cohomologie-groepen $H^i(J(Y), \mathcal{E}(j\theta))$ worden geanalyseerd, waarbij $\theta$ de ample theta-divisor is. De auteur gebruikt exacte sequenties (zoals restricties tot de ingebedde kromme $Y \subset J(Y)$) en de Riemann-Roch-stelling om dimensies van cohomologieruimtes te bepalen.
• Stabiliteitstheorie: De stabiliteit van vectorbundels wordt onderzocht met betrekking tot verschillende polarisaties. Er wordt gekeken naar de stabiliteit van restricties van universele bundels en de Picard-bundels zelf.
• Speciale gevallen: Er wordt een diepgaande analyse uitgevoerd voor het geval $g=2$, waarbij de Jacobiaan een oppervlak is. Ook wordt de situatie voor nodale krommen vergeleken met die van gladde krommen.
• Constructie van inbeddingen: Er wordt een nieuwe inbedding $\alpha_Y$ gedefinieerd door de restrictie van een Picard-bundel tot $Y$ te gebruiken als "anker" voor een familie van stabiele bundels.

3. Belangrijkste Bijdragen en Resultaten

A. ACM-eigenschappen en Cohomologie (Gevallen $g=2$)

De auteur onderzoekt wanneer de bundels $V_{r,x} = E_r \otimes P_x$ (gedraaide Picard-bundels) ACM-bundels zijn. Een bundel is ACM als de middelste cohomologie-groepen verdwijnen.

• Theorema 1.1: Voor $g=2$ en een punt $x$ zodanig dat de restrictie $P_x|_Y$ niet triviaal is, is $P_x$ een ACM-bundel op $J(Y)$. De auteur berekent expliciet de cohomologie:
  • $h^1(J(Y), P_x(j\theta)) = 0$ voor alle $j$.
  • $h^0$ en $h^2$ worden expliciet berekend in termen van $j$.
  • De bundels zijn echter geen Ulrich-bundels.
• Theorema 1.2: Voor $g=2$ en $r \geq 3$ zijn de gedraaide Picard-bundels $V_{r,x}$ (voor generieke $x$) ACM-bundels.
• Negatief resultaat: De standaard Picard-bundels (waar $x^* \in Y$) zijn geen ACM-bundels omdat ze niet-triviale eerste cohomologie hebben. Dit geldt voor alle genera.

B. Inbedding van de Jacobiaan in de Moduli-ruimte

De auteur definieert een inbedding $\alpha_Y: J(Y) \to U^s_Y(n, d)$, waarbij $U^s_Y(n, d)$ de moduli-ruimte is van stabiele vectorbundels op $Y$.

• Constructie: De inbedding wordt gedefinieerd via $\alpha_Y(N) = N \otimes E_Y$, waarbij $E_Y$ een specifieke restrictie van een Picard-bundel is.
• Injectiviteit: Het wordt bewezen dat $\alpha_Y$ injectief is, zelfs zonder de sterke aanname die in eerdere werken (zoals Li [16]) nodig was (namelijk dat het endomorfismebundel geen lijnbundel-directe sommanden heeft).
• Beperking: De auteur toont aan dat deze inbedding niet uitbreidt naar de volledige gecompatificeerde Jacobiaan $\bar{J}(Y)$ voor nodale krommen, omdat de pullback van $E_Y$ naar de normalisatie van de kromme niet semistabiel is.

C. Stabiliteit van Restricties en Theta-divisoren

• Universele Bundel: Voor een gladde kromme $Y$ wordt bewezen dat de restrictie van de universele bundel $U$ tot $Y \times J(Y)$ stabiel is voor elke polarisatie van de vorm $a_1H_1 + a_2H_2$ (met $a_i > 0$).
• Picard-bundel Stabiliteit: De restrictie van de Picard-bundel op de moduli-ruimte $U^s_Y(n, d+nb)$ tot $J(Y)$ is:
  • $\theta$-semistabiel voor $b \geq 2g - 1$.
  • $\theta$-stabiel voor $b \geq 2g$.
• Theta-relatie: Er wordt een relatie vastgesteld tussen de restrictie van de theta-divisor $\theta_U$ op de moduli-ruimte en de theta-divisor $\theta$ op de Jacobiaan: $(\alpha^B_Y)^* \theta_U = \frac{r_Y^2}{n} \theta$, waarbij $n = \gcd(r_Y, d_Y)$.

4. Significatie en Impact

1. Verrijking van de theorie van ACM-bundels: Het artikel levert concrete voorbeelden van ACM-bundels op gecompatificeerde Jacobiaans, een klasse variëteiten die niet noodzakelijk normaal is. Dit is een belangrijke bijdrage, aangezien de bestaande literatuur zich vaak beperkt tot gladde variëteiten of Abelse variëteiten.
2. Nuancering van de ACM-eigenschap: Het resultaat dat Picard-bundels zelf geen ACM-bundels zijn, maar wel hun gedraaide varianten (voor specifieke parameters), biedt een fijner inzicht in de cohomologische structuur van deze objecten.
3. Nieuwe inbeddingen: De constructie van de inbedding $\alpha_Y$ zonder de strenge eisen van eerdere auteurs opent nieuwe wegen voor het bestuderen van de relatie tussen Jacobiaans en moduli-ruimten, zelfs voor krommen met singulariteiten.
4. Stabiliteitsresultaten: De resultaten over de stabiliteit van restricties van universele bundels en de precieze voorwaarden voor $\theta$-stabiliteit zijn fundamenteel voor het begrijpen van de meetkunde van de moduli-ruimte en de interactie met de Jacobiaan.

Samenvattend biedt dit werk een diepgaand inzicht in de cohomologische en stabiliteitseigenschappen van bundels op singuliere Jacobiaans en definieert het nieuwe methoden om deze objecten te koppelen aan moduli-ruimten van vectorbundels.