El paquete de líneas %-%-% en un espacio proyectivo o %-%-% en una variedad de indicadores tiene una propiedad que toda su cohomología desaparece. ¿Hay una historia detrás de esas gavillas?
Aquí hay preguntas más precisas. Deje que %-%-% sea una superficie proyectiva compleja lisa (digamos, una bonita como Del Pezzo o K3). ¿Existe siempre una hoja libre local coherente $O(-1)$, cuyas secciones globales derivadas desaparecen? ¿Se pueden describir todas esas gavillas? ¿Hay un espacio moduli grueso de tales gavillas?
