Con topológico de la línea de paquetes de más de $\mathbb{C}$, uno aprende que cada línea de paquete es un retroceso de la línea universal de paquete, que es el tautológica de la línea de paquete de más de $\mathbb{C}P^\infty.$
En geometría compleja, uno aprende que cada holomorphic línea de paquete con suficiente global secciones que no desaparecen simultáneamente es un retroceso de $\mathcal{O}(1)$, que es el doble de la tautológica de la línea de paquete de más de $\mathbb{P}_N$ para algunos un gran $N$.
En general, a diferencia de la real paquetes, un vector complejo paquete no es isomorfo a su doble, sino el complejo conjugado es isomorfo a su doble. ¿Cómo puedo armonizar estas dos afirmaciones? Es que cuando vemos la tautológica de la línea de paquete de más de $\mathbb{P}_N$ topológico paquete, olvidando sus holomorphic estructura, estamos permitiendo que los no-holomorphic secciones? Parece que el holomorphic declaración es la más refinada resultado. ¿Hay alguna forma de ver que el doble de la tautológica de la línea de paquete es el más apropiado universal en su conjunto, en la topológico caso?
