Es bien sabido que el espacio total del haz de líneas tautológicas O(−1) sobre el espacio proyectivo Pn es una subvariabilidad cerrada de Pn×An+1. Mi pregunta es cómo realizar el espacio total de O(1) sobre Pn de tal manera, es decir, necesito una incrustación de Tot(O(1)) en una variedad simple y definir ecuaciones. Gracias.
Respuestas
¿Demasiados anuncios?
TCampbell
Puntos
1624
Para mí la mejor descripción de Tot(O(1)) es la tautológica --- como el espectro relativo de la gavilla de álgebras A=O⊕O(−1)⊕O(−2)⊕… en Pn: Tot(O(1)) = Spec_{P^n}(A). Esto permite trabajar con Tot(O(1)) más eficazmente que cualquier otra descripción. Por ejemplo, una gavilla coherente en Tot(O(1)) puede estar representada por una gavilla cuasicoherente F en Pn junto con un morfismo F(−1)→F que induce en F una estructura de un módulo A.